Skip to main content
Erschienen in: Journal of Combinatorial Optimization 2/2017

12.02.2016

On the vertex cover \(P_3\) problem parameterized by treewidth

verfasst von: Jianhua Tu, Lidong Wu, Jing Yuan, Lei Cui

Erschienen in: Journal of Combinatorial Optimization | Ausgabe 2/2017

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Consider a graph G. A subset of vertices, F, is called a vertex cover \(P_t\) (\(VCP_t\)) set if every path of order t contains at least one vertex in F. Finding a minimum \(VCP_t\) set in a graph is is NP-hard for any integer \(t\ge 2\) and is called the \(MVCP_3\) problem. In this paper, we study the parameterized algorithms for the \(MVCP_3\) problem when the underlying graph G is parameterized by the treewidth. Given an n-vertex graph together with its tree decomposition of width at most p, we present an algorithm running in time \(4^{p}\cdot n^{O(1)}\) for the \(MVCP_3\) problem. Moreover, we show that for the \(MVCP_3\) problem on planar graphs, there is a subexponential parameterized algorithm running in time \(2^{O(\sqrt{k})}\cdot n^{O(1)}\) where k is the size of the optimal solution.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literatur
Zurück zum Zitat Alber J, Fernau H, Niedermeier R (2004) Parameteized complexity: exponential speed-up for planar graph problems. J Algorithms 52:26–56MathSciNetCrossRefMATH Alber J, Fernau H, Niedermeier R (2004) Parameteized complexity: exponential speed-up for planar graph problems. J Algorithms 52:26–56MathSciNetCrossRefMATH
Zurück zum Zitat Björklund A, Husfeldt T, Kaski P, Koivisto M (2007) Fourier meets Möbius: fast subset convolution. In: Proceedings of the 39th annual symposium on theory of computing, STOC 2007, pp 67–74 Björklund A, Husfeldt T, Kaski P, Koivisto M (2007) Fourier meets Möbius: fast subset convolution. In: Proceedings of the 39th annual symposium on theory of computing, STOC 2007, pp 67–74
Zurück zum Zitat Brešar B, Jakovac M, Katrenič J, Semanišin G, Taranenko A (2013) On the vertex \(k\)-path cover. Discrete Appl Math 161:1943–1949MathSciNetCrossRefMATH Brešar B, Jakovac M, Katrenič J, Semanišin G, Taranenko A (2013) On the vertex \(k\)-path cover. Discrete Appl Math 161:1943–1949MathSciNetCrossRefMATH
Zurück zum Zitat Brešar B, Krivoš-Belluš R, Semanišin G, Šparl P (2014) On the weighted \(k\)-path vertex cover problem. Discrete Appl Math 177:14–18MathSciNetCrossRefMATH Brešar B, Krivoš-Belluš R, Semanišin G, Šparl P (2014) On the weighted \(k\)-path vertex cover problem. Discrete Appl Math 177:14–18MathSciNetCrossRefMATH
Zurück zum Zitat Cai LZ (1996) Fixed-parameter tractability of graph modification problems for hereditary properties. Infrom Process Lett 58:171–176MathSciNetCrossRefMATH Cai LZ (1996) Fixed-parameter tractability of graph modification problems for hereditary properties. Infrom Process Lett 58:171–176MathSciNetCrossRefMATH
Zurück zum Zitat Chang MS, Chen LH, Hung LJ, Liu YZ, Rossmanith P, Sikdar S (2014) An \(O^*(1.4658^n)\)-time exact algorithm for the maximum bounded-degree-1 set problem. In: Proceedings of the 31st workshop on combinatorial mathematics and computation theory, pp 9–18 Chang MS, Chen LH, Hung LJ, Liu YZ, Rossmanith P, Sikdar S (2014) An \(O^*(1.4658^n)\)-time exact algorithm for the maximum bounded-degree-1 set problem. In: Proceedings of the 31st workshop on combinatorial mathematics and computation theory, pp 9–18
Zurück zum Zitat Chen J, Fernau H, Shaw P, Wang JX, Yang ZB (2012) Kernels for packing and covering problems (extended abstract). In: Hirsch E, Kuznetsov S, Pin Jr, Vereshchagin N (eds) Proceedings of FAW-AAIM 2012, Lecture Notes in Computer Science, vol 7285, pp 199–211, Springer International Publishing Chen J, Fernau H, Shaw P, Wang JX, Yang ZB (2012) Kernels for packing and covering problems (extended abstract). In: Hirsch E, Kuznetsov S, Pin Jr, Vereshchagin N (eds) Proceedings of FAW-AAIM 2012, Lecture Notes in Computer Science, vol 7285, pp 199–211, Springer International Publishing
Zurück zum Zitat Cygan M, Fomin FV, Kowalik L, Lokshtanov D, Mark D, Pilipczuk M, Pilipczuk M, Saurabh S (2015) Parameterized algorithms. Springer, HeidelbergCrossRefMATH Cygan M, Fomin FV, Kowalik L, Lokshtanov D, Mark D, Pilipczuk M, Pilipczuk M, Saurabh S (2015) Parameterized algorithms. Springer, HeidelbergCrossRefMATH
Zurück zum Zitat Fellows MR, Guo J, Moser H, Niedermeier R (2011) A complexity dichotomy for finding disjoint solutions of vertex deletion problems. ACM Trans Comput Theory 2:1–23CrossRefMATH Fellows MR, Guo J, Moser H, Niedermeier R (2011) A complexity dichotomy for finding disjoint solutions of vertex deletion problems. ACM Trans Comput Theory 2:1–23CrossRefMATH
Zurück zum Zitat Flum J, Grohe M (2006) Parameterized complexity theory, texts in theoretical computer science. Springer, BerlinMATH Flum J, Grohe M (2006) Parameterized complexity theory, texts in theoretical computer science. Springer, BerlinMATH
Zurück zum Zitat Katrenič J (2016) A faster FPT algorithm for 3-path vertex cover. Inform Process Lett 116(4):273–278 Katrenič J (2016) A faster FPT algorithm for 3-path vertex cover. Inform Process Lett 116(4):273–278
Zurück zum Zitat Kardoš F, Katrenič J, Schiermeyer I (2011) On computing the minimum 3-path vertex cover and dissociation number of graphs. Theor Comput Sci 412:7009–7017MathSciNetCrossRefMATH Kardoš F, Katrenič J, Schiermeyer I (2011) On computing the minimum 3-path vertex cover and dissociation number of graphs. Theor Comput Sci 412:7009–7017MathSciNetCrossRefMATH
Zurück zum Zitat Kleinberg J, Tardos E (2005) Algorithm design. Addison-Wesley, Boston Kleinberg J, Tardos E (2005) Algorithm design. Addison-Wesley, Boston
Zurück zum Zitat Lewis JM, Yannakakis M (1980) The node-deletion problem for hereditary properties is NP-complete. J Comput Syst Sci 20:219–230MathSciNetCrossRefMATH Lewis JM, Yannakakis M (1980) The node-deletion problem for hereditary properties is NP-complete. J Comput Syst Sci 20:219–230MathSciNetCrossRefMATH
Zurück zum Zitat Moser H, Niedermeier R, Sorge M (2012) Exact combinatorial algorithms and experiments for finding maximum \(k\)-plexes. J Comb Optim 24:347–373MathSciNetCrossRefMATH Moser H, Niedermeier R, Sorge M (2012) Exact combinatorial algorithms and experiments for finding maximum \(k\)-plexes. J Comb Optim 24:347–373MathSciNetCrossRefMATH
Zurück zum Zitat Niedermeier R (2006) Invitation to fixed-parameter algorithms. Oxford University Press, OxfordCrossRefMATH Niedermeier R (2006) Invitation to fixed-parameter algorithms. Oxford University Press, OxfordCrossRefMATH
Zurück zum Zitat Novotný M (2010) Design and analysis of a generalized canvas protocol. In: Proceedings of WISTP 2010, In: LNCS, vol 6033, Springer-Verlag, pp 106–121 Novotný M (2010) Design and analysis of a generalized canvas protocol. In: Proceedings of WISTP 2010, In: LNCS, vol 6033, Springer-Verlag, pp 106–121
Zurück zum Zitat Tu JH, Zhou WL (2011) A primal-dual approximation algorithm for the vertex cover \(P_3\) problem. Theor Comput Sci 412:7044–7048MathSciNetCrossRefMATH Tu JH, Zhou WL (2011) A primal-dual approximation algorithm for the vertex cover \(P_3\) problem. Theor Comput Sci 412:7044–7048MathSciNetCrossRefMATH
Zurück zum Zitat Tu JH, Zhou WL (2011) A factor 2 approximation algorithm for the vertex cover \(P_3\) problem. Inf Process Lett 111:683–686MathSciNetCrossRefMATH Tu JH, Zhou WL (2011) A factor 2 approximation algorithm for the vertex cover \(P_3\) problem. Inf Process Lett 111:683–686MathSciNetCrossRefMATH
Zurück zum Zitat Wu BY (2015) A measure and conquer approach for the parameterized bounded degree-one vertex deletion. COCOON 2015:469–480MathSciNetMATH Wu BY (2015) A measure and conquer approach for the parameterized bounded degree-one vertex deletion. COCOON 2015:469–480MathSciNetMATH
Metadaten
Titel
On the vertex cover problem parameterized by treewidth
verfasst von
Jianhua Tu
Lidong Wu
Jing Yuan
Lei Cui
Publikationsdatum
12.02.2016
Verlag
Springer US
Erschienen in
Journal of Combinatorial Optimization / Ausgabe 2/2017
Print ISSN: 1382-6905
Elektronische ISSN: 1573-2886
DOI
https://doi.org/10.1007/s10878-016-9999-6

Weitere Artikel der Ausgabe 2/2017

Journal of Combinatorial Optimization 2/2017 Zur Ausgabe