Kooperative Spieltheorie

Die kooperative Spieltheorie ist ein Teilgebiet der mathematischen Spieltheorie, deren Fokus auf den Auszahlungen liegt, die durch die Kooperation begründet sind.<ref>Vgl. Maschler et al. 2020, S. 709–710.</ref> Hier sind einige Bemerkungen zu den Unterschieden der kooperativen und der nichtkooperativen Spieltheorie zu finden. In der kooperativen Spieltheorie werden durchsetzbare Vereinbarungen getroffen und eine Zentralinstanz ist in der Lage, das Verteilungsproblem zu lösen.<ref>Vgl. Müller 2022, S. 466–467.</ref> Die Spieler sind risikoneutral und eigennutzenmaximierend.<ref>Vgl. Gillman/Housman 2019, S. 240.</ref> Die Auszahlungen der Spieler beruhen insbesondere auf zwei Pfeilern. Zum einen hängen die Auszahlungen von der Koalitionsfunktion ab, diese beschreibt das kooperative Ergebnis der Spieler, die sich zu der jeweiligen Koalition zusammengeschlossen haben.<ref>Vgl. Maschler et al. 2020, S. 710.</ref> Zum anderen ist das angewandte Lösungskonzept entscheidend, um das kooperative Ergebnis der Koalition fair zu verteilen. Die verschiedenen Lösungskonzepte definieren Fairness dabei durch die Erfüllung verschiedener Eigenschaften.<ref>Vgl. Fromen 2004, S. 159.</ref> Als wichtige Vertreter der kooperativen Spieltheorie erhielten 2005 Robert Aumann und 2012 Lloyd S. Shapley den Wirtschaftsnobelpreis.

Spieler und Koalitionen

Die Spieler in der kooperativen Spieltheorie werden häufig in einer (endlichen) Menge <math>{N}</math> (Spielermenge) zusammengefasst und die Spieler selbst von <math>{1}</math> bis <math>{n}</math> durchnummeriert. Teilmengen der Spielermenge <math>{S}\subseteq {N}</math> nennt man auch Koalitionen, wobei <math>{N}</math> als die große Koalition bezeichnet wird. Die Menge aller Koalitionen ist <math>{\displaystyle 2^N}</math>, die Potenzmenge von <math>{N}</math>.<ref>Vgl. Wiese 2005. S. 5.</ref>

{{#invoke:Vorlage:Anker|f |errCat=Wikipedia:Vorlagenfehler/Vorlage:Anker |errHide=1}} Spiele und Koalitionsfunktionen

Spiele werden meist durch eine Spielermenge sowie eine Koalitionsfunktion definiert. Koalitionsfunktionen (häufig auch charakteristische Funktionen genannt) dienen dazu, die ökonomischen, politischen oder sozialen Möglichkeiten zu beschreiben, die allen Koalitionen offenstehen. Man unterscheidet Koalitionsfunktionen mit und Koalitionsfunktionen ohne transferierbaren Nutzen; dementsprechend unterscheidet man auch zwischen Spielen mit und ohne Seitenzahlungen.

Spiele und Koalitionsfunktionen mit transferierbarem Nutzen

Bei transferierbarem Nutzen wird jeder Koalition <math>{S}\subseteq {N}</math> durch die Koalitionsfunktion eine reelle Zahl (Nutzenwert) <math>{v(S)}</math> zugeordnet, die man den (Koalitions-)Wert (englisch: worth) nennt:

<math>{\displaystyle v\colon \, 2^N\to \Reals}</math> und <math>{\displaystyle v(\emptyset)=0}</math>.<ref>Vgl. Müller 2022, S. 467.</ref>

Im einfachsten Fall handelt es sich beim transferierbaren Nutzen um eine Geldzahlung.<ref>Vgl. Maschler et al. 2020, S. 710.</ref> Wichtig ist dabei, dass eine Geldeinheit für jeden Spieler den gleichen Nutzen stiftet (Numéraire-Gut).<ref>Vgl. Müller 2022, S. 471.</ref>

Das Tupel <math>\Gamma({N},v)</math>, bestehend aus der endlichen Spielermenge <math>{N=\{1, 2, ..., n\}}</math> und der Koalitionsfunktion <math>{v}</math>, wird (kooperatives <math>{n}</math>-Personen-)Spiel genannt.<ref>Vgl. Müller 2022, S. 467.</ref>

Neben den beschriebenen kooperativen Spielen existieren weitere Situationen, in denen mittels einer Koalitionsfunktion Analysen bzgl. der Fairness einer Verteilung getroffen werden können, bzw. allgemeiner, in denen die Anwendung von Instrumenten der kooperativen Spieltheorie relevant ist.<ref>Vgl. Maschler et al. 2020, S. 711–718; Müller 2022, S. 531–546; Wiese 2005, S. 90–102.</ref> Hervorzuheben ist dabei insbesondere das sogenannte Kosten(aufteilungs)spiel. Es werden statt gemeinsam erwirtschafteter Ergebnisse, entsprechend des kooperativen Spieles, gemeinsam verursachte Kosten untersucht.<ref>Vgl. Maschler et al. 2020, S. 712–713; Müller 2022, S. 531–536; Wiese 2005, S. 101.</ref>

Beispiel 1

Im sogenannten Handschuhspiel gibt es Spieler mit linken Handschuhen und solche mit rechten Handschuhen. Die jeweiligen Mengen <math>{L}</math> und <math>{R}</math> sind disjunkt (<math>{L\cap R=\emptyset}</math>) und ihre Vereinigung ergibt <math>{N}</math> (<math>{L\cup R=N}</math>). Man nimmt an, dass nur Handschuhpaare einen Wert (von einer Geldeinheit) haben. Der Wert einer Koalition <math>{v(S)}</math> (der Funktionswert der Koalitionsfunktion bei <math>{S}</math>) ist gleich der Anzahl der Handschuhpaare, die die Spieler aus <math>{S}</math> bilden können, und damit der Anzahl der Geldeinheiten, die sie damit erwirtschaften können:

<math>\begin{array}{rcccl}

 \displaystyle v_{L,R} :  &2^N& &\to & \Reals\\
   &S& &\mapsto & v_{L,R}(S)=\min(|S \cap L|,|S \cap R|)\\
\end{array}</math><ref>Vgl. Wiese 2005. S. 57.</ref>

Das konkrete Handschuhspiel mit <math>{L=\{1,2\}}</math> und <math>{R=\{3\}}</math> hat die Koalitionfunktion:

<math>{\displaystyle S}</math>	<math>{\displaystyle \emptyset}</math>	<math>{\displaystyle \{1\}}</math>	<math>{\displaystyle \{2\}}</math>	<math>{\displaystyle \{3\}}</math>	<math>{\displaystyle \{1,2\}}</math>	<math>{\displaystyle \{1,3\}}</math>	<math>{\displaystyle \{2,3\}}</math>	<math>{\displaystyle \{1,2,3\}}</math>
<math>{\displaystyle v(S)}</math>	<math>{\displaystyle 0}</math>	<math>{\displaystyle 0}</math>	<math>{\displaystyle 0}</math>	<math>{\displaystyle 0}</math>	<math>{\displaystyle 0}</math>	<math>{\displaystyle 1}</math>	<math>{\displaystyle 1}</math>	<math>{\displaystyle 1}</math>

Beispiel 2

Koalitionsfunktion des (Bei-)Spiels<ref>Vgl. Müller 2022, S. 479.</ref>

<math>{\displaystyle S}</math>	<math>{\displaystyle \emptyset}</math>	<math>{\displaystyle \{A\}}</math>	<math>{\displaystyle \{B\}}</math>	<math>{\displaystyle \{C\}}</math>	<math>{\displaystyle \{A,B\}}</math>	<math>{\displaystyle \{A,C\}}</math>	<math>{\displaystyle \{B,C\}}</math>	<math>{\displaystyle \{A,B,C\}}</math>
<math>{\displaystyle v(S)}</math>	<math>{\displaystyle 0}</math>	<math>{\displaystyle 200}</math>	<math>{\displaystyle 200}</math>	<math>{\displaystyle 200}</math>	<math>{\displaystyle 700}</math>	<math>{\displaystyle 500}</math>	<math>{\displaystyle 500}</math>	<math>{\displaystyle 1200}</math>

Die Spieler <math>{\displaystyle A}</math>, <math>{\displaystyle B}</math> sowie <math>{\displaystyle C}</math> können ein Investitionsprojekt allein, zu zweit oder zu dritt umsetzen. Die entscheidende Frage ist, wie lässt sich der Wert der großen Koalition fair aufteilen. Antworten liefern die Lösungskonzepte der kooperativen Spieltheorie.

Eigenschaften des kooperativen Spiels

Wünschenswerte Eigenschaften der Kooperation charakterisieren die Ziele der Spieler. Diese sind insbesondere

• die Nicht-Negativität <math>{v(S)\geq0}</math> (für alle <math>{S}\subseteq {N}</math>)<ref>Vgl. Müller 2022, S. 474; Wiese 2005, S. 105.</ref> <math>(*)</math>,
• die Monotonie <math>{v(S)\leq v(R)}</math> (für alle <math>{S}\subseteq {R} \subseteq {N}</math>)<ref>Vgl. Maschler et al. 2020, S. 721; Müller 2022, S. 474; Wiese 2005, S. 105.</ref>,
• die Superaddivität <math>{v(R\cup S)\geq v(R)+v(S)}</math> (für alle <math>{S},{R} \subseteq {N}</math> mit <math>{R\cap S=\emptyset}</math>)<ref>Vgl. Maschler et al. 2020, S. 721; Müller 2022, S. 474; Peters 2015, S. 295; Wiese 2005, S. 103.</ref> sowie
• die Konvexität <math>{v(R\cup S)+v(R\cap S)\geq v(R)+v(S)}</math> (für alle <math>{S},{R} \subseteq {N}</math>)<ref>Vgl. Müller 2022, S. 475; Peters 2015, S. 329; Wiese 2005, S. 108.</ref> der Spiele bzw. der Koalitionsfunktionen.

Hierbei gilt die Beziehung:

<math>\text{Konvexität} \quad \Rightarrow \quad \text{Superaddivität} \quad \stackrel{\text{(*)}}\Rightarrow \quad \text{Monotonie}</math><ref>Vgl. Müller 2022, S. 477.</ref>

Eine Kooperation soll keinen Schaden verursachen (Nicht-Negativität).<ref>Vgl. Müller 2022, S. 473.</ref> Die Monotonie besagt, dass eine größer werdende Koalition hinsichtlich der Auszahlungen nicht schädlich ist. Die Synergie aus kooperativem Verhalten wird durch die Superaddivität beschrieben. Das Koalitionsergebnis des Schnittes zweier Koalitionen ist mindestens so groß, wie die Summe der Auszahlungen der zwei disjunkten Koalitionen. Die Konvexität besagt, dass zahlenmäßig größere Koalitionen höhere Auszahlungen erzielen.<ref>Vgl. Müller 2022, S. 474–475; Wiese 2005, S. 106.</ref>

Zudem ist die Klasse der wesentlichen Spiele <math display="inline">v(N)>\sum_{i\in N}v(\{i\})</math><ref>Vgl. Müller 2022, S. 475; Peters 2015, S. 292; Rauhut 1979, S. 326; Wiese 2005, S. 109.</ref> zu nennen. Diese Definition ist dahingehend von Interesse, da es in nicht-wesentlichen Spiele keinen Grund für die Koalitionsbildung gibt. Denn in jeder Koalition erhält jeder Spieler nur den Wert, den er als Alleinspieler schon sicher hat.<ref>Vgl. Rauhut 1979, S. 327.</ref>

Spiele und Koalitionsfunktionen ohne transferierbaren Nutzen

Bei nichttransferierbarem Nutzen wird jeder Koalition durch die Koalitionsfunktion eine Menge von Auszahlungsvektoren zugeordnet.<ref>Vgl. Wiese 2005. S. 258.</ref> Ein Beispiel ist die Tauschökonomie. Spieler können durch den Tausch von Güterbündeln unterschiedliche Nutzenvektoren realisieren.<ref>Vgl. Wiese 2005. S. 261–267.</ref> Nichttransferierbarer Nutzen liegt z. B. auch vor, wenn eine Koalition durch ihre Kooperation einen Zuwachs oder Verlust an immateriellen Gütern wie Ruhm, Ehre, Gesundheit, Freiheit usw. erlangt.<ref>Vgl. Maschler et al. 2020, S. 711.</ref>

Kooperative Spieltheorie als axiomatische Theorie von Koalitionsfunktionen

Die kooperative Spieltheorie ist die axiomatische Theorie von Koalitionsfunktionen. Die Koalitionsfunktionen sollen die ökonomischen, politischen oder sozialen Möglichkeiten beschreiben, die den Koalitionen offenstehen. Es gibt eine Vielzahl von Lösungskonzepten. Dabei kann die Zuordnung durch eine Formel (einen Algorithmus) oder durch die Angabe von allgemeinen Aufteilungsprinzipien (Axiomen) erfolgen.

Die Frage der Verteilung des Wertes der großen Koalition <math>{v(N)}</math> auf alle Spieler wird durch das Lösungskonzept beantwortet. Das Lösungskonzept fungiert dabei als fairer Richterspruch. Vereinfachend wird hierbei angenommen, dass sich die große Koalition <math>{N}</math> bildet.<ref>Vgl. Maschler et al. 2020, S. 722.</ref>

Unter einem Lösungskonzept ist eine Funktion <math>{\displaystyle f}</math> zu verstehen, welche einem kooperativen Spiel (mit transferierbarem Nutzen) <math>\Gamma({N},v)</math> eine Teilmenge <math>{\displaystyle f(v)\subseteq \Reals ^N}</math> zuweist. Somit beschreibt die Lösung, sofern existent, mindestens einen <math>{N}</math>-dimensionalen (Auszahlungs-)Vektor. Die mit dem Konzept verbundene Lösung ist eindeutig, sofern für jedes Spiel <math>\Gamma({N},v)</math> gilt: <math>{\displaystyle |f(v)|=1}</math>. Ein solches Lösungskonzept <math>{\displaystyle f}</math> wird als einzelwertig bezeichnet.<ref>Vgl. Müller 2022, S. 481.</ref>

Einige wichtige Eigenschaften bzw. Axiome der Lösungskonzepte kooperativer Spiele sind unter anderem:

• die individuelle Rationalität,
• die (Pareto-)Effizienz (auch kollektive Rationalität genannt),
• die Dummy-Spieler-Eigenschaft,
• die Anonymität,
• die Additivität sowie
• die strenge Monotonie.

Individuelle Rationalität

Ein Lösungskonzept <math>{\displaystyle f}</math> eines Spieles <math>\Gamma({N},v)</math> ist individuell rational, sofern für alle Spieler <math>{i\in N}</math>: <math>{f_{i}(v)\geq v(\{i\})}</math> gilt. Jeder Spieler erhält mindestens den Wert, den er als Alleinspieler schon sicher hat.<ref>Vgl. Müller 2022, S. 482.</ref>

Effizienz

Ein Lösungskonzept <math>{\displaystyle f}</math> eines Spieles <math>\Gamma({N},v)</math> ist effizient, wenn gilt: <math display="inline">\sum_{i\in N}f_{i}(v)=v(N)</math>. Somit wird das gesamte Ergebnis verteilt.<ref>Vgl. Müller 2022, S. 482.</ref>

Imputation

Ein Lösungskonzept <math>{\displaystyle f}</math> eines Spieles <math>\Gamma({N},v)</math>, das individuell rational und effizient ist, besteht aus einer Imputation bzw. einer Menge von Imputationen. Allgemein wird ein (Auszahlungs-)Vektor <math>{\displaystyle x=(x_{1},x_{2},...,x_{n})}</math> eines Spieles <math>\Gamma({N},v)</math> als Imputation bezeichnet, wenn für jeden Spieler <math>{i\in N}</math>: <math>{x_{i}\geq v(\{i\})}</math> gilt und <math display="inline">\sum_{i\in N}x_{i}=v(N)</math> erfüllt ist. Die Menge aller Imputationen eines Spieles <math>\Gamma({N},v)</math> ist gegeben durch:

<math>{\displaystyle I(v) = \left\{ x\in \Reals ^N|\sum_{i\in N}x_{i}=v(N)\ \ und \ \ f\ddot{u}r \ \ alle \ \ i \in N \ \ x_{i}\geq v(\{i\}) \right\}}</math>.<ref>Vgl. Müller 2022, S. 483.</ref>

Somit sind zum einen die Auszahlungen für jeden Spieler identifiziert, die diesen im Vergleich zu seinem nicht-kooperativen Ergebnis nicht schlechterstellen. Und zum anderen wird das gesamte kooperative Ergebnis unter allen Spielern aufgeteilt. Damit die Spieler überhaupt einen Anreiz haben der Verteilung des kooperativen Ergebnisses zuzustimmen, ist es sinnvoll, dass das Lösungskonzept eine Imputation bzw. eine Menge von Imputationen liefert.

Dummy-Spieler-Eigenschaft

Ein Lösungskonzept <math>{\displaystyle f}</math> eines Spieles <math>\Gamma({N},v)</math> erfüllt die Dummy-Spieler-Eigenschaft, sofern jeder Dummy-Spieler <math>{i\in N}</math> der Bedingung <math>{f_{i}(v) = v(\{i\})}</math> genügt. Dabei bezeichnet ein Dummy-Spieler einen Spieler <math>{i\in N}</math>, der für jede Koalition <math>{S}\subseteq {N}</math> mit <math>{i\notin S}</math> <math>{v(S\cup\{i\})=v(S)+v(\{i\})}</math> erfüllt. Ein Dummy-Spieler trägt zum kooperativen Ergebnis nur seinen Wert als Alleinspieler bei. Die Dummy-Spieler-Eigenschaft fordert somit, dass ein Dummy-Spieler lediglich den Wert seiner Ein-Spieler-Koalition erhält. Die Kooperation mit einem Dummy-Spieler bringt somit keiner Koalition einen Vorteil.<ref>Vgl. Müller 2022, S. 483.</ref>

Anonymität

Ein Lösungskonzept <math>{\displaystyle f}</math> eines Spieles <math>\Gamma({N},v)</math> ist anonym, wenn für zwei (anonyme) Spieler <math>{i,j\in N}</math> und <math>{i,j\notin S}</math> mit <math>{v(S\cup\{i\})=v(S\cup\{j\})}</math> gilt: <math>{f_{i}(v) = f_{j}(v)}</math>. Die Anonymität besagt, dass zwei (anonyme) Spieler, die den identischen Beitrag zu einer jeden Koalition leisten, gleich behandelt werden. Andere Faktoren sind bei den Auszahlungen an die Spieler nicht ausschlaggebend. Daher bezeichnet man die Eigenschaft der Anonymität auch als Equal-Treatment-Property oder Symmetrie.<ref>Vgl. Müller 2022, S. 484.</ref>

Additivität

Ein Lösungskonzept <math>{\displaystyle f}</math> eines zusammengesetzten Spieles <math>\Gamma({N},v+w)</math> und der (unabhängigen) Ergänzungsspiele <math>\Gamma({N},v)</math>, <math>\Gamma({N},w)</math> ist additiv, sofern für jeden Spieler <math>{i\in N}</math> die Bedingung: <math>{f_{i}(v+w) = f_{i}(v)+f_{i}(w)}</math> erfüllt ist. Die Additivität fordert, dass es keinen Unterschied macht, ob ein Spieler an beiden Spielen oder an einem aus diesen beiden Spielen additiv verknüpften Spiel teilnimmt. Entsprechend erhält ein Spieler bei der Teilnahme an beiden Ergänzungsspielen in Summe dengleichen Anteil, wie bei der Teilnahme am zusammengesetzten Spiel.<ref>Vgl. Müller 2022, S. 484.</ref>

Marginaler Beitrag

Der marginale Beitrag <math>{m_{i}}</math> eines Spielers <math>{i\in N}</math> zum Koalitionswert <math>{v(S)}</math> ist definiert durch:

<math>m_{i}v(S)\,= \begin{cases} v(S)-v(S\setminus\{i\}) & \text{wenn } i\in S, \\ v(S\cup \{i\})-v(S) & \text{wenn } i\notin S.\end{cases}</math>

Der marginale Beitrag misst die Differenz zwischen dem Wert, den eine Koalition mit dem Spieler erreicht, und dem Wert, den eine Koalition ohne den Spieler erreicht. Bedeutend ist die Definition des marginalen Beitrags bei der Eigenschaft der strengen Monotonie sowie beim Shapley-Wert.<ref>Vgl. Müller 2022, S. 488.</ref>

Strenge Monotonie

Ein einzelwertiges Lösungskonzept <math>{\displaystyle f}</math> ist streng monoton, falls für alle <math>v</math> und <math>w</math> mit <math>m_{i}v(S)>m_{i}w(S)</math> für alle Koalitionen <math>{S}\subseteq {N}</math> gilt: <math>{f_{i}(v)\geq f_{i}(w)}</math>. Die strenge Monotonie fordert einen höheren Anteil am kooperativen Ergebnis aufgrund höherer marginaler Beiträge. Ein Spieler mit steigenden Marginalbeiträgen soll demzufolge keine sinkenden Anteile erhalten.<ref>Vgl. Müller 2022, S. 488.</ref>

Die Additivität zusammen mit der Dummy-Spieler-Eigenschaft impliziert die strenge Monotonie.<ref>Vgl. Young 1985, S. 70–71.</ref>

Lösungskonzepte kooperativer Spiele

Für kooperative Spiele hat man eine Reihe von Lösungskonzepten entwickelt, unter anderem die Nash-Verhandlungslösung, die Kalai-Smorodinski-Lösung, den Shapley-Wert, den Kern, die Gauthier-Lösung, die Kalai-Rosenthal-Lösung, den Nucleolus, den Tijs-Wert, die Dutta-Ray-Lösung oder die Mean-Voter-Lösung.

Das Zeuthen-Harsanyi-Modell kann als nicht-kooperative Implementierung der kooperativen Nash-Lösung angesehen werden.

Kritik

Die der kooperativen Spieltheorie z. T. entgegengebrachte negative Einstellung lässt sich wie folgt zusammenfassen: Kooperative Spieltheorie ist nicht nicht-kooperative Spieltheorie. In der Tat werden Handlungen, Ziele und Wissen über die Handlungen der anderen Spieler in den Grundkonzepten der kooperativen Spieltheorie nicht konkret abgebildet. Diese sind vielmehr implizit in den Modellen enthalten.<ref>Vgl. Rauhut 1979, S. 317–323.</ref> Als Pluspunkt kann die kooperative Spieltheorie verbuchen, dass sie auch dann Aussagen über Auszahlungen eines Spielers treffen kann, wenn nicht bekannt ist, welche Aktionen den anderen Spielern, die nicht seiner Koalition angehören, offenstehen<ref>Vgl. Rauhut 1979, S. 335.</ref> sowie, was die Spieler allgemein über die anderen Spieler wissen.<ref>Vgl. Maschler et al. 2020, S. 709.</ref>

Literatur

• Bastian Fromen: Faire Aufteilung in Unternehmensnetzwerken. Lösungsvorschläge auf der Basis der kooperativen Spieltheorie. Deutscher Universitäts-Verlag, Wiesbaden 2004, ISBN 978-3-8244-8164-4.
• Richard Alan Gillman, David Housman: Game Theory, A Modeling Approach. CRC Press, Boca Raton u. a. 2019, ISBN 978-1-4822-4809-8.
• Michael Maschler, Eilon Solan, Shmuel Zamir: Game Theory, 2nd Edition. Cambridge University Press, Cambridge 2020, ISBN 978-1-108-49345-1.
• David Müller: Investitionscontrolling: Entscheidungsfindung bei Investitionen II: Entscheidungstheorie. 3. Aufl. Springer Gabler, Berlin u. a. 2022, ISBN 978-3-658-36596-7.
• Hans Peters: Game Theory, A Multi-Leveled Approach, Second Edition. Springer, Berlin u. a. 2015, ISBN 3-662-46949-9.
• Burkhard Rauhut, Norbert Schmitz, Ernst-Wilhelm Zachow: Spieltheorie. Teubner, Stuttgart 1979, ISBN 3-519-02351-2.
• Alvin Roth: Game-Theoretic Models of Bargaining. Cambridge University Press, Cambridge (Mass.) 1985, ISBN 0-521-26757-9.
• Harald Wiese: Kooperative Spieltheorie. Oldenbourg, München 2005, ISBN 3-486-57745-X, doi:10.1524/9783486837469.
• H. Peyton Young: Monotonic solutions of cooperative games. In: International Journal of Game Theory, Volume 14, Issue 2, 1985, {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}}, S. 65–72.

Einzelnachweise

<references />