\documentclass[a4paper, 10pt, pagesize, smallheadings]{article}

\usepackage{graphicx}

%\usepackage[latin1]{inputenc}

\usepackage{amsmath, amsthm, amssymb}

\usepackage{typearea}

\usepackage{algorithm}

\usepackage{algorithmic}

\usepackage{fullpage}

\usepackage{mathtools}

\usepackage{multirow}

\usepackage[all]{xy}

\usepackage{tikz}

\usepackage{tikz-qtree}

\usetikzlibrary{decorations.pathmorphing} % noisy shapes

\usetikzlibrary{fit}					% fitting shapes to coordinates

\usetikzlibrary{backgrounds}	% drawin

\usetikzlibrary{shapes,snakes}

\addtolength{\voffset}{-20pt}

\title{Spieltheorie \"Ubung 4}

\author{Eugen Sawin}

\renewcommand{\familydefault}{\sfdefault}

\newcommand{\E}{\mathcal{E}}

\newcommand{\R}{\mathcal{R}}

%\include{pythonlisting}

\pagestyle{empty}

\begin{document}

\maketitle

%

\section*{Aufgabe 4.1}

(a) Das Picknickspiel ist das Spiel $G=\langle\{1,2\},(A,B),(u_i)\rangle$ mit $A=B=\{p_1,p_2,p_3,p_4,p_5\}$ und das $(u_i)$ definiert durch die folgende Matrix.\\\\

\begin{tabular}{rr|c|c|c|c|c|}

 \multicolumn{1}{r}{}

 & \multicolumn{1}{r}{}

 & \multicolumn{5}{c}{\emph{Spieler 2}} \\

 \multicolumn{1}{r}{}

 & \multicolumn{1}{r}{}

 & \multicolumn{1}{c}{$p_1$}

 & \multicolumn{1}{c}{$p_2$}

 & \multicolumn{1}{c}{$p_3$}

 & \multicolumn{1}{c}{$p_4$}

 & \multicolumn{1}{c}{$p_5$} \\

 \cline{3-7}

 \multirow{5}{*}{\emph{Spieler 1}}

  & $p_1$ & $0,0$    & $1,2$   & $1,3$    & $1,4$   & $1,5$   \\\cline{3-7}

  & $p_2$  & $2,1$    & $0,0$   & $2,3$    & $2,4$   & $2,5$   \\\cline{3-7}

  & $p_3$ & $3,1$    & $3,2$   & $0,0$    & $3,4$   & $3,5$   \\\cline{3-7}

  & $p_4$  & $4,1$    & $4,2$   & $4,3$    & $0,0$   & $4,5$   \\\cline{3-7}

  & $p_5$  & $5,1$    & $5,2$   & $5,3$    & $5,4$   & $0,0$   \\\cline{3-7}

\end{tabular}\\\\\\

%

Seit $(\alpha,\beta)$ ein NG mit Nutzenprofil $(u,v)$ im Spiel $G$, dann ist das LCP durch folgende Ungleichungen definiert.

\begin{align}

  0&\leq u-\beta(p_1)\cdot 0-\beta(p_2)\cdot 1-\beta(p_3)\cdot 1-\beta(p_4)\cdot 1-\beta(p_5)\cdot 1\\

  0&\leq u-\beta(p_1)\cdot 2-\beta(p_2)\cdot 0-\beta(p_3)\cdot 2-\beta(p_4)\cdot 2-\beta(p_5)\cdot 2\\

  0&\leq u-\beta(p_1)\cdot 3-\beta(p_2)\cdot 3-\beta(p_3)\cdot 0-\beta(p_4)\cdot 3-\beta(p_5)\cdot 3\\

  0&\leq u-\beta(p_1)\cdot 4-\beta(p_2)\cdot 4-\beta(p_3)\cdot 4-\beta(p_4)\cdot 0-\beta(p_5)\cdot 4\\

  0&\leq u-\beta(p_1)\cdot 5-\beta(p_2)\cdot 5-\beta(p_3)\cdot 5-\beta(p_4)\cdot 5-\beta(p_5)\cdot 0\\

  0&\leq v-\alpha(p_1)\cdot 0-\alpha(p_2)\cdot 1-\alpha(p_3)\cdot 1-\alpha(p_4)\cdot 1-\alpha(p_5)\cdot 1\\

  0&\leq v-\alpha(p_1)\cdot 2-\alpha(p_2)\cdot 0-\alpha(p_3)\cdot 2-\alpha(p_4)\cdot 2-\alpha(p_5)\cdot 2\\

  0&\leq v-\alpha(p_1)\cdot 3-\alpha(p_2)\cdot 3-\alpha(p_3)\cdot 0-\alpha(p_4)\cdot 3-\alpha(p_5)\cdot 3\\

  0&\leq v-\alpha(p_1)\cdot 4-\alpha(p_2)\cdot 4-\alpha(p_3)\cdot 4-\alpha(p_4)\cdot 0-\alpha(p_5)\cdot 4\\

  0&\leq v-\alpha(p_1)\cdot 5-\alpha(p_2)\cdot 5-\alpha(p_3)\cdot 5-\alpha(p_4)\cdot 5-\alpha(p_5)\cdot 0\\

  0&\leq \alpha(a)&\forall a\in A\\

  0&\leq \beta(b)&\forall b\in B\\

  1&=\alpha(p_1)+\alpha(p_2)+\alpha(p_3)+\alpha(p_4)+\alpha(p_5)\\

  1&=\beta(p_1)+\beta(p_2)+\beta(p_3)+\beta(p_4)+\beta(p_5)\\

  0&=\alpha(a)\cdot(u-U_1(a,\beta))&\forall a\in A\\

  0&=\beta(b)\cdot(v-U_2(\alpha,b))&\forall b\in B

\end{align}

Gleichungen (15) und (16) sind zu expandieren, wie in den Gleichungen (1)-(10) gezeigt. Au\ss erdem m\"ussen f\"ur die Normalform daf\"ur zus\"atzliche Variablen eingef\"uhrt werden. Wir unterlassen beides um die \"Ubersichtlichkeit zu erhalten. Auch (11) und (12) definieren insgesamt 10 Ungleichungen, f\"ur jede Aktion eine.\\\\

%

(b) 

\section*{Aufgabe 4.2}

(a) Das extensive Spiel ist $\Gamma=\langle N,H,P,(u_i)_{i\in N}\rangle$ mit 

\begin{align*}

  N&=\{R,E,K\}\\

  H&=\{\langle\rangle,\langle r\rangle,\langle e\rangle,\langle r,b\rangle,\langle r,h\rangle,\langle e,b\rangle,\langle e,h\rangle,\langle r,b,b\rangle,\langle r,b,h\rangle,\langle r,h,b\rangle,\langle r,h,h\rangle,\langle e,b,b\rangle,\langle e,b,h\rangle,\langle e,h,b\rangle,\langle e,h,h\rangle\}\\

  P(h)&=\left\{\begin{array}{l l}

   K, & \text{falls } h=\langle\rangle\\

   R, & \text{falls } h\in\{\langle r\rangle,\langle e,b\rangle,\langle e,h\rangle\}\\

   E, & \text{falls } h\in\{\langle e\rangle,\langle r,b\rangle,\langle r,h\rangle\}\\

               \end{array} \right.\\

 u_R(h)&=\left\{\begin{array}{l l}

  2, &\text{falls } h\in\{\langle r,b,b\rangle,\langle e,b,b\rangle\}\\

  1, &\text{falls } h\in\{\langle r,h,h\rangle,\langle e,h,h\rangle\}\\

  0, &\text{sonst}\\

             \end{array} \right.\\

 u_E(h)&=u_K(h)=\left\{\begin{array}{l l}

  2, &\text{falls } h\in\{\langle r,h,h\rangle,\langle e,h,h\rangle\}\\

  1, &\text{falls } h\in\{\langle r,b,b\rangle,\langle e,b,b\rangle\}\\

  0, &\text{sonst}\\

             \end{array} \right.\\

\end{align*}

Der Spielbaum ist in Abbildung 1 zu sehen.

\begin{figure}[h]

\centering

\tikzstyle{var}=[circle,

  draw=black!100,

  fill=black!0]

\begin{tikzpicture}[>=latex,text height=1.5ex,text depth=0.25ex]

  \matrix[row sep=1.1cm,column sep=0.7cm] {    

    \node(eng)[var]{$eng$}; &\node(spa)[var]{$spa$}; &\node(ukr)[var]{$ukr$}; &\node(nor)[var]{$nor$}; &\node(jap)[var]{$jap$};\\

  \node(red)[var]{$red$}; &\node(gre)[var]{$gre$}; &\node(ivo)[var]{$ivo$}; &\node(yel)[var]{$yel$}; &\node(blu)[var]{$blu$};\\

  \node(dog)[var]{$dog$}; &\node(sna)[var]{$sna$}; &\node(fox)[var]{$fox$}; &\node(hor)[var]{$hor$}; &\node(zeb)[var]{$zeb$};\\

  \node(cof)[var]{$cof$}; &\node(tea)[var]{$tea$}; &\node(mil)[var]{$mil$}; &\node(jui)[var]{$jui$}; &\node(wat)[var]{$wat$};\\

  \node(old)[var]{$old$}; &\node(koo)[var]{$koo$}; &\node(che)[var]{$che$}; &\node(luc)[var]{$luc$}; &\node(par)[var]{$par$};\\

  };

  \path[-]

  (eng) edge (red)

  (spa) edge[bend right=60] (dog)

  (cof) edge (gre)

  (ukr) edge (tea)

  (old) edge (sna)

  (koo) edge (yel)

  (luc) edge (jui)

  (jap) edge[bend left] (par)

  (che) edge[bend left] (fox)

  (yel) edge (hor)

  (nor) edge (blu)

  (gre) edge (ivo)

  (eng) edge (spa)

  (eng) edge[bend left] (ukr)

  (eng) edge[bend left] (nor)

  (eng) edge[bend left] (jap)

  (spa) edge (ukr)

  (spa) edge[bend right] (nor)

  (spa) edge[bend right] (jap)

  (ukr) edge (nor)

  (ukr) edge[bend left] (jap)

  (nor) edge (jap)

  (red) edge (gre)

  (red) edge[bend left] (ivo)

  (red) edge[bend left] (yel)

  (red) edge[bend left] (blu)

  (gre) edge (ivo)

  (gre) edge[bend right] (yel)

  (gre) edge[bend right] (blu)

  (ivo) edge (yel)

  (ivo) edge[bend left] (blu)

  (yel) edge (blu)

  (dog) edge (sna)

  (dog) edge[bend left] (fox)

  (dog) edge[bend left] (hor)

  (dog) edge[bend left] (zeb)

  (sna) edge (fox)

  (sna) edge[bend right] (hor)

  (sna) edge[bend right] (zeb)

  (fox) edge (hor)

  (fox) edge[bend left] (zeb)

  (hor) edge (zeb)

  (cof) edge (tea)

  (cof) edge[bend left] (mil)

  (cof) edge[bend left] (jui)

  (cof) edge[bend left] (wat)

  (tea) edge (mil)

  (tea) edge[bend right] (jui)

  (tea) edge[bend right] (wat)

  (mil) edge (jui)

  (mil) edge[bend left] (wat)

  (jui) edge (wat)

  (old) edge (koo)

  (old) edge[bend left] (che)

  (old) edge[bend left] (luc)

  (old) edge[bend left] (par)

  (koo) edge (che)

  (koo) edge[bend right] (luc)

  (koo) edge[bend right] (par)

  (che) edge (luc)

  (che) edge[bend left] (par)

  (luc) edge (par)

  ;      

\end{tikzpicture}

\caption{(3.1b) primal constraint graph of $N$}

\end{figure}\\

(b) Die Strategien f\"ur Spieler $R$ sind $bbb$, $bbh$, $bhb$, $bhh$, $hbb$, $hbh$, $hhb$ und $hhh$.\\\\

(c) Wir geben die Profile als Tupel in der Form $(s_R,s_E,s_K)$, wobei die $s_i$ jeweils die Folge von Aktionen f\"ur Spieler $i$ sind. Analog fassen wir die Auszahlungen in dem Tupel $u(h)=(u_R(h),u_E(h),u_K(h))$ zusammen. Um zu zeigen, dass Aktionsprofil $s^*=(bbb,hbh,r)$ ein TPG ist, reicht es dessen Auszahlung mit derer zu vergleichen, die f\"ur einen Spieler in einer Aktion abweichen.

Wir untersuchen nun alle solche Aktionsprofile, ber\"ucksichtigen dabei jedoch nur solche, die zu einer anderen Auszahlung f\"uhren, d.h. die abweichende Aktion liegt tats\"achlich in dem Ergebnis.

Das Ergebnis $O(s^*)=\langle r,b,b\rangle$ hat die Auszahlungen $u_R(\langle r,b,b\rangle)=2$ und $u_E(\langle r,b,b\rangle)=u_K(\langle r,b,b\rangle)=1$, also $u(O(s^*))=(2,1,1)=u^*$. Wir betrachten nun alle relevanten, abweichenden Aktionsprofile und deren Auszahlungen.

Spieler $R$ kann in $h=\langle r \rangle$ von Aktion $b$ auf $h$ abweichen, was zu dem Aktionsprofil $(hbb,hbh,r)$, dem Ergebnis $O((hbb,hbh,r))=\langle r,h,h\rangle$ und der Auszahlung $u_R(\langle r,h,h\rangle)=1$ f\"uhrt. Wir sehen, dass diese Auszahlung geringer ist, als in $u^*$.

Spieler $E$ kann in $h=\langle r,b\rangle$ von Aktion $b$ auf $h$ abweichen, was zu dem Aktionsprofil $(bbb,hhh,r)$, dem Ergebnis $O((bbb,hhh,r))=\langle r,b,h\rangle$ und der Auszahlung $u_E(\langle r,b,h\rangle)=0$ f\"uhrt. Wir sehen, dass diese Auszahlung geringer ist, als in $u^*$.

Spieler $K$ kann in $h=\langle \rangle$ von Aktion $r$ auf $e$ abweichen, was zu dem Aktionsprofil $(bbb,hbh,e)$, dem Ergebnis $O((bbb,hbh,e))=\langle e,h,b\rangle$ und der Auszahlung $u_K(\langle e,h,b\rangle)=0$ f\"uhrt. Wir sehen, dass diese Auszahlung geringer ist, als in $u^*$.

Daraus folgt, dass $s^*=(bbb,hbh,r)$ ein TPG ist.

\end{document}