Abstract
The linear maximum induced matching width (LMIM-width) of a graph is a width parameter based on the maximum induced matching in some of its subgraphs. In this paper we study output-polynomial enumeration algorithms on graphs of bounded LMIM-width and graphs of bounded local LMIM-width. In particular, we show that all 1-minimal \((\sigma ,\rho )\)-dominating sets, and hence all minimal dominating sets, of graphs of bounded LMIM-width can be enumerated with polynomial (linear) delay using polynomial space. Furthermore, we show that all minimal dominating sets of a unit square graph can be enumerated in incremental polynomial time.
The research leading to these results has received funding from the European Research Council under the European Union’s Seventh Framework Programme (FP/2007-2013)/ERC Grant Agreement n. 267959.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Belmonte, R., Vatshelle, M.: Graph classes with structured neighborhoods and algorithmic applications. Theor. Comput. Sci. 511, 54–65 (2013)
Brandstädt, A., Le, V.B., Spinrad, J.P.: Graph classes: a survey. SIAM Monographs on Discrete Mathematics and Applications, SIAM, Philadelphia (1999)
Breu, H.: Algorithmic aspects of constrained unit disk graphs. PhD thesis, The University of British Columbia (1996)
Bui-Xuan, B.M., Telle, J.A., Vatshelle, M.: Fast dynamic programming for locally checkable vertex subset and vertex partitioning problems. Theor. Comput. Sci. 511, 66–76 (2013)
Chandran, L.S., Francis, M.C., Sivadasan, N.: On the cubicity of interval graphs. Graphs and Combinatorics 25(2), 169–179 (2009)
Courcelle, B.: Linear delay enumeration and monadic second-order logic. Discrete Appl. Math. 157, 2675–2700 (2009)
Eiter, T., Gottlob, G.: Identifying the minimal transversals of a hypergraph and related problems. SIAM J. Comput. 24, 1278–1304 (1995)
Eiter, T., Gottlob, G.: Hypergraph transversal computation and related problems in logic and AI. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 549–564. Springer, Heidelberg (2002)
Eiter, T., Gottlob, G., Makino, K.: New results on monotone dualization and generating hypergraph transversals. SIAM J. Comput. 32, 514–537 (2003)
Golovach, P.A., Heggernes, P., Kratsch, D., Villanger, Y.: An incremental polynomial time algorithm to enumerate all minimal edge dominating sets. Algorithmica 72, 836–859 (2015)
Golovach, P.A., Heggernes, P., Kanté, M.M., Kratsch, D., Sæther, S.H., Villanger, Y.: Output-Polynomial Enumeration on Graphs of Bounded (Local) Linear MIM-Width, CoRR, abs/1509.03753 (2015)
Golovach, P.A., Heggernes, P., Kante, M., Kratsch, D., Villanger, Y.: Enumerating minimal dominating sets in chordal bipartite graphs. Discrete Applied Mathematics, to appear. doi: 10.1016/j.dam.2014.12.010
Johnson, D.S., Papadimitriou, C.H., Yannakakis, M.: On generating all maximal independent sets. Inf. Process. Lett. 27(3), 119–123 (1988)
Kanté, M.M., Limouzy, V., Mary, A., Nourine, L.: On the enumeration of minimal dominating sets and related notions. SIAM J. Discrete Math. 28, 1916–1929 (2014)
Kanté, M.M., Limouzy, V., Mary, A., Nourine, L.: On the neighbourhood helly of some graph classes and applications to the enumeration of minimal dominating sets. In: Chao, K.-M., Hsu, T., Lee, D.-T. (eds.) ISAAC 2012. LNCS, vol. 7676, pp. 289–298. Springer, Heidelberg (2012)
Kanté, M.M., Limouzy, V., Mary, A., Nourine, L., Uno, T.: On the enumeration and counting of minimal dominating sets in interval and permutation graphs. In: Cai, L., Cheng, S.-W., Lam, T.-W. (eds.) Algorithms and Computation. LNCS, vol. 8283, pp. 339–349. Springer, Heidelberg (2013)
Kanté, M.M., Limouzy, V., Mary, A., Nourine, L., Uno, T.: A Polynomial Delay Algorithm for Enumerating Minimal Dominating Sets in Chordal Graphs. In: Proceedings of WG 2015 (2014). arxiv:1407.2036 (to appear)
Kanté, M.M., Limouzy, V., Mary, A., Nourine, L., Uno, T.: Polynomial delay algorithm for listing minimal edge dominating sets in graphs. In: Dehne, F., Sack, J.-R., Stege, U. (eds.) WADS 2015. LNCS, vol. 9214, pp. 446–457. Springer, Heidelberg (2015)
Khachiyan, L., Boros, E., Borys, K., Elbassioni, K.M., Gurvich, V.: Generating all vertices of a polyhedron is hard. Discrete Comput. Geom. 39, 174–190 (2008)
Khachiyan, L., Boros, E., Elbassioni, K.M., Gurvich, V.: On enumerating minimal dicuts and strongly connected subgraphs. Algorithmica 50, 159–172 (2008)
Lawler, E.L., Lenstra, J.K., Rinnooy Kan, A.H.G.: NP-hardness and polynomial-time algorithms: generating all maximal independent sets. SIAM J. Comput. 9, 558–565 (1980)
Rauf, I.: Polynomially Solvable Cases of Hypergraph Transversal and Related Problems. PhD thesis, Saarland University (2011)
Tarjan, R.E.: Enumeration of the elementary circuits of a directed graph. SIAM J. Comput. 2, 211–216 (1973)
Telle, J.A., Proskurowski, A.: Algorithms for vertex partitioning problems on partial \(k\)-trees. SIAM J. Discrete Math. 10(4), 529–550 (1997)
Vatshelle, M.: New width parameters of graphs. PhD thesis, University of Bergen (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Golovach, P.A., Heggernes, P., Kanté, M.M., Kratsch, D., Sæther, S.H., Villanger, Y. (2015). Output-Polynomial Enumeration on Graphs of Bounded (Local) Linear MIM-Width. In: Elbassioni, K., Makino, K. (eds) Algorithms and Computation. ISAAC 2015. Lecture Notes in Computer Science(), vol 9472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-48971-0_22
Download citation
DOI: https://doi.org/10.1007/978-3-662-48971-0_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-48970-3
Online ISBN: 978-3-662-48971-0
eBook Packages: Computer ScienceComputer Science (R0)