Zusammenfassung
Unter dem P = NP-Problem verstehen wir die Formalisierung des entsprechenden Problems in der Zermelo-Fraenkel’sehen Mengenlehre. Die Lösung dieses Problems gilt als schwierig. Allgemein wird erwartet, daß P = NP gilt.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
Baker, T. & Gill, J. & Solovay, R. “Relativizations of the P=NP question”. SIAM Journal of Computing 4, 1975
Cook, S. “The Complexity of Theorem Proving Procedures”, 3rd ACM Symposium on Theory of Computing, 1971, Seite 151–158
Grzegorczyk, A. “Some classes of recursive functions”, Rozprawy Matematyczne, Warszawa 1953
Fachini, E. and Maggiolo-Schettini, “A Hirarchy of Primitive Recursive Sequence Functions”, Informatique theorique, Nr. 13, 1979
Hartmanis, J. & Hopcroft, J. “Independee results in Computer Science” SIGACT Newsletter 8, 1976.
Huwig, H., “Beziehungen zwischen beschränkter syntaktischer und beschränkter primitiver Rekursion”, Dissertation, Berichtsreihe der Abteilung Informatik an der Universität Dortmund 25/76
Huwig, H. “Das P = NP-Problem in der Kategorie der kommutativen idempotenten Halbgruppen”, Habilitationsschrift, eingereicht bei der Universität Dortmund, 1980
von Henke, F., & Indermark, K. & Weihrauch K. “Hierarchies of primitive recursive wordfunctions and transductions defined by automata”, Automata, Languages and Programming, 1972, North-Holland Publishing Company, Amsterdam-London
Lipton, R.: “On the consistency of P=NP and fragments of arithmetic” FCT’79, Akademie Verlag Berlin
Makkai, M. & Reyes, G., “First order categorical logic” Springer Verlag, 1977
Radziszowski, S. “Programmabi1ity and P = NP Conjecture” Proceedings of FCT’77, Springer Verlag
Scott, D. “Some Definitional Suggestions for Automata Theory”, JCSS 1, 1967
Thompson, D. “Subrecursiveness: Machine-Independent Notions of Computabi1ity in Restricted Time and Storage”, Mathematical Systems Theory, Vol. 6, No. 1, 1972.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Huwig, H. (1980). Das P = NP-Problem in der Kategorie der partiellen Ordnungen mit 2-stelligen Suprema. In: Wilhelm, R. (eds) GI - 10. Jahrestagung. Informatik-Fachberichte, vol 33. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67838-7_33
Download citation
DOI: https://doi.org/10.1007/978-3-642-67838-7_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10388-2
Online ISBN: 978-3-642-67838-7
eBook Packages: Springer Book Archive