Komplexit??t von Entscheidungsproblemen: Ein Seminar (Lecture Notes in Computer Science, 43, Band 43) - Softcover

Strassen, V.; Specker, E.

 
9783540078050: Komplexit??t von Entscheidungsproblemen: Ein Seminar (Lecture Notes in Computer Science, 43, Band 43)
Softcover
ISBN 10: 3540078053 ISBN 13: 9783540078050
Verlag: Springer, 2008

Inhaltsangabe

I. Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion.- II. Polynomial beschränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems.- III. Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind.- IV. Weitere zum Erfüllungsproblem polynomial äquivalente kombinatorische Aufgaben.- V. Ein polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme.- VI. Polynomiale Transformationen und Auswahlaxiom.- VII. Spektralproblem und Komplexitätstheorie.- VIII. Untere Schranken für die Komplexität log. Entscheidungsprobleme.- IX. Ein Entscheidungsverfahren für die Theorie der reell-abgeschlossenen Körper.- X. Simulation von Turingmaschinen mit logischen Netzen.- XI. Längen von Formeln.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Deutsch
ISBN 10 
3540078053
ISBN 13 
9783540078050
Einband
Taschenbuch
Anzahl der Seiten
224
Kontakt zum Hersteller
GPSR Kontakt
ProductSafety@springernature.com

Slevogtstraße 3-5
Heidelberg
69126
Deutschland