Skip to main content

2013 | OriginalPaper | Buchkapitel

23. The W-Hierarchy

verfasst von : Rodney G. Downey, Michael R. Fellows

Erschienen in: Fundamentals of Parameterized Complexity

Verlag: Springer London

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

search-config
loading …

Abstract

We introduce the W-hierarchy of parameterized complexity classes in the tower
$$\mathrm{FPT}=W[0] \subseteq W[1] \subseteq W[2] \subseteq\cdots \subseteq W[t]\subseteq \cdots\subseteq W[\mathrm{SAT}]\subseteq \cdots\subseteq W[\mathrm{P}]. $$
Presumably, all the inclusions are proper. The W-Hierarchy gives us means of comparing parameterized problems that are presumably not in FPT, with respect to the “strength” of their parameterized intractability. The key idea is to use a form of circuit depth in defining the classes. We discuss the remarkable fact that “almost all” (or at least a very large percentage) of the natural parameterized problems investigated to date are precisely complete for one of the first three classes in this hierarchy, a remarkable empirical finding that supports the definitional framework. We also introduce a natural generalization called the W [t]-hierarchy, about which only a little (but for exact parameterized complexity analysis, a useful little), is so far known.

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
It is also possible to consider families of circuits where small gates may have fan-in f(k), then we can equivalently substitute a faster-growing function h.
 
Literatur
79.
Zurück zum Zitat H. Bodlaender, B. de Fluiter, Intervalizing k-colored graphs, in Proceedings of 22nd International Colloquium on Automata, Languages and Programming (ICALP 1995), Szeged, Hungary, July 10–14, 1995, ed. by Z. Fülöp, F. Gécseg. LNCS, vol. 944 (Springer, Berlin, 1995), pp. 87–98 CrossRef H. Bodlaender, B. de Fluiter, Intervalizing k-colored graphs, in Proceedings of 22nd International Colloquium on Automata, Languages and Programming (ICALP 1995), Szeged, Hungary, July 10–14, 1995, ed. by Z. Fülöp, F. Gécseg. LNCS, vol. 944 (Springer, Berlin, 1995), pp. 87–98 CrossRef
124.
Zurück zum Zitat L. Cai, J. Chen, R. Downey, M. Fellows, The parameterized complexity of short computation and factorization. Arch. Math. Log. 36(4/5), 321–337 (1997) MathSciNetCrossRefMATH L. Cai, J. Chen, R. Downey, M. Fellows, The parameterized complexity of short computation and factorization. Arch. Math. Log. 36(4/5), 321–337 (1997) MathSciNetCrossRefMATH
137.
Zurück zum Zitat M. Cesati, M.D. Ianni, Computation models for parameterized complexity. Math. Log. Q. 43, 179–202 (1997) CrossRefMATH M. Cesati, M.D. Ianni, Computation models for parameterized complexity. Math. Log. Q. 43, 179–202 (1997) CrossRefMATH
152.
Zurück zum Zitat J. Chen, J. Meng, On parameterized intractability: hardness and completeness. Comput. J. 51(1), 39–59 (2008) CrossRef J. Chen, J. Meng, On parameterized intractability: hardness and completeness. Comput. J. 51(1), 39–59 (2008) CrossRef
241.
Zurück zum Zitat R. Downey, M. Fellows, Fixed-parameter tractability and completeness. Congr. Numer. 87, 161–178 (1992) MathSciNet R. Downey, M. Fellows, Fixed-parameter tractability and completeness. Congr. Numer. 87, 161–178 (1992) MathSciNet
243.
Zurück zum Zitat R. Downey, M. Fellows, Fixed-parameter tractability and completeness. I. Basic results. SIAM J. Comput. 24(4), 873–921 (1995) MathSciNetCrossRefMATH R. Downey, M. Fellows, Fixed-parameter tractability and completeness. I. Basic results. SIAM J. Comput. 24(4), 873–921 (1995) MathSciNetCrossRefMATH
244.
Zurück zum Zitat R. Downey, M. Fellows, Fixed-parameter tractability and completeness II: On completeness for W[1]. Theor. Comput. Sci. 141(1–2), 109–131 (1995) MathSciNetCrossRefMATH R. Downey, M. Fellows, Fixed-parameter tractability and completeness II: On completeness for W[1]. Theor. Comput. Sci. 141(1–2), 109–131 (1995) MathSciNetCrossRefMATH
245.
Zurück zum Zitat R. Downey, M. Fellows, Parameterized computational feasibility, in Feasible Mathematics II, ed. by P. Clote, J. Remmel. Progress in Computer Science and Applied Logic, vol. 13 (Birkhäuser, Boston, 1995), pp. 219–244 CrossRef R. Downey, M. Fellows, Parameterized computational feasibility, in Feasible Mathematics II, ed. by P. Clote, J. Remmel. Progress in Computer Science and Applied Logic, vol. 13 (Birkhäuser, Boston, 1995), pp. 219–244 CrossRef
246.
Zurück zum Zitat R. Downey, M. Fellows, Threshold dominating sets and an improved characterization of W[2]. Theor. Comput. Sci. 209(1), 124–140 (1998) MathSciNet R. Downey, M. Fellows, Threshold dominating sets and an improved characterization of W[2]. Theor. Comput. Sci. 209(1), 124–140 (1998) MathSciNet
258.
Zurück zum Zitat R. Downey, M. Fellows, U. Taylor, The parameterized complexity of relational database queries and an improved characterization of W[1], in Combinatorics, Complexity & Logic, Proceedings of DMTCS ’96, Singapore, ed. by D. Bridges, C. Calude, J. Gibbons, S. Reeves, I. Witten (Springer, Berlin, 1996), pp. 194–213 R. Downey, M. Fellows, U. Taylor, The parameterized complexity of relational database queries and an improved characterization of W[1], in Combinatorics, Complexity & Logic, Proceedings of DMTCS ’96, Singapore, ed. by D. Bridges, C. Calude, J. Gibbons, S. Reeves, I. Witten (Springer, Berlin, 1996), pp. 194–213
290.
Zurück zum Zitat M. Fellows, D. Hermelin, M. Müller, F. Rosamond, A purely democratic characterization of W[1], in Parameterized and Exact Computation, Proceedings of Third International Workshop, IWPEC ’08, Victoria, Canada, May 2008, ed. by M. Grohe, R. Niedermeier. LNCS, vol. 5018 (Springer, Berlin, 2008), pp. 103–114 CrossRef M. Fellows, D. Hermelin, M. Müller, F. Rosamond, A purely democratic characterization of W[1], in Parameterized and Exact Computation, Proceedings of Third International Workshop, IWPEC ’08, Victoria, Canada, May 2008, ed. by M. Grohe, R. Niedermeier. LNCS, vol. 5018 (Springer, Berlin, 2008), pp. 103–114 CrossRef
312.
Zurück zum Zitat J. Flum, M. Grohe, Parameterized Complexity Theory. Texts in Theoretical Computer Science. An EATCS Series (Springer, Berlin, 2006) J. Flum, M. Grohe, Parameterized Complexity Theory. Texts in Theoretical Computer Science. An EATCS Series (Springer, Berlin, 2006)
553.
Zurück zum Zitat C. Papadimitriou, M. Yannakakis, On limited nondeterminism and the complexity of the VC-dimension. J. Comput. Syst. Sci. 53, 161–170 (1996) MathSciNetCrossRefMATH C. Papadimitriou, M. Yannakakis, On limited nondeterminism and the complexity of the VC-dimension. J. Comput. Syst. Sci. 53, 161–170 (1996) MathSciNetCrossRefMATH
557.
Zurück zum Zitat A. Paz, S. Moran, Nondeterministic polynomial optimization problems and their approximations. Theor. Comput. Sci. 15, 251–277 (1981) MathSciNetCrossRefMATH A. Paz, S. Moran, Nondeterministic polynomial optimization problems and their approximations. Theor. Comput. Sci. 15, 251–277 (1981) MathSciNetCrossRefMATH
634.
Metadaten
Titel
The W-Hierarchy
verfasst von
Rodney G. Downey
Michael R. Fellows
Copyright-Jahr
2013
Verlag
Springer London
DOI
https://doi.org/10.1007/978-1-4471-5559-1_23