Abstract
The Induced H -Matching problem asks to find k disjoint, induced subgraphs isomorphic to H in a given graph G such that there are no edges between vertices of different subgraphs. This problem generalizes amongst others the classical Independent Set and Induced Matching problems. We show that Induced H -Matching is fixed-parameter tractable in k on claw-free graphs when H is a fixed connected graph of constant size, and even admits a polynomial kernel when H is a clique. Both results rely on a new, strong algorithmic structure theorem for claw-free graphs. To show the fixed-parameter tractability of the problem, we additionally apply the color-coding technique in a nontrivial way. Complementing the above two positive results, we prove the W[1]-hardness of Induced H -Matching for graphs excluding K 1,4 as an induced subgraph. In particular, we show that Independent Set is W[1]-hard on K 1,4-free graphs.
Supported by ERC StG project PAAl no. 259515. A full version of this paper can be found on the arXiv.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alon, N., Yuster, R., Zwick, U.: Color-coding. J. ACM 42(4), 844–856 (1995)
Cameron, K., Hell, P.: Independent packings in structured graphs. Math. Programming 105(2-3), 201–213 (2006)
Chudnovsky, M., Ovetsky, A.: Coloring quasi-line graphs. J. Graph Theory 54(1), 41–50 (2007)
Chudnovsky, M., Seymour, P.D.: The structure of claw-free graphs. In: Surveys in Combinatorics, vol. 327, pp. 153–171. Cambridge University Press (2005)
Cygan, M., Philip, G., Pilipczuk, M., Pilipczuk, M., Wojtaszczyk, J.O.: Dominating set is fixed parameter tractable in claw-free graphs. Theoretical Computer Science 412(50), 6982–7000 (2011)
Dell, H., Marx, D.: Kernelization of packing problems. In: Proc. SODA 2012, pp. 68–81 (2012)
Downey, R.G., Fellows, M.R.: Parameterized complexity. Springer (1999)
Faenza, Y., Oriolo, G., Stauffer, G.: An algorithmic decomposition of claw-free graphs leading to an O(n 3)-algorithm for the weighted stable set problem. In: Proc. SODA 2011, pp. 630–646 (2011)
Faudree, R.J., Flandrin, E., Ryjácek, Z.: Claw-free graphs - A survey. Discrete Math. 164(1-3), 87–147 (1997)
Fellows, M.R., Hermelin, D., Rosamond, F.A., Vialette, S.: On the parameterized complexity of multiple-interval graph problems. Theoretical Computer Science 410(1), 53–61 (2009)
Fellows, M.R., Knauer, C., Nishimura, N., Ragde, P., Rosamond, F.A., Stege, U., Thilikos, D.M., Whitesides, S.: Faster fixed-parameter tractable algorithms for matching and packing problems. Algorithmica 52(2), 167–176 (2008)
Garey, M., Johnson, D.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman (1979)
Golovach, P.A., Paulusma, D., van Leeuwen, E.J.: Induced Disjoint Paths in AT-Free Graphs. In: Fomin, F.V., Kaski, P. (eds.) SWAT 2012. LNCS, vol. 7357, pp. 153–164. Springer, Heidelberg (2012)
Golovach, P.A., Paulusma, D., van Leeuwen, E.J.: Induced Disjoint Paths in Claw-Free Graphs. In: Epstein, L., Ferragina, P. (eds.) ESA 2012. LNCS, vol. 7501, pp. 515–526. Springer, Heidelberg (2012)
Hermelin, D., Mnich, M., van Leeuwen, E.J., Woeginger, G.J.: Domination When the Stars Are Out. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP 2011. LNCS, vol. 6755, pp. 462–473. Springer, Heidelberg (2011)
Hermelin, D., Wu, X.: Weak compositions and their applications to polynomial lower bounds for kernelization. In: Proc. SODA 2012, pp. 104–113 (2012)
King, A.D., Reed, B.A.: Bounding χ in terms of ω and Δ for quasi-line graphs. J. Graph Theory 59(3), 215–228 (2008)
Kirkpatrick, D., Hell, P.: On the complexity of general graph factor problems. SIAM J. Computing 12(3), 601–609 (1983)
Kneis, J., Mölle, D., Richter, S., Rossmanith, P.: Divide-and-Color. In: Fomin, F.V. (ed.) WG 2006. LNCS, vol. 4271, pp. 58–67. Springer, Heidelberg (2006)
Kobler, D., Rotics, U.: Finding maximum induced matchings in subclasses of claw-free and p 5-free graphs, and in graphs with matching and induced matching of equal maximum size. Algorithmica 37(4), 327–346 (2003)
Marx, D.: Efficient Approximation Schemes for Geometric Problems? In: Brodal, G.S., Leonardi, S. (eds.) ESA 2005. LNCS, vol. 3669, pp. 448–459. Springer, Heidelberg (2005)
Moser, H.: A Problem Kernelization for Graph Packing. In: Nielsen, M., Kučera, A., Miltersen, P.B., Palamidessi, C., Tůma, P., Valencia, F. (eds.) SOFSEM 2009. LNCS, vol. 5404, pp. 401–412. Springer, Heidelberg (2009)
Moser, H., Thilikos, D.M.: Parameterized complexity of finding regular induced subgraphs. In: Broersma, H., Dantchev, S.S., Johnson, M., Szeider, S. (eds.) Proc. ACiD 2006. Texts in Algorithmics, vol. 7, pp. 107–118. King’s College, London (2006)
Oriolo, G., Pietropaoli, U., Stauffer, G.: On the recognition of fuzzy circular interval graphs. Discrete Math. 312(8), 1426–1435 (2012)
Prieto, E., Sloper, C.: Looking at the stars. Theoretical Computer Science 351(3), 437–445 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hermelin, D., Mnich, M., van Leeuwen, E.J. (2012). Parameterized Complexity of Induced H-Matching on Claw-Free Graphs. In: Epstein, L., Ferragina, P. (eds) Algorithms – ESA 2012. ESA 2012. Lecture Notes in Computer Science, vol 7501. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33090-2_54
Download citation
DOI: https://doi.org/10.1007/978-3-642-33090-2_54
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33089-6
Online ISBN: 978-3-642-33090-2
eBook Packages: Computer ScienceComputer Science (R0)