13,805 research outputs found
Claw-free t-perfect graphs can be recognised in polynomial time
A graph is called t-perfect if its stable set polytope is defined by
non-negativity, edge and odd-cycle inequalities. We show that it can be decided
in polynomial time whether a given claw-free graph is t-perfect
Even-cycle decompositions of graphs with no odd--minor
An even-cycle decomposition of a graph G is a partition of E(G) into cycles
of even length. Evidently, every Eulerian bipartite graph has an even-cycle
decomposition. Seymour (1981) proved that every 2-connected loopless Eulerian
planar graph with an even number of edges also admits an even-cycle
decomposition. Later, Zhang (1994) generalized this to graphs with no
-minor.
Our main theorem gives sufficient conditions for the existence of even-cycle
decompositions of graphs in the absence of odd minors. Namely, we prove that
every 2-connected loopless Eulerian odd--minor-free graph with an even
number of edges has an even-cycle decomposition.
This is best possible in the sense that `odd--minor-free' cannot be
replaced with `odd--minor-free.' The main technical ingredient is a
structural characterization of the class of odd--minor-free graphs, which
is due to Lov\'asz, Seymour, Schrijver, and Truemper.Comment: 17 pages, 6 figures; minor revisio
Matching Is as Easy as the Decision Problem, in the NC Model
Is matching in NC, i.e., is there a deterministic fast parallel algorithm for
it? This has been an outstanding open question in TCS for over three decades,
ever since the discovery of randomized NC matching algorithms [KUW85, MVV87].
Over the last five years, the theoretical computer science community has
launched a relentless attack on this question, leading to the discovery of
several powerful ideas. We give what appears to be the culmination of this line
of work: An NC algorithm for finding a minimum-weight perfect matching in a
general graph with polynomially bounded edge weights, provided it is given an
oracle for the decision problem. Consequently, for settling the main open
problem, it suffices to obtain an NC algorithm for the decision problem. We
believe this new fact has qualitatively changed the nature of this open
problem.
All known efficient matching algorithms for general graphs follow one of two
approaches: given by Edmonds [Edm65] and Lov\'asz [Lov79]. Our oracle-based
algorithm follows a new approach and uses many of the ideas discovered in the
last five years.
The difficulty of obtaining an NC perfect matching algorithm led researchers
to study matching vis-a-vis clever relaxations of the class NC. In this vein,
recently Goldwasser and Grossman [GG15] gave a pseudo-deterministic RNC
algorithm for finding a perfect matching in a bipartite graph, i.e., an RNC
algorithm with the additional requirement that on the same graph, it should
return the same (i.e., unique) perfect matching for almost all choices of
random bits. A corollary of our reduction is an analogous algorithm for general
graphs.Comment: Appeared in ITCS 202
On disjoint matchings in cubic graphs
For and a cubic graph let denote the maximum number
of edges that can be covered by matchings. We show that and . Moreover, it turns out that
.Comment: 41 pages, 8 figures, minor chage
- …