Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
This article is about a part of game theory. For video gaming, see Cooperative gameplay. For the similar feature in some board games, see cooperative board game In game theory, a cooperative game is a game where groups of players ("coalitions") may enforce cooperative behaviour, hence the game is a competition between coalitions of players, rather than between individual players. An example is a coordination game, when players choose the strategies by a consensus decision-making process. Recreational games are rarely cooperative, because they usually lack mechanisms by which coalitions may enforce coordinated behaviour on the members of the coalition. Such mechanisms, however, are abundant in real life situations (e.g. contract law).
Contents
[hide]
1 Mathematical definition
o o
o o o
4.1.1 Properties
o o o o o
4.2.1 Properties
4.3 The core of a simple game with respect to preferences 4.4 The strong epsilon-core 4.5 The Shapley value 4.6 The kernel 4.7 The nucleolus
4.7.1 Properties
o o
Mathematical definition[edit]
A cooperative game is given by specifying a value for every coalition. Formally, the game (coalitional game) consists of a finite set of players function satisfies
[1]
from the set of all possible coalitions of players to a set of payments that
. The function describes how much collective payoff a set of players can gain by
forming a coalition, and the game is sometimes called a value game or a profit game. The players are assumed to choose which coalitions to form, according to their estimate of the way the payment will be divided among coalition members. Conversely, a cooperative game can also be defined with a characteristic cost function the characteristic function satisfying . In this setting, players must accomplish some task, and
game of this kind is known as a cost game. Although most cooperative game theory deals with profit games, all concepts can easily be translated to the cost setting.
Duality[edit]
Let be a profit game. The dual game of is the cost game defined as
Intuitively, the dual game represents the opportunity cost for a coalition coalition . A dual profit game
and its dual are in some sense equivalent, and they share many properties. For example, the core of a game and its dual are equal. For more details on cooperative game duality, see for instance (Bilbao 2000).
Subgames[edit]
Let defined as be a non-empty coalition of players. The subgame on is naturally
because they allow us to apply solution concepts defined for the grand coalition on smaller coalitions.
Monotonicity[edit]
Larger coalitions gain more: . This follows from superadditivity if
are called winning coalitions, and the others losing coalitions. It is sometimes
assumed that a simple game is nonempty or that it does not contain an empty set. In other areas of mathematics, simple games are also called hypergraphs or Boolean functions (logic functions).
is strong if the complement of any losing coalition is winning, that is, . is proper and strong, then a coalition is winning if and only if its iff . (If is a colitional simple .)
If a simple game
for any
A veto player (vetoer) in a simple game is a player that belongs to all winning coalitions. Supposing there is a veto player, any coalition not containing a veto player is losing. A
is weak (collegial) if it has a veto player, that is, if the of all winning coalitions is nonempty.
A dictator in a simple game is a veto player such that any coalition containing this player is winning. The dictator does not belong to any losing coalition. (Dictator games in experimental economics are unrelated to this.)
is a set
, we
belonging to it is ignored. A simple game is sometimes called finite if it has a finite carrier (even if is infinite).
The Nakamura number of a simple game is the minimal number of winning coalitions with empty intersection. According to Nakamura's theorem, the number measures the degree of rationality; it is an indicator of the extent to which an aggregation rule can yield well-defined choices.
A few relations among the above axioms have widely been recognized, such as the following (e.g., Peleg, 2002, Section 2.1[2]):
If a simple game is weak, it is proper. A simple game is dictatorial if and only if it is strong and weak.
More generally, a complete investigation of the relation among the four conventional axioms (monotonicity, properness, strongness, and non-weakness), finiteness, and algorithmiccomputability[3] has been made (Kumabe and Mihara, 2011[4]), whose results are summarized in the Table "Existence of Simple Games" below.
1111 no
yes
yes
yes
1110 no
yes
no
no
1101 no
yes
yes
yes
1100 no
yes
yes
yes
1011 no
yes
yes
yes
1010 no
no
no
no
1001 no
yes
yes
yes
1000 no
no
no
no
0111 no
yes
yes
yes
0110 no
no
no
no
0101 no
yes
yes
yes
0100 no
yes
yes
yes
0011 no
yes
yes
yes
0010 no
no
no
no
0001 no
yes
yes
yes
0000 no
no
no
no
The restrictions that various axioms for simple games impose on their Nakamura number are also studied extensively.[6] In particular, a computable simple game without a veto player has a Nakamura number greater than 3 only if it is proper and non-strong.
The -effective game associates with each coalition the sum of gains its members can 'guarantee' by joining forces. By 'guaranteeing', it is meant that the value is the max-min, e.g. the maximal value of the minimum taken over the opposition's strategies.
The -effective game associates with each coalition the sum of gains its members can 'strategically guarantee' by joining forces. By 'strategically guaranteeing', it is meant that the value is the min-max, e.g. the minimal value of the maximum taken over the opposition's strategies.
Solution concepts[edit]
The main assumption in cooperative game theory is that the grand coalition challenge is then to allocate the payoff will form. The
assumption is not restrictive, because even if players split off and form smaller coalitions, we can apply solution concepts to the subgames defined by whatever coalitions actually form.) A solution concept is a vector that represents the allocation to each player. Researchers have
proposed different solution concepts based on different notions of fairness. Some properties to look for in a solution concept include:
Efficiency: The payoff vector exactly splits the total value: Individual rationality: No player receives less than what he could get on his own: . . .
Computational ease: The solution concept can be calculated efficiently (i.e. in polynomial time with respect to the number of players .) to symmetric
are symmetric if
; that is,
we can exchange one player for the other in any coalition that contains only one of the players and not change the payoff.
Additivity: The allocation to a player in a sum of two games is the sum of the allocations to the player in each individual game. Mathematically, if game and are games, the
simply assigns to any coalition the sum of the payoffs the coalition would
get in the two individual games. An additive solution concept assigns to every player in the sum of what he would receive in and .
Zero Allocation to Null Players: The allocation to a null player is zero. A null player satisfies . In economic terms, a
null player's marginal value to any coalition that does not contain him is zero. An efficient payoff vector is called a pre-imputation, and an individually rational pre-imputation is called an imputation. Most solution concepts are imputations.
is used because the payoff they obtain on their own is at least as large as the .
Internal stability: No payoff vector in the stable set is dominated by another vector in the set. External stability: All payoff vectors outside the set are dominated by at least one vector in the set.
Von Neumann and Morgenstern saw the stable set as the collection of acceptable behaviours in a society: None is clearly preferred to any other, but for each unacceptable behaviour there is a preferred alternative. The definition is very general allowing the concept to be used in a wide variety of game formats.
Properties[edit]
A stable set may or may not exist (Lucas 1969), and if it exists it is typically not unique (Lucas 1992). Stable sets are usually difficult to find. This and other difficulties have led to the development of many other solution concepts.
A positive fraction of cooperative games have unique stable sets consisting of the core (Owen 1995, p. 240.).
A positive fraction of cooperative games have stable sets which discriminate players. In such sets at least of the discriminated players are
The core[edit]
Main article: Core (economics) Let be a game. The core of is the set of payoff vectors
In words, the core is the set of imputations under which no coalition has a value greater than the sum of its members' payoffs. Therefore, no coalition has incentive to leave the grand coalition and receive a larger payoff.
Properties[edit]
The core of a game may be empty (see the BondarevaShapley theorem). Games with non-empty cores are called balanced.
If it is non-empty, the core does not necessarily contain a unique vector. The core is contained in any stable set, and if the core is stable it is the unique stable set (see (Driessen 1988) for a proof.)
maximal elements of
The Nakamura number of a simple game is the minimal number of winning coalitions with empty intersection. Nakamura's theorem states that the core is
. A variant by Kumabe and Mihara states that the of preferences that have a maximal is less than the Nakamura number of .
element if and only if the cardinal number of (See Nakamura number for details.)
coalition can improve its payoff by leaving the grand coalition, if it must pay a penalty of for leaving. Note that may be negative, in which case it represents a
bonus for leaving the grand coalition. Clearly, regardless of whether the core is empty, the strong -core will be non-empty for a large enough value of and empty
the least-core, introduced in (Maschler, Peleg & Shapley 1979), is the intersection of all non-empty strong smallest value of -cores. It can also be viewed as the strong -core for the
The kernel[edit]
Let be a game, and let be an efficient payoff vector. The maximum surplus of player i over player j with respect to x is
the maximal amount player i can gain without the cooperation of player j by withdrawing from the grand coalition N under payoff vector x, assuming that the other players in i's withdrawing coalition are satisfied with their payoffs under x. The maximum surplus is a way to measure one player's bargaining power over another. The kernel of is the set of imputations x that satisfy
, and
for every pair of players i and j. Intuitively, player i has more bargaining power than player j with respect to imputation x if immune to player i's threats if , but player j is , because he can obtain this payoff
on his own. The kernel contains all imputations where no player has this bargaining power over another. This solution concept was first introduced in (Davis & Maschler 1965).
The nucleolus[edit]
Let The excess of be a game, and let for a coalition be a payoff vector. is the quantity ;
that is, the gain that players in coalition grand coalition Now let under payoff
increasing order. In other words, that is in the core of if and only if it is a pre-imputation and
To define the nucleolus, we consider the lexicographic ordering of vectors in : For two payoff vectors if for some index , we say , we and . (The ordering is is lexicographically
called lexicographic because it mimics alphabetical ordering used to arrange words in a dictionary.) The nucleolus of is the lexicographically
minimal imputation, based on this ordering. This solution concept was first introduced in (Schmeidler 1969). Although the definition of the nucleolus seems abstract, (Maschler, Peleg & Shapley 1979) gave a more intuitive description: Starting with the least-core, record the coalitions for which the right-hand side of the inequality in the
definition of
Continue decreasing the right-hand side for the remaining coalitions, until it cannot be reduced without making the set empty. Record the new set of coalitions for which the inequalities hold at equality; continue decreasing the right-hand side of remaining coalitions and repeat this process as many times as necessary until all coalitions have been recorded. The resulting payoff vector is the nucleolus.
Properties[edit]
Although the definition does not explicitly state it, the nucleolus is always unique. (See Section II.7 of (Driessen 1988) for a proof.)
If the core is non-empty, the nucleolus is in the core. The nucleolus is always in the kernel, and since the kernel is contained in the bargaining set, it is always in the bargaining set (see (Driessen 1988) for details.)
It can be shown (see, e.g., Section V.1 of (Driessen 1988)) that the supermodularity of is equivalent to
that is, "the incentives for joining a coalition increase as the coalition grows" (Shapley 1971), leading to the aforementioned snowball effect. For cost games, the inequalities are reversed, so that we say the cost game is convex if the characteristic function is submodular.
Properties[edit]
Convex cooperative games have many nice properties:
Convex games are totally balanced: The core of a convex game is non-empty, and since any subgame of a convex game is convex, the core of any subgame is also non-empty.
A convex game has a unique stable set that coincides with its core.
The Shapley value of a convex game is the center of gravity of its core.
An extreme point (vertex) of the core can be found in polynomial time using the greedy algorithm: Let a permutation of the players, and let ordered with by of the core of through in , for any defined is a vertex . Any vertex of the core can be constructed in this . be the set of players , be