Abstract
Let F be a family of graphs. In the F-Completion problem, we are given an n-vertex graph G and an integer k as input, and asked whether at most k edges can be added to G so that the resulting graph does not contain a graph from F as an induced subgraph. It was shown recently that two special cases of F-Completion, namely, (i) the problem of completing into a chordal graph known as Minimum Fill-in (SIAM J. Comput. 2013), which corresponds to the case of F={C4, C5, C6, …}, and (ii) the problem of completing into a split graph (Algorithmica 2015), that is, the case of F={C4, 2K2, C5}, are solvable in parameterized subexponential time 2O(√klogk)nO(1). The exploration of this phenomenon is the main motivation for our research on F-Completion.
In this article, we prove that completions into several well-studied classes of graphs without long induced cycles and paths also admit parameterized subexponential time algorithms by showing that:
—The problem Trivially Perfect Completion, which is F-Completion for F={C4, P4}, a cycle and a path on four vertices, is solvable in parameterized subexponential time 2O(√klogk)nO(1).
—The problems known in the literature as Pseudosplit Completion, the case in which F{2K2, C4}, and Threshold Completion, in which F=2K2, P4, C4}, are also solvable in time 2O(√klogk)nO}(1).
We complement our algorithms for F-Completion with the following lower bounds:
—For F={2K2}, F= {C4}, F={Po4}, and F={2K2, P4}, F-Completion cannot be solved in time 2o(k)nO(1) unless the Exponential Time Hypothesis (ETH) fails.
Our upper and lower bounds provide a complete picture of the subexponential parameterized complexity of F-Completion problems for any F ⊆ {2K2, C4, P4}.
- Noga Alon, Daniel Lokshtanov, and Saket Saurabh. 2009. Fast fast. In Proceedings of the 36th Colloquium of Automata, Languages and Programming (ICALP). Lecture Notes in Computer Science, Vol. 5555. Springer, Berlin, 49--58. Google ScholarDigital Library
- Ivan Bliznets, Fedor V. Fomin, Marcin Pilipczuk, and Michał Pilipczuk. 2014a. A subexponential parameterized algorithm for interval completion. CoRR abs/1402.3473.Google Scholar
- Ivan Bliznets, Fedor V. Fomin, Marcin Pilipczuk, and Michał Pilipczuk. 2014b. A subexponential parameterized algorithm for proper interval completion. In Proceedings of the European Symposium on Algorithms (ESA). Lecture Notes in Computer Science, Vol. 8737. Springer, Berlin, 173--184.Google Scholar
- Hans L. Bodlaender. 1998. A partial k-Arboretum of graphs with bounded treewidth. Theoretical Computer Science 209, 1--2, 1--45. Google ScholarDigital Library
- Andreas Brandstädt, Van Bang Le, and Jeremy P. Spinrad. 1999. Graph Classes. A Survey. SIAM, Philadelphia, PA. Google ScholarDigital Library
- Pablo Burzyn, Flavia Bonomo, and Guillermo Durán. 2006. NP-Completeness results for edge modification problems. Discrete Applied Mathematics 154, 13, 1824--1844. Google ScholarDigital Library
- Leizhen Cai. 1996. Fixed-parameter tractability of graph modification problems for hereditary properties. Information Processing Letters 58, 4, 171--176. Google ScholarDigital Library
- Leizhen Cai and Yufei Cai. 2015. Incompressibility of H-Free edge modification problems. Algorithmica 71, 3, 731--757. Google ScholarDigital Library
- Erik D. Demaine, Fedor V. Fomin, Mohammadtaghi Hajiaghayi, and Dimitrios M. Thilikos. 2005. Subexponential parameterized algorithms on bounded-genus graphs and H-minor-free graphs. Journal of the ACM 52, 6, 866--893. Google ScholarDigital Library
- Pål Grønås Drange, Fedor V. Fomin, Michał Pilipczuk, and Yngve Villanger. 2014. Exploring subexponential parameterized complexity of completion problems. In Proceedings of the 31st International Symposium on Theoretical Aspects of Computer Science (STACS) (LIPIcs), Vol. 25. Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik, 288--299.Google Scholar
- Pål Grønås Drange and Michał Pilipczuk. 2015. A polynomial kernel for trivially perfect editing. In European Symposium on Algorithms (ESA), N. Bansal and I. Finocchi (Eds.). LNCS 9294, Springer, Heidelberg, 424--436.Google ScholarCross Ref
- Jörg Flum and Martin Grohe. 2006. Parameterized Complexity Theory. Springer-Verlag, New York. Google ScholarDigital Library
- Fedor V. Fomin, Stefan Kratsch, Marcin Pilipczuk, Michał Pilipczuk, and Yngve Villanger. 2014. Tight bounds for parameterized complexity of cluster editing with a small number of clusters. Journal of Computer and System Sciences 80, 7, 1430--1447.Google ScholarCross Ref
- Fedor V. Fomin and Yngve Villanger. 2013. Subexponential parameterized algorithm for minimum fill-in. SIAM Journal on Computing 42, 6, 2197--2216.Google ScholarCross Ref
- Esha Ghosh, Sudeshna Kolay, Mrinal Kumar, Pranabendu Misra, Fahad Panolan, Ashutosh Rai, and M. S. Ramanujan. 2015. Faster parameterized algorithms for deletion to split graphs. Algorithmica 71, 4, 989--1006. Google ScholarDigital Library
- Martin Charles Golumbic. 1980. Algorithmic Graph Theory and Perfect Graphs. Academic Press, New York, NY.Google Scholar
- Sylvain Guillemot, Frédéric Havet, Christophe Paul, and Anthony Perez. 2013. On the (non-)existence of polynomial kernels for Pl-free edge modification problems. Algorithmica 65, 4, 900--926.Google ScholarDigital Library
- Jiong Guo. 2007. Problem kernels for NP-complete edge deletion problems: Split and related graphs. In Algorithms and Computation, 18th International Symposium (ISAAC). Lecture Notes in Computer Science, Vol. 4835. Springer, Berlin, 915--926. Google ScholarDigital Library
- Russell Impagliazzo, Ramamohan Paturi, and Francis Zane. 2001. Which problems have strongly exponential complexity? Journal of Computer and System Sciences 63, 4, 512--530. Google ScholarDigital Library
- Yan Jing-Ho, Chen Jer-Jeong, and Gerard J. Chang. 1996. Quasi-threshold graphs. Discrete Applied Mathematics 69, 3, 247--255. Google ScholarDigital Library
- Haim Kaplan and Ron Shamir. 1996. Pathwidth, bandwidth, and completion problems to proper interval graphs with small cliques. SIAM Journal on Computing 25, 3, 540--561. Google ScholarDigital Library
- Haim Kaplan, Ron Shamir, and Robert E. Tarjan. 1999. Tractability of parameterized completion problems on chordal, strongly chordal, and proper interval graphs. SIAM Journal on Computing 28, 5, 1906--1922. Google ScholarDigital Library
- Christian Komusiewicz and Johannes Uhlmann. 2012. Cluster editing with locally bounded modifications. Discrete Applied Mathematics 160, 15, 2259--2270. Google ScholarDigital Library
- Stefan Kratsch and Magnus Wahlström. 2013. Two edge modification problems without polynomial kernels. Discrete Optimization 10, 3, 193--199.Google ScholarCross Ref
- Frédéric Maffray and Myriam Preissmann. 1994. Linear recognition of pseudo-split graphs. Discrete Applied Mathematics 52, 3, 307--312. Google ScholarDigital Library
- Nadimpalli V. R. Mahadev and Uri N. Peled. 1995. Threshold Graphs and Related Topics. Annals of Discrete Mathematics, Vol. 56. Elsevier.Google Scholar
- Federico Mancini. 2008. Graph Modification Problems Related to Graph Classes. Ph.D. Dissertation. University of Bergen, Bergen, Norway.Google Scholar
- Assaf Natanzon, Ron Shamir, and Roded Sharan. 2000. A polynomial approximation algorithm for the minimum fill-in problem. SIAM Journal on Computing 30, 1067--1079. Issue 4. Google ScholarDigital Library
- Jaroslav Nešetřil and Patrice Ossona de Mendez. 2012. Sparsity -- Graphs, Structures, and Algorithms. Algorithms and combinatorics, Vol. 28. Springer. Google ScholarDigital Library
- Yngve Villanger, Pinar Heggernes, Christophe Paul, and Jan Arne Telle. 2009. Interval completion is fixed parameter tractable. SIAM Journal on Computing 38, 5, 2007--2020. Google ScholarDigital Library
- Mihalis Yannakakis. 1981a. Computing the minimum fill-in is NP-complete. SIAM Journal on Algebraic Discrete Methods 2, 1, 77--79.Google ScholarDigital Library
- Mihalis Yannakakis. 1981b. Edge-deletion problems. SIAM Journal on Computing 10, 2, 297--309.Google ScholarCross Ref
Index Terms
- Exploring the Subexponential Complexity of Completion Problems
Recommendations
Interval Completion Is Fixed Parameter Tractable
We present an algorithm with runtime $O(k^{2k}n^3m)$ for the following NP-complete problem [M. Garey and D. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman and Co., San Francisco, 1979, problem GT35]: Given ...
Subexponential algorithms for partial cover problems
Partial Cover problems are optimization versions of fundamental and well-studied problems like Vertex Cover and Dominating Set. Here one is interested in covering (or dominating) the maximum number of edges (or vertices) using a given number k of ...
Parameterized and Subexponential-Time Complexity of Satisfiability Problems and Applications
Combinatorial Optimization and ApplicationsAbstractWe study the parameterized and the subexponential-time complexity of the weighted and unweighted satisfiability problems on bounded-depth Boolean circuits. We establish relations between the subexponential-time complexity of the weighted and ...
Comments