Unlösbarkeit Flashcards

1
Q

Was sind unlösbare Probleme?

A
  • Halteproblem <
  • Vollständigkeitsproblem <
  • Äquivalenzproblem
  • Korrespondenzproblem
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Wie ist die Reduktion definiert?

A

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.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Was ist das Vollständigkeitsproblem?

A

Wenn etwas in der Mathematik wahr ist, können wir auch zeigen, dass es wahr ist.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Was ist das Äquivalenzproblem?

A

Programm, dass zwei Funktionen als Eingang hat, und prüft, ob diese denselben Ausgang haben.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Wie nennt man die Klassen die nicht getestet werden können?

A

Funktionale Eigenschaften

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Wie lautet die Definition von funktionalen Eigenschaften?

A
  1. Stellt funktionalen Zusammenhang zwischen Input und Output her
  2. sie ist die Eigenschaft einiger Programme, aber nicht aller Programme.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Satz von Rice?

A

Zu bestimmen, ob ein gegebenes Programm irgendeine funktionale Eigenschaft besitzt, ist unlösbar.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Wie lautet, die erweiterte Church Turing These?

A

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.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Welche 2 Problemklassen werden voneinander getränt?

A
  • polynomieller Zeit lösbar

- exponentieller Zeit lösbar

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Wie viele mögliche Instruktionen könnte man auf der Erde ausführen?

A

10^51

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Problem wird in Abhängigkeit wovon betrachtet?

A

Problemgröße wird reduziert auf die n Symbole auf dem Band.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Ist Quicksort ein langsamer Algorithmus?

A

Ja aus sich von KT ist Quicksort langsam.
Mehrheitlich: linear Log Laufzeit
Worstcase: quadratische Laufzeit

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Wann ist ein Algorithmus langsam und wann schnell?

A

Quadratische Laufzeit: langsam

linear-logarithmische Laufzeit: schnell

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Definition Polynomialzeit-Algorithmus?

A

Nach oben begrenzt durch a n^b.

-> leicht zu lösen

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Definition Exponetialzeit-Algorithmen?

A

Nach unten begrenzt durch 2^a*n^b

-> schwer zu lösen

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Wie lässt sich ein Int Multiplikator Algorithmus klassifizieren?

A

Laufzeit ist Lösbar in Polynomialzeit.

=> leicht lösbares Problem

17
Q

Zahlen in Primfaktorzerlegung?

A

schweres lösbares Problem Anzahl Iterationen: 10^n/2

18
Q

Teilmengensummen 3 Zahlen Problem?

A

Summe aus Integer-array muss eine Zahle ergeben. Mögliche Kombinationen finden.
=> leicht lösbares Problem
Laufzeit: n^3

19
Q

Knotenüberdeckungsproblem:

A

Finde eine Teilmenge mit höchstens m Knoten, die durch alle Kanten berührt werden.
für kleine m → polynomiell
für große m → exponentiell

20
Q

Ist der kürzeste Wege Algo ein Leicht lösbares Problem?

A

Ja,

längste Wege Problem ist Exponentiell

21
Q

Was ist das muster eines schwer lösbaren Problems?

A

Versuche alle Möglichkeiten, um Problem zu lösen.

Nicht effektiv

22
Q

Was ist ein schwer lösbares Problem?

A

Probleme die der beste bekannte Algorithmus in exponentieller Zeit löst.

23
Q

Was ist ein leicht lösbares Problem?

A

Probleme, die in polynomieller Zeit gelöst werden können.

24
Q

Welche Erfüllbarkeitsproblem gibt es?

A
  • Lineare Gleichung
  • Lineare Ungleichung
  • Ganzzahlige lineare Ungleichungen
  • Boolesche Gleichungen
25
Q

Was für ein Problem stellt die lineare Gleichung dar?

A

“leicht lösbares” Problem

Gaußsches Eliminierungsverfahren

26
Q

Was für ein Problem stellt die lineare Ungleichung dar?

A

“leicht lösbares” Problem

Simplexalgorithmus

27
Q

Was für ein Problem stellt die ganzzahlige lineare Ungleichungen dar?

A

“schwer Lösbares” Problem
ILP -> oder 0/1 ILP
- Lösung des LP und dann runden auf nächsten Integer.

28
Q

Was für ein Problem stellt die boolesche Gleichungen dar?

A

“schwer Lösbares” Problem
SAT Problem
2 hoch Anzahl variablen Kombinationen.

29
Q

Was ist ein Suchproblem?

A

Ein Suchproblem ist ein Problem, dessen Lösungen die Eigenschaft haben, dass es einen Polynomialzeit-Algorithmus gibt, der überprüfen kann, ob eine gegebene Lösung eine gegebene Probleminstanz löst.

30
Q

Such Problem normal?

A

Beim Suchproblem geht das darum einen Algorithmus zu finden der eine gefundene Lösung überprüft.

31
Q

Was heißt NP und wofür wird er verwendet?

A

Nichtdeterministisch Polynomielle Zeit

Um Suchprobleme zu beschreiben.

32
Q

Nenne NP Probleme?

A

Längste Wege
Faktorisieren
N-Teilmengen-Summe
Erfüllbarkeit linearer Gleichungen und Ungleichungen

33
Q

Mit welchen 3 Ansätz lässt sich das NP Problem definieren?

A

Suchproblem
Entscheidungsproblem
Optimierungsproblem

34
Q

Was bedeutet der Nichtdeterminismus bei einer TM?

A

Computer hat die Macht richtige von zwei Optionen zu erraten.

35
Q

Wie sind die Probleme P definiert?

A

P ist Menge aller Suchprobleme die in Polynomialzeit gelöst werden können.

36
Q

Was heißt intectable?

A

Ein Problem ist nicht effizient lösbar, wenn es keinen Polynomialzeit-Algo gibt der es löst.