Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Buchtitelbild

2013 | OriginalPaper | Buchkapitel

1. Preliminaries

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

Erschienen in: Fundamentals of Parameterized Complexity

Verlag: Springer London

Einloggen

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

search-config
loading …

Abstract

We give basic results and definitions in classical complexity theory. These include NP- and PSpace-completeness, concrete Karp and Cook reductions, the Cook–Levin Theorem, and the Stockmeyer–Meyer Theorem. We introduce some ideas, such as advice classes and randomized reductions, that will be of use later in the book.

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Nächstes Kapitel The Basic Definitions
Fußnoten
1
This theorem states that if we consider polynomial-time algorithms that have access to an oracle giving the number of accepting paths on a non-deterministic polynomial-time Turing machine (P#P) then we can compute any level of the polynomial-time hierarchy in polynomial time; that is, PH⊆P#P.
 
2
This is a characterization of NP in terms of “polynomially checkable proofs,” which is beyond the scope of this book.
 
Literatur
52.
J. Balcázar, J. Díaz, J. Gabarró, Structural Complexity. EATCS Monographs on Theoretical Computer Science. Book 11, vols. 1 and 2 (Springer, Berlin, 1987/1989)
163.
S. Cook, The complexity of theorem proving procedures, in Proceedings of 3rd Annual ACM Symposium on Theory of Computing (STOC ’71), Shaker Heights, Ohio, USA, May 3–May 5, 1971, ed. by M. Harrison, R. Banerji, J. Ullman (ACM, New York, 1971), pp. 151–158
267.
337.
M. Garey, D. Johnson, Computers and Intractability. A Guide to the Theory of NP-Completeness (Freeman, San Francisco, 1979) MATH
380.
J. Hartmanis, Gödel, von Neumann and the P=? NP problem. Bull. Eur. Assoc. Theor. Comput. Sci. 38, 101–107 (1989) MATH
381.
399.
S. Homer, A. Selman, Computability and Complexity Theory, 2nd edn. (Springer, Berlin, 2011) CrossRefMATH
431.
R. Karp, Reducibility among combinatorial problems, in Complexity of Computer Computations, ed. by R. Miller, J. Thatcher (Plenum, New York, 1972), pp. 45–68
432.
R. Karp, R. Lipton, Some connections between uniform and non-uniform complexity classes, in Proceedings of 12th ACM Symposium on Theory of Computing (STOC ’80), Los Angeles, California, USA, April 28–April 30, 1980, ed. by R. Miller, S. Ginsburg, W. Burkhard, R. Lipton (ACM, New York, 1980), pp. 302–309
465.
D. Kozen, Theory of Computation: Classical and Contemporary Approaches (Springer, London, 2006)
488.
L. Levin, Universal sorting problems. Probl. Inf. Transm. 9, 265–266 (1973). English translation
561.
N. Pippenger, On simultaneous resource bounds, in Proceedings of 20th Annual Symposium on Foundations of Computer Science, FOCS 1979, San Juan, Puerto Rico, 29–31 October 1979 (IEEE Comput. Soc., Los Alamitos, 1979), pp. 307–311
620.
M. Sipser, A complexity theoretic approach to randomness, in Proceedings of 15th ACM Symposium on Theory of Computing (STOC ’83), Boston, Massachusetts, USA, May 25–May 27, 1983, ed. by D. Johnson, et al. (ACM, New York, 1983), pp. 330–335
631.
L. Stockmeyer, A. Meyer, Word problems requiring exponential time, in Proceedings of 5th ACM Symposium on Theory of Computing (STOC ’73), Austin, Texas, USA, April 30–May 2, 1973, ed. by A. Aho, et al. (ACM, New York, 1973), pp. 1–9
647.
650.
670.
Metadaten
Titel
Preliminaries
verfasst von
Rodney G. Downey
Michael R. Fellows
Copyright-Jahr
2013
Verlag
Springer London
Buch
Fundamentals of Parameterized Complexity

Print ISBN: 978-1-4471-5558-4

Electronic ISBN: 978-1-4471-5559-1

Copyright-Jahr: 2013

DOI
https://doi.org/10.1007/978-1-4471-5559-1_1