Gefangenenparadoxon

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Das Gefangenenparadoxon, im Englischen auch als Three Prisoners Problem bezeichnet, erschien 1959 in Martin Gardners Kolumne Mathematical Games im Scientific American und ist ein Paradoxon über bedingte Wahrscheinlichkeiten und den Satz von Bayes. Es ist nicht zu verwechseln mit dem Gefangenendilemma der Spieltheorie.

Formulierung des Problems

[Bearbeiten | Quelltext bearbeiten]

Drei zum Tode verurteilte Gefangene – Anton, Bernd und Clemens – befinden sich in Einzelzellen, als der Gouverneur entscheidet, einen von ihnen zu begnadigen. Er schreibt ihre Namen auf drei Papierzettel, schüttelt die Zettel in einem Hut durcheinander, zieht einen heraus und teilt den Namen des Glücklichen dem Gefängniswärter telefonisch mit, diesen darum bittend, diese Information noch mehrere Tage geheim zu halten. Gerüchte davon erreichen Anton. Als der Wärter seine morgendliche Runde macht, versucht Anton ihn zu überreden, ihm mitzuteilen, wer begnadigt wird. Der Wärter weigert sich.[1]

„Dann nenne mir“, sagt Anton, „den Namen eines der anderen, der hingerichtet wird. Wenn Bernd begnadigt wird, nenne mir Clemens; falls Clemens begnadigt wird, nenne mir Bernd. Wenn ich begnadigt werde, dann wirf eine Münze, um zwischen Bernds und Clemens’ Nennung zu entscheiden.“

„Aber wenn du siehst, wie ich eine Münze werfe“, erwidert der Wärter, „wirst du wissen, dass du der Begnadigte bist. Und wenn du siehst, dass ich keine Münze werfe, dann weißt du, dass der Nichtgenannte begnadigt wird.“

„Dann teile es mir nicht jetzt“, sagt Anton, „sondern morgen mit.“

Der Wärter, der wenig über Wahrscheinlichkeitstheorie weiß, denkt in der Nacht darüber nach und entscheidet, der von Anton vorgeschlagenen Prozedur zu folgen, in der Annahme, er würde ihm keine Hilfe zur Abschätzung seiner Überlebenschancen geben, wenn Anton nicht wisse, ob er die Münze geworfen habe. Am nächsten Morgen teilt er Anton mit, dass Bernd hingerichtet wird.

Nachdem der Wärter verschwunden ist, lächelt Anton über dessen Dummheit: Entweder Clemens wird begnadigt oder er selbst, sodass seine Überlebenschance von 13 auf 12 gestiegen sei.

Der Wärter weiß nicht, dass Anton mit Clemens, der in der Nachbarzelle sitzt, kommunizieren kann, indem er Klopfzeichen über eine Wasserleitung gibt. Er teilt ihm alles haargenau mit, was er mit dem Wärter besprochen hat. Clemens ist gleichermaßen erfreut über die Neuigkeiten, weil er aus den gleichen Gründen wie Anton daraus schließt, dass seine Überlebenschancen ebenfalls auf 12 gestiegen sei.

Schätzen die beiden Gefangenen ihre Chancen korrekt ein? Falls nicht, wie sollte jeder seine Chancen, begnadigt zu werden, berechnen?[2][3]

Zu Anfang werden die in der Problemformulierung genannten Informationen in einen mathematischen Formalismus übersetzt. Dabei ist im Allgemeinen streng zu unterscheiden zwischen der Ebene der im Text handelnden Personen (z. B. Anton) und der Ebene des Lesers (Metaebene). Das den verschiedenen Ebenen zugängliche Vorwissen kann nämlich durchaus unterschiedlich sein.

Zunächst setzt man nach den Anfangsbuchstaben der Akteure, und hierauf die Zufallsvariable , die den Losentscheid darstellt und auf abbildet. Weil der Name zufällig ausgewählt wurde, kann man ansetzen:

Das heißt, ist gleichverteilt.

Weiterhin sei eine Zufallsvariable, die angibt, wen der Wärter nennt. Obwohl Anton, im Unterschied zum Leser, nicht weiß, ob der Wärter sich an die vorgeschlagene Prozedur gehalten hat, vertraut er dem Wärter und folgert dann für die bedingten Wahrscheinlichkeiten der Nennungen des Wärters:

Der Wärter wird Bernd oder Clemens mit gleicher Wahrscheinlichkeit nennen, sollte der Losentscheid auf Anton gefallen sein. Er wird nicht Bernd nennen, wenn Bernd ausgelost wurde, und er wird sicher Bernd nennen, sollte Clemens ausgelost worden sein. Die A-posteriori-Überlebenswahrscheinlichkeit für Anton ist dann nach dem Satz von Bayes:

Die Gefangenen schätzen ihre Überlebenschancen falsch ein. Die Wahrscheinlichkeit dafür, dass Anton überlebt, bleibt 13. Die Wahrscheinlichkeit, dass Clemens überlebt, ist auf 23 gestiegen.

Das Paradoxe an dem Ergebnis ist, dass Antons Überlebenschance in der neuen Situation, also seine bedingte Überlebenschance , immer noch 13 ist, während Clemens’ Überlebenswahrscheinlichkeit sich von 13 auf 23 verdoppelt. Obwohl jetzt nur noch er oder Clemens begnadigt werden können, ist sie also genauso groß wie seine Überlebenschance am Anfang.

Das Paradoxon lässt sich auflösen, indem man sich klarmacht, dass die Aussage des Wärters keine Auswirkung auf die Wahrscheinlichkeit von Antons Schicksal hat. Da Anton auf keinen Fall genannt wird, ergibt sich aus seiner Nichtnennung keine zusätzliche Information. Da andererseits Bernd oder Clemens genannt werden können, verteilt sich der gesamte Informationsgewinn aus der Nennung oder Nichtnennung eines der beiden Namen antisymmetrisch auf genau diese beiden Personen. Sobald bekannt ist, dass Bernd sterben wird, sinkt Bernds Überlebenswahrscheinlichkeit von 13 auf 0, und Clemens’ Überlebenswahrscheinlichkeit steigt von 13 auf 23. Die Gesamtwahrscheinlichkeit, dass Bernd oder Clemens überleben wird, bleibt unverändert bei 23.

Äquivalenz mit dem Ziegenproblem

[Bearbeiten | Quelltext bearbeiten]

Es liegt dem Gefangenenparadoxon derselbe Sachverhalt zugrunde wie bei der Standardvariante des Ziegenproblems. Dabei ist das Ereignis der Begnadigung mit dem der Existenz des Gewinns hinter einem Tor zu identifizieren, weiter das Öffnen eines Tors mit der Nennung eines Opfers und der Wärter mit dem Moderator. Wissen und Verhalten des Wärters ist, zusammen mit dem Münzwurf, mit dem des Moderators äquivalent. Im Moderator oder Wärter wird bloß das Verhalten der Wahrscheinlichkeiten subsumiert.

Lösung mit größerer Grundmenge

[Bearbeiten | Quelltext bearbeiten]

Bei der Betrachtung von 100 Gefangenen, von denen einer begnadigt werden soll, verhalten sich die Wahrscheinlichkeiten entsprechend zu denen bei drei Personen. Antons Überlebenschancen als einer der hundert liegen bei 1 %, und die Wahrscheinlichkeit, dass jemand anderes überlebt, beträgt 99 %. Anton bittet den Wärter, ihm 98 seiner Mitgefangenen zu nennen, die sterben müssen. Nach Abschluss der Aufzählung bleiben Clemens und Anton selbst übrig. Da Anton von vornherein bei der Aufzählung ausgeschlossen war, ist Antons Überlebenschance in der neuen Situation, also seine bedingte Überlebenschance, nach wie vor 1 %. Und weil Clemens als einziger nicht genannt wurde, ist es sehr wahrscheinlich, und zwar 99 %, dass er begnadigt wurde.

Durch die Nennung eines Opfers gewährt der Wärter dem Fragenden neue Informationen. Jedoch betrifft diese Information nicht die Überlebenswahrscheinlichkeit des Fragenden. Der Wärter nennt einen vom Fragenden und vom Begnadigten verschiedenen Gefangenen. Damit sind die Gefangenen in zwei Gruppen zu unterteilen, in die Gruppe des Fragenden und in eine Restgruppe. Die Informationsgebung des Wärters betrifft nur die Restmenge. Mit jedem genannten Namen fällt dessen Überlebenswahrscheinlichkeit auf null und die Überlebenswahrscheinlichkeit der Übrigen steigt entsprechend an, während die des Fragenden gleich bleibt.

Man nimmt an, dass die Auswahlwahrscheinlichkeit eines jeden Gefangenen zunächst gleich sei. Die Wahrscheinlichkeit, dass der Begnadigte Element der Fragenden oder der Restmenge ist, steht durch die Verteilung der Zufallsvariablen fest.

Zusatz zu den obigen Überlegungen

[Bearbeiten | Quelltext bearbeiten]

„Nachdem also Anton die Antwort des Wärters bekommen hat, besucht der Wärter Clemens. Clemens fragt den Wärter, was dieser bei Anton gemacht habe. Der Wärter erzählt ihm die Geschichte, worauf nun Clemens antwortet: ‚Gott sei Dank habe ich nicht zuerst gefragt!‘“

Tatsächlich wäre bei der gleichen Antwort „Bernd“ die Gewinnchancen von Anton auf 23 gestiegen, während sie beim fragenden Clemens bei 13 geblieben wäre.

Das Paradoxon liegt darin, dass scheinbar die Überlebenschancen desjenigen steigen, der nicht gefragt hat. Jedoch bleiben die Überlebenschancen unabhängig von der Frage gleich, nämlich bei 13 (die Antwort auf die Frage erhöht nur die Information zu den Überlebenschancen der Gefangenen in der Restmenge).

Man betrachte noch die Frage: „Wie hoch ist die Wahrscheinlichkeit dafür, dass Anton begnadigt wurde, unter der Bedingung, dass Bernd nicht begnadigt wurde?“

Zunächst gelten die folgenden Wahrscheinlichkeiten:

(Wenn Anton begnadigt ist, kann Bernd nicht begnadigt sein)

Das Ergebnis folgt dann unmittelbar aus der Definition der bedingten Wahrscheinlichkeit:

Nun hat man zwei Lösungen, die einander anscheinend widersprechen.

Der Grund ist, dass die Antworten unter unterschiedlichen Bedingungen gegeben werden. In der Fragestellung wird die Antwort des Wärters von der vorher vorgenommenen Auswahl (oben in der Trennung in Fragenden und Restmenge) beeinflusst. Wird dieser Einfluss nicht mitberücksichtigt, gehen Informationen verloren, und das spiegelt sich in der Verschiebung der Wahrscheinlichkeit wider (in der letzten Frage wird keine Trennung der Gruppen vorgenommen, so kommt der Verlust der Überlebenschance von Bernd den Überlebenschancen von Anton und Clemens gleichermaßen zugute).

Verwandte Themen, bei denen man aus Teilinformation die optimale Entscheidung des Restproblems treffen kann:

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Jason Rosenhouse: the monty hall problem. Oxford University Press, 2009, S. 17.
  2. Martin Gardner: Mathematical Games. Kolumne in: Scientific American. Oktober 1959, S. 180–182.
  3. Martin Gardner: Mathematical Games. Kolumne in: Scientific American. November 1959, S. 188.