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 Scholar
Digital 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 Scholar
Digital Library
- Andreas Brandstädt, Van Bang Le, and Jeremy P. Spinrad. 1999. Graph Classes. A Survey. SIAM, Philadelphia, PA. Google Scholar
Digital 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 Scholar
Digital Library
- Leizhen Cai. 1996. Fixed-parameter tractability of graph modification problems for hereditary properties. Information Processing Letters 58, 4, 171--176. Google Scholar
Digital Library
- Leizhen Cai and Yufei Cai. 2015. Incompressibility of H-Free edge modification problems. Algorithmica 71, 3, 731--757. Google Scholar
Digital 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 Scholar
Digital 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 Scholar
Cross Ref
- Jörg Flum and Martin Grohe. 2006. Parameterized Complexity Theory. Springer-Verlag, New York. Google Scholar
Digital 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 Scholar
Cross Ref
- Fedor V. Fomin and Yngve Villanger. 2013. Subexponential parameterized algorithm for minimum fill-in. SIAM Journal on Computing 42, 6, 2197--2216.Google Scholar
Cross 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 Scholar
Digital 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 Scholar
Digital 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 Scholar
Digital 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 Scholar
Digital Library
- Yan Jing-Ho, Chen Jer-Jeong, and Gerard J. Chang. 1996. Quasi-threshold graphs. Discrete Applied Mathematics 69, 3, 247--255. Google Scholar
Digital 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 Scholar
Digital 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 Scholar
Digital Library
- Christian Komusiewicz and Johannes Uhlmann. 2012. Cluster editing with locally bounded modifications. Discrete Applied Mathematics 160, 15, 2259--2270. Google Scholar
Digital Library
- Stefan Kratsch and Magnus Wahlström. 2013. Two edge modification problems without polynomial kernels. Discrete Optimization 10, 3, 193--199.Google Scholar
Cross Ref
- Frédéric Maffray and Myriam Preissmann. 1994. Linear recognition of pseudo-split graphs. Discrete Applied Mathematics 52, 3, 307--312. Google Scholar
Digital 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 Scholar
Digital Library
- Jaroslav Nešetřil and Patrice Ossona de Mendez. 2012. Sparsity -- Graphs, Structures, and Algorithms. Algorithms and combinatorics, Vol. 28. Springer. Google Scholar
Digital 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 Scholar
Digital Library
- Mihalis Yannakakis. 1981a. Computing the minimum fill-in is NP-complete. SIAM Journal on Algebraic Discrete Methods 2, 1, 77--79.Google Scholar
Digital Library
- Mihalis Yannakakis. 1981b. Edge-deletion problems. SIAM Journal on Computing 10, 2, 297--309.Google Scholar
Cross Ref
Index Terms
Exploring the Subexponential Complexity of Completion Problems
Recommendations
Subexponential Parameterized Algorithm for Interval Completion
Special Issue on SODA’16 and Regular PapersIn the Interval Completion problem we are given an n-vertex graph G and an integer k, and the task is to transform G by making use of at most k edge additions into an interval graph. This is a fundamental graph modification problem with applications in ...
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 ...






Comments