Skip to main content

2016 | OriginalPaper | Buchkapitel

\((k,n-k)\)-Max-Cut: An \({\mathcal O}^*(2^p)\)-Time Algorithm and a Polynomial Kernel

verfasst von : Saket Saurabh, Meirav Zehavi

Erschienen in: LATIN 2016: Theoretical Informatics

Verlag: Springer Berlin Heidelberg

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

search-config
loading …

Abstract

Max-Cut is a well-known classical NP-hard problem. This problem asks whether the vertex-set of a given graph \(G=(V,E)\) can be partitioned into two disjoint subsets, A and B, such that there exist at least p edges with one endpoint in A and the other endpoint in B. It is well known that if \(p\le |E|/2\), the answer is necessarily positive. A widely-studied variant of particular interest to parameterized complexity, called \((k,n-k)\)-Max-Cut, restricts the size of the subset A to be exactly k. For the \((k,n-k)\)-Max-Cut problem, we obtain an \({\mathcal O}^*(2^p)\)-time algorithm, improving upon the previous best \({\mathcal O}^*(4^{p+o(p)})\)-time algorithm, as well as the first polynomial kernel. Our algorithm relies on a delicate combination of methods and notions, including independent sets, depth-search trees, bounded search trees, dynamic programming and treewidth, while our kernel relies on examination of the closed neighborhood of the neighborhood of a certain independent set of the graph G.

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!

Anhänge
Nur mit Berechtigung zugänglich
Literatur
1.
Zurück zum Zitat Ageev, A.A., Sviridenko, M.: Approximation algorithms for maximum coverage and max cutwith given sizes of parts. In: IPCO, pp. 17–30 (1999) Ageev, A.A., Sviridenko, M.: Approximation algorithms for maximum coverage and max cutwith given sizes of parts. In: IPCO, pp. 17–30 (1999)
2.
Zurück zum Zitat Binkele-Raible, D.: Amortized analysis of exponential time and parameterized algorithms: Measure & conquer and reference search trees. Ph.D. thesis, Universit\(\rm \ddot{a}\)t Trier (2010) Binkele-Raible, D.: Amortized analysis of exponential time and parameterized algorithms: Measure & conquer and reference search trees. Ph.D. thesis, Universit\(\rm \ddot{a}\)t Trier (2010)
3.
Zurück zum Zitat Bonnet, E., Escoffier, B., Paschos, V.T., Tourniaire, E.: Multi-parameter analysis for local graph partitioning problems: using greediness for parameterization. Algorithmica 71(3), 566–580 (2015)MathSciNetCrossRefMATH Bonnet, E., Escoffier, B., Paschos, V.T., Tourniaire, E.: Multi-parameter analysis for local graph partitioning problems: using greediness for parameterization. Algorithmica 71(3), 566–580 (2015)MathSciNetCrossRefMATH
4.
Zurück zum Zitat Cai, L.: Parameter complexity of cardinality constrained optimization problems. Comput. J. 51(1), 102–121 (2008)CrossRef Cai, L.: Parameter complexity of cardinality constrained optimization problems. Comput. J. 51(1), 102–121 (2008)CrossRef
5.
Zurück zum Zitat Cai, L., Chan, S.M., Chan, S.O.: Random separation: a new method for solving fixed-cardinality optimization problems. In: Bodlaender, H.L., Langston, M.A. (eds.) IWPEC 2006. LNCS, vol. 4169, pp. 239–250. Springer, Heidelberg (2006)CrossRef Cai, L., Chan, S.M., Chan, S.O.: Random separation: a new method for solving fixed-cardinality optimization problems. In: Bodlaender, H.L., Langston, M.A. (eds.) IWPEC 2006. LNCS, vol. 4169, pp. 239–250. Springer, Heidelberg (2006)CrossRef
6.
Zurück zum Zitat Crowston, R., Gutin, G., Jones, M., Muciaccia, G.: Maximum balanced subgraph problem parameterized above lower bound. Theor. Comput. Sci. 513, 53–64 (2013)MathSciNetCrossRefMATH Crowston, R., Gutin, G., Jones, M., Muciaccia, G.: Maximum balanced subgraph problem parameterized above lower bound. Theor. Comput. Sci. 513, 53–64 (2013)MathSciNetCrossRefMATH
7.
Zurück zum Zitat Crowston, R., Jones, M., Mnich, M.: Max-cut parameterized above the Edwards-Erdős bound. Algorithmica 72(3), 734–757 (2015)MathSciNetCrossRefMATH Crowston, R., Jones, M., Mnich, M.: Max-cut parameterized above the Edwards-Erdős bound. Algorithmica 72(3), 734–757 (2015)MathSciNetCrossRefMATH
8.
Zurück zum Zitat Cygan, M., Fomin, F.V., Kowalik, L., Lokshtanov, D., Marx, D., Pilipczuk, M., Saurabh, S.: Parameterized Algorithms. Springer, Switzerland (2015)CrossRefMATH Cygan, M., Fomin, F.V., Kowalik, L., Lokshtanov, D., Marx, D., Pilipczuk, M., Saurabh, S.: Parameterized Algorithms. Springer, Switzerland (2015)CrossRefMATH
9.
Zurück zum Zitat Downey, R.G., Fellows, M.: Fundamentals of Parameterized Complexity. Springer, London (2013)CrossRefMATH Downey, R.G., Fellows, M.: Fundamentals of Parameterized Complexity. Springer, London (2013)CrossRefMATH
10.
Zurück zum Zitat Feige, U., Langberg, M.: Approximation algorithms for maximization problems arising in graph partitioning. J. Algorithms 41(2), 174–211 (2001)MathSciNetCrossRefMATH Feige, U., Langberg, M.: Approximation algorithms for maximization problems arising in graph partitioning. J. Algorithms 41(2), 174–211 (2001)MathSciNetCrossRefMATH
11.
Zurück zum Zitat Goemans, M.X., Williamson, D.P.: Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. J. ACM 42(6), 1115–1145 (1995)MathSciNetCrossRefMATH Goemans, M.X., Williamson, D.P.: Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. J. ACM 42(6), 1115–1145 (1995)MathSciNetCrossRefMATH
12.
Zurück zum Zitat Khot, S., Kindler, G., Mossel, E., O’Donnell, R.: Optimal inapproximability results for MAX-CUT and other 2-variable CSPs? SICOMP 37(1), 319–357 (2007)MathSciNetCrossRefMATH Khot, S., Kindler, G., Mossel, E., O’Donnell, R.: Optimal inapproximability results for MAX-CUT and other 2-variable CSPs? SICOMP 37(1), 319–357 (2007)MathSciNetCrossRefMATH
13.
14.
Zurück zum Zitat Papadimitriou, C.H., Yannakakis, M.: Optimization, approximation, and complexity classes. J. Comput. Syst. Sci. 43(3), 425–440 (1991)MathSciNetCrossRefMATH Papadimitriou, C.H., Yannakakis, M.: Optimization, approximation, and complexity classes. J. Comput. Syst. Sci. 43(3), 425–440 (1991)MathSciNetCrossRefMATH
15.
Zurück zum Zitat Raman, V., Saurabh, S.: Improved fixed parameter tractable algorithms for two “edge” problems: MAXCUT and MAXDAG. Inf. Process. Lett. 104(2), 65–72 (2007)MathSciNetCrossRefMATH Raman, V., Saurabh, S.: Improved fixed parameter tractable algorithms for two “edge” problems: MAXCUT and MAXDAG. Inf. Process. Lett. 104(2), 65–72 (2007)MathSciNetCrossRefMATH
16.
Zurück zum Zitat Shachnai, H., Zehavi, M.: Parameterized algorithms for graph partitioning problems. In: WG, pp. 384–395 (2014) Shachnai, H., Zehavi, M.: Parameterized algorithms for graph partitioning problems. In: WG, pp. 384–395 (2014)
Metadaten
Titel
-Max-Cut: An -Time Algorithm and a Polynomial Kernel
verfasst von
Saket Saurabh
Meirav Zehavi
Copyright-Jahr
2016
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-49529-2_51

Premium Partner