Lineare Optimierung (Spieltheorie)

Die lineare Optimierung wird im Rahmen der Spieltheorie zur Ermittlung optimal gemischter Strategien genutzt. Das Verfahren ist insbesondere bei sehr komplizierten Nullsummenspielen anwendbar und garantiert darüber hinaus bei Spielen mit mehr als zwei Personen und einer Vielzahl möglicher Strategien die Ermittlung von Gleichgewichten.<ref> Avinash K. Dixit/Barry J. Nalebuff: Spieltheorie für Einsteiger. Strategisches Know-how für Gewinner. Schaeffer-Poeschel Verlag, Stuttgart, 1997, S. 175.</ref>

Vorgehen

Zweipersonenspiele, die eine endliche Spieldauer aufweisen, können nach John von Neumann und Oskar Morgenstern auf folgende Normalform gebracht werden:<ref>John von Neumann/Oskar Morgenstern: Spieltheorie und wirtschaftliches Verhalten, Physica-Verlag, Würzburg, 1967, S. 93.</ref>

	S₁	S₂	<math>\ldots</math>	S_n-1	S_n
Z₁	a_1,1	a_1,2	<math>\ldots</math>	a_1,n-1	a_1,n
Z₂	a_2,1	a_2,2	<math>\ldots</math>	a_2,n-1	a_2,n
<math>\vdots</math>	<math>\vdots</math>	<math>\vdots</math>	<math>\ddots</math>	<math>\vdots</math>	<math>\vdots</math>
Z_m-1	a_m-1,1	a_m-1,2	<math>\ldots</math>	a_m-1,n-1	a_m-1,n
Z_m	a_m,1	a_m,2	<math>\ldots</math>	a_m,n-1	a_m,n

Die Menge <math>Z_1, \ldots, Z_m</math> sind die Strategien des Zeilenspielers Z. Die Menge <math>S_1, \ldots, S_n</math> sind die Strategien des Spaltenspielers S.

Die Auszahlungsmatrix mit den Werten <math>a_{i,j} (i = 1,\ldots, m; j = 1,\ldots,n)</math> beschreibt sämtliche Auszahlungen des Zeilenspielers. Wenn in Nullsummenspielen der Zeilenspieler die reine Strategie 1 wählt und der Spaltenspieler die reine Strategie 1, so bekommt Z die Auszahlung <math>a_{1,1}</math> und S die Auszahlung <math>-a_{1,1}</math>.

Nach dem Min-Max-Theorem sollten beide Spieler ihre Strategie so wählen, dass die eigenen maximalen Verluste minimiert werden. Kann mit Hilfe des Min-Max-Kriteriums kein Sattelpunkt und damit keine für jeden Spieler optimale reine Strategie ermittelt werden, empfiehlt es sich, die jeweiligen Strategien zu mischen. Um die eigenen Auszahlungen zu maximieren, muss die Auswahl der Strategien zufällig mit bestimmten Wahrscheinlichkeiten erfolgen.<ref>Hans-Jürgen Zimmermann: Operations Research, Vieweg+Teubner Verlag, Braunschweig/Wiesbaden, 2005, S. 38.</ref> „Würfelt“ ein Spieler seine Strategie gemäß dieser Wahrscheinlichkeitsverteilung zufällig aus, ist ihm die bestmögliche Gewinnerwartung sicher, die er haben kann, wenn er seine Strategie unabhängig von der seines Gegners wählt.

Die Wahrscheinlichkeiten, mit der Z die Strategien <math>Z_i (i = 1,\ldots, m)</math> wählt, werden im Folgenden mit <math>p_i ( p_i \geq 0,\sum_{i=1}^m p_i = 1)</math> und die Wahrscheinlichkeiten, mit der S die Strategien <math>S_j (j = 1,\ldots, n)</math> spielt mit <math>q_j ( q_j \geq 0,\sum_{j=1}^n q_j = 1 )</math> bezeichnet. Mit der Verteilung der Wahrscheinlichkeiten <math>p</math> über <math>{Z_1, \ldots, Z_m}</math> erhält Z seine gemischte Strategie und mit der Verteilung der Wahrscheinlichkeiten <math>q</math> über <math>{S_1, \ldots, S_n}</math> erhält S seine gemischte Strategie. Der erwartete Gewinn <math>E</math> des Zeilenspielers ergibt sich folgendermaßen:

<math>\operatorname E (p,q) = \sum_{i=1}^m\sum_{j=1}^n p_i q_j a_{ij}</math>.

Umgekehrt verliert der Spaltenspieler genau diesen Erwartungswert.

Für das weitere Vorgehen ist es notwendig, das Min-Max-Theorem und dessen Idee auf gemischte Strategien auszuweiten. Es gilt, diejenige gemischte Strategie zu spielen, die das Minimum des erwarteten Gewinns maximiert bzw. das Maximum des erwarteten Verlustes minimiert.<ref>Frederick S. Hillier/Gerald J. Liebermann: Operations Research, Oldenbourg, 1996, S. 360.</ref> Anders ausgedrückt, stellen <math>a_*</math> die obere Auszahlungsschranke des Zeilenspielers und <math>a^*</math> die untere Auszahlungsschranke des Spaltenspielers dar.

<math>a_* = \underset{p}{\mathrm{max}} \, \underset {S_j}{\mathrm{min}} \, \operatorname E (p, S_j)</math>

<math>a^* = \underset{q}{\mathrm{min}} \, \underset {Z_i}{\mathrm{max}} \, \operatorname E (q, Z_i)</math>

Der Maximierungsspieler Z findet seine optimale Strategie <math>p^0</math> durch die Lösung des folgenden Problems:

maximiere <math>a_*</math>

so dass <math>a_* \leq \sum_{i=1}^m a_{ij}p_i \qquad (j = 1,\ldots, n)</math> und

<math>\sum_{i=1}^m p_i = 1</math> und

<math>\quad p_i \geq 0 \qquad (i = 1,\ldots, m)</math>

Der Minimierungsspieler S hat auf der Suche nach der optimalen Strategie <math>q^0</math> folgendes Problem zu lösen:

minimiere <math>a^*</math>

so dass <math>a^* \geq \sum_{j=1}^n a_{ij}q_j \qquad (i = 1,\ldots, m)</math> und

<math>\sum_{j=1}^n q_j = 1</math> und

<math>\quad q_j \geq 0 \qquad (j = 1,\ldots, n)</math>

Gilt <math>a_* = a^*</math>, so ergibt sich ein gemischter Wert <math>W</math>. Diesen Wert können sich beide Spieler nur aufgrund der Kenntnis der Auszahlungsmatrix durch Wahl der gemischten Minimax-Strategie <math>p^0</math> und <math>q^0</math> jederzeit garantieren. Es wird vorausgesetzt, dass der Wert des Spiels <math>W</math> größer 0 ist. Dies ist immer dann gesichert, wenn die Auszahlungsmatrix nur positive Elemente enthält. Wenn dies nicht der Fall ist, kann es durch die Addition einer genügend großen einheitlichen Konstante erreicht werden. Nach Beendigung der Rechnung wird diese Konstante wieder abgezogen.

Die Einführung der neuen Variablen <math>x_i = \frac {p_i} {a_*} (i = 1,\ldots, m)</math> und <math>y_j = \frac {q_j} {a^*} (j = 1,\ldots, n)</math> führt durch Einsetzen in die oben ermittelten Gleichungen zu den finalen linearen Optimierungsproblemen.

Für den Zeilenspieler ergibt sich folgendes Optimierungsproblem <math>L_1</math>:

zu minimieren unter den Nebenbedingungen

<math>\sum_{i=1}^m a_{ij}x_i \geq 1; \qquad x_i \geq 0 \qquad (i = 1,\ldots, m; j = 1,\ldots,n)</math>

Für den Spaltenspieler ergibt sich folgendes Optimierungsproblem <math>L_2</math>:

zu maximieren unter den Nebenbedingungen

<math>\sum_{j=1}^n a_{ij}y_j \leq 1; \qquad y_j \geq 0 \qquad (i = 1,\ldots, m; j = 1,\ldots,n)</math>

Die Lösung der Aufgabe erfolgt über das Simplex-Verfahren. Da <math>L_1</math> und <math>L_2</math> zueinander duale Programme darstellen, reicht es aus, <math>L_1</math> oder <math>L_2</math> zu lösen, um die Strategien für beide Spieler zu ermitteln. Die Ergebnisse für <math>x_i</math> und <math>y_j</math> können aus dem entwickelten Simplex-Endtableau abgelesen werden und ermöglichen ohne viel Aufwand die Ermittlung des Spielwertes <math>W</math> und der optimal gemischten Strategien <math>p^0</math> und <math>q^0</math>.

Beispiel

Das Vorgehen zur Bestimmung der optimal gemischten Strategien soll anhand des Knobelspiels Schere, Stein, Papier verdeutlicht werden. Das Zwei-Personen-Nullsummenspiel weist folgende Auszahlungsmatrix auf:

	Schere	Stein	Papier
Schere	0	−1	1
Stein	1	0	−1
Papier	−1	1	0

Für das gegebene Spiel liegt kein Sattelpunkt in reinen Strategien vor. Die Lösung des Problems erfolgt mit Hilfe der linearen Optimierung und der Ermittlung der Wahrscheinlichkeitsverteilungen.

Da für das weitere Vorgehen positive Werte der Auszahlungsmatrix vorausgesetzt werden, erfolgt die Addition einer Konstanten. Dies führt nicht zu einer Änderung der optimalen Strategien, sondern nur zu einer Änderung der Erwartungswerte. Nach Lösung des Optimierungsproblems muss diese Konstante wieder abgezogen werden. In dem gewählten Beispiel führt die Addition von 2 zu dem gewünschten Ergebnis.

So entsteht aus der Ausgangsmatrix <math>A =

 \begin{pmatrix}
   0 & -1 & 1 \\
   1 & 0 &-1 \\
   -1 & 1 & 0
 \end{pmatrix}\ \Rrightarrow \ A^\prime =
 \begin{pmatrix}
   2 & 1 & 3 \\
   3 & 2 & 1 \\
   1 & 3 & 2
 \end{pmatrix}

</math>

Daraus entwickeln sich die folgenden Optimierungsprobleme:

Zeilenspieler:

minimiere <math>\frac{1}{a_*} = \sum_{i=1}^3 x_i\ </math> so dass

<math>

 \begin{alignat}{3}
   2x_1 &+ & 3x_2 &+ & x_3 \geq 1\\
   x_1 &+ & 2x_2 &+ & 3x_3 \geq 1\\
   3x_1 &+ & x_2 &+ & 2x_3 \geq 1
 \end{alignat}

</math>

Spaltenspieler:

maximiere <math>\frac {1}{a^*} = \sum_{j=1}^3 y_j\ </math> so dass

<math>

 \begin{alignat}{3}
   2y_1 &+ & y_2 &+ & 3y_3 \leq 1\\
   3y_1 &+ & 2y_2 &+ & y_3 \leq 1\\
    y_1 &+ & 3y_2 &+ & 2y_3 \leq 1
 \end{alignat}

</math>

Die beiden linearen Programme können mit Hilfe des Simplex-Verfahrens gelöst werden. Für das gewählte Beispiel ergeben sich folgende Werte:

<math>x_1 = x_2 = x_3 = \frac {1}{6} \qquad y_1 = y_2 = y_3 = \frac {1}{6}</math>

Für <math>\frac{1}{a_*} = \sum_{i=1}^m x_i</math> lässt sich der Wert <math>\frac{1}{2}</math> ermitteln.

Aufgrund der Beziehungen <math>x_i = \frac{p_i}{a_*}; \quad y_j = \frac {q_j}{a^*}</math> ergeben sich die optimalen Strategien <math>\ p^*</math> und <math>q^*</math>.

<math>p^*_i = 2\cdot \frac {1}{6} = \frac {1}{3} \qquad q^*_j = 2\cdot \frac{1}{6} = \frac {1}{3}</math>

Die optimale gemischte Strategie des Zeilenspielers lautet: <math>\ p^*_i = \left( \frac{1}{3},\frac{1}{3}, \frac{1}{3} \right)</math>

Die optimale gemischte Strategie des Spaltenspielers lautet: <math>\ q^*_j = \left( \frac{1}{3},\frac{1}{3}, \frac{1}{3} \right)</math>

Der Wert des Spiels mit der Auszahlungsmatrix <math>A^\prime</math> beträgt <math>a_* = a^* = W^\prime = 2</math>. Für die Ausgangsmatrix <math>A</math> ergibt sich der Spielwert durch Subtraktion der Konstanten und damit ist <math>W = W^\prime - 2 = 0</math>.

Gilt für ein Spiel <math>W = 0</math>, so wird dieses Spiel als fair bezeichnet.

Die ermittelten optimalen Strategien für das Spiel <math>A^\prime</math> stellen aufgrund der Äquivalenz gleichzeitig optimale Strategien für das Spiel <math>A</math> dar.<ref>Hans-Jürgen Zimmermann: Operations Research, Vieweg+Teubner Verlag, Braunschweig/Wiesbaden, 2005, S. 37.</ref>

Um den optimalen Gewinn zu erlangen, müssen beide Spieler jede der möglichen Strategien mit einer Wahrscheinlichkeit von 33,33 % spielen und diese damit zufällig gleich oft anwenden.<ref>Karl Manteuffel/Dieter Stumpe: Spieltheorie, Vieweg+Teubner Verlag, Leipzig, 1997, S. 32.</ref>

Belege

Literatur

John von Neumann, Oskar Morgenstern: Spieltheorie und wirtschaftliches Verhalten. Physica-Verlag, Würzburg, 1967.
Hans-Jürgen Zimmermann: Operations Research, Vieweg+Teubner Verlag, Braunschweig/Wiesbaden 2005, ISBN 978-3528032104.
Avinash K. Dixit, Barry J. Nalebuff: Spieltheorie für Einsteiger. Strategisches Know-how für Gewinner. Schaeffer-Poeschel Verlag, Stuttgart 1997, ISBN 3-7910-1239-8.
Frederick S. Hillier, Gerald J. Liebermann: Operations Research, Oldenbourg, 1996, ISBN 978-3486239874.
Karl Manteuffel, Dieter Stumpe: Spieltheorie, Vieweg+Teubner Verlag, Leipzig 1997, ISBN 978-3322007247.