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 Ausdurcksmittel zur Bestimmung der (relativen) algorithmischen Komplexität rekursiv unlösbarer Probleme und damit zusammenhangend 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.
Rights and permissions
Copyright information
© 1992 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden
About this chapter
Cite this chapter
Börger, E. (1992). Komplexität Algorithmischer Unlösbarkeit. In: Berechenbarkeit Komplexität Logik. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-83227-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-322-83227-6_2
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-28928-7
Online ISBN: 978-3-322-83227-6
eBook Packages: Springer Book Archive