Skip to main content

Deterministic Parameterized Connected Vertex Cover

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNTCS,volume 7357)

Abstract

In the Connected Vertex Cover problem we are given an undirected graph G together with an integer k and we are to find a subset of vertices X of size at most k, such that X contains at least one end-point of each edge and such that X induces a connected subgraph. For this problem we present a deterministic algorithm running in O(2kpoly(n)) time and polynomial space, improving over the previous-best O(2.4882kpoly(n)) time deterministic algorithm and O(2kpoly(n)) time randomized algorithm. Furthermore, when usage of exponential space is allowed, we present an O(2k k(n + m)) time algorithm that solves a more general variant with real weights.

Finally, we show that in O(2kpoly(n)) time and space one can count the number of connected vertex covers of size at most k, and this time upper bound can not be improved to O((2 − ε)kpoly(n)) for any ε > 0 under the Strong Exponential Time Hypothesis, as shown by Cygan et al. [CCC’12].

Keywords

  • Vertex Cover
  • Deterministic Algorithm
  • Connected Subgraph
  • Steiner Tree Problem
  • Polynomial Space

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

The author is partially supported by ERC Starting Grant NEWNET 279352, NCN grant N206567140 and Foundation for Polish Science.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Binkele-Raible, D.: Amortized Analysis of Exponential Time and Parameterized Algorithms: Measure and Conquer and Reference Search Trees. PhD thesis, University of Trier (2010)

    Google Scholar 

  2. Björklund, A., Husfeldt, T., Kaski, P., Koivisto, M.: Computing the tutte polynomial in vertex-exponential time. In: FOCS, pp. 677–686 (2008)

    Google Scholar 

  3. Chen, J., Kanj, I.A., Xia, G.: Improved upper bounds for vertex cover. Theor. Comput. Sci. 411(40-42), 3736–3756 (2010)

    CrossRef  MathSciNet  MATH  Google Scholar 

  4. Cygan, M., Dell, H., Lokshtanov, D., Marx, D., Nederlof, J., Okamoto, Y., Paturi, R., Saurabh, S., Wahlström, M.: On problems as hard as CNF-SAT. In: CCC (to appear, 2012)

    Google Scholar 

  5. Cygan, M., Nederlof, J., Pilipczuk, M., Pilipczuk, M., van Rooij, J.M.M., Wojtaszczyk, J.O.: Solving connectivity problems parameterized by treewidth in single exponential time. In: Ostrovsky, R. (ed.) FOCS, pp. 150–159. IEEE (2011)

    Google Scholar 

  6. Cygan, M., Pilipczuk, M.: Faster Exact Bandwidth. In: Broersma, H., Erlebach, T., Friedetzky, T., Paulusma, D. (eds.) WG 2008. LNCS, vol. 5344, pp. 101–109. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  7. Cygan, M., Pilipczuk, M.: Exact and approximate bandwidth. Theor. Comput. Sci. 411(40-42), 3701–3713 (2010)

    CrossRef  MathSciNet  MATH  Google Scholar 

  8. Cygan, M., Pilipczuk, M., Pilipczuk, M., Wojtaszczyk, J.O.: On Multiway Cut Parameterized above Lower Bounds. In: Marx, D., Rossmanith, P. (eds.) IPEC 2011. LNCS, vol. 7112, pp. 1–12. Springer, Heidelberg (2012)

    CrossRef  Google Scholar 

  9. Dom, M., Lokshtanov, D., Saurabh, S.: Incompressibility through Colors and IDs. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009, Part I. LNCS, vol. 5555, pp. 378–389. Springer, Heidelberg (2009)

    CrossRef  Google Scholar 

  10. Fernau, H., Manlove, D.: Vertex and edge covers with clustering properties: Complexity and algorithms. J. Discrete Algorithms 7(2), 149–167 (2009)

    CrossRef  MathSciNet  MATH  Google Scholar 

  11. Guha, S., Khuller, S.: Approximation algorithms for connected dominating sets. Algorithmica 20(4), 374–387 (1998)

    CrossRef  MathSciNet  MATH  Google Scholar 

  12. Guo, J., Niedermeier, R., Wernicke, S.: Parameterized Complexity of Generalized Vertex Cover Problems. In: Dehne, F., López-Ortiz, A., Sack, J.-R. (eds.) WADS 2005. LNCS, vol. 3608, pp. 36–48. Springer, Heidelberg (2005)

    CrossRef  Google Scholar 

  13. Mölle, D., Richter, S., Rossmanith, P.: Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover. In: Grigoriev, D., Harrison, J., Hirsch, E.A. (eds.) CSR 2006. LNCS, vol. 3967, pp. 270–280. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

  14. Mölle, D., Richter, S., Rossmanith, P.: Enumerate and expand: Improved algorithms for connected vertex cover and tree cover. Theory Comput. Syst. 43(2), 234–253 (2008)

    CrossRef  MathSciNet  MATH  Google Scholar 

  15. Nederlof, J.: Fast polynomial-space algorithms using mobius inversion: Improving on Steiner Tree and related problems. Algorithmica (page to appear)

    Google Scholar 

  16. Razgon, I., O’Sullivan, B.: Almost 2-SAT is fixed-parameter tractable. J. Comput. Syst. Sci. 75(8), 435–450 (2009)

    CrossRef  MathSciNet  MATH  Google Scholar 

  17. Reed, B.A., Smith, K., Vetta, A.: Finding odd cycle transversals. Oper. Res. Lett. 32(4), 299–301 (2004)

    CrossRef  MathSciNet  MATH  Google Scholar 

  18. Ramanujan, M.S., Raman, V., Saurabh, S., Narayanaswamy, N.S.: LP can be a cure for parameterized problems. In: STACS, pp. 338–349 (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cygan, M. (2012). Deterministic Parameterized Connected Vertex Cover. In: Fomin, F.V., Kaski, P. (eds) Algorithm Theory – SWAT 2012. SWAT 2012. Lecture Notes in Computer Science, vol 7357. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31155-0_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31155-0_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31154-3

  • Online ISBN: 978-3-642-31155-0

  • eBook Packages: Computer ScienceComputer Science (R0)