Skip to main content

2015 | OriginalPaper | Buchkapitel

On a Generalization of Nemhauser and Trotter’s Local Optimization Theorem

verfasst von : Mingyu Xiao

Erschienen in: Algorithms and Computation

Verlag: Springer Berlin Heidelberg

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

search-config
loading …

Abstract

The Nemhauser and Trotter’s theorem applies to the famous Vertex Cover problem and can obtain a 2-approximation solution and a problem kernel of 2k vertices. This theorem is a famous theorem in combinatorial optimization and has been extensively studied. One way to generalize this theorem is to extend the result to the Bounded-Degree Vertex Deletion problem. For a fixed integer \(d\ge 0\), Bounded-Degree Vertex Deletion asks to delete at most k vertices of the input graph to make the maximum degree of the remaining graph at most d. Vertex Cover is a special case that \(d=0\). Fellows, Guo, Moser and Niedermeier proved a generalized theorem that implies an O(k)-vertex kernel for Bounded-Degree Vertex Deletion for \(d=0\) and 1, and for any \(\varepsilon >0\), an \(O(k^{1+\varepsilon })\)-vertex kernel for each \(d\ge 2\). In fact, it is still left as an open problem whether Bounded-Degree Vertex Deletion parameterized by k admits a linear-vertex kernel for each \(d\ge 3\). In this paper, we refine the generalized Nemhauser and Trotter’s theorem. Our result implies a linear-vertex kernel for Bounded-Degree Vertex Deletion parameterized by k for each \(d\ge 0\).

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 "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!

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!

Literatur
1.
Zurück zum Zitat Abu-Khzam, F.N., Collins, R.L., Fellows, M.R., Langston, M.A., Suters, W.H., Symons, C.T.: Kernelization algorithms for the vertex cover problem: theory and experiments. In: ALENEX 2004, pp. 62–69. ACM/SIAM (2004) Abu-Khzam, F.N., Collins, R.L., Fellows, M.R., Langston, M.A., Suters, W.H., Symons, C.T.: Kernelization algorithms for the vertex cover problem: theory and experiments. In: ALENEX 2004, pp. 62–69. ACM/SIAM (2004)
2.
Zurück zum Zitat Abu-Khzam, F.N., Fellows, M.R., Langston, M.A., Suters, W.H.: Crown structures for vertex cover kernelization. Theor. Comput. Syst. 41(3), 411–430 (2007)MathSciNetCrossRefMATH Abu-Khzam, F.N., Fellows, M.R., Langston, M.A., Suters, W.H.: Crown structures for vertex cover kernelization. Theor. Comput. Syst. 41(3), 411–430 (2007)MathSciNetCrossRefMATH
3.
Zurück zum Zitat Balasundaram, B., Butenko, S., Hicks, I.V.: Clique relaxations in social network analysis: the maximum k-plex problem. Oper. Res. 59(1), 133–142 (2011)MathSciNetCrossRefMATH Balasundaram, B., Butenko, S., Hicks, I.V.: Clique relaxations in social network analysis: the maximum k-plex problem. Oper. Res. 59(1), 133–142 (2011)MathSciNetCrossRefMATH
4.
Zurück zum Zitat Bar-Yehuda, R., Rawitz, D., Hermelin, D.: An extension of the Nemhauser & Trotter theorem to generalized vertex cover with applications. SIAM J. Discrete Math. 24(1), 287–300 (2010)MathSciNetCrossRefMATH Bar-Yehuda, R., Rawitz, D., Hermelin, D.: An extension of the Nemhauser & Trotter theorem to generalized vertex cover with applications. SIAM J. Discrete Math. 24(1), 287–300 (2010)MathSciNetCrossRefMATH
5.
Zurück zum Zitat Bar-Yehuda, R., Even, S.: A local-ratio theorem for approximating the weighted vertex cover problem. Ann. Discrete Math. 25, 27–45 (1985)MathSciNetMATH Bar-Yehuda, R., Even, S.: A local-ratio theorem for approximating the weighted vertex cover problem. Ann. Discrete Math. 25, 27–45 (1985)MathSciNetMATH
6.
Zurück zum Zitat Betzler, N., Bredereck, R., Niedermeier, R., Uhlmann, J.: On bounded-degree vertex deletion parameterized by treewidth. Discrete Appl. Math. 160(1–2), 53–60 (2012)MathSciNetCrossRefMATH Betzler, N., Bredereck, R., Niedermeier, R., Uhlmann, J.: On bounded-degree vertex deletion parameterized by treewidth. Discrete Appl. Math. 160(1–2), 53–60 (2012)MathSciNetCrossRefMATH
7.
Zurück zum Zitat Chen, J., Kanj, I.A., Jia, W.: Vertex cover: further observations and further improvements. J. Algorithms 41(2), 280–301 (2001)MathSciNetCrossRefMATH Chen, J., Kanj, I.A., Jia, W.: Vertex cover: further observations and further improvements. J. Algorithms 41(2), 280–301 (2001)MathSciNetCrossRefMATH
8.
Zurück zum Zitat Chen, Z.-Z., Fellows, M., Fu, B., Jiang, H., Liu, Y., Wang, L., Zhu, B.: A linear kernel for co-path/cycle packing. In: Chen, B. (ed.) AAIM 2010. LNCS, vol. 6124, pp. 90–102. Springer, Heidelberg (2010) CrossRef Chen, Z.-Z., Fellows, M., Fu, B., Jiang, H., Liu, Y., Wang, L., Zhu, B.: A linear kernel for co-path/cycle packing. In: Chen, B. (ed.) AAIM 2010. LNCS, vol. 6124, pp. 90–102. Springer, Heidelberg (2010) CrossRef
9.
Zurück zum Zitat Chlebík, M., Chlebíková, J.: Crown reductions for the minimum weighted vertex cover problem. Discrete Appl. Math. 156, 292–312 (2008)MathSciNetCrossRefMATH Chlebík, M., Chlebíková, J.: Crown reductions for the minimum weighted vertex cover problem. Discrete Appl. Math. 156, 292–312 (2008)MathSciNetCrossRefMATH
10.
Zurück zum Zitat Chor, B., Fellows, M., Juedes, D.W.: Linear kernels in linear time, or how to save k colors in \({O}({n}^{2})\) steps. In: Hromkovič, J., Nagl, M., Westfechtel, B. (eds.) WG 2004. LNCS, vol. 3353, pp. 257–269. Springer, Heidelberg (2004) CrossRef Chor, B., Fellows, M., Juedes, D.W.: Linear kernels in linear time, or how to save k colors in \({O}({n}^{2})\) steps. In: Hromkovič, J., Nagl, M., Westfechtel, B. (eds.) WG 2004. LNCS, vol. 3353, pp. 257–269. Springer, Heidelberg (2004) CrossRef
11.
Zurück zum Zitat Cygan, M., Pilipczuk, M., Pilipczuk, M., Wojtaszczyk, J.O.: An improved FPT algorithm and a quadratic kernel for pathwidth one vertex deletion. Algorithmica 64(1), 170–188 (2012)MathSciNetCrossRefMATH Cygan, M., Pilipczuk, M., Pilipczuk, M., Wojtaszczyk, J.O.: An improved FPT algorithm and a quadratic kernel for pathwidth one vertex deletion. Algorithmica 64(1), 170–188 (2012)MathSciNetCrossRefMATH
12.
Zurück zum Zitat Dell, H., van Melkebeek, D.: Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses. J. ACM 61(4), 23:1–23:27 (2014)MathSciNetCrossRefMATH Dell, H., van Melkebeek, D.: Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses. J. ACM 61(4), 23:1–23:27 (2014)MathSciNetCrossRefMATH
13.
Zurück zum Zitat Even, S., Tarjan, R.E.: An \(O(n^{2.5})\) algorithm for maximum matching in general graphs. In: FOCS 1975, pp. 100–112 (1975) Even, S., Tarjan, R.E.: An \(O(n^{2.5})\) algorithm for maximum matching in general graphs. In: FOCS 1975, pp. 100–112 (1975)
14.
Zurück zum Zitat Fellows, M.R., Guo, J., Moser, H., Niedermeier, R.: A generalization of Nemhauser and Trotter’s local optimization theorem. J. Comput. Syst. Sci. 77, 1141–1158 (2011)MathSciNetCrossRefMATH Fellows, M.R., Guo, J., Moser, H., Niedermeier, R.: A generalization of Nemhauser and Trotter’s local optimization theorem. J. Comput. Syst. Sci. 77, 1141–1158 (2011)MathSciNetCrossRefMATH
15.
Zurück zum Zitat Fellows, M.R., Guo, J., Moser, H., Niedermeier, R.: A generalization of Nemhauser and Trotter’s local optimization theorem. In: STACS 2009, pp. 409–420. IBFI Dagstuhl (2009) Fellows, M.R., Guo, J., Moser, H., Niedermeier, R.: A generalization of Nemhauser and Trotter’s local optimization theorem. In: STACS 2009, pp. 409–420. IBFI Dagstuhl (2009)
16.
Zurück zum Zitat Fomin, F.V., Lokshtanov, D., Misra, N., Philip, G., Saurabh, S.: Hitting forbidden minors: approximation and kernelization. In: STACS 2011, pp. 189–200 (2011) Fomin, F.V., Lokshtanov, D., Misra, N., Philip, G., Saurabh, S.: Hitting forbidden minors: approximation and kernelization. In: STACS 2011, pp. 189–200 (2011)
17.
Zurück zum Zitat Hochbaum, D.S.: Approximation algorithms for the set covering and vertex cover problems. SIAM J. Comput. 11(3), 555–556 (1982)MathSciNetCrossRefMATH Hochbaum, D.S.: Approximation algorithms for the set covering and vertex cover problems. SIAM J. Comput. 11(3), 555–556 (1982)MathSciNetCrossRefMATH
18.
Zurück zum Zitat Hopcroft, J., Karp, R.M.: An \(O(n^{2.5})\) algorithm for maximum matching in bipartite graphs. SIAM J. Comput. 2(4), 225–231 (1973)MathSciNetCrossRefMATH Hopcroft, J., Karp, R.M.: An \(O(n^{2.5})\) algorithm for maximum matching in bipartite graphs. SIAM J. Comput. 2(4), 225–231 (1973)MathSciNetCrossRefMATH
19.
Zurück zum Zitat Khuller, S.: The vertex cover problem. SIGACT News 33(2), 31–33 (2002)CrossRef Khuller, S.: The vertex cover problem. SIGACT News 33(2), 31–33 (2002)CrossRef
20.
Zurück zum Zitat Komusiewicz, C., Huffner, F., Moser, H., Niedermeier, R.: Isolation concepts for efficiently enumerating dense subgraphs. Theoret. Comput. Sci. 410(38–40), 3640–3654 (2009)MathSciNetCrossRefMATH Komusiewicz, C., Huffner, F., Moser, H., Niedermeier, R.: Isolation concepts for efficiently enumerating dense subgraphs. Theoret. Comput. Sci. 410(38–40), 3640–3654 (2009)MathSciNetCrossRefMATH
21.
Zurück zum Zitat Lokshtanov, D., Narayanaswamy, N.S., Raman, V., Ramanujan, M.S., Saurabh, S.: Faster parameterized algorithms using linear programming. ACM T. Algorithms 11(2), 15 (2014)MathSciNet Lokshtanov, D., Narayanaswamy, N.S., Raman, V., Ramanujan, M.S., Saurabh, S.: Faster parameterized algorithms using linear programming. ACM T. Algorithms 11(2), 15 (2014)MathSciNet
22.
23.
Zurück zum Zitat Nishimura, N., Ragde, P., Thilikos, D.M.: Fast fixed-parameter tractable algorithms for nontrivial generalizations of vertex cover. Discrete Appl. Math. 152(1–3), 229–245 (2005)MathSciNetCrossRefMATH Nishimura, N., Ragde, P., Thilikos, D.M.: Fast fixed-parameter tractable algorithms for nontrivial generalizations of vertex cover. Discrete Appl. Math. 152(1–3), 229–245 (2005)MathSciNetCrossRefMATH
24.
25.
Zurück zum Zitat Thomassé, S.: A \(4k^2\) kernel for feedback vertex set. ACM T. Algorithms 6(2), 32:1–32:28 (2010)MathSciNetMATH Thomassé, S.: A \(4k^2\) kernel for feedback vertex set. ACM T. Algorithms 6(2), 32:1–32:28 (2010)MathSciNetMATH
26.
Zurück zum Zitat Xiao, M.: A note on vertex cover in graphs with maximum degree 3. In: Thai, M.T., Sahni, S. (eds.) COCOON 2010. LNCS, vol. 6196, pp. 150–159. Springer, Heidelberg (2010) CrossRef Xiao, M.: A note on vertex cover in graphs with maximum degree 3. In: Thai, M.T., Sahni, S. (eds.) COCOON 2010. LNCS, vol. 6196, pp. 150–159. Springer, Heidelberg (2010) CrossRef
Metadaten
Titel
On a Generalization of Nemhauser and Trotter’s Local Optimization Theorem
verfasst von
Mingyu Xiao
Copyright-Jahr
2015
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-48971-0_38