Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und...
-
Upload
lutgardis-rathsack -
Category
Documents
-
view
109 -
download
0
Transcript of Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und...
![Page 1: Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einige entscheidbare bzw. rekursiv aufzählbare.](https://reader034.fdocument.pub/reader034/viewer/2022051400/55204d6449795902118b9648/html5/thumbnails/1.jpg)
Friedhelm Meyer auf der Heide 1
HEINZ NIXDORF INSTITUTUniversität Paderborn
Algorithmen und Komplexität
Einige entscheidbare bzw. rekursiv aufzählbare Sprachen
Entscheidbare Sprachen
Gödel ist Gödelnummer einer DTM M}
States besitzt mindestens d Zustände}
![Page 2: Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einige entscheidbare bzw. rekursiv aufzählbare.](https://reader034.fdocument.pub/reader034/viewer/2022051400/55204d6449795902118b9648/html5/thumbnails/2.jpg)
Friedhelm Meyer auf der Heide 2
HEINZ NIXDORF INSTITUTUniversität Paderborn
Algorithmen und Komplexität
Einige entscheidbare bzw. rekursiv aufzählbare Sprachen
Rekursiv aufzählbare Sprachen Akzeptanzproblem:
Halteproblem:
Useful:
„Nicht-Leer“
- keine dieser Sprachen ist entscheidbar ! -
![Page 3: Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einige entscheidbare bzw. rekursiv aufzählbare.](https://reader034.fdocument.pub/reader034/viewer/2022051400/55204d6449795902118b9648/html5/thumbnails/3.jpg)
Friedhelm Meyer auf der Heide 3
HEINZ NIXDORF INSTITUTUniversität Paderborn
Algorithmen und KomplexitätEine nicht rekursiv aufzählbare Sprache
Wir fassen Gödelnummern als Zahlen auf.
Sei die DTM, die jede Eingabe sofort ablehnt.
Satz: Diag
Diagonalisierung
![Page 4: Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einige entscheidbare bzw. rekursiv aufzählbare.](https://reader034.fdocument.pub/reader034/viewer/2022051400/55204d6449795902118b9648/html5/thumbnails/4.jpg)
Friedhelm Meyer auf der Heide 4
HEINZ NIXDORF INSTITUTUniversität Paderborn
Algorithmen und Komplexität
Eigenschaften entscheidbarer und rekursiv aufzählbarer Sprachen
Abschlusseigenschaften für entscheidbare Sprachen:
Satz: Seien L1, L2 entscheidbar.
(i) ist entscheidbar.(ii) ist entscheidbar. (iii) ist entscheidbar.
„Die Klasse der entscheidbaren Sprachen ist abgeschlossen gegenüber Komplement, Durch-schnitt und Vereinigung“
![Page 5: Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einige entscheidbare bzw. rekursiv aufzählbare.](https://reader034.fdocument.pub/reader034/viewer/2022051400/55204d6449795902118b9648/html5/thumbnails/5.jpg)
Friedhelm Meyer auf der Heide 5
HEINZ NIXDORF INSTITUTUniversität Paderborn
Algorithmen und Komplexität
Eigenschaften entscheidbarer und rekursiv aufzählbarer Sprachen
Abschlusseigenschaften für rekursiv aufzählbare Sprachen:
Satz: Seien L1 und L2 rekursiv aufzählbar.
(i) L1 [ L2 ist rekursiv aufzählbar
(ii) L1 Å L2 ist rekursiv aufzählbar
!! Die Klasse der rekursiv aufzählbaren Sprachen ist nicht
abgeschlossen gegenüber Komplement !!
Bew: Diag ist nicht rekursiv aufzählbar,
aber das Komplement von Diag ist rekursiv aufzählbar.
![Page 6: Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einige entscheidbare bzw. rekursiv aufzählbare.](https://reader034.fdocument.pub/reader034/viewer/2022051400/55204d6449795902118b9648/html5/thumbnails/6.jpg)
Friedhelm Meyer auf der Heide 6
HEINZ NIXDORF INSTITUTUniversität Paderborn
Algorithmen und Komplexität
Eigenschaften entscheidbarer und rekursiv aufzählbarer Sprachen
Satz: L ist entscheidbar genau dann, wenn
L und rekursiv aufzählbar sind.
![Page 7: Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einige entscheidbare bzw. rekursiv aufzählbare.](https://reader034.fdocument.pub/reader034/viewer/2022051400/55204d6449795902118b9648/html5/thumbnails/7.jpg)
Friedhelm Meyer auf der Heide 7
HEINZ NIXDORF INSTITUTUniversität Paderborn
Algorithmen und Komplexität
Weitere unentscheidbare Probleme:Reduktionen
Def: heißt reduzierbar auf
falls es eine berechenbare, totale Funktion
gibt mit
- Für alle
Wir schreiben: (mittels )
ist die Reduktion oder Reduktionsfunktion von
![Page 8: Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einige entscheidbare bzw. rekursiv aufzählbare.](https://reader034.fdocument.pub/reader034/viewer/2022051400/55204d6449795902118b9648/html5/thumbnails/8.jpg)
Friedhelm Meyer auf der Heide 8
HEINZ NIXDORF INSTITUTUniversität Paderborn
Algorithmen und Komplexität
Weitere unentscheidbare Probleme: Reduktionen
Beispiel: Sei
![Page 9: Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einige entscheidbare bzw. rekursiv aufzählbare.](https://reader034.fdocument.pub/reader034/viewer/2022051400/55204d6449795902118b9648/html5/thumbnails/9.jpg)
Friedhelm Meyer auf der Heide 9
HEINZ NIXDORF INSTITUTUniversität Paderborn
Algorithmen und Komplexität
Weitere unentscheidbare Probleme:Reduktion
Es gilt:
Was folgt daraus?
Wäre rekursiv aufzählbar durch DTM M‘, so wäre auch Diag rekursiv aufzählbar: - bei Eingabe bin(i) berechne f(bin(i))- starte M‘ mit Eingabe f(bin(i)) - akzeptiere bin(i), falls M‘ f(bin(i)) akzeptiert.
Da Diag nicht rekursiv aufzählbar ist, ergibt sich ein Widerspruch.
Also: ist nicht rekursiv aufzählbar.Also: H nicht entscheidbar.
![Page 10: Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einige entscheidbare bzw. rekursiv aufzählbare.](https://reader034.fdocument.pub/reader034/viewer/2022051400/55204d6449795902118b9648/html5/thumbnails/10.jpg)
Friedhelm Meyer auf der Heide 10
HEINZ NIXDORF INSTITUTUniversität Paderborn
Algorithmen und KomplexitätBeweis für: „nicht entscheidbar“.
zu zeigen: L ist nicht entscheidbar
Wähle geeignetes nichtentscheidbares Problem
aus, z. B. Diag.
Zeige: „Wäre entscheidbar, dann wäre auch Diag
entscheidbar“
mit anderen Worten: zeige :
Haben wir für gemacht.
![Page 11: Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einige entscheidbare bzw. rekursiv aufzählbare.](https://reader034.fdocument.pub/reader034/viewer/2022051400/55204d6449795902118b9648/html5/thumbnails/11.jpg)
Friedhelm Meyer auf der Heide 11
HEINZ NIXDORF INSTITUTUniversität Paderborn
Algorithmen und KomplexitätNicht entscheidbare Sprachen: Reduktion
Allgemein:
![Page 12: Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einige entscheidbare bzw. rekursiv aufzählbare.](https://reader034.fdocument.pub/reader034/viewer/2022051400/55204d6449795902118b9648/html5/thumbnails/12.jpg)
Friedhelm Meyer auf der Heide 12
HEINZ NIXDORF INSTITUTUniversität Paderborn
Algorithmen und KomplexitätWeitere unentscheidbare Probleme
![Page 13: Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einige entscheidbare bzw. rekursiv aufzählbare.](https://reader034.fdocument.pub/reader034/viewer/2022051400/55204d6449795902118b9648/html5/thumbnails/13.jpg)
Friedhelm Meyer auf der Heide 13
HEINZ NIXDORF INSTITUTUniversität Paderborn
Algorithmen und KomplexitätWeitere unentscheidbare Probleme
Satz von Rice.
Sei R die Menge aller partiellen berechenbaren Funktionen,
S sei nichttriviale Teilmenge von R, d.h.
Dann ist
nicht entscheidbar.
Bsp: - S = alle totalen berechenbaren Funktionen
Totalitätsproblem
- S =
- S = Menge aller partiellen Funktionen, die nur auf endlich vielen
Argumenten definiert sind.
L (S) = Endlichkeitsproblem
![Page 14: Friedhelm Meyer auf der Heide 1 HEINZ NIXDORF INSTITUT Universität Paderborn Algorithmen und Komplexität Einige entscheidbare bzw. rekursiv aufzählbare.](https://reader034.fdocument.pub/reader034/viewer/2022051400/55204d6449795902118b9648/html5/thumbnails/14.jpg)
Friedhelm Meyer auf der Heide 14
HEINZ NIXDORF INSTITUTUniversität Paderborn
Algorithmen und KomplexitätEinige weitere unentscheidbare Probleme …
... die nicht Eigenschaften von DTM‘s testen.
- Diophantische Gleichungen:= {p | p Polynom in mehreren
Variablen mit Koeffizienz aus ,
- Arithmetik:= {A | A ist arithmetische Aussage (Variablen,
Quantoren, Logische Verknüpfungen, =, , >, <,
+,-, *), A ist wahr}
Achtung: Presburger Arithmetik: wie oben, aber ohne *
ist entscheidbar !!