Counting perfect matchings in graphs that exclude a single-crossing minor

A graph $H$ is single-crossing if it can be drawn in the plane with at most one crossing. For any single-crossing graph $H$, we give an $O(n^4)$ time algorithm for counting perfect matchings in graphs excluding $H$ as a minor. The runtime can be lowered to $O(n^{1.5})$ when $G$ excludes $K_5$ or $K_{3,3}$ as a minor. This is the first generalization of an algorithm for counting perfect matchings in $K_{3,3}$-free graphs (Little 1974, Vazirani 1989). Our algorithm uses black-boxes for counting perfect matchings in planar graphs and for computing certain graph decompositions. Together with an independent recent result (Straub et al. 2014) for graphs excluding $K_5$, it is one of the first nontrivial algorithms to not inherently rely on Pfaffian orientations.

[1]  Erik D. Demaine,et al.  Approximation algorithms for classes of graphs excluding single-crossing graphs as minors , 2004, J. Comput. Syst. Sci..

[2]  Eric Vigoda,et al.  A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries , 2004, JACM.

[3]  Martin Loebl,et al.  On the Theory of Pfaffian Orientations. I. Perfect Matchings and Permanents , 1998, Electron. J. Comb..

[4]  Robin Thomas,et al.  Clique-sums, tree-decompositions and compactness , 1990, Discret. Math..

[5]  Vijay V. Vazirani,et al.  NC Algorithms for Computing the Number of Perfect Matchings in K_3,3-Free Graphs and Related Problems , 1989, Inf. Comput..

[6]  Takao Asano,et al.  An Approach to the Subgraph Homeomorphism Problem , 1985, Theor. Comput. Sci..

[7]  Peter Bürgisser,et al.  Completeness and Reduction in Algebraic Complexity Theory , 2000, Algorithms and computation in mathematics.

[8]  Paul D. Seymour,et al.  Graph Minors. XVI. Excluding a non-planar graph , 2003, J. Comb. Theory, Ser. B.

[9]  Charles H. C. Little,et al.  An Extension of kasteleyn's method of enumerating the 1-factors of planar graphs , 1974 .

[10]  M. Fisher,et al.  Dimer problem in statistical mechanics-an exact result , 1961 .

[11]  Jin-Yi Cai,et al.  Holographic Algorithms , 2016, Encyclopedia of Algorithms.

[12]  David Eppstein,et al.  Flows in One-Crossing-Minor-Free Graphs , 2013, J. Graph Algorithms Appl..

[13]  Thomas Thierauf,et al.  Counting the Number of Perfect Matchings in K5-Free Graphs , 2014, 2014 IEEE 29th Conference on Computational Complexity (CCC).

[14]  Hans L. Bodlaender A linear time algorithm for finding tree-decompositions of small treewidth , 1993, STOC '93.

[15]  Vijay V. Vazirani,et al.  NC Algorithms for Computing the Number of Perfect Matchings in K3, 3-free Graphs and Related Problems , 1988, SWAT.

[16]  Paul D. Seymour,et al.  Excluding a graph with one crossing , 1991, Graph Structure Theory.

[17]  Erik D. Demaine,et al.  -Approximation for Treewidth of Graphs Excluding a Graph with One Crossing as a Minor , 2002, APPROX.

[18]  D. Rose,et al.  Generalized nested dissection , 1977 .

[19]  Bruce A. Reed,et al.  Optimization and Recognition for K 5-minor Free Graphs in Linear Time , 2008, LATIN.

[20]  Leslie G. Valiant,et al.  The Complexity of Computing the Permanent , 1979, Theor. Comput. Sci..