Zusammenfassung
Der Ausdruck NP-vollständig wird häufig benutzt aber nicht immer richtig verstanden. Wenn man es praktisch betrachtet, handelt es sich bei einem NP-vollständigen Problem um eine Aufgabe, die man auf dem Computer nur dann lösen kann, wenn man bereit ist, außergewöhnlich lange Zeit auf ihre Lösung zu warten. Theoretisch kann man ein NP-vollständiges Problem am besten als eine Anwendung des Satzes von Cook verstehen. Das erste NP-vollständige Problem, die Erfüllbarkeit (vgl. Kapitel 34), wurde 1970 von Stephen Cook während der Fertigstellung seiner Dissertation in Informatik an der Universität von Kalifornien in Berkeley gefunden. Cook entdeckte eine allgemeine Transformation, die jedes Problem einer bestimmten großen, NP genannten Klasse auf ein einziges Problem der Logik abbildet, das Erfüllbarkeitsproblem (SAT)1 genannt wird (Abbildung 41.1).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
M. R. Garey und D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, San Francisco, 1979.
H. R. Lewis und C. H. Papadimitriou. Elements of the Theory of Computation. Prentice-Hall, Englewood Cliffs, N.J., 1981.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Dewdney, A.K. (1995). NP-Vollständigkeit. In: Der Turing Omnibus. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78872-7_41
Download citation
DOI: https://doi.org/10.1007/978-3-642-78872-7_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57780-5
Online ISBN: 978-3-642-78872-7
eBook Packages: Springer Book Archive