42,934 research outputs found
On some Graphs with a Unique Perfect Matching
We show that deciding whether a given graph of size has a unique
perfect matching as well as finding that matching, if it exists, can be done in
time if is either a cograph, or a split graph, or an interval graph,
or claw-free. Furthermore, we provide a constructive characterization of the
claw-free graphs with a unique perfect matching
Computing Unique Maximum Matchings in O(m) time for Konig-Egervary Graphs and Unicyclic Graphs
Let alpha(G) denote the maximum size of an independent set of vertices and
mu(G) be the cardinality of a maximum matching in a graph G. A matching
saturating all the vertices is perfect. If alpha(G) + mu(G) equals the number
of vertices of G, then it is called a Konig-Egervary graph. A graph is
unicyclic if it has a unique cycle.
In 2010, Bartha conjectured that a unique perfect matching, if it exists, can
be found in O(m) time, where m is the number of edges.
In this paper we validate this conjecture for Konig-Egervary graphs and
unicylic graphs. We propose a variation of Karp-Sipser leaf-removal algorithm
(Karp and Spiser, 1981), which ends with an empty graph if and only if the
original graph is a Konig-Egervary graph with a unique perfect matching
obtained as an output as well.
We also show that a unicyclic non-bipartite graph G may have at most one
perfect matching, and this is the case where G is a Konig-Egervary graph.Comment: 10 pages, 5 figure
Space Complexity of Perfect Matching in Bounded Genus Bipartite Graphs
We investigate the space complexity of certain perfect matching problems over
bipartite graphs embedded on surfaces of constant genus (orientable or
non-orientable). We show that the problems of deciding whether such graphs have
(1) a perfect matching or not and (2) a unique perfect matching or not, are in
the logspace complexity class \SPL. Since \SPL\ is contained in the logspace
counting classes \oplus\L (in fact in \modk\ for all ), \CeqL, and
\PL, our upper bound places the above-mentioned matching problems in these
counting classes as well. We also show that the search version, computing a
perfect matching, for this class of graphs is in \FL^{\SPL}. Our results
extend the same upper bounds for these problems over bipartite planar graphs
known earlier. As our main technical result, we design a logspace computable
and polynomially bounded weight function which isolates a minimum weight
perfect matching in bipartite graphs embedded on surfaces of constant genus. We
use results from algebraic topology for proving the correctness of the weight
function.Comment: 23 pages, 13 figure
- …