Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
169 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
45 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Parameterized Complexity of Dominating Set Variants in Almost Cluster and Split Graphs (2405.10556v1)

Published 17 May 2024 in cs.DS

Abstract: We consider structural parameterizations of the fundamental Dominating Set problem and its variants in the parameter ecology program. We give improved FPT algorithms and lower bounds under well-known conjectures for dominating set in graphs that are k vertices away from a cluster graph or a split graph. These are graphs in which there is a set of k vertices (called the modulator) whose deletion results in a cluster graph or a split graph. We also call k as the deletion distance (to the appropriate class of graphs). When parameterized by the deletion distance k to cluster graphs - we can find a minimum dominating set (DS) in 3k n{O(1)}-time. Within the same time, we can also find a minimum independent dominating set (IDS) or a minimum dominating clique (DC) or a minimum efficient dominating set (EDS) or a minimum total dominating set (TDS). We also show that most of these variants of dominating set do not have polynomial sized kernel. Additionally, we show that when parameterized by the deletion distance k to split graphs - IDS can be solved in 2k n{O(1)}-time and EDS can be solved in 3{k/2}n{O(1)}.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (41)
  1. Polynomial-time data reduction for dominating set. Journal of the ACM (JACM), 51(3):363–384, 2004.
  2. Polynomial kernels for generalized domination problems. CoRR, abs/2211.03365, 2022.
  3. Fast exact algorithms for some connectivity problems parametrized by clique-width. arXiv preprint arXiv:1707.03584, 2017.
  4. Kernel bounds for disjoint cycles and disjoint paths. Theoretical Computer Science, 412(35):4570–4578, 2011.
  5. Faster Algorithms on Branch and Clique Decompositions. In MFCS, pages 174–185. Springer, 2010.
  6. A fast branching algorithm for cluster vertex deletion. Theory Comput. Syst., 58(2):357–376, 2016.
  7. On the max min vertex cover problem. Discrete Applied Mathematics, 196:62–71, 2015.
  8. Leizhen Cai. Parameterized Complexity of Vertex Colouring. Discrete Applied Mathematics, 127(3):415–429, 2003.
  9. Parameterized algorithms for locating-dominating sets. In Carlos E. Ferreira, Orlando Lee, and Flávio Keidi Miyazawa, editors, Proceedings of the XI Latin and American Algorithms, Graphs and Optimization Symposium, LAGOS 2021, Online Event / São Paulo, Brazil, May 2021, volume 195 of Procedia Computer Science, pages 68–76. Elsevier, 2021.
  10. Tight (double) exponential bounds for identification problems: Locating-dominating set and test cover. CoRR, abs/2402.08346, 2024.
  11. Approximation hardness of edge dominating set problems. J. Comb. Optim., 11(3):279–290, 2006.
  12. Approximation hardness of dominating set problems in bounded degree graphs. Inf. Comput., 206(11):1264–1275, 2008.
  13. Linear time solvable optimization problems on graphs of bounded clique-width. Theory of Computing Systems, 33:125–150, 2000.
  14. Upper bounds to the clique width of graphs. Discrete Applied Mathematics, 101(1):77–114, 2000.
  15. On problems as hard as CNF-SAT. ACM Transactions on Algorithms (TALG), 12(3):41, 2016.
  16. Parameterized Algorithms. Springer, 2015.
  17. Split Vertex Deletion meets Vertex Cover: New fixed-parameter and exact exponential-time algorithms. Inf. Process. Lett., 113(5-6):179–182, 2013.
  18. Reinherd Diestel. Graph Theory. Springer, 2006.
  19. Kernelization lower bounds through colors and IDs. ACM Transactions on Algorithms (TALG), 11(2):13, 2014.
  20. Fixed-parameter tractability and completeness II: On completeness for W[1]. Theoretical Computer Science, 141(1-2):109–131, 1995.
  21. Parameterized approximation of dominating set problems. Information Processing Letters, 109(1):68–70, 2008.
  22. Towards fully multivariate algorithmics: Parameter ecology and the deconstruction of computational complexity. European Journal of Combinatorics, 34(3):541–566, 2013.
  23. Exact Exponential Algorithms. Springer Science & Business Media, 2010.
  24. Infeasibility of instance compression and succinct PCPs for NP. J. Comput. Syst. Sci., 77(1):91–106, 2011.
  25. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman, 1979.
  26. Structural parameterizations of dominating set variants. In Fedor V. Fomin and Vladimir V. Podolskii, editors, Computer Science - Theory and Applications - 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings, volume 10846 of Lecture Notes in Computer Science, pages 157–168. Springer, 2018.
  27. A structural view on parameterizing problems: Distance from triviality. In Parameterized and Exact Computation: First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings 1, pages 162–173. Springer, 2004.
  28. Grouped domination parameterized by vertex cover, twin cover, and beyond. In Marios Mavronicolas, editor, Algorithms and Complexity - 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings, volume 13898 of Lecture Notes in Computer Science, pages 263–277. Springer, 2023.
  29. Teresa W. Haynes. Domination in graphs: advanced topics. Marcel Dekker, 2017.
  30. Fundamentals of domination. In Domination in Graphs: Core Concepts, pages 27–47. Springer, 2023.
  31. On the complexity of k-sat. Journal of Computer and System Sciences, 62:367–375, 2001.
  32. Which Problems Have Strongly Exponential Complexity? Journal of Computer and System Sciences, 63(4):512–530, 2001.
  33. Parameter Ecology for Feedback Vertex Set. Tsinghua Science and Technology, 19(4):387–409, 2014.
  34. The parameterized complexity of dominating set and friends revisited for structured graphs. In René van Bevern and Gregory Kucherov, editors, Computer Science - Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, Proceedings, volume 11532 of Lecture Notes in Computer Science, pages 299–310. Springer, 2019.
  35. Rolf Niedermeier. Reflections on multivariate algorithmics and problem parameterization. In 27th International Symposium on Theoretical Aspects of Computer Science. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2010.
  36. Faster Algorithms Parameterized by Clique-width. arXiv preprint arXiv:1311.0224, 2013.
  37. Polynomial kernels for dominating set in graphs of bounded degeneracy and beyond. ACM Transactions on Algorithms (TALG), 9(1):1–23, 2012.
  38. Short cycles make W-hard problems hard: FPT algorithms for W-hard problems in graphs with no short cycles. Algorithmica, 52(2):203–225, 2008.
  39. Thomas J. Schaefer. The Complexity of Satisfiability Problems. In Proceedings of STOC, pages 216–226, 1978.
  40. Johan M. M. Van Rooij and Hans L Bodlaender. Exact algorithms for dominating set. Discrete Applied Mathematics, 159(17):2147–2164, 2011.
  41. Meirav Zehavi. Maximum Minimal Vertex Cover Parameterized by Vertex Cover. SIAM Journal of Discrete Mathematics, 31(4):2440–2456, 2017.
Citations (2)

Summary

We haven't generated a summary for this paper yet.

X Twitter Logo Streamline Icon: https://streamlinehq.com