Satz von Friedberg und Muchnik

Der Satz von Friedberg und Muchnik ist ein Ergebnis der Berechenbarkeitstheorie und mathematischen Logik, das 1956/1957 unabhängig voneinander von Richard M. Friedberg und Albert Muchnik bewiesen wurde. Es besagt, dass es rekursiv aufzählbare Turinggrade gibt, die zwischen 0 und 0′ liegen. Damit gibt es also rekursiv aufzählbare Mengen, die nicht entscheidbar sind, aber im Sinne der Turingreduktion leichter als das Halteproblem. Für ihre Beweise entwickelten Friedberg und Muchnik eine neue Beweistechnik, die als Prioritätsmethode oder Prioritätsargument bekannt ist und die zu einer wichtigen Technik in der Berechenbarkeitstheorie wurde.

Geschichte

Emil Post untersuchte in einer Arbeit von 1944 die Turinggrade und fragte, ob es rekursiv aufzählbare Turinggrade zwischen 0 und 0′ gibt. Diese Frage wurde als Postsches Problem bekannt. Post definierte die einfachen Mengen und konnte zeigen, dass diese unter der many-one-Reduktion strikt zwischen den entscheidbaren Mengen und dem Halteproblem liegen, ohne dies auch für die stärkere Turingreduktion zeigen zu können. J.C.E. Dekker zeigte 1954, dass dies unmöglich ist, da es einfache Mengen in 0′ gibt. Das Problem wurde 1956/57 unabhängig voneinander von Friedberg und Muchnik durch die neu entwickelte Prioritätsmethode gelöst. 1986 veröffentlichte Antonín Kučera eine neue Lösung, die kein Prioritätsargument benötigt.

Beweis

Idee

Der folgende Beweis folgt der Darstellung von Cooper 2004 und beruht auf den ursprünglichen Beweisen von Friedberg und Muchnik.

Es werden simultan zwei rekursiv aufzählbare Mengen $A$ und $B$ konstruiert, die aufeinander jeweils nicht Turing-reduzierbar sind: $A{\le }_{T}B$ und $B{\le }_{T}A$. Wenn diese Bedingungen erfüllt sind, folgt direkt die Aussage des Satzes. Denn wenn $A$ oder $B$ entscheidbar wäre, ließe es sich auf die andere Menge Turing-reduzieren, und da alle rekursiv aufzählbaren Mengen auf das Halteproblem Turing-reduzierbar sind, können A und B auch nicht in 0′ liegen.

Diese Anforderungen werden durch eine unendliche Liste von Anforderungen sichergestellt. Sei ${\mathrm{\Phi }}_0,{\mathrm{\Phi }}_1,\dots$ eine berechenbare Aufzählung der Orakel-Turingmaschinen. Dann gibt es für jede Maschine ${\mathrm{\Phi }}_i$ zwei Anforderungen:

• $R_{2i}$: ${\mathrm{\Phi }}_i$ beschreibt keine Turingreduktion von $A$ auf $B$. Formal: $A\ne {\mathrm{\Phi }}_i^B$

• $R_{2i+1}$: ${\mathrm{\Phi }}_i$ beschreibt keine Turingreduktion von $B$ auf $A$. Formal: $B\ne {\mathrm{\Phi }}_i^A$

Wenn alle $R_{2i}$ erfüllt sind, gibt es keine Turingreduktion von $A$ auf $B$ und es gilt $A{\le }_{T}B$. Analog gilt $B{\le }_{T}A$, wenn alle $R_{2i+1}$ erfüllt sind.

Die Anforderungen sind nach ihrer Priorität geordnet, sodass $R_0$ höchste Priorität hat, $R_1$ zweithöchste etc.

Es werden berechenbare Folgen endlicher Mengen $A_0\subseteq A_1\subseteq A_2\subseteq \cdots$ und $B_0\subseteq B_1\subseteq B_2\subseteq \cdots$ konstruiert. A und B sind dann die unendlichen Vereinigungen dieser Folgen: $A=\bigcup _{i\in \mathbb{N}}{A}_i$ und $B=\bigcup _{i\in \mathbb{N}}{B}_i$. Da die Folgen berechenbar sind, sind ihre Vereinigungen $A$ und $B$ rekursiv aufzählbar.

Es ist $A_0=B_0=\mathrm{\varnothing }$. Im $s+1$-ten Schritt der Konstruktion werden aus $A_s$ und $B_s$ die Mengen $A_{s+1}\supseteq A_s$ und $B_{s+1}\supseteq B_s$ konstruiert. Die Konstruktion wird von Strategien übernommen. Jede der Anforderungen hat eine Strategie, die versucht, diese Anforderung zu erfüllen.

Strategien

Intuition

Jede Strategie $R_{2i}$ muss erzwingen, dass eine Ungleichung $A\ne {\mathrm{\Phi }}_i^B$ gilt. Hierzu gibt es zwei Möglichkeiten: entweder die Strategie fügt einen Zeugen $x$ zu $A$ hinzu, der nicht in ${\mathrm{\Phi }}_i^B$ liegt, oder sie erzwingt, dass es einen Zeugen $x$ gibt, der in ${\mathrm{\Phi }}_i^B$ liegt und nie nach $A$ gelangt. Dabei gibt es zwei Schwierigkeiten. Zum einen ist ${\mathrm{\Phi }}_i^B$ nicht immer eine totale Funktion und die Frage ${\mathrm{\Phi }}_i^B(x)$ ist daher unentscheidbar. Dies wird dadurch gelöst, dass die Strategie im $s$-ten Schritt der Konstruktion nur die ersten $s$ Schritte der Berechnung von ${\mathrm{\Phi }}_i^B(x)$ durchführt. Wenn ${\mathrm{\Phi }}_i^B(x)$ nach $t$ Schritten hält, dann wird die Strategie den Wert von ${\mathrm{\Phi }}_i^B(x)$ im $t$-ten Schritt der Konstruktion erfahren und kann entsprechend bestimmen, ob $x$ nach $A$ gelangt oder nicht. Hält ${\mathrm{\Phi }}_i^B(x)$ nicht, dann beschreibt ${\mathrm{\Phi }}_i$ keine totale Funktion und somit keine Turingreduktion. Damit ist $R_{2i}$ automatisch erfüllt.

Zum anderen ist $B$ während der Konstruktion von $A$ noch nicht vorhanden, da beide Mengen simultan konstruiert werden. Daher erhält die Orakelmaschine ${\mathrm{\Phi }}_i$ als Orakel im $s$-ten Schritt statt $B$ die endliche Menge $B_s$. Eine Orakelturingmaschine kann, falls sie hält, nur endlich viele Orakelanfragen stellen. Damit genügt es, zu fordern, dass alle späteren Mengen $B_t$ auf allen Zahlen $x\le k$ ($k$ ist größte Orakelanfrage in der Berechnung von ${\mathrm{\Phi }}_i^B(x)$) mit $B_s$ übereinstimmen, um zu gewährleisten, dass ${\mathrm{\Phi }}_i^{B_s}(x)={\mathrm{\Phi }}_i^B(x)$ ist. Die Strategie setzt daher $k$ als $B$-Beschränkung fest, das heißt keine Strategie $R_{2i+1}$ darf zukünftig Zahlen $x\le k$ zu $B$ hinzufügen.

Die Strategien $R_{2i+1}$ arbeiten vollkommen analog, mit vertauschten Rollen von $A$ und $B$. Diese Strategien können also analog $A$-Beschränkungen einführen, welche die $R_{2i}$-Strategien in der Wahl der Zeugen beschränken. Eine Beschränkung kann nun aber auch den Zeugen einer bereits aktiven Strategie unbrauchbar machen, wenn dieser kleiner als $k$ ist. Die Lösung ist, dass jede Strategie nur diejenigen Beschränkungen beachtet, die von einer Strategie höherer Priorität aufgestellt wurden. Erkennt eine Strategie, dass sie verletzt wurde, das heißt, dass eine von ihr aufgestellte Beschränkung von einer Strategie höherer Priorität verletzt wurde, wählt sie einen neuen Zeugen und beginnt von vorne.

Nun lässt sich wie folgt induktiv zeigen, dass jede Strategie nur endlich viele Male verletzt wird, also irgendwann endgültig erfüllt wird. Da $R_0$ höchste Priorität hat, wird es nie verletzt. Da es für jedes $R_{s+1}$ nur endlich viele Anforderungen mit höherer Priorität gibt, die alle nach Induktionsvoraussetzung nur endlich oft verletzt werden, wird $R_{s+1}$ ebenfalls nur endlich oft verletzt, da es nur von Strategien mit höherer Priorität verletzt werden kann.

Formalisierung

Jede Anforderung der Form $R_{2i}$ hat eine Strategie, die sich wie folgt prozedural darstellen lässt:

1. Wähle einen potentiellen Zeugen x für $A\ne {\mathrm{\Phi }}_i^B$, wobei x noch nicht in A liegt, über allen A-Beschränkungen mit höherer Priorität liegt und nicht schon als Zeuge gewählt wurde.
2. In jedem späteren Schritt $s$, überprüfe ob eine der folgenden Bedingungen gilt:
   1. x liegt unter einer A-Beschränkung mit höherer Priorität. In diesem Fall wurde $R_{2i}$ verletzt und geht zurück nach (1).
   2. $A_s(x)=0={\mathrm{\Phi }}_i^{B_s}(x)[s]$. In diesem Fall geht die Strategie nach (3). Dabei ist ${\mathrm{\Phi }}_i^{B_s}(x)[s]$ das Ergebnis der ersten $s$ Schritte der Berechnung von ${\mathrm{\Phi }}_i^{B_s}(x)$.
3. $x$ wird zu $A_{s+1}$ hinzugefügt.
4. Sei z die größte Orakelanfrage, die bei der Berechnung von ${\mathrm{\Phi }}_i^{B_s}(x)$ gestellt wurde. Dann wird die B-Beschränkung z hinzugefügt.
5. In jedem späteren Schritt $s$ wird überprüft, ob x unter einer A-Beschränkung mit höherer Priorität liegt. Wenn ja, geht die Strategie nach (1) zurück.

Die Anforderungen $R_{2i+1}$ haben analoge Strategien, in denen A und B vertauscht sind.

Dabei beginnt die Strategie für die $n$-te Anforderung ihre Aktivität im $n$-ten Schritt der Konstruktion bei (1). In jedem Schritt $s$ sind alle Strategien $R_k$ für $k\le s$ aktiv. Damit müssen in jedem Schritt nur endlich viele Strategien berücksichtigt werden. Da jede Strategie berechenbar ist, ist somit wie gefordert jedes $A_s$ und $B_s$ berechenbar.

Wie oben gezeigt, wird jede Strategie nur endlich viele Male verletzt. Zudem ist zu zeigen, dass die Anforderung $R_i$ erfüllt ist, wenn die zugehörige Strategie nicht mehr verletzt wird. Da jede Strategie $R_i$ nur endlich oft verletzt wird und nach (1) zurückgeht, bleiben zwei mögliche Ergebnisse (hier für $R_{2i}$ dargestellt, analog für $R_{2i+1}$):

• $R_{2i}$ wartet unendlich lang bei (2), d. h. $A_s(x)=0={\mathrm{\Phi }}_i^{B_s}(x)[s]$ wird für kein $s$ erfüllt. Dann ist ${\mathrm{\Phi }}_i^B(x)$ entweder undefiniert oder gleich 1. Da $x$ nicht in $A$ liegt, ist in beiden Fällen $R_{2i}$ erfüllt.
• $R_{2i}$ erreicht (5), ohne wieder verletzt zu werden. Da $x$ in (3) zu $A$ hinzugefügt wurde, ist $A(x)=1$. Andererseits ist ${\mathrm{\Phi }}_i^{B_s}(x)=0$. Aufgrund der von $R_{2i}$ hinzugefügten B-Beschränkung hat sich der relevante Teil von $B$ nicht verändert und ${\mathrm{\Phi }}_i^B(x)={\mathrm{\Phi }}_i^{B_s}(x)=0\ne A(x)$.

Analog lässt sich zeigen, dass alle $R_{2i+1}$ erfüllt werden.

Literatur

• S. B. Cooper: Computability Theory. Chapman & Hall/CRC, 2004. ISBN 1-58-488237-9
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur