Verwandte Artikel zu Komplexit??t von Entscheidungsproblemen: Ein Seminar...

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

 
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
217
Herausgeber
Specker E., Strassen V.
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland