Impartial achievement and avoidance games for generating finite groups

We study two impartial games introduced by Anderson and Harary and further developed by Barnes. Both games are played by two players who alternately select previously unselected elements of a finite group. The first player who builds a generating set from the jointly selected elements wins the first game. The first player who cannot select an element without building a generating set loses the second game. After the development of some general results, we determine the nim-numbers of these games for abelian and dihedral groups. We also present some conjectures based on computer calculations. Our main computational and theoretical tool is the structure diagram of a game, which is a type of identification digraph of the game digraph that is compatible with the nim-numbers of the positions. Structure diagrams also provide simple yet intuitive visualizations of these games that capture the complexity of the positions.     

An axiomatization of the Shapley value using a fairness property

In this paper we provide an axiomatization of the Shapley value for TU-games using a fairness property. This property states that if to a game we add another game in which two players are symmetric then their payoffs change by the same amount. We show that the Shapley value is characterized by this fairness property, efficiency and the null player property. These three axioms also characterize the Shapley value on the class of simple games. Revised August 2001     

Convex semi-infinite games

This paper introduces a generalization of semi-infinite games. The pure strategies for player I involve choosing one function from an infinite family of convex functions, while the set of mixed strategies for player II is a closed convex setC inR ⁿ. The minimax theorem applies under a condition which limits the directions of recession ofC. Player II always has optimal strategies. These are shown to exist for player I also if a certain infinite system verifies the property of Farkas-Minkowski. The paper also studies certain conditions that guarantee the finiteness of the value of the game and the existence of optimal pure strategies for player I.Many thanks are due to the referees for their detailed comments.     

Information market games

In this paper information markets with perfect patent protection and only one initial owner of the information are studied by means of cooperative game theory. To each information market of this type a cooperative game with sidepayments is constructed. These cooperative games are called information (market) games. The set of all information games with fixed player set is a cone in the set of all cooperative games with the same player set. Necessary and sufficient conditions are given in order that a cooperative game is an information game. The core of this kind of games is not empty and is also the minimal subsolution of the game. The core is the image of an (n-1)-dimensional hypercube under an affine transformation, (= hyperparallellopiped), the nucleolus and -value coincide with the center of the core. The Shapley value is computed and may lie inside or outside the core. The Shapley value coincides with the nucleolus and the -value if and only if the information game is convex. In this case the core is also a stable set.     

Single-suit two-person card play

We consider a two-person constant sum perfect information game, which we call theEnd Play Game, which arises from an abstraction of simple end play positions in card games of the whist family, including bridge. This game was described in 1929 by Emanuel Lasker, the mathematician and world chess champion, who called itwhistette. The game uses a deck of cards that consists of a single totally ordered suit of 2n cards. To begin play the deck is divided into two handsA andB ofn cards each, held by players Left and Right, and one player is designated as having thelead. The player on lead chooses one of his cards, and the other player after seeing this card selects one of his own to play. The player with the higher card wins a “trick” and obtains the lead. The cards in the trick are removed from each hand, and play then continues until all cards are exhausted. Each player strives to maximize his trick total, and thevalue of the game to each player is the number of tricks he takes. Despite its simple appearance, this game is quite complicated, and finding an optimal strategy seems difficult. This paper derives basic properties of the game, gives some criteria under which one hand is guaranteed to be better than another, and determines the optimal strategies and value functions for the game in several special cases.     

On implementation via demand commitment games

A simple version of the Demand Commitment Game is shown to implement the Shapley value as the unique subgame perfect equilibrium outcome for any n-person characteristic function game. This improves upon previous models devoted to this implementation problem in terms of one or more of the following: a) the range of characteristic function games addressed, b) the simplicity of the underlying noncooperative game (it is a finite horizon game where individuals make demands and form coalitions rather than make comprehensive allocation proposals and c) the general acceptability of the noncooperative equilibrium concept. A complete characterization of an equilibrium strategy generating the Shapley value outcomes is provided. Furthermore, for 3 player games, it is shown that the Demand Commitment Game can implement the core for games which need not be convex but have cores with nonempty interiors. Received March 1995/Final version February 1997     

A dynamic transfer scheme deriving from the dual similar associated game

Dynamic process is an approach to cooperative games, and it can be defined as that which leads the players to a solution for cooperative games. Hwang et al. (2005) adopted Hamiache’s associated game (2001) to provide a dynamic process leading to the Shapley value. In this paper, we propose a dynamic transfer scheme on the basis of the dual similar associated game, to lead to any solution satisfying both the inessential game property and continuity, starting from an arbitrary efficient payoff vector.     

Analyzing n-player impartial games

Combinatorial game theory is the study of two player perfect information games. While work has been done in the past on expanding this field to include n-player games we present a unique method which guarantees a single winner. Specifically our goal is to derive a function which, given an n-player game, is able to determine the winning player (assuming all n players play optimally). Once this is accomplished we use this function in analyzing a certain family of three player subtraction games along with a complete analysis of three player, three row Chomp. Furthermore we make use of our new function in producing alternative proofs to various well known two player Chomp games. Finally the paper presents a possible method of analyzing a two player game where one of the players plays a completely random game. As it turns out this slight twist to the rules of combinatorial game theory produces rather interesting results and is certainly worth the time to study further.     

Pure subgame-perfect equilibria in free transition games

We consider a class of stochastic games, where each state is identified with a player. At any moment during play, one of the players is called active. The active player can terminate the game, or he can announce any player, who then becomes the active player. There is a non-negative payoff for each player upon termination of the game, which depends only on the player who decided to terminate. We give a combinatorial proof of the existence of subgame-perfect equilibria in pure strategies for the games in our class.     

Share functions for cooperative games with levels structure of cooperation

In a standard TU-game it is assumed that every subset of the player set N can form a coalition and earn its worth. One of the first models where restrictions in cooperation are considered is the one of games with coalition structure of Aumann and Drèze (1974). They assumed that the player set is partitioned into unions and that players can only cooperate within their own union. Owen (1977) introduced a value for games with coalition structure under the assumption that also the unions can cooperate among them. Winter (1989) extended this value to games with levels structure of cooperation, which consists of a game and a finite sequence of partitions defined on the player set, each of them being coarser than the previous one.     

A new basis and the Shapley value

The purpose of this paper is to introduce a new basis of the set of all TU games. Shapley (1953) introduced the unanimity game in which cooperation of all players in a given coalition yields payoff. We introduce the commander game in which only one player in a given coalition yields payoff. The set of the commander games forms a basis and has two properties. First, when we express a game by a linear combination of the basis, the coefficients related to singletons coincide with the Shapley value. Second, the basis induces the null space of the Shapley value.     

Characterizations of a game theoretical cost allocation method

In the 1930's the Tennessee Valley Authority developed several methods to allocate the costs of multipurpose water projects. One of these methods is the alternate cost avoided method. This paper provides two characterizations of the alternate cost avoided method, one on a class of cost games with a fixed player set, the other on a class of cost games with a variable player set using a reduced game property.The author is indebted to P. Borm, T. Driessen, Y. Funaki, S. Tijs and J. Zarzuelo for helpful discussions and useful suggestions.     

A unifying model for matrix-based pairing situations

We present a unifying framework for transferable utility coalitional games that are derived from a non-negative matrix in which every entry represents the value obtained by combining the corresponding row and column. We assume that every row and every column is associated with a player, and that every player is associated with at most one row and at most one column. The instances arising from this framework are called pairing games, and they encompass assignment games and permutation games as two polar cases. We show that the core of a pairing game is always non-empty by proving that the set of pairing games coincides with the set of permutation games. Then we exploit the wide range of situations comprised in our framework to investigate the relationship between pairing games that have different player sets, but are defined by the same underlying matrix. We show that the core and the set of extreme core allocations are immune to the merging of a row player with a column player. Moreover, the core is also immune to the reverse manipulation, i.e., to the splitting of a player into a row player and a column player. Other common solution concepts fail to be either merging-proof or splitting-proof in general.     

Games with Unknown Past

We define a new type of two player game occurring on a tree. The tree may have no root and may have arbitrary degrees of nodes. These games extend the class of games considered by Gurevich-Harrington in [5]. We prove that in the game one of the players has a winning strategy which depends on finite bounded information about the past part of a play and on future of each play that is isomorphism types of tree nodes. This result extends further the Gurevich-Harrington determinacy theorem from [5].     

NEGOTIATING OVER EXTERNALITIES

We present a simple model in which two perfectly informed, risk neutral agents will not negotiate an efficient agreement to lessen the effects of an externality and for which the outcome of negotiation depends on the legal assignment of property rights. The model permits agents to pre-commit themselves to refuse to negotiate particular agenda issues. The result is obtained because we prove that one player is always made strictly worse off from the addition of side-payments to a bargaining game. Along the way, we devise a supporting hyperplane for the n-person Nash bargaining game solution. We also display a simple game which establishes that our main result holds true—for at least some games—for an array of alternative bargaining game solutions such as that of Raiffa, Kalai, and Smorodinski.     

Associated consistency and values for TU games

In the framework of the solution theory for cooperative transferable utility games, Hamiache axiomatized the well-known Shapley value as the unique one-point solution verifying the inessential game property, continuity, and associated consistency. The purpose of this paper is to extend Hamiache’s axiomatization to the class of efficient, symmetric, and linear values, of which the Shapley value is the most important representative. For this enlarged class of values, explicit relationships to the Shapley value are exploited in order to axiomatize such values with reference to a slightly adapted inessential game property, continuity, and a similar associated consistency. The latter axiom requires that the solutions of the initial game and its associated game (with the same player set, but a different characteristic function) coincide.     

Axiomatic characterizations under players nullification

Many axiomatic characterizations of values for cooperative games invoke axioms which evaluate the consequences of removing an arbitrary player. Balanced contributions (Myerson, 1980) and balanced cycle contributions (Kamijo and Kongo, 2010) are two well-known examples of such axioms. We revisit these characterizations by nullifying a player instead of deleting her/him from a game. The nullification (Béal et al., 2014a) of a player is obtained by transforming a game into a new one in which this player is a null player, i.e. the worth of the coalitions containing this player is now identical to that of the same coalition without this player. The degree with which our results are close to the original results in the literature is connected to the fact that the targeted value satisfies the null player out axiom (Derks and Haller, 1999). We also revisit the potential approach (Hart and Mas-Colell, 1989) similarly.     

Sequentially compatible payoffs and the core in TU-games

In the context of cooperative TU-games, we introduce a recursive procedure to distribute the surplus of cooperation when there is an exogenous ordering among the set of players N. In each step of the process, using a given notion of reduced games, an upper and a lower bound for the payoff to the player at issue are required. Sequentially compatible payoffs are defined as those allocation vectors that meet these recursive bounds. For a family of reduction operations, the behavior of this new solution concept is analyzed. For any ordering of N, the core of the game turns out to be the set of sequentially compatible payoffs when the Davis–Maschler reduced games are used. Finally, we study which reduction operations give an advantage to the first player in the ordering.     

The complexity of node blocking for dags

We consider the following modification of annihilation games called node blocking. Given a directed graph, each vertex can be occupied by at most one token. There are two types of tokens, each player can move only tokens of his type. The players alternate their moves and the current player i selects one token of type i and moves the token along a directed edge to an unoccupied vertex. If a player cannot make a move then he loses. We consider the problem of determining the complexity of the game: given an arbitrary configuration of tokens in a planar directed acyclic graph (dag), does the current player have a winning strategy? We prove that the problem is PSPACE-complete.     

On equilibria in finite games

We are concerned with Nash equilibrium points forn-person games. It is proved that, given any real algebraic numberα, there exists a 3-person game with rational data which has a unique equilibrium point andα is the equilibrium payoff for some player. We also present a method which allows us to reduce an arbitraryn-person game to a 3-person one, so that a number of questions about generaln-person games can be reduced to consideration of the special 3-person case. Finally, a completely mixed game, where the equilibrium set is a manifold of dimension one, is constructed.