Document

# Parameterized Complexity of Deletion to Scattered Graph Classes

## File

LIPIcs.IPEC.2020.18.pdf
• Filesize: 0.64 MB
• 17 pages

## Acknowledgements

The authors thank M.S.Ramanujan for many helpful discussions.

## Cite As

Ashwin Jacob, Diptapriyo Majumdar, and Venkatesh Raman. Parameterized Complexity of Deletion to Scattered Graph Classes. In 15th International Symposium on Parameterized and Exact Computation (IPEC 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 180, pp. 18:1-18:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
https://doi.org/10.4230/LIPIcs.IPEC.2020.18

## Abstract

Graph-modification problems, where we add/delete a small number of vertices/edges to make the given graph to belong to a simpler graph class, is a well-studied optimization problem in all algorithmic paradigms including classical, approximation and parameterized complexity. Specifically, graph-deletion problems, where one needs to delete at most k vertices to place it in a given non-trivial hereditary (closed under induced subgraphs) graph class, captures several well-studied problems including Vertex Cover, Feedback Vertex Set, Odd Cycle Transveral, Cluster Vertex Deletion, and Perfect Deletion. Investigation into these problems in parameterized complexity has given rise to powerful tools and techniques. While a precise characterization of the graph classes for which the problem is fixed-parameter tractable (FPT) is elusive, it has long been known that if the graph class is characterized by a finite set of forbidden graphs, then the problem is FPT. In this paper, we initiate a study of a natural variation of the problem of deletion to scattered graph classes where we need to delete at most k vertices so that in the resulting graph, each connected component belongs to one of a constant number of graph classes. A simple hitting set based approach is no longer feasible even if each of the graph classes is characterized by finite forbidden sets. As our main result, we show that this problem (in the case where each graph class has a finite forbidden set) is fixed-parameter tractable by a O^*(2^(k^O(1))) algorithm, using a combination of the well-known techniques in parameterized complexity - iterative compression and important separators. Our approach follows closely that of a related problem in the context of satisfiability [Ganian, Ramanujan, Szeider, TAlg 2017], where one wants to find a small backdoor set so that the resulting CSP (constraint satisfaction problem) instance belongs to one of several easy instances of satisfiability. While we follow the main idea from this work, there are some challenges for our problem which we needed to overcome. When there are two graph classes with finite forbidden sets to get to, and if one of the forbidden sets has a path, then we show that the problem has a (better) singly exponential algorithm and a polynomial sized kernel. We also design an efficient FPT algorithm for a special case when one of the graph classes has an infinite forbidden set. Specifically, we give a O^*(4^k) algorithm to determine whether k vertices can be deleted from a given graph so that in the resulting graph, each connected component is a tree (the sparsest connected graph) or a clique (the densest connected graph).

## Subject Classification

##### ACM Subject Classification
• Theory of computation → Fixed parameter tractability
##### Keywords
• Parameterized Complexity
• Scattered Graph Classes
• Important Separators

## Metrics

• Access Statistics
• Total Accesses (updated on a weekly basis)
0

## References

1. Akanksha Agrawal, Sudeshna Kolay, Daniel Lokshtanov, and Saket Saurabh. A faster FPT algorithm and a smaller kernel for block graph vertex deletion. In LATIN 2016: Theoretical Informatics, pages 1-13. Springer, 2016.
2. Andreas Brandstadt, Jeremy P Spinrad, et al. Graph classes: a survey, volume 3. Siam, 1999.
3. Leizhen Cai. Fixed-Parameter Tractability of Graph Modification Problems for Hereditary Properties. Inf. Process. Lett., 58(4):171-176, 1996.
4. Jianer Chen, Yang Liu, and Songjian Lu. An improved parameterized algorithm for the minimum node multiway cut problem. Algorithmica, 55(1):1-13, 2009.
5. M. Cygan, F. V. Fomin, L. Kowalik, D. Lokshtanov, D. Marx, M. Pilipczuk, M. Pilipczuk, and S. Saurabh. Parameterized Algorithms. Springer, 2015.
6. Marek Cygan, Fedor V Fomin, Łukasz Kowalik, Daniel Lokshtanov, Dániel Marx, Marcin Pilipczuk, Michał Pilipczuk, and Saket Saurabh. Parameterized algorithms, volume 3. Springer, 2015.
7. Walter A. Deuber, Paul Erdös, David S. Gunderson, Alexandr V. Kostochka, and A. G. Meyer. Intersection Statements for Systems of Sets. J. Comb. Theory, Ser. A, 79(1):118-132, 1997.
8. Reinhard Diestel. Graph Theory, 4th Edition, volume 173 of Graduate texts in mathematics. Springer, 2012.
9. Robert Ganian, M. S. Ramanujan, and Stefan Szeider. Discovering archipelagos of tractability for constraint satisfaction and counting. ACM Trans. Algorithms, 13(2):29:1-29:32, 2017.
10. Pinar Heggernes, Pim van 't Hof, Bart M. P. Jansen, Stefan Kratsch, and Yngve Villanger. Parameterized complexity of vertex deletion into perfect graph classes. Theor. Comput. Sci., 511:172-180, 2013.
11. Tomasz Kociumaka and Marcin Pilipczuk. Faster deterministic Feedback Vertex Set. Inf. Process. Lett., 114(10):556-560, 2014.
12. John M. Lewis and Mihalis Yannakakis. The node-deletion problem for hereditary properties is np-complete. J. Comput. Syst. Sci., 20(2):219-230, 1980.
13. Daniel Lokshtanov. Wheel-free deletion is W[2]-hard. In Parameterized and Exact Computation, Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings, pages 141-147, 2008.
14. Daniel Lokshtanov and MS Ramanujan. Parameterized tractability of multiway cut with parity constraints. In International Colloquium on Automata, Languages, and Programming, pages 750-761. Springer, 2012.
15. Dániel Marx. Parameterized graph separation problems. Theoretical Computer Science, 351(3):394-406, 2006.
16. Geevarghese Philip, Ashutosh Rai, and Saket Saurabh. Generalized pseudoforest deletion: Algorithms and uniform kernel. SIAM J. Discrete Math., 32(2):882-901, 2018.
17. Ashutosh Rai and M. S. Ramanujan. Strong parameterized deletion: Bipartite graphs. In 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, pages 21:1-21:14, 2016.
18. Ashutosh Rai and Saket Saurabh. Bivariate complexity analysis of almost forest deletion. Theor. Comput. Sci., 708:18-33, 2018.
19. Venkatesh Raman, Saket Saurabh, and Ondrej Suchý. An FPT algorithm for Tree Deletion Set. J. Graph Algorithms Appl., 17(6):615-628, 2013.
20. Mihalis Yannakakis. Node-deletion problems on bipartite graphs. SIAM J. Comput., 10(2):310-327, 1981.
X

Feedback for Dagstuhl Publishing