Lecture Notes in Computer Science
© 1976
Komplexität von Entscheidungsproblemen
Ein Seminar
Herausgeber: Specker, E., Strassen, V. (Hrsg.)
Dieses Buch kaufen
- Inhaltsverzeichnis (12 Kapitel)
-
-
Einleitung
Seiten 1-10
-
I. Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion
Seiten 11-19
-
II. Polynomial beschränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems
Seiten 20-35
-
III. Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind
Seiten 36-48
-
IV. Weitere zum Erfüllungsproblem polynomial äquivalente kombinatorische Aufgaben
Seiten 49-71
-
Inhaltsverzeichnis (12 Kapitel)
Wir empfehlen
Bibliografische Information
- Bibliographic Information
-
- Buchtitel
- Komplexität von Entscheidungsproblemen
- Buchuntertitel
- Ein Seminar
- Herausgeber
-
- E. Specker
- V. Strassen
- Titel der Buchreihe
- Lecture Notes in Computer Science
- Buchreihen Band
- 43
- Copyright
- 1976
- Verlag
- Springer-Verlag Berlin Heidelberg
- Copyright Inhaber
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-38212-6
- DOI
- 10.1007/3-540-07805-3
- Softcover ISBN
- 978-3-540-07805-0
- Buchreihen ISSN
- 0302-9743
- Auflage
- 1
- Seitenzahl
- 217
- Themen
