Misplaced Pages

Myerson value

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

This is an old revision of this page, as edited by JoaoFrancisco1812 (talk | contribs) at 17:21, 27 December 2024 (First version). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Revision as of 17:21, 27 December 2024 by JoaoFrancisco1812 (talk | contribs) (First version)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

The Myerson value is a solution concept in cooperative game theory. It is a generalization of the Shapley value to communication games on networks. The solution concept and the class of cooperative communication games it applies to was introduced by Roger Myerson in 1977.

Preliminaries

Cooperative games

A (transferable utility) cooperative game is defined as a pair ( N , v ) {\displaystyle (N,v)} , where N {\displaystyle N} is a set of players and v : 2 N R {\displaystyle v:2^{N}\rightarrow \mathbb {R} } is a characteristic function, and 2 N {\displaystyle 2^{N}} is the power set of N {\displaystyle N} . Intuitively, v ( S ) {\displaystyle v(S)} gives the "value" or "worth" of coalition S N {\displaystyle S\subseteq N} , and we have the normalization restriction v ( ) = 0 {\displaystyle v(\varnothing )=0} . The set of all such games v {\displaystyle v} for a fixed N {\displaystyle N} is denoted as W ( N ) {\displaystyle W(N)} .

Solution concepts and the Shapley value

A solution concept – or imputation – in cooperative game theory is an allocation rule φ : W ( N ) R | N | {\displaystyle \varphi :W(N)\rightarrow \mathbb {R} ^{|N|}} , with its i {\displaystyle i} -th component φ i ( v ) {\displaystyle \varphi _{i}(v)} giving the value that player i {\displaystyle i} receives.A common solution concept is the Shapley value φ S {\displaystyle \varphi ^{S}} , defined component-wise as

φ i S ( v ) = S N { i } | S | ! ( | N | | S | 1 ) ! | N | ! ( v ( S { i } ) v ( S ) ) {\displaystyle \varphi _{i}^{S}(v)=\sum _{S\subseteq N\setminus \{i\}}{\frac {|S|!\;(|N|-|S|-1)!}{|N|!}}(v(S\cup \{i\})-v(S))}

Intuitively, the Shapley value allocates to each i N {\displaystyle i\in N} how much they contribute in value (defined via the characteristic function v {\displaystyle v} ) to every possible coallition S N {\displaystyle S\subseteq N} .

Communication games

Given a cooperative game ( N , v ) {\displaystyle (N,v)} , suppose the players in N {\displaystyle N} are connected via a graph – or network – ( N , g ) {\displaystyle (N,g)} . This network represents the idea that some players can communicate and coordinate with each other (but not necessarily with all players), imposing a restriction on which coalliations can be formed. Such overall structure can be represented by a communication game ( N , g , v ) {\displaystyle (N,g,v)} .

The graph ( N , g ) {\displaystyle (N,g)} can be partitioned into its components, which in turn induces a unique partition on any subset S N {\displaystyle S\subseteq N} given by

Π ( S , g | S ) = { { i : i j g } : j S } {\displaystyle \Pi (S,g|_{S})=\{\{i:ij\in g\}:j\in S\}}

Intuitively, if the coallition S {\displaystyle S} were to break up into smaller coallitions in which players could only communicate with each through the network g {\displaystyle g} , then Π ( S , g | S ) {\displaystyle \Pi (S,g|_{S})} is the family of such coallitions.

The communication game ( N , g , v ) {\displaystyle (N,g,v)} induces a cooperative game ( N , v g ) {\displaystyle (N,v_{g})} with characteristic function given by

v g ( S ) = C Π ( S , g | S ) v ( C ) {\displaystyle v_{g}(S)=\sum _{C\in \Pi (S,g|_{S})}v(C)}

Definition

Main definition

Given a communication game ( N , g , v ) {\displaystyle (N,g,v)} , its Myerson value φ M {\displaystyle \varphi ^{M}} is simply defined as the Shapley value of its induced cooperative game ( N , v g ) {\displaystyle (N,v_{g})} :

φ M ( v , g ) = φ S ( v g ) {\displaystyle \varphi ^{M}(v,g)=\varphi ^{S}(v_{g})}

Extensions

Beyond the main defintion above, it is possible to extend the Myerson value to networks with directed graps. It is also possible define allocation rules which are efficient (see below) and coincide with the Myerson value for communication games with connected graphs.

Properties

Existence and uniqueness

Being defined as the Shapley value of an induced cooperative game, the Myerson value inherits both existence and uniqueness from the Shapley value.

Efficiency

In general, the Myerson value is not efficient in the sense that the total worth of the grand coallition N {\displaystyle N} is distributed among all the players:

i N φ i M ( v , g ) = v ( N ) {\displaystyle \sum _{i\in N}\varphi _{i}^{M}(v,g)=v(N)}

The Myerson value will coincide with the Shapley value (and be an efficient allocation rule) if the network ( N , g ) {\displaystyle (N,g)} is connected.

(Component) efficiency

For every coalition C Π ( S , g | S ) {\displaystyle C\in \Pi (S,g|_{S})} , the Myerson value allocates the total worth of the coallition to its members:

i C φ i M ( v , g ) = v ( C )             C Π ( S , g | S ) {\displaystyle \sum _{i\in C}\varphi _{i}^{M}(v,g)=v(C)\ \ \ \ \ \ \forall C\in \Pi (S,g|_{S})}

Fairness

For any pair of agents i , j N {\displaystyle i,j\in N} such that i j g {\displaystyle ij\in g} – i.e., they are able to communicate through the network–, the Myerson value ensures that they have equal gains from bilateral agreement to its allocation rule:

φ i M ( v , g ) φ i M ( v , g i j ) = φ j M ( v , g ) φ j M ( v , g i j )             i j g {\displaystyle \varphi _{i}^{M}(v,g)-\varphi _{i}^{M}(v,g-ij)=\varphi _{j}^{M}(v,g)-\varphi _{j}^{M}(v,g-ij)\ \ \ \ \ \ \forall ij\in g}

where g i j {\displaystyle g-ij} represents the graph g {\displaystyle g} with the link i j {\displaystyle ij} removed.

Axiomatic characterization

Indeed, the Myerson value is the unique allocation rule that satisfies both (component) efficiency and fairness.

Notes

  1. Some authors also impose the an efficiency condition into the definition, and require that i N φ i ( v ) = v ( N ) {\displaystyle \sum _{i\in N}\varphi _{i}(v)=v(N)} , while others do not.

References

  1. ^ Myerson, Roger (1977). "Graphs and Cooperation in Games". Mathematics of Operations Research. 2 (3): 225–229. doi:10.1007/978-3-540-24790-6_2.
  2. ^ Jackson, Matthew (2008). Social and Economic Networks. Princeton University Press. p. 411. ISBN 978-0-691-13440-6.
  3. Selçuk, Özer; Suzuki, Takamasa (2014). "An Axiomatization of the Myerson Value". Contributions to Game Theory and Management. 7.
  4. Shapley, Lloyd S. (1953). "A Value for n-person Games". In Kuhn, H. W.; Tucker, A. W. (eds.). Contributions to the Theory of Games. Annals of Mathematical Studies. Vol. 28. Princeton University Press. pp. 307–317. doi:10.1515/9781400881970-018. ISBN 9781400881970.
  5. Li, Daniel Li; Shan, Erfang (2020). "The Myerson value for directed graph games". Operations Research Letters. 48 (2): 142–146. doi:10.1016/j.orl.2020.01.005.
  6. ^ van den Brink, René; Khmelnitskaya, Anna; van der Laan, Gerard (2012). "An efficient and fair solution for communication graph games". Economics Letters. 117 (3): 786–789. doi:10.1016/j.econlet.2012.08.026.
  7. ^ Béal, Sylvain; Casajus, André; Huettner, Frank (2015). "Efficient extensions of the Myerson value". Social Choice and Welfare. 45: 819–827. doi:10.1007/s00355-015-0885-4.
Topics of game theory
Definitions
Equilibrium
concepts
Strategies
Classes
of games
Games
Theorems
Key
figures
Search optimizations
Miscellaneous
Categories: