Polynomial-Delay Enumeration of Large Maximal Matchings

Enumerating matchings is a classical problem in the field of enumeration algorithms. There are polynomial-delay enumeration algorithms for several settings, such as enumerating perfect matchings, maximal matchings, and (weighted) matchings in specific orders. In this paper, we present polynomial-delay enumeration algorithms for maximal matchings with cardinality at least given threshold t. Our algorithm enumerates all such matchings in O(nm) delay with exponential space, where n and m are the number of vertices and edges of an input graph, respectively. We also present a polynomial-delay and polynomial-space enumeration algorithm for this problem. As a variant of this algorithm, we give an algorithm that enumerates all maximal matchings in non-decreasing order of its cardinality and runs in O(nm) delay.

[1]  Yasuaki Kobayashi,et al.  Efficient Enumerations for Minimal Multicuts and Multiway Cuts , 2020, MFCS.

[2]  Takeaki Uno,et al.  New polynomial delay bounds for maximal subgraph enumeration by proximity search , 2019, STOC.

[3]  Romeo Rizzi,et al.  An Improved Upper Bound on Maximal Clique Listing via Rectangular Fast Matrix Multiplication , 2015, Algorithmica.

[4]  Takeaki Uno,et al.  Algorithms for Enumerating All Perfect, Maximum and Maximal Matchings in Bipartite Graphs , 1997, ISAAC.

[5]  Piotr Sankowski,et al.  Maximum matchings via Gaussian elimination , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[6]  Roberto Grossi,et al.  Optimal Listing of Cycles and st-Paths in Undirected Graphs , 2012, SODA.

[7]  David Avis,et al.  Reverse Search for Enumeration , 1996, Discret. Appl. Math..

[8]  David Eppstein,et al.  K-Best Enumeration , 2014, Bull. EATCS.

[9]  Alessio Conte,et al.  Overall and Delay Complexity of the CLIQUES and Bron-Kerbosch Algorithms , 2021, Workshop on Algorithms and Computation.

[10]  N GabowHarold An Efficient Implementation of Edmonds' Algorithm for Maximum Matching on Graphs , 1976 .

[11]  Vladimir Gurvich,et al.  Enumerating Spanning and Connected Subsets in Graphs and Matroids , 2006, ESA.

[12]  Chandra R. Chegireddy,et al.  Algorithms for finding K-best perfect matchings , 1987, Discret. Appl. Math..

[13]  Takeaki Uno,et al.  Constant Time Enumeration by Amortization , 2015, WADS.

[14]  Mihalis Yannakakis,et al.  On Generating All Maximal Independent Sets , 1988, Inf. Process. Lett..

[15]  J. Ian Munro,et al.  A O(|V|·|E|) algorithm for maximum matching of graphs , 2005, Computing.

[16]  Katta G. Murty,et al.  Letter to the Editor - An Algorithm for Ranking all the Assignments in Order of Increasing Cost , 1968, Oper. Res..

[17]  Kunihiro Wasa,et al.  Efficient Constant-Factor Approximate Enumeration of Minimal Subsets for Monotone Properties with Cardinality Constraints , 2020, ArXiv.

[18]  Benno Schwikowski,et al.  On enumerating all minimal solutions of feedback problems , 2002, Discret. Appl. Math..

[19]  Roberto Grossi,et al.  Sublinear-Space Bounded-Delay Enumeration for Massive Network Analytics: Maximal Cliques , 2016, ICALP.

[20]  Silvio Micali,et al.  An O(v|v| c |E|) algoithm for finding maximum matching in general graphs , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[21]  Yehoshua Sagiv,et al.  Generating all maximal induced subgraphs for hereditary and connected-hereditary graph properties , 2008, J. Comput. Syst. Sci..

[22]  Tomomi Matsui,et al.  Finding all minimum-cost perfect matchings in Bipartite graphs , 1992, Networks.

[23]  Harold N. Gabow,et al.  An Efficient Implementation of Edmonds' Algorithm for Maximum Matching on Graphs , 1976, JACM.

[24]  E. Lawler A PROCEDURE FOR COMPUTING THE K BEST SOLUTIONS TO DISCRETE OPTIMIZATION PROBLEMS AND ITS APPLICATION TO THE SHORTEST PATH PROBLEM , 1972 .

[25]  Shuji Tsukiyama,et al.  A New Algorithm for Generating All the Maximal Independent Sets , 1977, SIAM J. Comput..

[26]  Takeaki A Fast Algorithm for Enumerating Non-Bipartite Maximal Matchings 一般グラフの極大マッチングを列挙する高速アルゴリズム , 2001 .

[27]  Vladimir Gurvich,et al.  Generating Cut Conjunctions in Graphs and Related Problems , 2007, Algorithmica.

[28]  J. Edmonds Paths, Trees, and Flowers , 1965, Canadian Journal of Mathematics.

[29]  Kazuhisa Makino,et al.  New Algorithms for Enumerating All Maximal Cliques , 2004, SWAT.