The lattice of embedded subsets

In cooperative game theory, games in partition function form are real-valued function on the set of the so-called embedded coalitions, that is, pairs (S,π) where S is a subset (coalition) of the set N of players, and π is a partition of N containing S. Despite the fact that many studies have been devoted to such games, surprisingly nobody clearly defined a structure (i.e., an order) on embedded coalitions, resulting in scattered and divergent works, lacking unification and proper analysis. The aim of the paper is to fill this gap, thus to study the structure of embedded coalitions (called here embedded subsets), and the properties of games in partition function form.     

Individual and group stability in neutral restrictions of hedonic games

We consider a class of coalition formation games called hedonic games, i.e., games in which the utility of a player is completely determined by the coalition that the player belongs to. We first define the class of subset-additive hedonic games and show that they have the same representation power as the class of hedonic games. We then define a restriction of subset-additive hedonic games that we call subset-neutral hedonic games and generalize a result by Bogomolnaia and Jackson (2002) by showing the existence of a Nash stable partition and an individually stable partition in such games. We also consider neutrally anonymous hedonic games and show that they form a subclass of the subset-additive hedonic games. Finally, we show the existence of a core stable partition that is also individually stable in neutrally anonymous hedonic games by exhibiting an algorithm to compute such a partition.     

A consistent value for games with n players and r alternatives

In Bolger [1993], an efficient value was obtained for a class of games called games with n players and r alternatives. In these games, each of the n players must choose one and only one of the r alternatives. This value can be used to determine a player’s “a priori” value in such a game. In this paper, we show that the value has a consistency property similar to the “consistency” for TU games in Hart/Mas-Colell [1989] and we present a set of axioms (including consistency) which characterizes this value.  The games considered in this paper differ from the multi-choice games considered by Hsiao and Raghavan [1993]. They consider games in which the actions of the players are ordered in the sense that, if i >j, then action i carries more “weight” than action j.  These games also differ from partition function games in that the worth of a coalition depends not only on the partitioning of the players but also on the action chosen by each subset of the partition. Received: April 1994/final version: June 1999     

Games with externalities: games in coalition configuration function form

In this paper we introduce a model of cooperative game with externalities which generalizes games in partition function form by allowing players to take part in more than one coalition. We provide an extension of the Shapley value (1953) to these games, which is a generalization of the Myerson value (1977) for games in partition function form. This value is derived by considering an adaptation of an axiomatic characterization of the Myerson value (1977).     

A set of axioms for a value for partition function games

Myerson (1977) derived an efficient value for games in partition function form. In this paper, we present a set of axioms which characterize a different efficient value for such games. This latter value assigns value 0 to dummies and assigns nonnegative values to players in monotone simple games.     

The τ-value,The core and semiconvex games

Theτ-value for cooperativen-person games is central in this paper. Conditions are given which guarantee that theτ-value lies in the core of the game. A full-dimensional cone of semiconvex games is introduced. This cone contains the cones of convex and exact games and there is a simple formula for theτ-value for such games. The subclass of semiconvex games with constant gap function is characterized in several ways. It turns out to be an (n+1)-dimensional cone and for all games in this cone the Shapley value, the nucleolus and theτ-value coincide.     

Differential games with Lipschitz control functions and fixed initial control positions

Differential games in which one or both players are restricted to choosing control functions which are uniformly Lipschitz continuous and which start at fixed initial conditions always have a value. We derive the Hamilton-Jacobi equation which this value satisfies a.e. as a function of the initial time t, the initial state x, and the initial control positions. We also show that a “Lipschitz Game” has an approximate saddle point in pure strategies. The approach of Friedman to differential games is used.     

Characterizing the Banzhaf and Shapley values assuming limited linearity

This paper presents characterizations of the Banzhaf-Coleman and Shapley-Shubik indices for monotonic simple games. The characterizations are obtained without explicitly requiring that the indices satisfy the linearity assumptionψ (v∧ w) +ψ (v ∨ w) =ψ (v) + ψ (w). The ideas developed are then used to obtain a characterization of the Banzhaf value for the class of alln-person games in characteristic function form.     

Atomic weights and the combinatorial game of bipass

We define an all-small ruleset, bipass, within the framework of normal play combinatorial games. A game is played on finite strips of black and white stones. Stones of different colors are swapped provided they do not bypass one of their own kind. We find a simple surjective function from the strips to integer atomic weights (Berlekamp, Conway and Guy 1982) that measures the number of units in all-small games. This result provides explicit winning strategies for many games, and in cases where it does not, it gives narrow bounds for the canonical form game values. We find game values for some parametrized families of games, including an infinite number of strips of value ?, and we prove that the game value ?2 does not appear as a disjunctive sum of bipass. Lastly, we define the notion of atomic weight tameness, and prove that optimal misére play bipass resembles optimal normal play.     

Absolute optimal solution for a compact and convex game

This paper investigates the existence of absolute optimal solutions for a partition P in continuous and quasiconcave games. We show that the P-consistency property introduced in the paper, together with the quasiconcavity and continuity of payoffs, permits the existence of P-absolute optimal solutions in games with compact and convex strategy spaces. The P-consistency property is a general condition that cannot be dispensed with for the existence of P-absolute optimal solutions. We also characterize the existence of P-absolute optimal solutions by providing necessary and sufficient conditions. Moreover, we suggest an algorithm for efficiently computing P-absolute optimal solutions.     

A new index of power for simplen-person games

Measures of (a priori) power play a useful role in assessing the character of interpersonal interaction found in collective decision making bodies. We propose and axiomatically characterize an alternative power index to the familiarShapley/Shubik andBanzhaf indices which can be used for such purposes. The index presented is shown to be unique for the class of simplen-person games. By subsequent generalization of the index and its axioms to the class ofn-person games in characteristic function form we obtain an analog to theShapley value.     

Values of games without side payments

A value forn-person games without side payments is given which coincides with theShapley value for games with side payments, and with theNash value for two-person games.     

The non-emptiness of the core of a partition function form game

The purpose of this paper is to provide a necessary and sufficient condition for the non-emptiness of the core for partition function form games. We generalize the Bondareva–Shapley condition to partition function form games and present the condition for the non-emptiness of “the pessimistic core”, and “the optimistic core”. The pessimistic (optimistic) core describes the stability in assuming that players in a deviating coalition anticipate the worst (best) reaction from the other players. In addition, we define two other notions of the core based on exogenous partitions. The balanced collections in partition function form games and some economic applications are also provided.     

Mollifiers for games in normal form and the Harsanyi-Selten valuation function

The concepts of disruption and mollifiers ofCharnes/Rousseau/Seiford [1978] for games in characteristic function form are here extended to games in normal form. We show for a large class of games that theHarsanyi-Selten [1959] modification ofvon Neumann /Morgenstern's [1953] construction of a characteristic function for games in normal form, to take better account of “disruption” or “threat” possibilities, yields a constant mollifier. In general, it can be non-superadditive when the von Neumann-Morgenstern function is superadditive, and it also fails to take account of coalitional sizes. Our extended “homomollifier” concept does, and always yields a superadditive constant sum characteristic function.     

Sufficient conditions for unique stable sets in three agent pillage games

Pillage games (Jordan, 2006a) have two features that make them richer than cooperative games in either characteristic or partition function form: they allow power externalities between coalitions; they allow resources to contribute to coalitions’ power as well as to their utility. Extending von Neumann and Morgenstern’s analysis of three agent games in characteristic function form to anonymous pillage games, we characterise the core for any number of agents; for three agents, all anonymous pillage games with an empty core represent the same dominance relation. When a stable set exists, and the game also satisfies a continuity and a responsiveness axiom, it is unique and contains no more than 15 elements, a tight bound. By contrast, stable sets in three agent games in characteristic or partition function form may not be unique, and may contain continua. Finally, we provide an algorithm for computing the stable set, and can easily decide non-existence. Thus, in addition to offering attractive modelling possibilities, pillage games seem well behaved and analytically tractable, overcoming a difficulty that has long impeded use of cooperative game theory’s flexibility.     

Nonsmooth analysis and sufficient conditions for a saddle in a differential game

One of the major difficulties in the theory of differential games is the lack of differentiability of the value function. One way around this difficulty is to use viscosity solutions (see Lions and Souganidis [5]) of the Isaacs-Bellman equations. In this paper we demonstrate the use of nonsmooth analysis (see Clarke [2]) as a natural tool for obtaining the Isaacs-Bellman equations when the value function W satisfies a Lipschitz condition.     

Implementation of weighted values in hierarchical and horizontal cooperation structures

This paper studies a non-cooperative mechanism implementing a cooperative solution for a situation in which members of a society are subdivided into groups and/or coalitions and there is asymmetry among the individuals of the society. To describe hierarchical and horizontal cooperation structure simultaneously, we present unified classes of games, the games with social structure, and define a weighted value for these games. We show that our mechanism works in any zero-monotonic environment and implements the Shapley value, the weighted Shapley value, the Owen’s coalitional value, and the weighted coalitional value, in some special cases.     

On the uniqueness of the Shapley value

L.S. Shapley [1953] showed that there is a unique value defined on the classD of all superadditive cooperative games in characteristic function form (over a finite player setN) which satisfies certain intuitively plausible axioms. Moreover, he raised the question whether an axiomatic foundation could be obtained for a value (not necessarily theShapley value) in the context of the subclassC (respectivelyC′, C″) of simple (respectively simple monotonic, simple superadditive) gamesalone. This paper shows that it is possible to do this. Theorem I gives a new simple proof ofShapley's theorem for the classG ofall games (not necessarily superadditive) overN. The proof contains a procedure for showing that the axioms also uniquely specify theShapley value when they are restricted to certain subclasses ofG, e.g.,C. In addition it provides insight intoShapley's theorem forD itself. Restricted toC′ orC″, Shapley's axioms donot specify a unique value. However it is shown in theorem II that, with a reasonable variant of one of his axioms, a unique value is obtained and, fortunately, it is just theShapley value again.     

Identities and congruences for the general partition and Ramanujan’s tau functions

We present some identities and congruences for the general partition function p _r (n). In particular, we deduce some known identities for Ramanujan’s tau function and find simple proofs of Ramanujan’s famous partition congruences for modulo 5 and 7. Our emphasis throughout this paper is to exhibit the use of Ramanujan’s theta functions to generate identities and congruences for general partition function.     

Symmetric solutions for (n,k) games

Symmetric solutions (or symmetric stable sets) and their uniqueness are investigated for some classes of symmetric,n-person, cooperative games in characteristic function form known as (n, k) games.