sawine@4: \documentclass[a4paper, 10pt, pagesize, smallheadings]{article}
sawine@4: \usepackage{graphicx}
sawine@4: %\usepackage[latin1]{inputenc}
sawine@4: \usepackage{amsmath, amsthm, amssymb}
sawine@4: \usepackage{typearea}
sawine@4: \usepackage{algorithm}
sawine@4: \usepackage{algorithmic}
sawine@4: \usepackage{fullpage}
sawine@4: \usepackage{mathtools}
sawine@4: \usepackage{multirow}
sawine@4: \usepackage[all]{xy}
sawine@4: \addtolength{\voffset}{-40pt}
sawine@4: \title{Spieltheorie \"Ubung 2}
sawine@4: \author{Eugen Sawin}
sawine@4: \renewcommand{\familydefault}{\sfdefault}
sawine@4: \newcommand{\E}{\mathcal{E}}
sawine@4: \newcommand{\R}{\mathcal{R}}
sawine@4: 
sawine@4: %\include{pythonlisting}
sawine@4: 
sawine@4: \pagestyle{empty}
sawine@4: \begin{document}
sawine@4: \maketitle
sawine@4: %
sawine@4: \section*{Aufgabe 2.1}
sawine@4: (a) Sei $G = \langle \{1,2\},(A_i),(u_i) \rangle$ und $(x',y')$ ein NG in $G' = \langle \{1,2\},(A_i),(u_i') \rangle$, dann gilt nach Satz 4.1
sawine@4: \begin{align}
sawine@4: \forall_{x\in A_1} \min_{y\in A_2} u_1'(x',y) \geq \min_{y \in A_2} u_1'(x,y)
sawine@4: \end{align}
sawine@4: Sei $(x^*,y^*)$ ein NG in $G$, dann gilt nach Satz 4.1
sawine@4: \begin{align}
sawine@4: \forall_{x\in A_1} \min_{y\in A_2} u_1(x^*,y) \geq \min_{y \in A_2} u_1(x,y)
sawine@4: \end{align}
sawine@4: Wir behaupten, dass $u_1'(x',y') < u_1(x^*,y^*)$.\\
sawine@4: Aus der Problembeschreibung folgt $u_i'(a) = u_i(a) + \alpha_{i,a}$ mit $\alpha_{i,a} \geq 0$. Daraus folgt die Behauptung
sawine@4: \begin{align*}
sawine@4: u_1'(x',y') &< u_1'(x^*,y^*) + \alpha_{1,(x^*,y^*)}\\
sawine@4: \iff u_1'(x',y') &< u_1'(x^*+\alpha_{1,(x^*,y^*)},y^*-\alpha_{1,(x^*,y^*)})\\
sawine@4: \end{align*}
sawine@4: \[\forall_{x\in A_1} \min_{y\in A_2} u_1(x^*,y) \geq \min_{y \in A_2} u_1(x,y)\]
sawine@4: \\\\\setcounter{equation}{0}\\
sawine@4: %
sawine@4: (b) F\"ur jedes NG $(x^*,y^*)$ in G gilt 
sawine@4: \begin{align*}
sawine@4: u_1(x^*,y^*) = \min_{y\in A_2} \max_{x\in A_1}(x,y)\\
sawine@4: \end{align*}
sawine@4: O.B.d.A streichen wir nun Aktion $d \in A_1$. Es gilt nun
sawine@4: \begin{align}
sawine@4: u_1(x^*,y^*) \geq \min_{y\in A_2} \max_{x\in A_1 \setminus \{d\}}(x,y)
sawine@4: \end{align}
sawine@4: 
sawine@4: 
sawine@4: \section*{Aufgabe 2.2}
sawine@4: Wir zeigen folgendes Gegenbeispiel mit Spiel $G = \langle \{1,2\}, (A_i), (u_i) \rangle$, mit $A_1 = \{A,B\}$, $A_2 = \{C,D\}$, $u_i$ ist durch die folgende Matrix definiert.\\\\
sawine@4: \begin{tabular}{rr|c|c|}
sawine@4:  \multicolumn{2}{r}{}
sawine@4:  & \multicolumn{2}{c}{\emph{Spieler 2}} \\
sawine@4: 
sawine@4:  \multicolumn{2}{r}{}
sawine@4:  & \multicolumn{1}{c}{$C$}
sawine@4:  & \multicolumn{1}{c}{$D$} \\
sawine@4: 
sawine@4:  \cline{3-4}
sawine@4:  \multirow{2}{*}{\emph{Spieler 1}}
sawine@4:  & $A$ & $1,-1$ & $2,-2$  \\\cline{3-4}
sawine@4:  & $B$ & $1,-1$ & $-1,1$ \\\cline{3-4}
sawine@4: \end{tabular} \\\\\\
sawine@4: Wir sehen, dass $(A,C)$ ein NG in $G$ ist, jedoch nicht $(B,C)$.
sawine@4: %
sawine@4: \section*{Aufgabe 1.2}
sawine@4: Wir nehmen o.B.d.A. an, dass W\"ahler 1 bis $m$ Kandidat $K_1$ bevorzugen und die W\"ahler $m + 1$ bis $n$ Kandidat $K_2$. Zudem soll immer $i \neq j$ gelten.\\\\
sawine@4: %
sawine@4: (a) Das Spiel $G = \langle N, (A_i)_{i \in N}, (u_i)_{i \in N} \rangle$ mit $N = \{1,...,n\}$, $A_i = \{K_1, K_2\}$ und 
sawine@4: \[u_i(a) = \left\{
sawine@4:   \begin{array}{r l}
sawine@4:     1  & \text{wenn } |\{a_i \mid a_i = K_1\}| \geq m \text{ und } i \leq m\\
sawine@4:     1  & \text{wenn } |\{a_i \mid a_i = K_2\}| \geq m \text{ und } i > m\\
sawine@4:     -1 & \text{sonst}\\
sawine@4:   \end{array} \right.
sawine@4:   \]\\
sawine@4: F\"ur $n = 3$ und $m = 2$ gilt, dass W\"ahler 1 und 2 Kandidat $K_1$ und W\"ahler 3 Kandidat $K_2$ bevorzugen. Wir teilen die ansonsten dreidimensionale Matrix in zwei Matrizen auf. \\\\
sawine@4: \begin{tabular}{rr|c|c|}
sawine@4:  \multicolumn{2}{r}{}
sawine@4:  & \multicolumn{2}{c}{\emph{W\"ahler 3 $\rightarrow K_1$}} \\
sawine@4: 
sawine@4:  \multicolumn{2}{r}{}
sawine@4:  & \multicolumn{2}{c}{\emph{W\"ahler 2}} \\
sawine@4: 
sawine@4:  \multicolumn{2}{r}{}
sawine@4:  & \multicolumn{1}{c}{$K_1$}
sawine@4:  & \multicolumn{1}{c}{$K_2$} \\
sawine@4: 
sawine@4:  \cline{3-4}
sawine@4:  \multirow{2}{*}{\emph{W\"ahler 1}}
sawine@4:  & $K_1$ & $1,1,-1$ & $1,1,-1$  \\\cline{3-4}
sawine@4:  & $K_2$ & $1,1,-1$ & $-1,-1,1$ \\\cline{3-4}
sawine@4: \end{tabular} \\\\\\
sawine@4: %
sawine@4: \begin{tabular}{rr|c|c|}
sawine@4:  \multicolumn{2}{r}{}
sawine@4:  & \multicolumn{2}{c}{\emph{W\"ahler 3 $\rightarrow K_2$}} \\
sawine@4: 
sawine@4:  \multicolumn{2}{r}{}
sawine@4:  & \multicolumn{2}{c}{\emph{W\"ahler 2}} \\
sawine@4: 
sawine@4:  \multicolumn{2}{r}{}
sawine@4:  & \multicolumn{1}{c}{$K_1$}
sawine@4:  & \multicolumn{1}{c}{$K_2$} \\
sawine@4: 
sawine@4:  \cline{3-4}
sawine@4:  \multirow{2}{*}{\emph{W\"ahler 1}}
sawine@4:  & $K_1$ & $1,1,-1$ & $-1,-1,1$  \\\cline{3-4}
sawine@4:  & $K_2$ & $-1,-1,1$ & $-1,-1,1$ \\\cline{3-4}
sawine@4: \end{tabular} \\\\\\
sawine@4: %
sawine@4: (b) $(K_2, *, *)$ wird durch $(K_1, *, *)$ schwach dominiert, da folgendes gilt.
sawine@4: \begin{align*}
sawine@4: u_1(K_2, K_1, K_1) &= u_1(K_1, K_1, K_1) \\
sawine@4: u_1(K_2, K_2, K_1) &< u_1(K_1, K_2, K_1) \\
sawine@4: u_1(K_2, K_1, K_2) &< u_1(K_1, K_1, K_2) \\
sawine@4: u_1(K_2, K_2, K_2) &= u_1(K_1, K_2, K_2) \\
sawine@4: \end{align*}
sawine@4: %
sawine@4: $(*, K_2, *)$ wird durch $(*, K_1, *)$ schwach dominiert, da folgendes gilt.
sawine@4: \begin{align*}
sawine@4: u_2(K_1, K_2, K_1) &= u_2(K_1, K_1, K_1) \\
sawine@4: u_2(K_2, K_2, K_1) &< u_2(K_2, K_1, K_1) \\
sawine@4: u_2(K_1, K_2, K_2) &< u_2(K_1, K_1, K_2) \\
sawine@4: u_2(K_2, K_2, K_2) &= u_2(K_2, K_1, K_2) \\
sawine@4: \end{align*}
sawine@4: %
sawine@4: $(*, *, K_1)$ wird durch $(*, *, K_2)$ schwach dominiert, da folgendes gilt.
sawine@4: \begin{align*}
sawine@4: u_3(K_1, K_1, K_1) &= u_3(K_1, K_1, K_2) \\
sawine@4: u_3(K_2, K_1, K_1) &< u_3(K_2, K_1, K_2) \\
sawine@4: u_3(K_1, K_2, K_1) &< u_3(K_1, K_2, K_2) \\
sawine@4: u_3(K_2, K_2, K_1) &= u_3(K_2, K_2, K_2) \\
sawine@4: \end{align*}
sawine@4: Da W\"ahler 1 und 2 Kandidat $K_1$ bevorzugen und W\"aher 3 Kandidat $K_2$ folgt daraus, dass f\"ur den Gegenkandidaten zu stimmen eine schwach dominierte Strategie ist. \\\\
sawine@4: F\"ur den allgemeinen Fall bedeutet das solange $k_i$ W\"ahler f\"ur $K_i$ stimmen mit $k_i > m$, bleibt die Auszahlung f\"ur alle W\"ahler bei einzelner Strategieabweichung unver\"andert, da danach entweder $k_i - 1 \geq m$ oder $k_i + 1 > m$ gilt und somit die Mehrheit bildet. Da wir den Kandidaten variabel gelassen haben, gilt dies analog f\"ur den Fall mit $k_i < n-m$, da mit $k_i + 1 \leq n - m$ keine Mehrheit gegeben ist.
sawine@4: 
sawine@4: Sollten nur $k_i$ W\"ahler f\"ur $K_i$ stimmen mit $k_i = m$, bedeutet jede Strategieabweichung $k_i + 1 > m$ und $k_i - 1 < m$ eine ver\"anderte Auszahlung f\"ur alle W\"ahler. In diesem Fall wird die Auszahlung f\"ur jeden Anh\"anger von Kandidat $K_j$ mit $j \neq i$ erh\"oht, sobald ein W\"ahler mehr f\"ur $K_j$ stimmt, gleichzeitig wird die Auszahlung f\"ur alle Anh\"anger von Kandidat $K_i$ verringert. Analog gilt dies f\"ur den Fall $k_i = m - 1$.
sawine@4: 
sawine@4: Aus den beiden F\"allen folgt, dass f\"ur den Gegenkandidaten zu stimmen entweder keine Auswirkung oder eine Verschlechterung der Auszahlung bedeutet und somit eine schwach dominierte Strategie darstellt.\\\\ 
sawine@4: %
sawine@4: (c) Die NG des Spiels mit $n = 3$ und $m = 2$ sind $(K_1, K_1, K_1)$, $(K_1, K_1, K_2)$ und $(K_2, K_2, K_2)$.\\\\
sawine@4: F\"ur den allgemeinen Fall nehmen wir o.B.d.A. an, dass W\"ahler 1 bis $m$ Kandidat $K_1$ bevorzugen und die W\"ahler $m + 1$ bis $n$ Kandidat $K_2$. Zudem soll immer $i \neq j$ gelten.
sawine@4: 
sawine@4: F\"ur den Fall dass $k_1$ W\"ahler f\"ur $K_1$ stimmen mit $k_1 = m$, ver\"andert sich die Auszahlung f\"ur alle W\"ahler, sobald ein W\"ahler von $K_1$ auf $K_2$ wechselt. Dieser Fall ist ein NG gdw. W\"ahler 1 bis $m$ f\"ur $K_1$ stimmen, da ein Strategiewechsel f\"ur sie eine Verschlechterung der Auszahlung bedeutet und ein Strategiewechsel der restlichen $n-m$ W\"ahler von $K_2$ auf $K_1$ kein Auswirkung hat. 
sawine@4: 
sawine@4: Der andere Fall mit $k_i$ Stimmen f\"ur $K_i$ mit $k_i > m$ ist ein NG, da ein Strategiewechsel eines einzelnen W\"ahlers keine Auswirkung auf die Mehrheitsverteilung und somit die Auszahlungen hat.
sawine@4: 
sawine@4: Daraus leiten wir folgende NG f\"ur das Spiel ab. $(w_1,...,w_n)$ mit
sawine@4: \begin{align}
sawine@4: &w_i = K_1, 1 \leq i \leq m \text{ und } w_j = K_2, m < j \leq n\\
sawine@4: &||\{w_i \mid w_i = K_1\}| - |\{w_j \mid w_j = K_2\}|| > 1
sawine@4: \end{align}
sawine@4: Umgangssprachlich kann man (1) als den Zusammenhalt der Anh\"anger und (2) als die Dominanz der absoluten Mehrheit bezeichnen. Man beachte, dass (2) kein einzelnes NG definiert, sondern eine Klasse von NG mit ca. $2 (\prod_{i=1}^{n-m-1}(n-i+1)) + 2$ Instanzen.
sawine@4: \end{document}