Advertisement

Komplexität Algorithmischer Unlösbarkeit

  • Egon Börger

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Fachmedien Wiesbaden 1986

Authors and Affiliations

  • Egon Börger

There are no affiliations available

Personalised recommendations