Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Computer Science > Data Structures and Algorithms

arXiv:1709.07822 (cs)
[Submitted on 22 Sep 2017 (v1), last revised 21 Apr 2018 (this version, v4)]

Title:Planar Graph Perfect Matching is in NC

Authors:Nima Anari, Vijay V. Vazirani
View PDF
Abstract:Is perfect matching in NC? That is, is there a deterministic fast parallel algorithm for it? This has been an outstanding open question in theoretical computer science for over three decades, ever since the discovery of RNC matching algorithms. Within this question, the case of planar graphs has remained an enigma: On the one hand, counting the number of perfect matchings is far harder than finding one (the former is #P-complete and the latter is in P), and on the other, for planar graphs, counting has long been known to be in NC whereas finding one has resisted a solution.
In this paper, we give an NC algorithm for finding a perfect matching in a planar graph. Our algorithm uses the above-stated fact about counting matchings in a crucial way. Our main new idea is an NC algorithm for finding a face of the perfect matching polytope at which $\Omega(n)$ new conditions, involving constraints of the polytope, are simultaneously satisfied. Several other ideas are also needed, such as finding a point in the interior of the minimum weight face of this polytope and finding a balanced tight odd set in NC.
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Distributed, Parallel, and Cluster Computing (cs.DC); Combinatorics (math.CO)
Cite as: arXiv:1709.07822 [cs.DS]
  (or arXiv:1709.07822v4 [cs.DS] for this version)
  https://doi.org/10.48550/arXiv.1709.07822

Submission history

From: Nima Anari [view email]
[v1] Fri, 22 Sep 2017 15:56:53 UTC (33 KB)
[v2] Mon, 9 Oct 2017 00:50:32 UTC (34 KB)
[v3] Mon, 4 Dec 2017 22:02:03 UTC (44 KB)
[v4] Sat, 21 Apr 2018 21:49:54 UTC (44 KB)
Full-text links:

Access Paper:

view license
Current browse context:
cs.DS
< prev   |   next >
new | recent | 2017-09
Change to browse by:
cs
cs.CC
cs.DC
math
math.CO

References & Citations

DBLP - CS Bibliography

listing | bibtex
Nima Anari
Vijay V. Vazirani
export BibTeX citation

Bookmark

BibSonomy logo Reddit logo

Bibliographic and Citation Tools

Bibliographic Explorer (What is the Explorer?)
Connected Papers (What is Connected Papers?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)

Code, Data and Media Associated with this Article

alphaXiv (What is alphaXiv?)
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Hugging Face (What is Huggingface?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)

Demos

Replicate (What is Replicate?)
Hugging Face Spaces (What is Spaces?)
TXYZ.AI (What is TXYZ.AI?)

Recommenders and Search Tools

Influence Flower (What are Influence Flowers?)
CORE Recommender (What is CORE?)

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)