Quelltext der Seite Min-Max-Theorem

Das '''Min-Max-Theorem''' ist ein grundlegendes [[Lösungskonzept]] in der [[Spieltheorie]] und wird mitunter als Hauptsatz für 2-Personen-[[Nullsummenspiel]]e bezeichnet.<ref>Hans Bühlmann, Hans Loeffel, Erwin Nievergelt: ''Entscheidungs- und Spieltheorie'', Springer Verlag, Berlin, 1975, S. 182.</ref> Die ''Min''imierung der gegnerischen ''Max''imal-Auszahlung beider Spieler steht im Vordergrund und ist Ursache für die Entstehung der Bezeichnung ''Min-Max''-Theorem. Alternativ wird das Min-Max-Theorem in der einschlägigen Literatur als Maximinlösung bezeichnet.<ref>Manfred J. Holler, Gerhard Illing: ''Einführung in die Spieltheorie'', Berlin [u.&nbsp;a.], Springer Verlag, 2006, S. 55.</ref> Die Grundlage für die duale Begriffsfindung bildet die Tatsache, dass in Nullsummenspielen die Minimierung der gegnerischen Maximal-Auszahlung (Minimax) sowohl der Minimierung des eigenen Maximal-Verlustes als auch der Maximierung der eigenen Minimum-Auszahlung (Maximin) entsprechen.<ref>Thomas Riechmann: ''Spieltheorie'', München, Vahlen Verlag, 2008, S. 87.</ref>

== Spieltheoretische Formulierung ==

Der Hauptsatz für 2-Personen-Nullsummenspiele beinhaltet:

In der [[Gemischte Strategie|gemischten Erweiterung]] <math>(X, Y, G^\prime)</math> eines jeden 2-Personen-Nullsummenspiels mit endlichen (reinen) Strategieräumen A und B existiert eine Konstante V und für jeden Spieler mindestens eine (gemischte) Gleichgewichtsstrategie <math>x^*</math> bzw. <math>y^*</math>, mit der er eine erwartete Auszahlung von mindestens V garantieren kann.

Für Spieler A existiert ein <math>x^* = \lbrace x^*_1, ... x^*_\text{i}, ... x^*_\text{m}\rbrace</math> mit <math>x^*_\text{i}\ge 0 </math> und <math>\sum_{i = 1}^m x^*_\text{i}= 1\quad </math>, so dass <math>\quad \max\limits_x</math> <math>\min\limits_y</math> <math>G^\prime\bigl(x,y\bigr)\ = \min\limits_y</math> <math>G^\prime\bigl(x^*,y\bigr) = V</math>.

Für Spieler B existiert ein <math>y^* = \lbrace y^*_1, ... y^*_\text{j}, ... y^*_\text{n}\rbrace</math> mit <math>y^*_\text{j}\ge 0 </math> und <math>\sum_{j = 1}^n y^*_\text{j}= 1\quad</math>,
so dass <math>\quad \min\limits_y</math> <math>\max\limits_x</math> <math>G^\prime\bigl(x,y\bigr)\ = \max\limits_x</math> <math>G^\prime\bigl(x,y^*\bigr) = V</math>.<ref>[[Hans Bühlmann]], Hans Loeffel, Erwin Nievergelt: ''Entscheidungs- und Spieltheorie'', Springer Verlag, Berlin, 1975, S. 183.</ref>

== Einordnung ==

Im Folgenden sei angenommen, beide Spieler folgen dem Minimax-Kriterium, das heißt, sie wählen die gemischte Strategie, die für sie selbst die minimale erwartete Auszahlung maximiert (und folglich den maximalen erwarteten Verlust minimiert). Der Satz garantiert beiden Spielern in endlichen Zwei-Personen-Nullsummenspielen einen erwarteten Gewinn V, insofern sie diejenige [[gemischte Strategie]] wählen, die nach dem Minimax-Kriterium optimal ist. Dieses Paar von Maximin- und Minimax-Strategien führt dazu, dass keiner der Spieler durch einseitige Veränderung seiner Strategie die eigene Position verbessern kann.<ref>Frederick S. Hillier, Gerald J. Liebermann: Operations Research, Verlag Oldenbourg, 1996, S. 360.</ref>
Der [[Minimax-Algorithmus]], der ebenfalls auf der Minimax-Strategie beruht, findet im Gegensatz zum Min-Max-Theorem im Bereich der sequenziellen Spiele Anwendung.

Der Satz wurde erstmals von [[John von Neumann]] 1928 in seiner Publikation „Zur Theorie der Gesellschaftsspiele“ bewiesen.<ref>John von Neumann: ''Zur Theorie der Gesellschaftsspiele'', Mathematische Annalen Nr. 100, 1928, S. 295–320 ([https://gdz.sub.uni-goettingen.de/id/PPN235181684_0100 Göttinger Digitalisierungszentrum]).</ref><!-- vgl. https://resolver.sub.uni-goettingen.de/purl?PPN235181684_0100 -->

Die entstandene Strategienkombination beider Spieler bildet einen Sattelpunkt, der einen Spezialfall des [[Nash-Gleichgewicht]]s für Zweipersonen-Nullsummenspiele darstellt.<ref>Christian Rieck: ''Spieltheorie: Eine Einführung'', Christian Rieck Verlag, Eschborn, 2006, S. 291.</ref> Für die Ermittlung dieser Gleichgewichtsstrategie in sehr komplexen Nullsummenspielen wird die [[Lineare Optimierung (Spieltheorie)|Lineare Optimierung]] genutzt.

Folglich darf Spieler A, wenn er rational spielt, abhängig von der Strategiewahl von Spieler B, mindestens den Betrag V erwarten und Spieler B kann erreichen, wenn er rational spielt, dass Spieler A im Mittel auch nicht mehr als diesen Betrag gewinnt.<ref>Melvin Dresher: ''Strategische Spiele, Theorie und Praxis'', Verlag Industrielle Organisation, Zürich, 1961, S. 15.</ref>

== Allgemeine Vorgehensweise ==

Ein 2-Personen-Nullsummenspiel in Matrixform kann folgendermaßen dargestellt werden ([[Bimatrix]]):

{| class="wikitable" style="text-align:center"
|-
!
!
! colspan="5" |Spieler B:      
|-
! |
! class="hintergrundfarbe5" |
! class="hintergrundfarbe5" |s<sup>1</sup><math>_B</math> 
! class="hintergrundfarbe5" |s<sup>2</sup><math>_B</math>
| class="hintergrundfarbe5" |⋯
! class="hintergrundfarbe5" |s<sup>n-1</sup><math>_B</math>
! class="hintergrundfarbe5" |s<sup>n</sup><math>_B</math>
|-
! rowspan="7" |Spieler A: 
|-
! class="hintergrundfarbe5" |s<sup>1</sup><math>_A</math> 
| u<sup>1,1</sup>
| u<sup>1,2</sup>
| ⋯
| u<sup>1,n-1</sup>
| u<sup>1,n</sup>
|-
! class="hintergrundfarbe5" |s<sup>2</sup><math>_A</math> 
| u<sup>2,1</sup>
| u<sup>2,2</sup>
| ⋯
| u<sup>2,n-1</sup>
| u<sup>2,n</sup>
|-
| class="hintergrundfarbe5" style="text-align:center" |⋮
| style="text-align:center" |⋮
| style="text-align:center" |⋮
| &nbsp;
| style="text-align:center" |⋮
| style="text-align:center" |⋮
|-
! class="hintergrundfarbe5" |s<sup>m-1</sup><math>_A</math> 
| u<sup>m-1,1</sup>
| u<sup>m-1,2</sup>
| ⋯
| u<sup>m-1,n-1</sup>
| u<sup>m-1,n</sup>
|-
! class="hintergrundfarbe5" |s<sup>m</sup><math>_A</math> 
| u<sup>m,1</sup>
| u<sup>m,2</sup>
| ⋯
| u<sup>m,n-1</sup>
| u<sup>m,n</sup>
|}

Spieler A ist der Zeilenspieler und Spieler B der Spaltenspieler. Das Spiel wird aus Sicht des Spielers A betrachtet, wobei im Strategienvektor <math>s=(s_A,s_B)</math> die Zeile durch <math>s_A</math> und die Spalte <math>s_B = s_A</math> bezeichnet wird. In den Matrixzellen steht die Auszahlung <math>u_A (s) = - u_B(s)</math>, so dass die Auszahlung des Spielers A gleich dem Verlust des Spielers B entspricht.

Spieler A wählt zuerst eine Strategie <math>s_A</math> (Zeile), wobei ihm bewusst ist, dass der Gegner immer das Minimum der Auszahlungen in der Zeile wählen wird, die Spieler A vorgegeben hat. Dementsprechend gibt Spieler A diejenige Strategie <math>s_A</math> (Zeile) vor, in der das Zeilenminimum maximal (Maximin-Strategie) ist, so dass die Optimierungsregel für Spieler A lautet:

::<math>\underset{s_A}{\max}[\underset{s_B}{\min}\;u_A(s_A,s_B)]</math>

Diese garantiert ihm ein Auszahlungsminimum, gleichgültig was Spieler B unternimmt.
Spieler B versucht seine Verluste zu minimieren und wählt eine Strategie <math>s_B</math> (Spalte), die genau die umgekehrte Bedingung erfüllt ([[Minimax-Regel]], Minimax-Strategie), so dass die Optimierungsvorschrift für Spieler B lautet:

::<math>\underset{s_B}{\min}[\underset{s_A}{\max}\;u_A(s_A,s_B)]</math>

Folglich kann er durch seine Minimax-Strategie die Auszahlung des Spielers A auf höchstens gleich diesem Betrag begrenzen, gleichgültig was Spieler A unternimmt. Es gilt dementsprechend:

::<math>\underset{s_A}{\max}[\underset{s_B}{\min}\;u_A(s_A,s_B)]</math> <math>\le</math> <math>\underset{s_B}{\min}[\underset{s_A}{\max}\;u_A(s_A,s_B)]</math><ref>Melvin Dresher: ''Strategische Spiele, Theorie und Praxis'', Verlag Industrielle Organisation, Zürich, 1961, S. 14–15.</ref>

Der Hauptsatz für 2-Personen-Nullsummenspiele beinhaltet, dass diese beiden optimalen Strategien einen gemeinsamen Wert v besitzen, so dass [[notwendige und hinreichende Bedingung]] für den Wert <math>v</math> (Gleichgewicht, Sattelpunkt) lautet:

::<math>\underset{s_A}{\max}[\underset{s_B}{\min}\;u_A(s_A,s_B)]\;=\;\underset{s_B}{\min}[\underset{s_A}{\max}\;u_A(s_A,s_B)]</math>.<ref>Christian Rieck: ''Spieltheorie: Eine Einführung'', Christian Rieck Verlag, Eschborn, 2006, S. 291.</ref>

Spieler A darf folglich, wenn er intelligent spielt, eine Minimalauszahlung erwarten und Spieler B kann bewirken, wenn er intelligent spielt, dass Spieler A nicht mehr als die Minimalauszahlung gewinnt.<ref>Melvin Dresher: ''Strategische Spiele, Theorie und Praxis'', Verlag Industrielle Organisation, Zürich, 1961, S. 15.</ref>

== Beispiel ==

In einem Tennisspiel soll im Folgenden das Min-Max-Theorem verdeutlicht werden. In der [[Bimatrix]] wurden die Auszahlungen durch die entsprechenden Erfolgsquoten der beiden Spieler für jede ihrer reinen Strategien ersetzt. Spieler A schlägt zuerst auf.

{| class="wikitable" style="text-align:center"
|-
! 
! 
! colspan="2" |Spielerin B:      
|-
! 
! class="hintergrundfarbe5" |  !!  class="hintergrundfarbe5" |  Vorhand    !! class="hintergrundfarbe5" |   Rückhand
|-
! rowspan="2" |Spieler A:  
! class="hintergrundfarbe5" |  Vorhand     || 50         || 80
|-  
! class="hintergrundfarbe5" |  Rückhand    || 90         || 20          
|}

Da die Interessen der beiden Spieler genau entgegengesetzt sind, wird Spielerin B versuchen, den Ball erfolgreich zu retournieren und die maximale Erfolgsquote ihres Gegners zu minimieren (Minimax-Strategie). Mit diesem Vorwissen wird Spieler A versuchen, seine eigene Minimum-Erfolgsquote zu maximieren (Maximin-Strategie).<br/>
In diesem Beispiel beträgt die Minimum-Erfolgsquote von Spieler A für jede seiner reinen Strategien in der Zeile Vorhand 50 und Rückhand 20. Das Maximum dieser Minima (Maximin) beträgt folglich 50 und garantiert ihm den größtmöglichen Erfolg, wenn er zu 100 % auf die Vorhand spielt, insofern Spielerin B in ihren eigenen Interessen so gut wie möglich retourniert. Spieler A würde die Strategie Vorhand wählen.<br/>
Die Maximum-Erfolgsquote von Spielerin B für jede ihrer Strategien beträgt in Spalte Vorhand 90 und Rückhand 80. Das Minimum dieser Maxima (Minimax) beträgt 80 und garantiert ihr den größtmöglichen Erfolg, insofern Spieler A in seinen eigenen Interessen so gut wie möglich retourniert. Spielerin B würde die Rückhand wählen.

{| class="wikitable" style="text-align:center"
|-
! 
!
! colspan="3" |Spielerin B:    
|-
!
! class="hintergrundfarbe5" | !!  class="hintergrundfarbe5" | Vorhand !! class="hintergrundfarbe5" |  Rückhand !!  Zeilenminimun
|-
! rowspan="5" |Spieler A:   
! class="hintergrundfarbe5" |  Vorhand     || 50         || 80     || '''''50 (Maximin)'''''
|-  
! class="hintergrundfarbe5" |  Rückhand    || 90         || 20     || 20
|-
!                           | Spaltenmaximun  || 90          || '''''80 (Minimax)'''''  
|}

Die Minmax- und Maxmin-Werte der beiden Tennisspieler sind unterschiedlich:
Maximin Spieler A (50 %) < Minimax Spielerin B (80 %).

Dementsprechend besitzt dieses Spiel kein Gleichgewicht (Sattelpunkt) in reinen Strategien, denn jeder der beiden Spieler kann seine Position durch Mischen der reinen Strategien Vorhand und Rückhand verbessern und die Erfolgsquote des Gegners schwächen, da die richtige Position nicht mehr vorhersagbar ist.

Die Strategiensets, die sich für die beiden Spieler aus dem Mix ihrer reinen Strategien ergeben, werden zunächst aus der Perspektive von Spieler A betrachtet. Er spielt Vorhand mit der Wahrscheinlichkeit <math>p</math> und Rückhand folglich mit der Wahrscheinlichkeit <math>(1 - p)</math>. Der <math>p</math>-Mix gibt, für jede der reinen Strategien von Spielerin B, den zu erwartenden Erfolg des Spielers A für seine gemischte Strategie an.

{| class="wikitable" style="text-align:center"
|-
! 
!
! colspan="3" |Spielerin B:    
|-
!
! class="hintergrundfarbe5" | !!  class="hintergrundfarbe5" | Vorhand !! class="hintergrundfarbe5" |  Rückhand !!  Zeilenminimun
|-
! rowspan="5" |Spieler A:   
! class="hintergrundfarbe5" |  Vorhand     || 50         || 80     || '''''50'''''
|-  
! class="hintergrundfarbe5" |  Rückhand    || 90         || 20     || 20
|-
!                           | p-Mix        || 50p + 90 (1 - p)         || 80p + 20 (1 - p) || min = ?
|}

Wenn Spielerin B Vorhand spielt, entspricht die Erfolgsquote des Spielers A
<math>50p + 90(1-p)</math> und bei Rückhand <math>80p + 20(1-p)</math>. Die Wahrscheinlichkeit <math>p</math> berechnet sich wie folgt.

:<math>50p + 90 (1 - p) = 80p + 20 (1 - p)</math>
:<math>70 (1 - p) = 30p</math>
:<math>70 = 100p</math>
:<math>p = 0,7</math> → erwartete Erfolgsquote: <math>50*0,7 + 90 (1 - 0,7) = 62</math>

Nun werden die Strategiensets aus der Perspektive von Spielerin B betrachtet. Sie spielt Vorhand mit der Wahrscheinlichkeit <math>q</math> und Rückhand folglich mit der Wahrscheinlichkeit <math>(1 - q)</math>. Der <math>q</math>-Mix gibt, für jede der reinen Strategien von Spieler A, den zu erwartenden Erfolg der Spielerin B für ihre gemischte Strategie an.

{| class="wikitable" style="text-align:center"
|-
! 
!
! colspan="3" |Spielerin B:    
|-
!
! class="hintergrundfarbe5" | !!  class="hintergrundfarbe5" | Vorhand !! class="hintergrundfarbe5" |  Rückhand !!  q-Mix
|-
! rowspan="5" |Spieler A:   
! class="hintergrundfarbe5" |  Vorhand     || 50         || 80     || 50q + 80 (1 - q)
|-  
! class="hintergrundfarbe5" |  Rückhand    || 90         || 20     || 90q + 20 (1 - q)
|-
!                           | Spaltenmaximum  || 90      || '''''80'''''  || min = ?
|}

Wenn Spieler A Vorhand spielt, entspricht die Erfolgsquote der Spielerin B
<math>50q + 80(1 - q)</math> und bei Rückhand <math>90q + 20(1 - q)</math>. Die Wahrscheinlichkeit <math>q</math> beträgt:

:<math>50q + 80 (1 - q) = 90q + 20 (1 - q)</math>
:<math>60 (1 - q) = 40q</math>
:<math>60 = 100q</math>
:<math>q = 0,6</math> → erwartete Erfolgsquote: <math>50*0,6 + 80 (1 - 0,6) = 62</math>

Spieler A konnte folglich durch das Mischen von reinen Strategien seine Maximin von 50 % auf 62 % anheben. Spielerin B konnte durch das Nutzen ihrer gemischten Strategie ihr Minimax von 80 % auf 62 % senken. Wenn beide Spieler ihre optimale gemischte Strategie gegeneinander spielen, so entspricht der Maximin des Spielers A, dem Minimax der Spielerin B und keiner kann sich gegenüber dem anderen besser stellen.<ref>Avinash K. Dixit, Susan E. Skeath: ''Games of Strategy'', Norton Verlag, New York [u.&nbsp;a.], 1999, S. 194–198.</ref>

== Kritik ==
Einigen Autoren zufolge wird dem Min-Max-Theorem in der Spieltheorie eine eher geringe Bedeutung beigemessen, da sich dieses Lösungskonzept ausschließlich für Zweipersonen-Nullsummenspielen eignet. Insbesondere wird die im Min-Max-Theorem getroffene Annahme beider Spieler, der Gegner wähle immer nur die für sich beste Strategie aus, als wenig überzeugend eingeschätzt. Das Lösungskonzept gilt nur als zweckmäßig unter der Annahme, dass der gegnerische Spieler die Maximierung seiner Auszahlung anstrebt und keinen Fehler begeht, das heißt optimal und rational handelt.<ref>Christian Rieck: ''Spieltheorie: Eine Einführung'', Christian Rieck Verlag, Eschborn, 2006, S. 292.</ref>

== Literatur ==

* Avinash K. Dixit, Susan E. Skeath: ''Games of Strategy'', New York [u.&nbsp;a.], Norton Verlag, 1999, ISBN 0-393-97421-9.
* Avinash K. Dixit, Barry J. Nalebuff: ''Spieltheorie für Einsteiger: Strategisches Know-how für Gewinner'', Stuttgart, Schäffer Poeschel Verlag, 1999, ISBN 978-3-7910-1239-1.
* Christian Rieck: ''Spieltheorie: Eine Einführung'', Christian Rieck Verlag, Eschborn, 2006, ISBN 3-924043-91-4.
* Hans Bühlmann, Hans Loeffel, Erwin Nievergelt: ''Entscheidungs- und Spieltheorie'', Springer Verlag, Berlin, 1975, ISBN 3-540-07462-7.
* Frederick S. Hillier, Gerald J. Liebermann: ''Operations Research'', Verlag Oldenbourg, München [u.&nbsp;a.], 1996, ISBN 978-3-486-23987-4.
* John von Neumann: ''Zur Theorie der Gesellschaftsspiele'', Mathematische Annalen Nr. 100, 1928, S. 295–320.
* John von Neumann, Oskar Morgenstern: ''Theory of Games and Economic Behavior'', Verlag Princeton Paperback, Princeton, 1990, ISBN 0-691-00362-9, [https://archive.org/download/theoryofgamesand030098mbp/theoryofgamesand030098mbp.pdf online bei archive.org] (PDF; 31,6 MB)
* [[Manfred J. Holler]], Gerhard Illing: ''Einführung in die Spieltheorie'', Berlin [u.&nbsp;a.], Springer Verlag, 2006, ISBN 978-3-540-27880-1.
* [[Melvin Dresher]]: ''Strategische Spiele, Theorie und Praxis'', Verlag Industrielle Organisation, Zürich, 1961.

== Siehe auch ==
* [[Satz von Ky Fan]]

== Belege ==
<references />


[[Kategorie:Spieltheorie]]

[[it:Minimax#Teorema minimax nel caso di mosse simultanee]]