Skip to main content

2014 | OriginalPaper | Buchkapitel

Parameterized Algorithms for Graph Partitioning Problems

verfasst von : Hadas Shachnai, Meirav Zehavi

Erschienen in: Graph-Theoretic Concepts in Computer Science

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

We study a broad class of graph partitioning problems, where each problem is specified by a graph \(G=(V,E)\), and parameters \(k\) and \(p\). We seek a subset \(U\subseteq V\) of size \(k\), such that \(\alpha _1m_1 + \alpha _2m_2\) is at most (or at least) \(p\), where \(\alpha _1,\alpha _2\in \mathbb {R}\) are constants defining the problem, and \(m_1, m_2\) are the cardinalities of the edge sets having both endpoints, and exactly one endpoint, in \(U\), respectively. This class of fixed-cardinality graph partitioning problems (FGPPs) encompasses Max \((k,n-k)\)-Cut, Min \(k\)-Vertex Cover, \(k\)-Densest Subgraph, and \(k\)-Sparsest Subgraph.
Our main result is an \(O^*(4^{k+o(k)}\varDelta ^k)\) algorithm for any problem in this class, where \(\varDelta \ge 1\) is the maximum degree in the input graph. This resolves an open question posed by Bonnet et al. [IPEC 2013]. We obtain faster algorithms for certain subclasses of FGPPs, parameterized by \(p\), or by \((k+p)\). In particular, we give an \(O^*(4^{p+o(p)})\) time algorithm for Max \((k,n-k)\)-Cut, thus improving significantly the best known \(O^*(p^p)\) time algorithm.

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!

Fußnoten
1
A max-FGPP (min-FGPP) is non-degrading if \(\alpha _1/2\ge \alpha _2\) (\(\alpha _1/2\le \alpha _2\)).
 
2
This result builds on a powerful construction technique for representative families presented in [10].
 
Literatur
1.
Zurück zum Zitat Berkhin, P.: A survey of clustering data mining techniques. In: Kogan, J., Nicholas, C., Teboulle, M. (eds.) Grouping Multidimensional Data: Recent Advances in Clustering, pp. 25–71. Springer, Heidelberg (2006)CrossRef Berkhin, P.: A survey of clustering data mining techniques. In: Kogan, J., Nicholas, C., Teboulle, M. (eds.) Grouping Multidimensional Data: Recent Advances in Clustering, pp. 25–71. Springer, Heidelberg (2006)CrossRef
2.
Zurück zum Zitat Bonnet, É., Escoffier, B., Paschos, V.T., Tourniaire, É.: Multi-parameter complexity analysis for constrained size graph problems: using greediness for parameterization. In: Gutin, G., Szeider, S. (eds.) IPEC 2013. LNCS, vol. 8246, pp. 66–77. Springer, Heidelberg (2013)CrossRef Bonnet, É., Escoffier, B., Paschos, V.T., Tourniaire, É.: Multi-parameter complexity analysis for constrained size graph problems: using greediness for parameterization. In: Gutin, G., Szeider, S. (eds.) IPEC 2013. LNCS, vol. 8246, pp. 66–77. Springer, Heidelberg (2013)CrossRef
3.
Zurück zum Zitat Bourgeois, N., Giannakos, A., Lucarelli, G., Milis, I., Paschos, V.T.: Exact and approximation algorithms for densest k-subgraph. In: Ghosh, S.K., Tokuyama, T. (eds.) WALCOM 2013. LNCS, vol. 7748, pp. 114–125. Springer, Heidelberg (2013)CrossRef Bourgeois, N., Giannakos, A., Lucarelli, G., Milis, I., Paschos, V.T.: Exact and approximation algorithms for densest k-subgraph. In: Ghosh, S.K., Tokuyama, T. (eds.) WALCOM 2013. LNCS, vol. 7748, pp. 114–125. Springer, Heidelberg (2013)CrossRef
4.
Zurück zum Zitat Cai, L.: Parameterized complexity of cardinality constrained optimization problems. Comput. J. 51(1), 102–121 (2008)CrossRef Cai, L.: Parameterized 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 Cygan, M., Lokshtanov, D., Pilipczuk, M., Pilipczuk, M., Saurabh, S.: Minimum bisection is fixed parameter tractable. In: STOC, pp. 323–332 (2014) Cygan, M., Lokshtanov, D., Pilipczuk, M., Pilipczuk, M., Saurabh, S.: Minimum bisection is fixed parameter tractable. In: STOC, pp. 323–332 (2014)
7.
Zurück zum Zitat Donavalli, A., Rege, M., Liu, X., Jafari-Khouzani, K.: Low-rank matrix factorization and co-clustering algorithms for analyzing large data sets. In: Kannan, R., Andres, F. (eds.) ICDEM 2010. LNCS, vol. 6411, pp. 272–279. Springer, Heidelberg (2012)CrossRef Donavalli, A., Rege, M., Liu, X., Jafari-Khouzani, K.: Low-rank matrix factorization and co-clustering algorithms for analyzing large data sets. In: Kannan, R., Andres, F. (eds.) ICDEM 2010. LNCS, vol. 6411, pp. 272–279. Springer, Heidelberg (2012)CrossRef
8.
Zurück zum Zitat Downey, R.G., Estivill-Castro, V., Fellows, M.R., Prieto, E., Rosamond, F.A.: Cutting up is hard to do: the parameterized complexity of \(k\)-cut and related problems. Electron. Notes Theor. Comput. Sci. 78, 209–222 (2003)CrossRef Downey, R.G., Estivill-Castro, V., Fellows, M.R., Prieto, E., Rosamond, F.A.: Cutting up is hard to do: the parameterized complexity of \(k\)-cut and related problems. Electron. Notes Theor. Comput. Sci. 78, 209–222 (2003)CrossRef
9.
Zurück zum Zitat Downey, R.G., Fellows, M.R.: Fixed-parameter tractability and completeness II: on completeness for W[1]. Theor. Comput. Sci. 141(1&2), 109–131 (1995)MathSciNetCrossRefMATH Downey, R.G., Fellows, M.R.: Fixed-parameter tractability and completeness II: on completeness for W[1]. Theor. Comput. Sci. 141(1&2), 109–131 (1995)MathSciNetCrossRefMATH
10.
Zurück zum Zitat Fomin, F.V., Lokshtanov, D., Saurabh, S.: Efficient computation of representative sets with applications in parameterized and exact agorithms. In: SODA, pp. 142–151 (2014) Fomin, F.V., Lokshtanov, D., Saurabh, S.: Efficient computation of representative sets with applications in parameterized and exact agorithms. In: SODA, pp. 142–151 (2014)
11.
Zurück zum Zitat Guo, J., Niedermeier, R., Wernicke, S.: Parameterized complexity of vertex cover variants. Theory Comput. Syst. 41(3), 501–520 (2007)MathSciNetCrossRefMATH Guo, J., Niedermeier, R., Wernicke, S.: Parameterized complexity of vertex cover variants. Theory Comput. Syst. 41(3), 501–520 (2007)MathSciNetCrossRefMATH
12.
Zurück zum Zitat Kahng, A.B., Lienig, J., Markov, I.L., Hu, J.: VLSI Physical Design - From Graph Partitioning to Timing Closure. Springer, Netherlands (2011)CrossRefMATH Kahng, A.B., Lienig, J., Markov, I.L., Hu, J.: VLSI Physical Design - From Graph Partitioning to Timing Closure. Springer, Netherlands (2011)CrossRefMATH
13.
Zurück zum Zitat Kloks, T. (ed.): Treewidth, Computations and Approximations. LNCS, vol. 842. Springer, Heidelberg (1994)MATH Kloks, T. (ed.): Treewidth, Computations and Approximations. LNCS, vol. 842. Springer, Heidelberg (1994)MATH
14.
Zurück zum Zitat Kneis, J., Langer, A., Rossmanith, P.: Improved upper bounds for partial vertex cover. In: Broersma, H., Erlebach, T., Friedetzky, T., Paulusma, D. (eds.) WG 2008. LNCS, vol. 5344, pp. 240–251. Springer, Heidelberg (2008)CrossRef Kneis, J., Langer, A., Rossmanith, P.: Improved upper bounds for partial vertex cover. In: Broersma, H., Erlebach, T., Friedetzky, T., Paulusma, D. (eds.) WG 2008. LNCS, vol. 5344, pp. 240–251. Springer, Heidelberg (2008)CrossRef
15.
Zurück zum Zitat Komusiewicz, C., Sorge, M.: Finding dense subgraphs of sparse graphs. In: Thilikos, D.M., Woeginger, G.J. (eds.) IPEC 2012. LNCS, vol. 7535, pp. 242–251. Springer, Heidelberg (2012)CrossRef Komusiewicz, C., Sorge, M.: Finding dense subgraphs of sparse graphs. In: Thilikos, D.M., Woeginger, G.J. (eds.) IPEC 2012. LNCS, vol. 7535, pp. 242–251. Springer, Heidelberg (2012)CrossRef
16.
Zurück zum Zitat Naor, M., Schulman, L.J., Srinivasan, A.: Splitters and near-optimal derandomization. In: FOCS, pp. 182–191 (1995) Naor, M., Schulman, L.J., Srinivasan, A.: Splitters and near-optimal derandomization. In: FOCS, pp. 182–191 (1995)
17.
Zurück zum Zitat Shachnai, H., Zehavi, M.: Parameterized algorithms for graph partitioning problems. CoRR abs/1403.0099 (2014) Shachnai, H., Zehavi, M.: Parameterized algorithms for graph partitioning problems. CoRR abs/1403.0099 (2014)
18.
Zurück zum Zitat Shachnai, H., Zehavi, M.: Representative families: a unified tradeoff-based approach. In: Schulz, A.S., Wagner, D. (eds.) ESA 2014. LNCS, vol. 8737, pp. 786–797. Springer, Heidelberg (2014)CrossRef Shachnai, H., Zehavi, M.: Representative families: a unified tradeoff-based approach. In: Schulz, A.S., Wagner, D. (eds.) ESA 2014. LNCS, vol. 8737, pp. 786–797. Springer, Heidelberg (2014)CrossRef
19.
Zurück zum Zitat Zehavi, M.: Deterministic parameterized algorithms for matching and packing problems. CoRR abs/1311.0484 (2013) Zehavi, M.: Deterministic parameterized algorithms for matching and packing problems. CoRR abs/1311.0484 (2013)
Metadaten
Titel
Parameterized Algorithms for Graph Partitioning Problems
verfasst von
Hadas Shachnai
Meirav Zehavi
Copyright-Jahr
2014
DOI
https://doi.org/10.1007/978-3-319-12340-0_32