Lösungen zu den Übungsaufgaben im Kapitel 7 des Lehrbuches Operations Research Deterministische Modelle und Methoden von Stephan Dempe und Heiner Schreier Aufgabe : Betrachtet werde das Matrixspiel mit der Auszahlungsmatrix a 0 A = - -. - - a. Für welche Werte von a gibt es ein Nash sches Gleichgewicht?. Berechnen Sie für a = 0.5 die optimalen gemischten Strategien! Lösung: a) Wir verwenden Satz 7.6 mit S = S = {,, 3} und f(i, ) = a i, wobei A = (a i ) sei. Es existiert somit ein Nash-Gleichgewicht genau dann, wenn max i min a i = min max a i i gilt. Um dies zu überprüfen, verwenden wir die folgende Fallunterscheidung: a < : max min a i = max{a,, min{a, }} = i min max i a i = min{,, } = Es gilt Gleichheit, d.h. für a < existiert ein Nash-Gleichgewicht. a 0: max min a i = max{a,, } = a i min max i a i = min{, a, } = a Es gilt Gleichheit, d.h. auch für a [ ; 0] existiert ein Nash-Gleichgewicht. a > 0: max min a i = max{ 0,, } = 0 i min max a i i = min{, }{{} a >0, max{, a} } > 0 }{{} >0 Es gilt hier keine Gleichheit, d.h. für a > 0 existiert kein Nash-Gleichgewicht.
Wir haben somit das folgende Ergebnis erhalten: Ein Nash-Gleichgewicht existiert genau dann, wenn a 0 ist. b) Werden gemischte Strategien verwendet, so existiert bei Matrixspielen stets ein Nash-Gleichgewicht. Dies gilt, da alle Voraussetzungen von Satz 7.4 erfüllt sind. Für die Berechnung der gemischten Strategien verwenden wir die Aufgabe (7.3). Die Aufgabe des. Spielers lautet somit z = α min y + 0.5y α y y + y 3 α y y + 0.5y 3 α y + y + y 3 = y, y, y 3 0. Für alle zulässigen Lösungen dieser Aufgabe gilt α > 0. Begründung: Aufgrund der. Ungleichung gilt nun α 0 für alle zulässigen Lösungen. Angenommen es ist α = 0. Wegen der ersten Ungleichung ist dann y = y = 0. Somit ist also y 3 =. Dies ist aber ein Widerspruch zur zweiten Ungleichung. Wegen α > 0 können wir sofort die folgende Transformation durchführen: y := y /α, y := y /α, y 3 := y 3 /α, z := /α = y + y + y 3. Somit erhalten wir die folgende lineare Optimierungsaufgabe (siehe (7.6)): z = y + y + y 3 max y + 0.5y y y + y 3 y y + 0.5y 3 y, y, y 3 0.
Diese Aufgabe wird nun mittels Simplexmethode gelöst. y y y 3 u u u 3 0 0 0 θ u 0 (0.5) 0 0 0 u 0 0 0 u 3 0 0.5 0 0 ( ) 0 0 0 0 y 0 0 0 u 0 0 () 0 3 3 u 3 0 0 0.5 4 0 5 0 0 ( ) 0 0 y 0 0 0 y 0 0 3 u 3 0.5 0 0 3 0.5 3.5 0 0 4 0 5 Wir erhalten also als optimale Lösung z = 5, y =, y = 3 und y 3 = 0. Wir müssen nun die Rücktransformation durchführen. Es ist also α = /z = 0., y = y α = 0.4, y = y α = 0.6 und y 3 = y 3α = 0. Die optimale Strategie des zweiten Spielers lautet also wie folgt: Er wählt die. Spalte mit Wahrscheinlichkeit /5 und die. Spalte mit Wahrscheinlichkeit 3/5. Die optimale Strategie des ersten Spielers kann aus den Optimalitätsindikatoren der Schlupfvariablen abgelesen werden. Es ist x = δ(u ) = 4, x = δ(u ) = und x 3 = δ(u 3 ) = 0. Mit der Rücktransformation erhalten wir die optimale Strategie des ersten Spielers x = x α = 4/5, x = x α = /5 und x 3 = x 3α = 0, d.h. die erste Zeile wird mit der Wahrscheinlichkeit 4/5 und die. Zeile mit der Wahrscheinlichkeit /5 gespielt. Der Erwartungswert für den Gewinn des ersten Spielers ist α = 0.. Aufgabe : Es sei das folgende Zweipersonenspiel betrachtet: Die Spieler P und P wählen e eine natürliche Zahl i bzw. i aus dem Bereich,..., n. P gewinnt, falls i = i + oder i = und i = n gilt. P gewinnt, falls i = i + oder i = und i = n gilt. In allen anderen Fällen geht das Spiel unentschieden aus. Falls ein Spieler gewinnt, so erhält er GE vom Gegenspieler, und bei einem Unentschieden finden keine Zahlungen statt. Man weise nach, dass bei ungeradem n die Gleichgewichts-Lösung (in 3
gemischten Strategien) eindeutig ist, und dass dies bei geradem n nicht der Fall ist. Lösung: Es sei n 3 vorausgesetzt. Die Auszahlungsmatrix des Spiels ist 0 0... 0. 0.. 0. A = 0 0.................... 0. 0........ 0... 0 0 Diese Matrix ist offensichtlich schiefsymmetrisch, d.h. es gilt A = A. Bei Matrixspielen bedeutet dies, dass die beiden Spieler die gleichen Gewinnchancen haben. Der Wert des Spieles ist also Null, d.h. die Aufgaben (7.3) bzw. (7.4) besitzen optimale Lösungen (y, α ) bzw. (x, β ) mit α = β = 0. Die optimalen Strategien y von Spieler (analog von Spieler ) ergeben sich aus (7.3) wie folgt: Ay 0, e y =, y 0. Wegen 0 = e Ay 0 folgt weiter Ay = 0. Es ist somit zu zeigen, dass das Ungleichungs-/Geichungssystem Ay = 0 ( ) e y = y 0 für ungerades n genau eine und für gerades n mehrere Lösungen hat. Aus den Gleichungen bis n des Gleichungssystems Ay = 0 erhalten wir y k = y für alle ungeraden k, y k = y für alle geraden k. Ist n ungerade, so erhalten wir mit der ersten Gleichung y = y n die Gleichheit y = y =... = y n. Aus e y = erhalten wir dann die eindeutige optimale Strategie y = y =... = y n = /n. Ist n gerade, so erhalten wir mit der ersten Gleichung y = yn keine weitere Einschränkung des Ergebnisses. Aus e y = erhalten wir also = yk + yk = n y + n y. k ungerade k gerade 4
Sei y := a. Dann ist also y = /n a 0. Die Menge der optimalen Strategien ist somit {y : y k = a für k ungerade, y k = n/ a für k gerade mit a [0; n/]}. Ist also n gerade, so besitzt der Spieler unendlich viele optimale Strategien. Die optimalen Strategien des Spielers entsprechen den optimalen Strategien des Spielers. Aufgabe 3: Beim Nim-Spiel sind k Reihen mit n, =,..., k, Streichhölzern vorhanden. Zwei Spieler nehmen abwechselnd Streichhölzer aus einer der Reihen weg. Wie viele sie nehmen spielt keine Rolle; es muss edoch mindestens ein Streichholz sein und es dürfen bei einem Zug nur Streichhölzer einer einzigen Reihe genommen werden. Derenige Spieler, der den letzten Zug macht, also die letzten Streichhölzer wegnimmt, gewinnt. Für den Fall k = 3 und n = (,, ) stelle man das Spiel in extensiver Form (Spielbaum) dar. Welcher Spieler besitzt eine Gewinnstrategie? Anschließend betrachte man den allgemeinen Fall und untersuche in Abhängigkeit von k und (n ) =,...,k welcher der beiden Spieler eine Gewinnstrategie besitzt. Lösung: Als erstes betrachten wir den Fall k = 3 und n = (,, ) und versuchen eine Gewinnstrategie des ersten Spielers zu finden. Als erstes sollte der. Spieler das Streichholz der 3. Reihe entfernen. Der. Spieler hat dann die folgenden Möglichkeiten:.) Er entfernt die Streichhölzer der ersten oder zweiten Reihe. Dann kann der erste Spieler die verbliebenen Streichhölzer entfernen und gewinnt das Spiel..) Er entfernt nur ein Streichholz. Dann entfernt der. Spieler ein Streichholz der anderen Reihe. Wir haben dann die Situation (,,0). Der. Spieler muss nun die erste oder zweite Reihe leeren. Der. Spieler kann nun das verbliebene Streichholz entfernen und gewinnt somit auch hier. Wir haben also für n = (,, ) eine Gewinnstrategie des ersten Spielers gefunden. Seien nun k und n = (n,..., n k ) beliebig. Wie können wir nun Gewinnstrategien der beiden Spieler beschreiben? Seien d i := (..., d i, d i, d i 0) die Dualdarstellungen der Zahlen n i, i =,..., k. Es sei also n i = di mit d i {0, } für alle i und. Weiter sei s = 5
(..., s, s, s 0 ) gegeben durch s i := d i + d i +... + d k i (mod ). s i entspricht also dem Rest von d i + d i +... + d k i bei Division durch. Wie ändern sich nun die d i und s bei einem regulären Zug eines Spielers? Bei einem regulären Zug eines Spieler wird genau ein n l verändert. Die neue Dualdarstellung sei d l und es sei I := {i : dl i d l i} die Menge aller Indizes, in welchen die Dualdarstellungen nicht übereinstimmen. Weiter sei i 0 der größte Index in der Indexmenge I. Da n l verkleinert wird, gilt d l i 0 = und d l i 0 = 0. Im neuen Vektor s gilt s i = s i für alle i / I und s i = s i + (mod ) für alle i I. Wir unterscheiden nun die Fälle s = 0 und s 0. Angenommen s ist ein Nullvektor. Führt nun ein Spieler einen regulären Zug durch mit einer Indexmenge I, so gilt für den neuen Vektor s aufgrund der obigen Ausführungen s i 0 für alle i I, d.h. s 0. Angenommen es ist s 0. Dann existiert eine nichtleere Indexmenge J = {i : s i 0}. Sei i 0 der größte Index mit i 0 J. Dann existiert ein l {,..., k} mit d l i 0 =. Wir berechnen nun die Dualdarstellung d l einer Zahl ñ l mit d l i := d l i für alle i / J und d l i := d l i + (mod ) für alle i J. Wegen d l i 0 = gilt dann ñ l < n l. Dies entspricht also einem regulären Zug eines Spielers, wobei s = 0 gilt. Da für n = (0, 0,..., 0) die Gleichung s = 0 gilt, besitzt der erste Spieler bei n = (n,..., n k ) genau dann eine Gewinnstrategie, wenn s 0 gilt. Wir demonstrieren dies zum besseren Verständnis an einigen Beispielen: Spieler n d d d 3 s l I ñ (,, 3) (0, 0, ) (0,, 0) (0,, ) (0, 0, 0) 3 {} (,, ) (,, ) (0, 0, ) (0,, 0) (0, 0, ) (0,, 0) {} (, 0, ) (, 0, ) (0, 0, ) (0, 0, 0) (0, 0, ) (0, 0, 0) {0} (0, 0, ) (0, 0, ) (0, 0, 0) (0, 0, 0) (0, 0, ) (, 0, 0) 3 {0} (0, 0, 0) Gilt n = (,, 3), so besitzt der zweite Spieler eine Gewinnstrategie. Gilt n = (4, 6, 3, 5), so ist d = (0,, 0, 0), d = (0,,, 0), d 3 = (0, 0,, ) und d 4 = (0,, 0, ). Also ist s = (0,, 0, 0). Der erste Spieler wird also z.b. l = und I = wählen, d.h. er entnimmt der. Reihe 4 Streichhölzer. Wenn er an der vorgeschlagenen Gewinnstrategie festhält, so kann der zweite Spieler nicht gewinnen. 6
Aufgabe 4: Betrachtet sei die folgende Funktion v(k): K {} {} {3} {, } {, 3} {, 3} {,, 3} v(k) 0 9 5 3 6 5. Überprüfen Sie, ob die Funktion v(k) eine charakteristische Funktion ist!. Bestimmen Sie den Kern dieses Spiels! 3. Bestimmen Sie den Shapley-Vektor! Lösung: a) Es lässt sich leicht mit Definition 7. überprüfen, dass v(k) eine charakteristische Funktion ist. b) Der Kern des Spiels ist aufgrund des Satzes 7.3 wie folgt gegeben: x 9, x 5, x 3 3, x + x + x 3 = 5 x + x, x + x 3 6, x + x 3 Es wird nun x 3 durch x 3 = 5 x x ersetzt. Dann erhalten wir x [9, 3], x [5, 9], x + x =. Aus = x }{{} + x folgt nun x }{{} = 3, x = 9 und x 3 = 3, d.h. der 3 9 Kern des Spiels besteht aus einem einzigen Punkt K = {x = 3, x = 9, x 3 = 3}. c) Die Berechnung des Shapley-Vektors erfolgt mit Hilfe des Satzes 7.7: ϕ (v) = 0!! +!!!! (v({}) v( )) + (v({, }) v({}))!0! (v({, 3}) v({3})) + (v({,, 3}) v({, 3})) = 6 9 + 6 7 + 6 3 + 37 3 = 6 3 ϕ (v) = 0!! +!!!! (v({}) v( )) + (v({, }) v({}))!0! (v({, 3}) v({3})) + (v({,, 3}) v({, 3})) = 6 5 + 6 3 + 6 9 + 6 9 = 5 3 7
ϕ 3 (v) = 0!! +!!!! (v({3}) v( )) + (v({, 3}) v({}))!0! (v({, 3}) v({})) + (v({,, 3}) v({, })) = 6 3 + 6 7 + 6 7 + 6 3 = 3 3 Probe: ϕ (v) + ϕ (v) + ϕ 3 (v) = 5 = v({,, 3}). Aufgabe 5: Für die Aufteilung eines Kuchens mittels einfacher Mehrheit auf drei Personen, zeige man, dass M =,, eine Neumann-Morgenstern-Lösung ist. 0 Lösung: Zu der angegebenen Aufgabe gehört die folgende charakteristische Funktion: K {} {} {3} {, } {, 3} {, 3} {,, 3} v(k) 0 0 0 0 Demzufolge besitzt ede Zuteilung x R 3 die folgenden Eigenschaften (siehe Definition 7.3): x 0, x 0, x 3 0, x + x + x 3 =. Für den Nachweis der Behauptung verwenden wir nun Definition 7.0 und Definition 7.7.. Eigenschaft: Angenommen es existieren y, y M und eine Koalition K mit y K y. Dann gilt v(k) > 0 und y i > y i für alle i K. Aus v(k) > 0 folgt aber K. Wegen y M existiert somit ein i K mit y i > y i = /. Dies ist ein Widerspruch zu y M. Die erste Eigenschaft gilt also.. Eigenschaft: Sei x / M ein Zuteilung. Dann existieren zwei Indizes i,, i, mit x i < / und x < /. Dann existiert edoch offensichtlich ein y M mit y i = y = /. Bezüglich der Koalition K = {i, } gilt also x K y, d.h. die zweite Eigenschaft gilt ebenfalls. Die Menge M ist somit eine Neumann-Morgenstern-Lösung. 8 0 0
Aufgabe 6: Der aktuelle Bundestag besteht aus 64 Mitgliedern, die sich wie folgt auf die Parteien verteilen: Union SPD FDP Die Grünen Die Linke 6 6 5 54 Man berechne für Abstimmungen mit einfacher Mehrheit (308 Stimmen) die Werte der Shapley-Funktion der fünf Parteien. Lösung: Wir gehen wie im Beispiel 7.3 vor. Somit soll die charakteristische Funktion wieder den Wert für alle Gewinnerkoalitionen und den Wert 0 für alle Verliererkoalitionen haben. Seien die Parteien in der angegebenen Reihenfolge durchnummeriert. Dann gibt es die folgenden Gewinnerkoalitionen: {, }, {,, 3}, {,, 4}, {,, 5}, {,, 3, 4}, {,, 3, 5}, {,, 4, 5}, {, 3, 4}, {, 4, 5}, {, 3, 5}, {, 3, 4, 5}, {, 3, 4}, {, 4, 5}, {, 3, 5}, {, 3, 4, 5}, {,, 3, 4, 5} Wenn die erste Partei die Koalition verlässt, werden aus den Koalitionen {, }, {,, 3}, {,, 4}, {,, 5}, {, 3, 4}, {, 4, 5}, {, 3, 5}, {, 3, 4, 5} Verliererkoalitionen. Demzufolge ist ϕ (v) =! 5! + 6!! 5! +! 5! = 0.3. Weiter gilt offensichtlich ϕ (v) = ϕ (v) = 0.3. Wenn die dritte Partei die Koalition verlässt, werden aus den Koalitionen {, 3, 4}, {, 3, 5}, {, 3, 4} und {, 3, 5} Verliererkoalitionen. Also ist ϕ 3 (v) = 4!! 5! = 5. Da die Parteien 3, 4, 5 rechnerisch gesehen als Koalitionspartner gleichwertig sind, gilt ϕ 3 (v) = ϕ 4 (v) = ϕ 5 (v) = /5. 9