 Cooperative game

 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 decisionmaking 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
Mathematical definition
A cooperative game is given by specifying a value for every coalition. Formally, the game (coalitional game) consists of a finite set of players N, called the grand coalition, and a characteristic function ^{[1]} from the set of all possible coalitions of players to a set of payments that satisfies . 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 satisfying . In this setting, players must accomplish some task, and the characteristic function c represents the cost of a set of players accomplishing the task together. A 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
Let v be a profit game. The dual game of v is the cost game v ^{*} defined as
Intuitively, the dual game represents the opportunity cost for a coalition S of not joining the grand coalition N. A dual profit game c ^{*} can be defined identically for a cost game c. A cooperative 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
Let be a nonempty coalition of players. The subgame on S is naturally defined as
In other words, we simply restrict our attention to coalitions contained in S. Subgames are useful because they allow us to apply solution concepts defined for the grand coalition on smaller coalitions.
Properties for characterization
Superadditivity
Characteristic functions are often assumed to be superadditive (Owen 1995, p. 213). This means that the value of a union of disjoint coalitions is no less than the sum of the coalitions' separate values:
whenever satisfy .
Monotonicity
Larger coalitions gain more: . This follows from superadditivity if payoffs are normalized so singleton coalitions have value zero.
Properties for Simple games
A coalitional game v is simple if payoffs are either 1 or 0, i.e., coalitions are either "winning" or "losing". Equivalently, a simple game can be defined as a collection W of coalitions, where the members of W 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).
 A simple game W is monotonic if any coalition containing a winning coalition is also winning, that is, if and imply .
 A simple game W is proper if the complement (opposition) of any winning coalition is losing, that is, if implies .
 A simple game W is strong if the complement of any losing coalition is winning, that is, if imples.
 If a simple game W is proper and strong, then a coalition is winning if and only if its complement is losing, that is, iff . (If v is a colitional simple game that is proper and strong, for any S.)
 A veto player (vetoer) in a simple game is a player that belong to all winning coalitions. Supposing there is a veto player, any coalition not containing a veto player is losing. A simple game W is weak (collegial) if it has a veto player, that is, if the intersection 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.)
 A carrier of a simple game W is a set such that for any coalition S, we have iff . When a simple game has a carrier, any player not belonging to it is ignored. A simple game is sometimes called finite if it has a finite carrier (even if N is infinite).
 The Nakamura number of a simple game is the minimal number of winning coalitions with empty intersection. The number measures the degree of rationality; it is an indicator of the extent to which an aggregation rule can yield welldefined choices.
Relation with noncooperative theory
Let G be a strategic (noncooperative) game. Then, assuming that coalitions have the ability to enforce coordinated behaviour, there are several cooperative games associated with G. These games are often referred to as representations of G.
 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 maxmin, 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 minmax, e.g. the minimal value of the maximum taken over the opposition's strategies.
Solution concepts
The main assumption in cooperative game theory is that the grand coalition N will form. The challenge is then to allocate the payoff v(N) among the players in some fair way. (This 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: .
 Existence: The solution concept exists for any game v.
 Uniqueness: The solution concept is unique for any game v.
 Computational ease: The solution concept can be calculated efficiently (i.e. in polynomial time with respect to the number of players  N  .)
 Symmetry: The solution concept x allocates equal payments x_{i} = x_{j} to symmetric players i, j. Two players i, j 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 v and ω are games, the game (v + ω) 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 (v + ω) the sum of what he would receive in v and ω.
 Zero Allocation to Null Players: The allocation to a null player is zero. A null player i 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 preimputation, and an individually rational preimputation is called an imputation. Most solution concepts are imputations.
The stable set
The stable set of a game (also known as the von NeumannMorgenstern solution (von Neumann & Morgenstern 1944)) was the first solution proposed for games with more than 2 players. Let v be a game and let x, y be two imputations of v. Then x dominates y if some coalition satisfies and . In other words, players in S prefer the payoffs from x to those from y, and they can threaten to leave the grand coalition if y is used because the payoff they obtain on their own is at least as large as the allocation they receive under x.
A stable set is a set of imputations that satisfies two properties:
 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
 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 n − 2 players. In such sets at least n − 3 of the discriminated players are excluded (Owen 1995, p. 240.).
The core
Main article: Core (economics)Let v be a game. The core of v 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
 The core of a game may be empty (see the BondarevaShapley theorem). Games with nonempty cores are called balanced.
 If it is nonempty, 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.)
The core of a simple game with respect to preferences
For simple games, there is another notion of the core, when each player is assumed to have preferences on a set X of alternatives. A profile is a list of individual preferences on X. Here means that individual i prefers alternative x to y at profile p. Given a simple game v and a profile p, a dominance relation is defined on X by if and only if there is a winning coalition S (i.e., v(S) = 1) satisfying for all . The core C(v,p) of the simple game v with respect to the profile p of preferences is the set of alternatives undominated by (the set of maximal elements of X with respect to ):
 if and only if there is no such that .
The Nakamura number of a simple game is the minimal number of winning coalitions with empty intersection. Nakamura's theorem states that the core C(v,p) is nonempty for all profiles p of acyclic (alternatively, transitive) preferences if and only if X is finite and the cardinal number (the number of elements) of X is less than the Nakamura number of v. A variant by Kumabe and Mihara states that the core C(v,p) is nonempty for all profiles p of preferences that have a maximal element if and only if the cardinal number of X is less than the Nakamura number of v. (See Nakamura number for details.)
The strong epsiloncore
Because the core may be empty, a generalization was introduced in (Shapley & Shubik 1966). The strong core for some number is the set of payoff vectors
In economic terms, the strong core is the set of preimputations where no 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 nonempty for a large enough value of and empty for a small enough (possibly negative) value of . Following this line of reasoning, the leastcore, introduced in (Maschler, Peleg & Shapley 1979), is the intersection of all nonempty strong cores. It can also be viewed as the strong core for the smallest value of that makes the set nonempty (Bilbao 2000).
The Shapley value
Main article: Shapley valueThe Shapley value is the unique payoff vector that is efficient, symmetric, additive, and assigns zero payoffs to dummy players. It was introduced by Lloyd Shapley (Shapley 1953). The Shapley value of a superadditive game is individually rational, but this is not true in general (Driessen 1988).
The kernel
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 v 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 , but player j is immune to player i's threats if x_{j} = v(j), 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
Let be a game, and let be a payoff vector. The excess of x for a coalition is the quantity ; that is, the gain that players in coalition S can obtain if they withdraw from the grand coalition N under payoff x and instead take the payoff v(S).
Now let be the vector of excesses of x, arranged in nonincreasing order. In other words, . Notice that x is in the core of v if and only if it is a preimputation and . To define the nucleolus, we consider the lexicographic ordering of vectors in : For two payoff vectors x,y, we say θ(x) is lexicographically smaller than θ(y) if for some index k, we have and θ_{k}(x) < θ_{k}(y). (The ordering is called lexicographic because it mimics alphabetical ordering used to arrange words in a dictionary.) The nucleolus of v 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 leastcore, record the coalitions for which the righthand side of the inequality in the definition of C_{ε}(v) cannot be further reduced without making the set empty. Continue decreasing the righthand 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 righthand 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
 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 nonempty, 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.)
Convex cooperative games
Introduced by Shapley in (Shapley 1971), convex cooperative games capture the intuitive property some games have of "snowballing". Specifically, a game is convex if its characteristic function v is supermodular:
It can be shown (see, e.g., Section V.1 of (Driessen 1988)) that the supermodularity of v 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
Convex cooperative games have many nice properties:
 Supermodularity trivially implies superadditivity.
 Convex games are totally balanced: The core of a convex game is nonempty, and since any subgame of a convex game is convex, the core of any subgame is also nonempty.
 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 be a permutation of the players, and let be the set of players ordered 1 through i in π, for any , with . Then the payoff defined by is a vertex of the core of v. Any vertex of the core can be constructed in this way by choosing an appropriate permutation π.
Similarities and differences with combinatorial optimization
Submodular and supermodular set functions are also studied in combinatorial optimization. Many of the results in (Shapley 1971) have analogues in (Edmonds 1970), where submodular functions were first presented as generalizations of matroids. In this context, the core of a convex cost game is called the base polyhedron, because its elements generalize base properties of matroids.
However, the optimization community generally considers submodular functions to be the discrete analogues of convex functions (Lovász 1983), because the minimization of both types of functions is computationally tractable. Unfortunately, this conflicts directly with Shapley's original definition of supermodular functions as "convex".
References
 Bilbao, Jesús Mario (2000), Cooperative Games on Combinatorial Structures, Kluwer Academic Publishers
 Davis, M.; Maschler, M. (1965), "The kernel of a cooperative game", Naval Research Logistics Quarterly 12 (3): 223–259, doi:10.1002/nav.3800120303
 Driessen, Theo (1988), Cooperative Games, Solutions and Applications, Kluwer Academic Publishers
 Edmonds, Jack (1970), "Submodular functions, matroids and certain polyhedra", in Guy, R.; Hanani, H.; Sauer, N. et al., Combinatorial Structures and Their Applications, New York: Gordon and Breach, pp. 69–87
 Lovász, Lászlo (1983), "Submodular functions and convexity", in Bachem, A.; Grötschel, M.; Korte, B., Mathematical Programming—The State of the Art, Berlin: Springer, pp. 235–257
 LeytonBrown, Kevin; Shoham, Yoav (2008), Essentials of Game Theory: A Concise, Multidisciplinary Introduction, San Rafael, CA: Morgan & Claypool Publishers, ISBN 9781598295931, http://www.gtessentials.org. An 88page mathematical introduction; see Chapter 8. Free online at many universities.
 Lucas, William F. (1969), "The Proof That a Game May Not Have a Solution", Transactions of the American Mathematical Society (American Mathematical Society) 136: 219–229, doi:10.2307/1994798, JSTOR 1994798.
 Lucas, William F. (1992), "Von NeumannMorgenstern Stable Sets", Handbook of Game Theory, Volume I, Amsterdam: Elsevier, pp. 543–590
 Luce, R.D. and Raiffa, H. (1957) Games and Decisions: An Introduction and Critical Survey, Wiley & Sons. (see Chapter 8).
 Maschler, M.; Peleg, B.; Shapley, Lloyd S. (1979), "Geometric properties of the kernel, nucleolus, and related solution concepts", Mathematics of Operations Research 4 (4): 303–338, doi:10.1287/moor.4.4.303
 Osborne, M.J. and Rubinstein, A. (1994) A Course in Game Theory, MIT Press (see Chapters 13,14,15)
 Moulin, Herve (1988), Axioms of Cooperative Decision Making (1st ed.), Cambridge: Cambridge University Press, ISBN 0521424585
 Owen, Guillermo (1995), Game Theory (3rd ed.), San Diego: Academic Press, ISBN 0125311516
 Schmeidler, D. (1969), "The nucleolus of a characteristic function game", SIAM Journal of Applied Mathematics 17 (6): 1163–1170, doi:10.1137/0117107.
 Shapley, Lloyd S. (1953), "A value for nperson games", in Kuhn, H.; Tucker, A.W., Contributions to the Theory of Games II, Princeton, New Jersey: Princeton University Press, pp. 307–317
 Shapley, Lloyd S. (1971), "Cores of convex games", International Journal of Game Theory 1 (1): 11–26, doi:10.1007/BF01753431
 Shapley, Lloyd S.; Shubik, M. (1966), "Quasicores in a monetary economy with nonconvex preferences", Econometrica (The Econometric Society) 34 (4): 805–827, doi:10.2307/1910101, JSTOR 1910101
 Shoham, Yoav; LeytonBrown, Kevin (2009), Multiagent Systems: Algorithmic, GameTheoretic, and Logical Foundations, New York: Cambridge University Press, ISBN 9780521899437, http://www.masfoundations.org. A comprehensive reference from a computational perspective; see Chapter 12. Downloadable free online.
 von Neumann, John; Morgenstern, Oskar (1944), Theory of Games and Economic Behavior, Princeton: Princeton University Press
See also
 Consensus decisionmaking
 Coordination game
 Intrahousehold bargaining
External links
Categories: Cooperative games
 Game theory
Wikimedia Foundation. 2010.
Look at other dictionaries:
cooperative game — noun Informally, a game formalized using a function that assigns to each coalition of players a real number representing the payoff that the coalition can gain if it is formed, without specifying how the outcome is divided among the participants… … Wiktionary
Noncooperative game — In game theory, a non cooperative game is one in which players make decisions independently. Thus, while they may be able to cooperate, any cooperation must be self enforcing. A game in which players can enforce contracts through third parties is … Wikipedia
Game theory — is a branch of applied mathematics that is used in the social sciences (most notably economics), biology, engineering, political science, computer science (mainly for artificial intelligence), and philosophy. Game theory attempts to… … Wikipedia
game theory — a mathematical theory that deals with strategies for maximizing gains and minimizing losses within prescribed constraints, as the rules of a card game: widely applied in the solution of various decision making problems, as those of military… … Universalium
Cooperative board game — In a cooperative board game, players work together in order to achieve a goal, either winning or losing as a group. As the name suggests, cooperative games stress cooperation over competition.[1] Participants typically play against the game, and… … Wikipedia
Cooperative gameplay — (often abbreviated as co op) is a feature in video games that allows players to work together as teammates. It is distinct from other multiplayer modes, such as competitive multiplayer modes like player versus player or deathmatch. Playing… … Wikipedia
Game mechanics — are constructs of rules intended to produce an enjoyable game or gameplay. All games use mechanics; however, theories and styles differ as to their ultimate importance to the game. In general, the process and study of game design are efforts to… … Wikipedia
Cooperative distributed problem solving — is a network of semi autonomous processing nodes working together to solve a problem, typically in a multi agent system. That is concerned with the investigation of problem subdivision, sub problem distribution, results synthesis, optimisation of … Wikipedia
Cooperative State Research, Education, and Extension Service — This article is about a division of the US Department of Agriculture. For agriculture extensions in general, see Agricultural extension. CSREES logo The Cooperative State Research, Education, and Extension Service (CSREES) is an agency within the … Wikipedia
Cooperative principle — For the principles governing the functioning of cooperatives, see Rochdale Principles. In social science generally and linguistics specifically, the cooperative principle describes how people interact with one another. As phrased by Paul Grice,… … Wikipedia