Zusammenfassung
Ziel dieses Kapitels ist: I. Der Nachweis der algorithmischen Unlösbarkeit einiger scheinbar einfacher, eng mit dem Begriff von Algorithmus zusammenhängender Probleme sowie (als anspruchsvolleres Beispiel) der Frage nach der ganzzahligen Lösbarkeit von Gleichungen zwischen Polynomen mit ganzzahligen Koeffizienten; II. Eine Untersuchung der Rolle logischer Aus-durcksmittel zur Bestimmung der (relativen) algorithmischen Komplexität rekursiv unlösbarer Probleme und damit zusammenhängend verschieden starker Begriffe effektiver Reduktion von Problemen aufeinander; III. Die Analyse eines maschinenunabhängigen Komplexitätsbegriffs, der die algorithmische Kompliziertheit von Problemen durch Bewertung des zur Durchführung von Lösungsalgorithmen benötigten Rechenaufwands mißt.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Rights and permissions
Copyright information
© 1986 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Börger, E. (1986). Komplexität Algorithmischer Unlösbarkeit. In: Rödding, D. (eds) Berechenbarkeit, Komplexität, Logik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-663-14213-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-663-14213-3_2
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-528-18928-0
Online ISBN: 978-3-663-14213-3
eBook Packages: Springer Book Archive