Unlösbarkeit Flashcards
Was sind unlösbare Probleme?
- Halteproblem <
- Vollständigkeitsproblem <
- Äquivalenzproblem
- Korrespondenzproblem
Wie ist die Reduktion definiert?
Ein Problem A reduziert sich auf ein anderes Problem B, wenn wir jede Instanz a von A für eine Subroutine von B wie folgt lösen können.
Was ist das Vollständigkeitsproblem?
Wenn etwas in der Mathematik wahr ist, können wir auch zeigen, dass es wahr ist.
Was ist das Äquivalenzproblem?
Programm, dass zwei Funktionen als Eingang hat, und prüft, ob diese denselben Ausgang haben.
Wie nennt man die Klassen die nicht getestet werden können?
Funktionale Eigenschaften
Wie lautet die Definition von funktionalen Eigenschaften?
- Stellt funktionalen Zusammenhang zwischen Input und Output her
- sie ist die Eigenschaft einiger Programme, aber nicht aller Programme.
Satz von Rice?
Zu bestimmen, ob ein gegebenes Programm irgendeine funktionale Eigenschaft besitzt, ist unlösbar.
Wie lautet, die erweiterte Church Turing These?
Eine TM kann jede Berechnung (d.h. sich für eine Sprache entscheiden oder eine Funktion berechnen) effizient ausführen, die durch jedes physikalisch realisierbares Rechengerät beschrieben werden kann.
Welche 2 Problemklassen werden voneinander getränt?
- polynomieller Zeit lösbar
- exponentieller Zeit lösbar
Wie viele mögliche Instruktionen könnte man auf der Erde ausführen?
10^51
Problem wird in Abhängigkeit wovon betrachtet?
Problemgröße wird reduziert auf die n Symbole auf dem Band.
Ist Quicksort ein langsamer Algorithmus?
Ja aus sich von KT ist Quicksort langsam.
Mehrheitlich: linear Log Laufzeit
Worstcase: quadratische Laufzeit
Wann ist ein Algorithmus langsam und wann schnell?
Quadratische Laufzeit: langsam
linear-logarithmische Laufzeit: schnell
Definition Polynomialzeit-Algorithmus?
Nach oben begrenzt durch a n^b.
-> leicht zu lösen
Definition Exponetialzeit-Algorithmen?
Nach unten begrenzt durch 2^a*n^b
-> schwer zu lösen