×

An approximation algorithm for \(K\)-best enumeration of minimal connected edge dominating sets with cardinality constraints. (English) Zbl 07872193

Summary: \(K\)-best enumeration, which asks to output \(k\)-best solutions without duplication, is a helpful tool in data analysis for many fields. In such fields, graphs typically represent data. Thus subgraph enumeration has been paid much attention to such fields. 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 concept of enumeration algorithms called approximation enumeration algorithms. As a main result, we propose a 4-approximation algorithm for minimal connected edge dominating sets which outputs \(k\) minimal solutions with cardinality at most \(4 \cdot \overline{\mathrm{OPT}}\), where \(\overline{\mathrm{OPT}}\) is the cardinality of a minimum solution which is not outputted by the algorithm. Our proposed algorithm runs in \(O(nm^2 \Delta)\) delay, where \(n, m, \Delta\) are the number of vertices, the number of edges, and the maximum degree of an input graph.

MSC:

68Qxx Theory of computing

Software:

LCM

References:

[1] Agarwal, Pankaj K.; Hu, Xiao; Sintos, Stavros; Yang, Jun, Dynamic enumeration of similarity joins, (Proc. of ICALP 2021. Proc. of ICALP 2021, LIPIcs, vol. 198, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik), 11:1-11:19
[2] Ajami, Zahi; Cohen, Sara, Enumerating minimal weight set covers, (Proc. of ICDE 2019, 2019, IEEE), 518-529
[3] Arkin, Esther M.; Halldórsson, Magnús M.; Hassin, Refael, Approximating the tree and tour covers of a graph, Inf. Process. Lett., 47, 6, 275-282, 1993 · Zbl 0785.68041
[4] Baste, Julien; Fellows, Michael R.; Jaffke, Lars; Masarík, Tomás; de Oliveira Oliveira, Mateus; Philip, Geevarghese; Rosamond, Frances A., Diversity of solutions: an exploration through the lens of fixed-parameter tractability theory, (Proc. of IJCAI 2020, 2020), 1119-1125
[5] Bonamy, Marthe; Defrain, Oscar; Heinrich, Marc; Pilipczuk, Michal; Raymond, Jean-Florent, Enumerating minimal dominating sets in \(K_t\)-free graphs and variants, ACM Trans. Algorithms, 16, 3, 39:1-39:23, 2020 · Zbl 1484.68153
[6] Cao, Yixin, Enumerating maximal induced subgraphs, (Proc. of ESA 2023. Proc. of ESA 2023, Dagstuhl, Germany. Proc. of ESA 2023. Proc. of ESA 2023, Dagstuhl, Germany, LIPIcs, vol. 274, 2023), 31:1-31:13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik
[7] Cohen, Sara; Kimelfeld, Benny; Sagiv, Yehoshua, Generating all maximal induced subgraphs for hereditary and connected-hereditary graph properties, J. Comput. Syst. Sci., 74, 7, 1147-1159, 2008 · Zbl 1152.68040
[8] Conte, Alessio; De Matteis, Tiziano; De Sensi, Daniele; Grossi, Roberto; Marino, Andrea; Versari, Luca, D2K: scalable community detection in massive networks via small-diameter k-plexes, (Proc. of KDD 2018, 2018, ACM), 1272-1281
[9] Eppstein, David, k-Best enumeration, (Encyclopedia of Algorithms, 2016, Springer: Springer New York), 1003-1006
[10] Fagin, Ronald; Lotem, Amnon; Naor, Moni, Optimal aggregation algorithms for middleware, J. Comput. Syst. Sci., 66, 4, 614-656, 2003 · Zbl 1054.68042
[11] Gabow, Harold N., Two algorithms for generating weighted spanning trees in order, SIAM J. Comput., 6, 1, 139-150, 1977 · Zbl 0346.68021
[12] Hanaka, Tesshu; Kobayashi, Yasuaki; Kurita, Kazuhiro; Otachi, Yota, Finding diverse trees, paths, and more, (Proc AAAI 2021, 2021, AAAI Press), 3778-3786
[13] Hara, Satoshi; Ishihata, Masakazu, Approximate and exact enumeration of rule models, (McIlraith, Sheila A.; Weinberger, Kilian Q., Proc. of AAAI 2018, 2018, AAAI Press), 3157-3164
[14] Herzel, Arne; Ruzika, Stefan; Thielen, Clemens, Approximation methods for multiobjective optimization problems: a survey, INFORMS J. Comput., 2021 · Zbl 07549334
[15] Kanté, Mamadou Moustapha; Limouzy, Vincent; Mary, Arnaud; Nourine, Lhouari, Enumeration of minimal dominating sets and variants, (Proc. of FCT 2011. Proc. of FCT 2011, LNCS, vol. 6914, 2011, Springer), 298-309 · Zbl 1342.05099
[16] Kanté, Mamadou Moustapha; Limouzy, Vincent; Mary, Arnaud; Nourine, Lhouari, On the enumeration of minimal dominating sets and related notions, SIAM J. Discrete Math., 28, 4, 1916-1929, 2014 · Zbl 1310.05119
[17] Kanté, Mamadou Moustapha; Limouzy, Vincent; Mary, Arnaud; Nourine, Lhouari; Uno, Takeaki, A polynomial delay algorithm for enumerating minimal dominating sets in chordal graphs, (Proc. of WG 2015, 2015, Springer), 138-153 · Zbl 1417.05215
[18] Kanté, Mamadou Moustapha; Limouzy, Vincent; Mary, Arnaud; Nourine, Lhouari; Uno, Takeaki, Polynomial delay algorithm for listing minimal edge dominating sets in graphs, (Proc. of WADS 2015. Proc. of WADS 2015, LNCS, vol. 9214, 2015, Springer), 446-457 · Zbl 1451.68204
[19] Kimelfeld, Benny; Sagiv, Yehoshua, Efficiently enumerating results of keyword search over data graphs, Inf. Syst., 33, 4-5, 335-359, 2008
[20] Kobayashi, Yasuaki; Kurita, Kazuhiro; Wasa, Kunihiro, Efficient constant-factor approximate enumeration of minimal subsets for monotone properties with cardinality constraints, 2020, CoRR
[21] Kobayashi, Yasuaki; Kurita, Kazuhiro; Wasa, Kunihiro, Polynomial-delay and polynomial-space enumeration of large maximal matchings, (Proc. of WG 2022. Proc. of WG 2022, LNCS, vol. 13453, 2022, Springer International Publishing: Springer International Publishing Cham), 342-355 · Zbl 07682421
[22] Korhonen, Tuukka, Listing small minimal separators of a graph, 2020, CoRR
[23] Lawler, Eugene L., A procedure for computing the k best solutions to discrete optimization problems and its application to the shortest path problem, Manag. Sci., 18, 7, 401-405, 1972 · Zbl 0234.90050
[24] Munaro, Andrea, On some classical and new hypergraph invariants, 2016, Université Grenoble Alpes, PhD thesis
[25] Murty, Katta G., Letter to the editor—an algorithm for ranking all the assignments in order of increasing cost, Oper. Res., 16, 3, 682-687, 1968 · Zbl 0214.18705
[26] Ravid, Noam; Medini, Dori; Kimelfeld, Benny, Ranked enumeration of minimal triangulations, (Proc. of PODS 2019, 2019), 74-88
[27] Sade, Liron; Cohen, Sara, Diverse enumeration of maximal cliques, (Proc. of CIKM 2020, 2020, ACM), 3321-3324
[28] Uno, Takeaki; Kiyomi, Masashi; Arimura, Hiroki, LCM ver. 2: efficient mining algorithms for frequent/closed/maximal itemsets, (Proc. of FIMI 2004. Proc. of FIMI 2004, CEUR Workshop Proceedings, vol. 126, 2004)
[29] Yang, Xiaofeng; Riedewald, Mirek; Li, Rundong; Gatterbauer, Wolfgang, Any-k algorithms for exploratory analysis with conjunctive queries, (Proc. of ExploreDB 2018, 2018, ACM), 2:1-2:3
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.