www.wikidata.de-de.nina.az
Die Verhandlungslosung ist ein spieltheoretisches Konzept zur Losung von kooperativen Spielen Dabei heisst ein Spiel kooperativ wenn die Akteure durch ein abgestimmtes Vorgehen d h durch eine gemeinsame Wahl einer Strategie einen Zusatzgewinn gegenuber der Situation in der jeder nur fur sich spielt erzielen konnen In diesem Fall ist uber die Aufteilung des Zusatzgewinns zu verhandeln daher der Begriff Verhandlungslosung engl bargaining solution Dieser Artikel beschrankt sich auf sogenannte Zweipersonenspiele also auf Spiele an denen nur zwei Spieler beteiligt sind Inhaltsverzeichnis 1 Die nicht kooperative Situation 2 Das Gefangenendilemma 3 Kooperation 4 Verhandlungssituationen 5 Das Verhandlungsproblem 6 Eigenschaften von Verhandlungslosungen 6 1 Pareto Optimalitat 6 2 Symmetrie 6 3 Unabhangigkeit von positiven linearen Transformationen 6 4 Unabhangigkeit von irrelevanten Alternativen 6 5 Monotonie 7 Existenz und Eindeutigkeitssatze 7 1 Die Nash sche Verhandlungslosung 7 2 Die monotone Verhandlungslosung 8 Verhandlungslosung des Gefangenendilemmas 9 Abschliessende Bemerkungen 10 Siehe auch 11 LiteraturDie nicht kooperative Situation BearbeitenDie meisten Gesellschaftsspiele erfordern haufige strategische Entscheidungen der beteiligten Spieler um einen fur sie gunstigen Spielausgang herbeizufuhren Legt man diese Entscheidungen fur alle denkbaren Spielsituationen bereits vor Spielbeginn fest so hat man es nur noch mit einer Strategie pro Spieler zu tun Die Ausfuhrung des Spiels besteht dann nur noch in der Befolgung der bereits getroffenen Entscheidungen Das ist die Sichtweise des Mathematikers Ein nicht kooperatives Zweipersonen Spiel G displaystyle Gamma nbsp besteht aus zwei Mengen S 1 displaystyle S 1 nbsp und S 2 displaystyle S 2 nbsp und zwei Abbildungen a i S 1 S 2 R displaystyle a i colon S 1 times S 2 rightarrow mathbb R nbsp man schreibt kurz G S 1 S 2 a 1 a 2 displaystyle Gamma S 1 S 2 a 1 a 2 nbsp Das Spiel besteht darin dass jeder Spieler unabhangig vom anderen ein Element s i displaystyle s i nbsp aus seiner Strategiemenge S i displaystyle S i nbsp wahlt Der i te Spieler erzielt daraufhin die Auszahlung a i s 1 s 2 displaystyle a i s 1 s 2 nbsp Sind die Strategiemengen endlich so kann man sie nummerieren und etwa S 1 1 m S 2 1 n displaystyle S 1 1 ldots m S 2 1 ldots n nbsp setzen Die Auszahlungsfunktionen sind dann durch zwei Matrizen a i j k j 1 m k 1 n displaystyle a i j k j 1 ldots m k 1 ldots n nbsp gegeben und man spricht von einem Bimatrixspiel Jeder Spieler kann sich durch Wahl der besten Strategie bei Unterstellung der fur ihn ungunstigsten Strategiewahl des Gegenspielers einen gewissen Auszahlungsbetrag garantieren Spieler 1 sup s 1 S 1 inf s 2 S 2 a 1 s 1 s 2 displaystyle sup s 1 in S 1 inf s 2 in S 2 a 1 s 1 s 2 nbsp Spieler 2 sup s 2 S 2 inf s 1 S 1 a 2 s 1 s 2 displaystyle sup s 2 in S 2 inf s 1 in S 1 a 2 s 1 s 2 nbsp Das sind die so genannten Garantiewerte der Spieler Werden Supremum und Infimum nicht angenommen so hat man immerhin noch approximative Garantien Unter einem Nash Gleichgewicht versteht man ein Paar s 1 s 2 displaystyle s 1 s 2 nbsp von Strategien aus S 1 S 2 displaystyle S 1 times S 2 nbsp so dass sich ein Spieler durch einseitiges Abweichen von seiner Strategie hochstens verschlechtern kann In der Theorie der nicht kooperativen Spiele in der ein gemeinsames abgesprochenes Abweichen nicht vorgesehen ist kann ein Gleichgewicht als Losung des Spiels verstanden werden Das Gefangenendilemma BearbeitenDie wohl bekannteste spieltheoretische Situation die den Verhandlungsbegriff geradezu herausfordert ist das Gefangenendilemma Zwei Gefangene werden auf Grund zweifelhafter Beweislage eines gemeinschaftlichen Verbrechens beschuldigt Jeder hat zwei Strategien zur Auswahl 1 Leugnen 2 Gestehen Leugnen beide so kann nur eine einjahrige Haftstrafe verhangt werden etwa wegen unerlaubten Waffenbesitzes und Ruhestorung Gestehen beide so werden je 8 Jahre fallig Treffen unterschiedliche Strategien aufeinander so geht der Gestandige als Kronzeuge straffrei aus der Leugner hingegen sieht sich einer 10 jahrigen Haft gegenuber Nimmt man als Auszahlung in diesem Bimatrixspiel das Negative der abzusitzenden Haftjahre so gilt fur die Auszahlungsmatrizena 1 1 10 0 8 a 2 1 0 10 8 displaystyle a 1 begin pmatrix 1 amp 10 0 amp 8 end pmatrix a 2 begin pmatrix 1 amp 0 10 amp 8 end pmatrix nbsp Der einzige Gleichgewichtspunkt ist offenbar 2 2 d h beide Gefangene gestehen 1 1 ist kein Gleichgewicht da sich jeder Spieler durch einen Strategiewechsel auf Kosten des anderen Straffreiheit sichern kann Da das jeder Beteiligte weiss erscheint die Strategiekombination 1 1 sogar sehr instabil Dennoch ist 1 1 sicher die optimale Losung aus der Sicht der Delinquenten Aber dazu mussten sie eine Absprache treffen konnen d h uber die einzusetzenden Strategien verhandeln Das wird durch den Begriff der Kooperation modelliert Kooperation BearbeitenUm Verhandlungen mathematisch modellieren zu konnen erweitern wir die Definition des nicht kooperativen Spiels G S 1 S 2 a 1 a 2 displaystyle Gamma S 1 S 2 a 1 a 2 nbsp zu G S 1 S 2 K a 1 a 2 displaystyle Gamma S 1 S 2 K a 1 a 2 nbsp mit K S 1 S 2 displaystyle K supseteq S 1 times S 2 nbsp und a i K R displaystyle a i colon K rightarrow mathbb R nbsp Wir nennen K die Menge der kooperativen Strategien Bei Wahl einer kooperativen Strategie k erhalt der i te Spieler die Auszahlung a i k displaystyle a i k nbsp Da K S 1 S 2 displaystyle K supseteq S 1 times S 2 nbsp kann jeder Spieler auch seine eigene Strategie spielen aber es handelt sich dabei moglicherweise um eine Absprache mit dem Mitspieler der jetzt nicht mehr als Gegenspieler betrachtet wird Das Gefangenendilemma konnen wir mit K S 1 S 2 displaystyle K S 1 times S 2 nbsp modellieren es kommt dann nur auf die Absprachemoglichkeit an Betrachtet man etwa zwei Wirtschaftsakteure die in der nicht kooperativen Situation eigene Produktionsstrategien fur denselben Markt haben so sind durchaus kooperative Strategien denkbar die uber eine Absprache der Produktionsstrategien hinausgehen z B die Grundung eines Kartells oder die Koordination der Produktion durch Hintereinanderschaltung verschiedener Verarbeitungsstufen Was als kooperative Strategie erlaubt ist ist Inhalt der Spielregeln das Kartellgesetz ist so eine Spielregel Verhandlungssituationen Bearbeiten nbsp Verhandlungssituation B d displaystyle B d nbsp Wir konzentrieren uns nun auf das nebenstehende Bild einer gemeinsamen Auszahlungsfunktion a 1 a 2 displaystyle a 1 a 2 nbsp in R 2 displaystyle mathbb R 2 nbsp B a 1 a 2 K R 2 displaystyle B a 1 a 2 K subset mathbb R 2 nbsp d h wir abstrahieren von den Strategien die zu diesen Auszahlungen fuhren B displaystyle B nbsp enthalt einen Punkt d d 1 d 2 displaystyle d d 1 d 2 nbsp der aus Auszahlungen besteht die sich jeder Spieler auch allein sichern kann z B die oben definierten Garantiewerte auch Anfangsausstattung oder Drohpunkt genannt Die Spieler werden sicher nur uber Auszahlungen x x 1 x 2 displaystyle x x 1 x 2 nbsp verhandeln bei denen d 1 x 1 displaystyle d 1 leq x 1 nbsp und d 2 x 2 displaystyle d 2 leq x 2 nbsp ist denn sonst ware ein Spieler mit seinem Garantiewert besser gestellt Ferner sollte eine mogliche Auszahlung x x 1 x 2 displaystyle x x 1 x 2 nbsp mit d 1 lt x 1 displaystyle d 1 lt x 1 nbsp und d 2 lt x 2 displaystyle d 2 lt x 2 nbsp existieren damit es fur beide Spieler uberhaupt etwas zu verhandeln gibt Existenz eines Verhandlungsanreizes Zusatzlich gestatten wir den Spielern eine gemeinsame Wahrscheinlichkeitsverteilung m displaystyle mu nbsp auf K displaystyle K nbsp zu wahlen Der Auszahlungspunkt errechnet sich dann als Erwartungswert K a 1 k a 2 k d m k displaystyle int K a 1 k a 2 k d mu k nbsp Die Menge B displaystyle B nbsp der moglichen Auszahlungspunkte durfen wir daher als konvex annehmen denn durch eine gemeinsame Wahl von m displaystyle mu nbsp konnen die Spieler jede Konvexkombination von Auszahlungspunkten realisieren Ferner konnen wir annehmen dass B displaystyle B nbsp beschrankt ist indem wir unbegrenzte Auszahlungsfunktionen als unrealistisch ausschliessen Nehmen wir B displaystyle B nbsp auch noch als abgeschlossen an ist B displaystyle B nbsp sogar kompakt Das motiviert folgende auf Ehud Kalai und Meir Smorodinsky zuruckgehende Begriffsbildung Eine Verhandlungssituation ist ein Paar B d displaystyle B d nbsp mit folgenden Eigenschaften B R 2 displaystyle B subset mathbb R 2 nbsp konvex und kompakt d B displaystyle d in B nbsp fur alle x B displaystyle x in B nbsp gilt komponentenweise d x displaystyle d leq x nbsp es gibt ein x 1 x 2 B displaystyle x 1 x 2 in B nbsp mit d 1 lt x 1 displaystyle d 1 lt x 1 nbsp und d 2 lt x 2 displaystyle d 2 lt x 2 nbsp Das Verhandlungsproblem BearbeitenIst B d displaystyle B d nbsp eine Verhandlungssituation so nennt man die Wahl eines Auszahlungspunktes x x 1 x 2 B displaystyle x x 1 x 2 in B nbsp ein Verhandlungsergebnis Der i te Spieler erhalt die Auszahlung x i displaystyle x i nbsp Das Verhandlungsproblem besteht darin in jeder Verhandlungssituation ein solches Verhandlungsergebnis zu finden Ist B displaystyle mathcal B nbsp die Menge aller Verhandlungssituationen so definieren wir daher Eine Verhandlungslosung ist eine Funktion f B R 2 displaystyle varphi colon mathcal B rightarrow mathbb R 2 nbsp mit f B d B displaystyle varphi B d in B nbsp fur alle B d B displaystyle B d in mathcal B nbsp Eigenschaften von Verhandlungslosungen BearbeitenNaturlich wird man von einer Verhandlungslosung gewisse Eigenschaften fordern die die Losung als vernunftig erscheinen lasst So ist die Verhandlungslosung f B d d displaystyle varphi B d d nbsp fur alle B d B displaystyle B d in mathcal B nbsp sicher nicht sehr vernunftig da kein Spieler durch die Verhandlung mehr erhalt als er sich ohnehin sichern konnte Es geht daher im Folgenden darum sinnvolle Eigenschaften zu finden mit dem Ziel dadurch in jeder Verhandlungssituation einen eindeutigen Auszahlungspunkt festzulegen Pareto Optimalitat Bearbeiten nbsp Ein Pareto optimales VerhandlungsergebnisEine Verhandlungslosung f B R 2 displaystyle varphi colon mathcal B rightarrow mathbb R 2 nbsp heisst Pareto optimal wenn es fur keine Verhandlungssituation B d B displaystyle B d in mathcal B nbsp ein x B displaystyle x in B nbsp gibt mit f B d lt x displaystyle varphi B d lt x nbsp komponentenweise D h es wird stets eine Verhandlungslosung gefunden die keine gleichzeitige Besserstellung beider Parteien zulasst Diese Bedingung ist mathematisch einleuchtend In der Praxis mag es schwierig sein solche nicht verbesserungswurdigen Verhandlungslosungen zu finden Symmetrie Bearbeiten nbsp Ein symmetrisches VerhandlungsergebnisEine Verhandlungslosung f displaystyle varphi nbsp heisst symmetrisch falls folgendes gilt Ist die Verhandlungssituation B d displaystyle B d nbsp symmetrisch d h d 1 d 2 displaystyle d 1 d 2 nbsp und fur alle x 1 x 2 B displaystyle x 1 x 2 in B nbsp ist auch x 2 x 1 B displaystyle x 2 x 1 in B nbsp so stimmen auch die Komponenten des Verhandlungsergebnisses f B d displaystyle varphi B d nbsp uberein Damit wird gefordert dass sich die Verhandlungslosung in einer vollkommen symmetrischen Situation nicht andert wenn die Spieler ihre Rollen tauschen Beiden Spielern wird gleiches Verhandlungsgeschick unterstellt Unabhangigkeit von positiven linearen Transformationen Bearbeiten Wir betrachten positive lineare Transformationen T R 2 R 2 T x 1 x 2 a 1 x 1 b 1 a 2 x 2 b 2 displaystyle T colon mathbb R 2 rightarrow mathbb R 2 T x 1 x 2 a 1 x 1 b 1 a 2 x 2 b 2 nbsp mit a 1 gt 0 a 2 gt 0 displaystyle a 1 gt 0 a 2 gt 0 nbsp T bedeutet fur beide Komponenten eine Skalenanderung zusammen mit einer Verschiebung Eine Verhandlungslosung f B R 2 displaystyle varphi colon mathcal B rightarrow mathbb R 2 nbsp heisst unabhangig von positiven linearen Transformationen falls fur jede positive lineare Transformation T und jede Verhandlungssituation B d displaystyle B d nbsp gilt dass T f B d f T B T d displaystyle T varphi B d varphi T B T d nbsp Die Forderung nach Unabhangigkeit von positiven linearen Transformationen ist mathematisch sehr naheliegend und fur viele mathematische Uberlegungen auch unabdingbar Fur die Praxis bedeutet das dass die Verhandlungen unabhangig von der Skalengrosse der Verhandlungsmasse verlaufen Da Verhandlungen Zeit und Ressourcen kosten kann man zweifeln ob diese Forderung in der Praxis relevant ist Unabhangigkeit von irrelevanten Alternativen Bearbeiten nbsp Die Punkte aus B B displaystyle tilde B setminus B nbsp sind irrelevante AlternativenEine Verhandlungslosung f B R 2 displaystyle varphi colon mathcal B rightarrow mathbb R 2 nbsp heisst unabhangig von irrelevanten Alternativen wenn fur zwei Verhandlungssituationen B d B d displaystyle B d tilde B d nbsp mit f B d B B displaystyle varphi tilde B d in B subset tilde B nbsp stets f B d f B d displaystyle varphi tilde B d varphi B d nbsp gilt Diese Forderung erscheint naheliegend besagt sie doch dass eine in der grosseren Verhandlungsmenge B displaystyle tilde B nbsp gefundene Losung die bereits in der kleineren Verhandlungsmenge B liegt auch die Losung fur die kleinere Verhandlungsmenge sein wird denn selbst in der grosseren Verhandlungsmenge kann man nichts Besseres finden Gegen diese Forderung lassen sich wohl nur psychologische Einwande erheben Eine veranderte Verhandlungssituation andert das Verhandlungsverhalten Monotonie Bearbeiten nbsp In der grosseren Verhandlungsmenge verbessert sich die Situation fur beide Spieler Fur eine Verhandlungssituation B d displaystyle B d nbsp sei m i B sup x i x 1 x 2 B displaystyle m i B sup x i x 1 x 2 in B nbsp die maximale Auszahlung die fur den i ten Spieler uberhaupt moglich ware Eine Verhandlungslosung f B R 2 displaystyle varphi colon mathcal B rightarrow mathbb R 2 nbsp heisst monoton falls fur B 0 B 0 B displaystyle B 0 tilde B 0 in mathcal B nbsp mit m i B m i B 1 displaystyle m i B m i tilde B 1 nbsp fur i 1 2 und B B displaystyle B subset tilde B nbsp stets komponentenweise f B 0 f B 0 displaystyle varphi B 0 leq varphi tilde B 0 nbsp folgt Wenn sich also beide Spieler nur den Betrag 0 sichern konnen und beide maximal die Auszahlung 1 erzielen konnen so sollte sich fur keinen Spieler eine Verschlechterung ergeben wenn man unter Beibehaltung dieser Bedingungen von einer kleineren Verhandlungsmenge zu einer grosseren ubergeht Existenz und Eindeutigkeitssatze BearbeitenDie Nash sche Verhandlungslosung Bearbeiten Hauptartikel Nash Losung Satz von Nash Es gibt genau eine Pareto optimale symmetrische von positiven linearen Transformationen unabhangige und von irrelevanten Alternativen unabhangige Verhandlungslosung Wenn zwei Spieler die hier genannten vier Forderungen an eine Verhandlungslosung akzeptieren dann gibt es also in jeder Verhandlungssituation eine eindeutige Verhandlungslosung diese nennt man die Nash sche Verhandlungslosung Diese Verhandlungslosung kann wie folgt ermittelt werden Ist B d displaystyle B d nbsp eine Verhandlungssituation so nimmt die Funktion f B R f x 1 x 2 x 1 d 1 x 2 d 2 displaystyle f colon B rightarrow mathbb R f x 1 x 2 x 1 d 1 cdot x 2 d 2 nbsp in genau einem Punkt aus B das Maximum an und dieser Punkt ist die Nash sche Verhandlungslosung Die Nash sche Verhandlungslosung ist nicht monoton Die monotone Verhandlungslosung Bearbeiten Hauptartikel Kalai Smorodinsky Losung Satz von Kalai Smorodinsky Es gibt genau eine Pareto optimale symmetrische von positiven linearen Transformationen unabhangige und monotone Verhandlungslosung Diese Losung nennt man die monotone Verhandlungslosung Zur Ermittlung der monotonen Verhandlungslosung bestimmt man zu einer gegebenen Verhandlungssituation B d displaystyle B d nbsp eine positive lineare Transformation T so dass T d 0 displaystyle T d 0 nbsp und m 1 T B m 2 T B 1 displaystyle m 1 T B m 2 T B 1 nbsp Auf der Geraden x x x R displaystyle x x x in mathbb R nbsp gibt es einen bzgl der komponentenweisen Ordnung grossten Punkt x x T B displaystyle x x in T B nbsp Das gesuchte Verhandlungsergebnis ist dann T 1 x x displaystyle T 1 x x nbsp Verhandlungslosung des Gefangenendilemmas Bearbeiten nbsp Es wird nur uber den grau schattierten Bereich verhandelt In der Situation des Gefangenendilemmas besteht die Menge der moglichen gemeinsamen Auszahlungen mit den oben genannten Zahlen aus den vier Punkten 8 8 0 10 10 0 und 1 1 Die konvexe Hulle ist das von diesen Punkten erzeugte Viereck Der Garantiepunkt ist d 8 8 Uber nicht grau schattierte Punkte nebenstehender Zeichnung gibt es nichts zu verhandeln der grau schattierte Bereich ist also die Verhandlungsmenge B Beide Losungskonzepte die Nash sche und die monotone Verhandlungslosung fuhren auf 1 1 als Losung Abschliessende Bemerkungen BearbeitenHaufig liest man von der Forderung der individuellen Rationalitat wonach das Verhandlungsergebnis stets komponentenweise nicht schlechter als der Garantiepunkt sein darf In der hier gegebenen Darstellung steckt diese Forderung bereits in der Definition der Verhandlungssituation Zur Monotonie hatte man allgemeiner fordern konnen dass sich in jeder Verhandlungssituation die Situation fur beide Spieler nur verbessern kann wenn man die Verhandlungsmenge B unter sonst gleichen Bedingungen vergrossert Es zeigt sich dass diese Forderung so stark ist dass sie keine Verhandlungslosung mehr zulasst Bei der monotonen Verhandlungslosung ist gegenuber der Nash schen Verhandlungslosung lediglich die Unabhangigkeit von irrelevanten Alternativen durch die Monotonieforderung ersetzt worden Die Nash sche und die monotone Verhandlungslosung stimmen in symmetrischen Verhandlungssituationen uberein wie z B im Gefangenendilemma Der kanadisch amerikanische Philosoph David Gauthier entwirft bei der Ausformulierung seiner Moralphilosophie eine eigenstandige Losungsvariante des Verhandlungsspiels die sich dadurch auszeichnet dass sich die zwei rationalen Akteure durch Zugestandnisse immer weiter annahern und demnach so lange verhandeln bis das Maximum dieser relativen Konzessionen minimal wird Minimax Prinzip der relativen Konzessionen Ein rationaler Spieler so Gauthier ware prima facie nicht bereit einem Verhandlungsergebnis zuzustimmen bei dem der Grad seiner relativen Konzessionen hoher ist als derjenige des anderen Spielers Im Allgemeinen unterscheidet sich die Gauthier Losung von der Nash Losung Fur Spiele mit symmetrischen Verhandlungsraumen fallen die Losungen jedoch zusammen denn beide Beteiligten erhalten sodann dieselben Auszahlungen Dieser Aspekt ist fur Gauthier Anlass zur Behauptung dass seine rationale Losung zugleich die moralische Losung ist Er argumentiert also fur die Plausibilitat seines Vorschlages unter Ruckgriff auf seine Auffassung der Konzessionen Dem Akteur der mehr zur kooperativen Einigung beitragt sollten entsprechend mehr Anteile am Kooperationsgewinn zustehen Dies zu akzeptieren sei rational Moralische Einschrankungen sind demzufolge als unparteiische Faktoren impartiality insofern legitim als sie fur die Gesamtheit aller Beteiligten letztendlich vorteilhafter zur Erfullung der individuellen Bedurfnisse sind Moralitat und aufgeklarte Rationalitat fallen in diesem theoretischen Ansatz zusammen Siehe auch BearbeitenRubinstein Verhandlungsmodell Verhandlungsmacht Verhandlungstheorie von Komorita und ChertkoffLiteratur BearbeitenJohn Forbes Nash Jr The bargaining problem In Econometrica 18 1950 ISSN 0012 9682 S 155 162 Ehud Kalai Meir Smorodinsky Other solutions to Nash s bargaining problem In Econometrica 43 1975 S 513 518 Ehud Kalai Proportional Solutions to Bargaining Situations Interpersonal Utility Comparisons In Econometrica 45 1977 S 1623 1630 Burkhard Rauhut Norbert Schmitz Ernst Wilhelm Zachow Spieltheorie Eine Einfuhrung in die mathematische Theorie strategischer Spiele Mit 50 Aufgaben und zahlreichen Beispielen Teubner Stuttgart 1979 ISBN 3 519 02351 2 Leitfaden der angewandten Mathematik und Mechanik 49 Teubner Studienbucher Mathematik Manfred J Holler Gerhard Illing Einfuhrung in die Spieltheorie 3 verbesserte und erweiterte Auflage Springer Berlin u a 1996 ISBN 3 540 61017 0 Springer Lehrbuch Avinash K Dixit Barry J Nalebuff Spieltheorie fur Einsteiger Strategisches Know how fur Gewinner Schaffer Poeschel Stuttgart 1997 ISBN 3 7910 1239 8 David Gauthier Morals By Agreement Oxford University Press Oxford 1999 ISBN 978 0 19 824992 4 Abgerufen von https de wikipedia org w index php title Verhandlungslosung amp oldid 237774270