Lecture: Topics in Cooperative Game Theory

Similar documents
Applied cooperative game theory:

Advanced Microeconomics

Amalgamating players, symmetry and the Banzhaf value

Applied Cooperative Game Theory

Weakly Balanced Contributions and Solutions for Cooperative Games

Game Theory. Bargaining Theory. ordi Massó. International Doctorate in Economic Analysis (IDEA) Universitat Autònoma de Barcelona (UAB)

Lecture Notes on Bargaining

Math 152: Applicable Mathematics and Computing

EconS Advanced Microeconomics II Handout on Subgame Perfect Equilibrium (SPNE)

Unique Nash Implementation for a Class of Bargaining Solutions

Solving Extensive Form Games

COALITIONAL GAMES WITH VETO PLAYERS: MYOPIC AND FARSIGHTED BEHAVIOR

Lecture: Topics in Cooperative Game Theory

An axiomatic approach in minimum cost spanning tree problems with groups

E ciency in Coalition Games with Externalities

Final Exam (Solution) Economics 501b Microeconomic Theory

EconS Advanced Microeconomics II Handout on Repeated Games

University of Warwick, Department of Economics Spring Final Exam. Answer TWO questions. All questions carry equal weight. Time allowed 2 hours.

Converse consistency and the constrained equal benefits rule in airport problems

EconS Microeconomic Theory II Midterm Exam #2 - Answer Key

Seminar: Topics in Cooperative Game Theory

Extensive Form Games with Perfect Information

Merging and splitting in cooperative games: some (im-)possibility results

Applied cooperative game theory:

Ambiguity and the Centipede Game

A fair rule in minimum cost spanning tree problems 1

Bargaining, Contracts, and Theories of the Firm. Dr. Margaret Meyer Nuffield College

No advantageous merging in minimum cost spanning tree problems

Implementation of the Ordinal Shapley Value for a three-agent economy 1

Microeconomics. 2. Game Theory

Bilateral consistency and converse consistency in axiomatizations and implementation of the nucleolus

Majority bargaining for resource division

8. MARKET POWER: STATIC MODELS

Ü B U N G S A U F G A B E N. S p i e l t h e o r i e

The Shapley Value. 1 Introduction

Negotiation: Strategic Approach

EconS Advanced Microeconomics II Handout on Mechanism Design

"An Overview of Coalition & Network Formation Models for Economic Applications"

4: Dynamic games. Concordia February 6, 2017

1 Extensive Form Games

6 The Principle of Optimality

Almost Transferable Utility, Changes in Production Possibilities, and the Nash Bargaining and the Kalai-Smorodinsky Solutions

Power in the US Legislature

Microeconomics, Block I Part 2

EconS Advanced Microeconomics II Handout on Perfect Bayesian Equilibrium

Political Economy of Institutions and Development: Problem Set 1. Due Date: Thursday, February 23, in class.

Positive Political Theory II David Austen-Smith & Je rey S. Banks

Department of Mathematics, University of Utrecht, P.O.Box 80010, 3508 TA Utrecht,

An Axiomatization of the Euclidean Compromise Solution

Implementing the Nash Programin Stochastic Games

Economics 201B Economic Theory (Spring 2017) Bargaining. Topics: the axiomatic approach (OR 15) and the strategic approach (OR 7).

Additive rules for the quasi-linear bargaining problem

Extensive Form Games with Perfect Information

THREE ESSAYS ON GAME THEORY. Demet Yilmazkuday. Dissertation. Submitted to the Faculty of the. Graduate School of Vanderbilt University

Lecture 7. Simple Dynamic Games

COOPERATIVE GAME THEORY: CORE AND SHAPLEY VALUE

The B.E. Journal of Theoretical Economics

EC319 Economic Theory and Its Applications, Part II: Lecture 7

The SD-prenucleolus for TU games

On 1-convexity and nucleolus of co-insurance games

Implementing the Nash Extension Bargaining Solution for Non-convex Problems. John P. Conley* and Simon Wilkie**

THE MINIMAL OVERLAP COST SHARING RULE

Microeconomics for Business Practice Session 3 - Solutions

Multiagent Systems Motivation. Multiagent Systems Terminology Basics Shapley value Representation. 10.

Department of Applied Mathematics Faculty of EEMCS. University of Twente. Memorandum No. 1796

Endogenous timing in a mixed duopoly

Ph.D. Preliminary Examination MICROECONOMIC THEORY Applied Economics Graduate Program June 2016

Computing Minmax; Dominance

Characterization of the Shapley-Shubik Power Index Without the E ciency Axiom

Computing Minmax; Dominance

Volume 30, Issue 3. Monotone comparative statics with separable objective functions. Christian Ewerhart University of Zurich

arxiv: v2 [cs.gt] 1 Nov 2017

EconS Microeconomic Theory II Homework #9 - Answer key

Dynamics and Stability of Constitutions, Coalitions, and Clubs

Lecture Notes on Game Theory

1 Games in Normal Form (Strategic Form)

Economics 209A Theory and Application of Non-Cooperative Games (Fall 2013) Extensive games with perfect information OR6and7,FT3,4and11

BIPARTITE GRAPHS AND THE SHAPLEY VALUE

Spatial Competition and Collaboration Networks

A Primal-Dual Algorithm for Computing a Cost Allocation in the. Core of Economic Lot-Sizing Games

ON A THEOREM OF KALAI AND SAMET

Nash Bargaining Theory with Non-Convexity and Unique Solution

Cross-Licensing and Competition

Game Theory. Lecture Notes By Y. Narahari. Department of Computer Science and Automation Indian Institute of Science Bangalore, India November 2007

Coalitional Bargaining with Consistent Counterfactuals

Bargaining Efficiency and the Repeated Prisoners Dilemma. Bhaskar Chakravorti* and John Conley**

Sequential Search Auctions with a Deadline

Lecture 2 The Core. 2.1 Definition and graphical representation for games with up to three players

5.2 A characterization of the nonemptiness of the core

The Tort Law and the Nucleolus for Generalized Joint Liability Problems

Political Economy of Institutions and Development. Lectures 2 and 3: Introduction to Dynamic Voting and Constitutions

EconS Sequential Competition

Noncooperative Games, Couplings Constraints, and Partial Effi ciency

Lecture 6 Games with Incomplete Information. November 14, 2008

Implementation with Interdependent Valuations Preliminary and Incomplete

Lecture Notes on Game Theory

Extensive Form Games I

Microeconomic Theory (501b) Problem Set 10. Auctions and Moral Hazard Suggested Solution: Tibor Heumann

TWO-PERSON COOPERATIVE GAMES

Notes on Coursera s Game Theory

Transcription:

Lecture: Topics in Cooperative Game Theory Martin Kohl University Leipzig November 5 2010 1 / 25

Overview PotSh Selfdu MCP Rec ExiSPS Potential of the Shapley value Selfduality Marginal Contributions Recursion formulas Implementation Backward induction An Implementation of the Shapley value 2 / 25

The potential to the Shapley value PotSh Selfdu MCP Rec ExiSPS De nition A potential P for TU games is an operator that assigns to any TU game (N, v ) a number P (N, v ) 2 R such that (i) P (, v ) = 0, i (ii) i2n hp (N, v ) P Nn fig, v j N nfig = v (N). Theorem There is a unique potential fortu games, which satis es P (N, v ) P Nn fig, v j N nfig = Sh i (N, v ), i 2 N. 3 / 25

The potential to the Shapley value #2 Proof. Uniqueness: Let P, Q be two potentials. We show P = Q. PotSh Selfdu MCP Rec ExiSPS Induction basis: jnj = 1. by (i+ii), P (fig, v ) = Q (fig, v ) = v (fig). Induction hypothesis (H): P = Q for jnj k Induction step: let jnj = k + 1. this implies P (N, v ) (ii) = v (N) + P Nn fig, v j N nfig i2n H = Q (N, v ) jnj 4 / 25

The potential to the Shapley value #3 PotSh Selfdu MCP Rec ExiSPS existence: consider the operator P given by this gives P (, v ) = 0 and P (N, v ) := λ T (v ) jt j T N,T 6= P (N, v ) P (Nn fig, v j N ) i2n λ = T (v ) jt j = i2n T N,T 6= i2n T N,T 6=,i2T λ T (v ) jt j = Sh i (N, v ) = v (N) i2n i2n T N,T 6=,i /2T λ T (v ) jt j 5 / 25

Selfduality De nition PotSh Selfdu MCP Rec ExiSPS The dual game (N, v ) of a TU game (N, v ) is de ned by v (S) = v (N) v (NnS) for S N. (1) Interpretation: Lose of the great coalition, if the players of S leave. De nition A value φ for a TU game (N, v ) is called selfdual, if φ(n, v ) = φ(n, v ). (2) 6 / 25

Selfduality PotSh Selfdu MCP Rec ExiSPS Theorem The Shapley value is selfdual. Proof:For i 2 N and K Nn fig, we have Further, MC v i (K ) = v (K [ fig) v (K ) = v (N) v (Nn (K [ fig)) (v (N) v (NnK )) Sh i (N, v ) = K N nfig = v (NnK ) v ((NnK ) n fig) = MC v i ((NnK ) n fig). = K N nfig jk j! (jnj jk j 1)! MC v i (K ) jnj! (jnj jk j 1)! jk j! MCi v ((NnK ) n fig) jnj! = Sh i (N, v ). 7 / 25

Marginal Contributions Property 1 De nition PotSh Selfdu MCP Rec ExiSPS Let S N and v 2 V (N). The TU game (N n S, v S ) de ned by v S (T ) = v (S [ T ) v (S) for all T N n S (3) is called the S - marginal game of (N, v ). Interpretation: The rst players in a rank order of N are the players of coalition S. If the coalition T joins S, v S (T ) describes the contribution of T to S. Problem Show: For any S N and any monotonic game v 2 V (N), v S 2 V (NnS) is nonnegative. 8 / 25

Marginal Contributions Property 2 PotSh Selfdu MCP Rec ExiSPS De nition A value φ su ces the marginal contributions property, if for any TU game (N, v ) and any i, j 2 N, i 6= j Theorem φ i (N, v ) φ i (N n fjg, v j ) = φ j (N, v ) φ j (N n fig, v i ). The Shapley value su ces the marginal contributions property. 9 / 25

Recursion formulas for the Shapley value 1 Theorem PotSh Selfdu MCP Rec ExiSPS For all v 2 V(N) and i 2 N, Sh i (N, v ) = 1 1 (v (N) v (Nn fig) + jnj jnj Sh i Nn fjg, v j2n nfig N nfjg. Interpretation: The Shapley value of i is the sum of the marginal contribution to Nn fig (i is the last player in the rank order) and the sum of all Shapley values, such that another player is the last player. 10 / 25

Recursion formulas for the Shapley value 2 PotSh Selfdu MCP Rec ExiSPS Proof: For jnj = 1 the claim is immediate. Let now jnj > 1.The Shapley value satis es BC and E. By BC we get Sh i (N, v ) Sh j (N, v ) = Sh i Nn fjg, v N nfjg Sh j Nn fig, v N nfig. By summing up over j 2 Nnfig we get Sh i Nn fjg, v N nfjg j2n nfig (jnj 1) Sh i (N, v ) Sh N nfig (N, v ) Sh N nfig Nn fig, v N nfig = 11 / 25

Recursion Formulas for the Shapley value 3 Adding a zero term leads to PotSh Selfdu MCP Rec ExiSPS jnj Sh i (N, v ) Sh N (N, v ) = Sh i Nn fjg, v N nfjg j2n nfig Sh N nfig Nn fig, v Using e ciency jnj Sh i (N, v ) v (N) = Sh i Nn fjg, v N nfjg j2n nfig Hence Sh i (N, v ) = 1 1 (v (N) v (Nn fig) + jnj jnj and we are done. Sh i Nn fjg, v j2n nfig N nfig. v (Nn fig) N nfjg. 12 / 25

Recursion Formulas for the Shapley value 4 Theorem PotSh Selfdu MCP Rec ExiSPS For all v 2 V(N) and i 2 N, Sh i (N, v ) = 1 jnj v (fig) + 1 jnj Sh i Nn fjg, v j, j2n nfig Proof For j 2 N and S 2 Nnfjg : v j (S) = v j (Nnj) v j (Nn fjg ns) = v (N) v (fjg) v (NnS) + v (fjg) = v (N) v (NnS) = v (S). 13 / 25

Recursion Formulas for the Shapley value 5 By using this equation and the self duality of the Shapley value we get PotSh Selfdu MCP Rec ExiSPS and we are done. Sh(N, v ) = Sh(N, v ) 1 = jnj (v (N) v (Nn fig)) + = = 1 jnj Sh i Nn fjg, v N nfjg j2n nfig 1 (v (N) v ( ) v (N) + v (fig)) + jnj 1 jnj Sh i Nn fjg, v j j2n nfig 1 jnj v (fig) + 1 jnj Sh i Nn fjg, v j j2n nfig 14 / 25

Implementation of cooperative solutions PotSh Selfdu MCP Rec ExiSPS Cooperative game theory: allocation rules, but no description of the bargaining Noncooperative game theory: equilibrium concepts (Nash, Pareto) and description of bargaining, but uniqueness is not guaranteed. De nition Given a cooperative game. A cooperative value is implemented, if there is a noncooperative game, derived by the cooperative game, such that the payo of the cooperative value is an equilibrium outcome. De nition A cooperative value is fully implemented if the payo of the cooperative game is the unique equilibrium payo of the noncooperative game. special case of mechanism design (compare Bolton/Dewatripont: Contract Theory, Mas Colell/Whinston/Green: Microeconomic Theory) 15 / 25

An example for an implementation PotSh Selfdu MCP Rec ExiSPS Theorem If there is perfect recall and no moves of nature, every strategy combination, which is derived by backward induction, is a subgame perfect equilibrium. Kongo/Funaki/Tijs: New Axiomatizations and an implementation of the Shapley value Full Implementation of the Shapley value multistage game! subgame perfect equilibria (derived by backward induction) proofs use the recursion formulas 16 / 25

Recap Backward induction Given a game in tree form, for example chicken game: PotSh Selfdu MCP Rec ExiSPS 1 geradeaus fahren 2 2 geradeaus fahren geradeaus fahren ausweichen ausweichen ausweichen ( 0,0) ( 4,2) ( 2,4) ( 3,3) 17 / 25

Recap Backward induction PotSh Selfdu MCP Rec ExiSPS Starting with the last decisions/actions the other players know, that the last deciding player choses his/her best action. 1 geradeaus fahren 2 2 geradeaus fahren geradeaus fahren ausweichen ausweichen ausweichen ( 0,0) ( 4,2) ( 2,4) ( 3,3) 18 / 25

Model 1 PotSh Selfdu MCP Rec ExiSPS Given a TU - Game (N, v ) 2 V(N), a noncooperative game Γ(N, v ) is de ned by: (a) If jnj = 1, the player obtains v (i) and the game is nished. (b) If there is more than one player, the game has 3 stages: (b1) Each player i 2 N o ers bids bj i 2 R to every other player j 2 Nnfig Let α 2 arg max i j6=i bj i j6=i b j i be chosen randomly. α pays bj α to every player j 6= α. 19 / 25

Model 2 PotSh Selfdu MCP Rec ExiSPS (b2) Player α o ers xj α 2 R to player j 2 Nnfαg. (b3) Let there be σ = (σ 1,..., σ n 1 ) a random order of Nnfαg. First the player σ n 1 responds to the o er made by player α. Responses are either accepting or rejecting. In case player σ n 1 accepts, player σ n 2 responds and so on. If every player accepts the o er, an agreement is reached. If there is some rejection, no agreement is reached. If an agreement is reached, proposer α pays his o ers to the players in Nnfαg and in return α obtains v (N). The game stops. If an agreement is not reached, the proposer obtains v (α) and has to leave the game. The remaining players continue the bargaining in the game Γ(Nnα, v α ). 20 / 25

Existence of subgame perfect strategies 1 PotSh Selfdu MCP Rec ExiSPS Theorem Γ(N, v ) produces the Shapley payo for (N, v ) in any subgame perfect equilibrium. This will be shown by few minor theorems Theorem There is a strategy combination which produces the Shapley payo for (N, v ) Proof: Consider the following strategy: (b1) Each player i 2 N announces b i j = Sh j (N, v ) Sh j (Nni, v i ) for j 6= i. (b2) Proposer α o ers xj α = Sh j (Nnα, v α ) for j 2 Nnα (b3) Responder j accepts o er if and only if xj α Sh j (Nnα, v α ) By using the e ciency axiom we can easily see, that the generated payo is the Shapley value. 21 / 25

Existence of subgame perfect strategies 2 PotSh Selfdu MCP Rec ExiSPS Theorem The de ned strategy combination is a subgame perfect equilibrium Proof: By induction with respect to the number of players. If jnj = 1, the theorem is correct. Assume the theorem holds for n players. (b3) If no other player after player j rejects the o er, one optimal reaction is accepting o ers x α j Sh j (Nnα, v α ), because the player compares x α j and the payo in the reduced game, which is Sh j (Nnα, v α ) by induction. So the strategies are Nash equilibria in stage (b3). (b2) By considering the chosen strategies the proposer α obtains v (N) j6=α Sh j (Nnα, v α ) = v (N) v α (Nnα) = v (α).for improving this payo, the proposer has to lower at least one o er. But the chosen strategies imply, that there will be no acceptance of the lowered o er and the proposer s payo is v (α) which is not better o. Hence, the strategies are Nash equilibria in stages (b2) and (b3). 22 / 25

Existence of subgame perfect strategies 3 PotSh Selfdu MCP Rec ExiSPS (b1) First we have to analyze which player will become the proposer. The netbids are B i = Sh j (N, v ) Sh j (Nnfig, v i ) j6=i j6=i = 0 (MCP) Sh i (N, v ) Sh i (Nnfjg, v j ) Every player is chosen as the proposer with probability of n 1, but we have shown the outcome does not depend on which player is chosen as the proposer. If player i changes the o ers bj i to b j i = bj i + a j and j6=i a j < 0, the player will not be appointed as proposer.if j6=i a j 0, the player will be appointed as proposer (with a positive probability), but the player s payo will not increase, such that the strategy is optimal and all strategies yield to a Nash equilibrium in the whole game, which means the strategy combination is subgame perfect. 23 / 25

Uniqueness of subgame perfect payo s Theorem PotSh Selfdu MCP Rec ExiSPS Γ(N, v ) produces the Shapley value payo for (N, v ) in any subgame perfect equilibrium. This means the noncooperative game fully implements the Shapley value payo. 24 / 25

Show the following claims: PotSh Selfdu MCP Rec ExiSPS Theorem In any subgame starting in b2) the proposer obtains v (α) and each of the other players obtains his/her Shapley value of the game (Nnα, v α ) in any subgame perfect equilibrium. Show now the theorem of uniqueness of the payo s in subgame perfect equilibria: Theorem The payo of any subgame perfect equilibrium coincides with the Shapley value payo. Hint: In any subgame perfect equilibrium we have j6=i b i j = j6=i b j i. Besides the payo s are the same regardless of who is chosen as a proposer. 25 / 25