An Approximation Algorithm for $K$-best Enumeration of Minimal Connected Edge Dominating Sets with Cardinality Constraints

K-best enumeration, which asks to output k best solutions without duplication, plays an important role in data analysis for many fields. In such fields, data can be typically represented by graphs, and thus subgraph enumeration has been paid much attention to. However, k-best enumeration tends to be intractable since, in many cases, finding one optimum solution is NP-hard. To overcome this difficulty, we combine k-best enumeration with a new concept of enumeration algorithms called approximation enumeration algorithms, which has been recently proposed. As a main result, we propose an α-approximation algorithm for minimal connected edge dominating sets which outputs k minimal solutions with cardinality at most α ·OPT, where OPT is the cardinality of a minimum solution which is not outputted by the algorithm, and α is constant. Moreover, our proposed algorithm runs in O(nm∆) delay, where n, m, ∆ are the number of vertices, the number of edges, and the maximum degree of an input graph.

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

[2]  Clemens Thielen,et al.  Approximation Methods for Multiobjective Optimization Problems: A Survey , 2021, INFORMS J. Comput..

[3]  Lhouari Nourine,et al.  On the Enumeration of Minimal Dominating Sets and Related Notions , 2014, SIAM J. Discret. Math..

[4]  Takeaki Uno,et al.  A Polynomial Delay Algorithm for Enumerating Minimal Dominating Sets in Chordal Graphs , 2015, WG.

[5]  Yixin Cao,et al.  Enumerating Maximal Induced Subgraphs , 2020, ArXiv.

[6]  Yota Otachi,et al.  Finding Diverse Trees, Paths, and More , 2020, ArXiv.

[7]  Hiroki Arimura,et al.  LCM ver. 2: Efficient Mining Algorithms for Frequent/Closed/Maximal Itemsets , 2004, FIMI.

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

[9]  Marthe Bonamy,et al.  Enumerating Minimal Dominating Sets in Kt-free Graphs and Variants , 2020, ACM Trans. Algorithms.

[10]  Esther M. Arkin,et al.  Approximating the Tree and Tour Covers of a Graph , 1993, Inf. Process. Lett..

[11]  Yehoshua Sagiv,et al.  Efficiently enumerating results of keyword search over data graphs , 2008, Inf. Syst..

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

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

[14]  Takeaki Uno,et al.  Polynomial Delay Algorithm for Listing Minimal Edge Dominating Sets in Graphs , 2014, WADS.

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

[16]  Harold N. Gabow,et al.  Two Algorithms for Generating Weighted Spanning Trees in Order , 1977, SIAM J. Comput..

[17]  Pankaj K. Agarwal,et al.  Dynamic Enumeration of Similarity Joins , 2021, ICALP.

[18]  Sara Cohen,et al.  Enumerating Minimal Weight Set Covers , 2019, 2019 IEEE 35th International Conference on Data Engineering (ICDE).

[19]  Roberto Grossi,et al.  D2K: Scalable Community Detection in Massive Networks via Small-Diameter k-Plexes , 2018, KDD.

[20]  Kunihiro Wasa,et al.  Polynomial-Delay Enumeration of Large Maximal Matchings , 2021, ArXiv.

[21]  Andrea Munaro,et al.  On some classical and new hypergraph invariants , 2016 .

[22]  Satoshi Hara,et al.  Approximate and Exact Enumeration of Rule Models , 2018, AAAI.

[23]  Michael R. Fellows,et al.  Diversity of Solutions: An Exploration Through the Lens of Fixed-Parameter Tractability Theory , 2019, IJCAI.

[24]  Lhouari Nourine,et al.  Enumeration of Minimal Dominating Sets and Variants , 2011, FCT.