Width Parameterizations for Knot-Free Vertex Deletion on Digraphs

Authors Stéphane Bessy, Marin Bougeret, Alan D. A. Carneiro, Fábio Protti, Uéverton S. Souza



PDF
Thumbnail PDF

File

LIPIcs.IPEC.2019.2.pdf
  • Filesize: 0.93 MB
  • 16 pages

Document Identifiers

Author Details

Stéphane Bessy
  • Université de Montpellier - CNRS, LIRMM, Montpellier, France
Marin Bougeret
  • Université de Montpellier - CNRS, LIRMM, Montpellier, France
Alan D. A. Carneiro
  • Universidade Federal Fluminense - Instituto de Computação, Niterói, Brazil
Fábio Protti
  • Universidade Federal Fluminense - Instituto de Computação, Niterói, Brazil
Uéverton S. Souza
  • Universidade Federal Fluminense - Instituto de Computação, Niterói, Brazil

Acknowledgements

We thank Ignasi Sau for introducing Alan Carneiro to Stéphane Bessy and Marin Bougeret.

Cite AsGet BibTex

Stéphane Bessy, Marin Bougeret, Alan D. A. Carneiro, Fábio Protti, and Uéverton S. Souza. Width Parameterizations for Knot-Free Vertex Deletion on Digraphs. In 14th International Symposium on Parameterized and Exact Computation (IPEC 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 148, pp. 2:1-2:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.IPEC.2019.2

Abstract

A knot in a directed graph G is a strongly connected subgraph Q of G with at least two vertices, such that no vertex in V(Q) is an in-neighbor of a vertex in V(G)\V(Q). Knots are important graph structures, because they characterize the existence of deadlocks in a classical distributed computation model, the so-called OR-model. Deadlock detection is correlated with the recognition of knot-free graphs as well as deadlock resolution is closely related to the Knot-Free Vertex Deletion (KFVD) problem, which consists of determining whether an input graph G has a subset S subseteq V(G) of size at most k such that G[V\S] contains no knot. Because of natural applications in deadlock resolution, KFVD is closely related to Directed Feedback Vertex Set. In this paper we focus on graph width measure parameterizations for KFVD. First, we show that: (i) KFVD parameterized by the size of the solution k is W[1]-hard even when p, the length of a longest directed path of the input graph, as well as kappa, its Kenny-width, are bounded by constants, and we remark that KFVD is para-NP-hard even considering many directed width measures as parameters, but in FPT when parameterized by clique-width; (ii) KFVD can be solved in time 2^{O(tw)} x n, but assuming ETH it cannot be solved in 2^{o(tw)} x n^{O(1)}, where tw is the treewidth of the underlying undirected graph. Finally, since the size of a minimum directed feedback vertex set (dfv) is an upper bound for the size of a minimum knot-free vertex deletion set, we investigate parameterization by dfv and we show that (iii) KFVD can be solved in FPT-time parameterized by either dfv+kappa or dfv+p. Results of (iii) cannot be improved when replacing dfv by k due to (i).

Subject Classification

ACM Subject Classification
  • Mathematics of computing → Graph theory
  • Theory of computation → Parameterized complexity and exact algorithms
Keywords
  • Knot
  • deadlock
  • width measure
  • FPT
  • W[1]-hard
  • directed feedback vertex set

Metrics

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

References

  1. Saeed Akhoondian Amiri, Lukasz Kaiser, Stephan Kreutzer, Roman Rabinovich, and Sebastian Siebertz. Graph searching games and width measures for directed graphs. In 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2015. Google Scholar
  2. János Barát. Directed path-width and monotonicity in digraph searching. Graphs and Combinatorics, 22(2):161-172, 2006. Google Scholar
  3. Valmir C. Barbosa. The Combinatorics of Resource Sharing. In Models for Parallel and Distributed Computation, pages 27-52. Springer, 2002. Google Scholar
  4. Valmir C. Barbosa and Mario R. F. Benevides. A graph-theoretic characterization of AND-OR deadlocks. Technical Report COPPE-ES-472/98, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil, 1998. Google Scholar
  5. Valmir C. Barbosa, Alan D. A. Carneiro, Fábio Protti, and Uéverton S. Souza. Deadlock Models in Distributed Computation: Foundations, Design, and Computational Complexity. In Proceedings of the 31st ACM/SIGAPP Symposium on Applied Computing, pages 538-541, 2016. Google Scholar
  6. Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer, and Jan Obdržálek. The dag-width of directed graphs. Journal of Combinatorial Theory, Series B, 102(4):900-923, 2012. Google Scholar
  7. Dietmar Berwanger and Erich Grädel. Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games. In Franz Baader and Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, pages 209-223, Berlin, Heidelberg, 2005. Springer Berlin Heidelberg. Google Scholar
  8. Hans L Bodlaender, Pål Grønås Drange, Markus S. Dregi, Fedor V. Fomin, Daniel Lokshtanov, and Michał Pilipczuk. A c^kn 5-Approximation Algorithm for Treewidth. SIAM Journal on Computing, 45(2):317-378, 2016. Google Scholar
  9. John A. Bondy and Uppaluri S. R. Murty. Graph theory with applications, volume 290. Macmilan, 1976. Google Scholar
  10. Alan D. A. Carneiro, Fábio Protti, and Uéverton S. Souza. Deletion Graph Problems Based on Deadlock Resolution. In The 23rd International Computing and Combinatorics Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017. Lecture Notes in Computer Science, volume 10392, pages 75-86. Springer, 2017. Google Scholar
  11. Alan D. A. Carneiro, Fábio Protti, and Uéverton S. Souza. Fine-Grained Parameterized Complexity Analysis of Knot-Free Vertex Deletion - A Deadlock Resolution Graph Problem. In The 24th International Computing and Combinatorics Conference, COCOON 2018, Qingdao, China , July 2-4, 2018. Lecture Notes in Computer Science, volume 10976, pages 84-95. Springer, 2018. Google Scholar
  12. Alan D. A. Carneiro, Fábio Protti, and Uéverton S Souza. Deadlock resolution in wait-for graphs by vertex/arc deletion. Journal of Combinatorial Optimization, 37(2):546-562, 2019. Google Scholar
  13. K Mani Chandy and Leslie Lamport. Distributed snapshots: determining global states of distributed systems. ACM Transactions on Computer Systems, 3:63-75, 1985. Google Scholar
  14. Jianer Chen, Yang Liu, Songjian Lu, Barry O’sullivan, and Igor Razgon. A fixed-parameter algorithm for the directed feedback vertex set problem. Journal of the ACM (JACM), 55(5):21, 2008. Google Scholar
  15. Bruno Courcelle and Joost Engelfriet. Graph structure and monadic second-order logic: a language-theoretic approach, volume 138. Cambridge University Press, 2012. Google Scholar
  16. Bruno Courcelle, Johann A Makowsky, and Udi Rotics. Linear time solvable optimization problems on graphs of bounded clique-width. Theory of Computing Systems, 33(2):125-150, 2000. Google Scholar
  17. Marek Cygan, Fedor V. Fomin, Lukasz Kowalik, Daniel Lokshtanov, Dániel Marx, Marcin Pilipczuk, Michal Pilipczuk, and Saket Saurabh. Parameterized Algorithms. Springer, 2015. Google Scholar
  18. Robert Ganian, Petr Hliněnỳ, Joachim Kneis, Alexander Langer, Jan Obdržálek, and Peter Rossmanith. Digraph width measures in parameterized algorithmics. Discrete applied mathematics, 168:88-107, 2014. Google Scholar
  19. Robert Ganian, Petr Hliněnỳ, Joachim Kneis, Daniel Meister, Jan Obdržálek, Peter Rossmanith, and Somnath Sikdar. Are there any good digraph width measures? In International Symposium on Parameterized and Exact Computation, pages 135-146. Springer, 2010. Google Scholar
  20. Hermann Gruber. Digraph Complexity Measures and Applications in Formal Language Theory. Discrete Mathematics & Theoretical Computer Science, 14(2):189-204, 2012. Google Scholar
  21. Richard C Holt. Some deadlock properties of computer systems. ACM Computing Surveys (CSUR), 4(3):179-196, 1972. Google Scholar
  22. Paul Hunter and Stephan Kreutzer. Digraph measures: Kelly decompositions, games, and orderings. Theoretical Computer Science, 399(3):206-219, 2008. Graph Searching. Google Scholar
  23. Thor Johnson, Neil Robertson, P.D. Seymour, and Robin Thomas. Directed Tree-Width. Journal of Combinatorial Theory, Series B, 82(1):138-154, 2001. Google Scholar
  24. RichardM. Karp. Reducibility among Combinatorial Problems. In RaymondE. Miller, JamesW. Thatcher, and JeanD. Bohlinger, editors, Complexity of Computer Computations, The IBM Research Symposia Series, pages 85-103. Springer US, 1972. Google Scholar
  25. Mateus de O. Oliveira. Subgraphs satisfying MSO properties on z-topologically orderable digraphs. In International Symposium on Parameterized and Exact Computation, pages 123-136. Springer, 2013. Google Scholar
  26. Mateus de O. Oliveira. An algorithmic metatheorem for directed treewidth. Discrete Applied Mathematics, 204:49-76, 2016. Google Scholar
  27. Sang-Il Oum. Approximating Rank-width and Clique-width Quickly. ACM Transactions on Algorithms, 5(1):10:1-10:20, 2008. Google Scholar
  28. Roman Rabinovich and Lehr-und Forschungsgebiet. Complexity measures of directed graphs. PhD thesis, RWTH Aachen University, 2008. Google Scholar
  29. Mohammad Ali Safari. D-Width: A More Natural Measure for Directed Tree Width. In Joanna Jȩdrzejowicz and Andrzej Szepietowski, editors, Mathematical Foundations of Computer Science 2005, pages 745-756, Berlin, Heidelberg, 2005. Springer Berlin Heidelberg. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail