Equivalence and axiomatization of solutions for cooperative games with circular communication structure

We study cooperative games with transferable utility and limited cooperation possibilities. The focus is on communication structures where the set of players forms a circle, so that the possibilities of cooperation are represented by the connected sets of nodes of an undirected circular graph. Single-valued solutions are considered which are the average of specific marginal vectors. A marginal vector is deduced from a permutation on the player set and assigns as payoff to a player his marginal contribution when he joins his predecessors in the permutation. We compare the collection of all marginal vectors that are deduced from the permutations in which every player is connected to his immediate predecessor with the one deduced from the permutations in which every player is connected to at least one of his predecessors. The average of the first collection yields the average tree solution and the average of the second one is the Shapley value for augmenting systems. Although the two collections of marginal vectors are different and the second collection contains the first one, it turns out that both solutions coincide on the class of circular graph games. Further, an axiomatization of the solution is given using efficiency, linearity, some restricted dummy property, and some kind of symmetry

Monge extensions of cooperation and communication structures

Cooperation structures without any {\it a priori} assumptions on the combinatorial structure of feasible coalitions are studied and a general theory for mar\-ginal values, cores and convexity is established. The theory is based on the notion of a Monge extension of a general characteristic function, which is equivalent to the Lovász extension in the special situation of a classical cooperative game. It is shown that convexity of a cooperation structure is tantamount to the equality of the associated core and Weber set. Extending Myerson's graph model for game theoretic communication, general communication structures are introduced and it is shown that a notion of supermodularity exists for this class that characterizes convexity and properly extends Shapley's convexity model for classical cooperative games.

Shapley Meets Shapley

This paper concerns the analysis of the Shapley value in matching games. Matching games constitute a fundamental class of cooperative games which help understand and model auctions and assignments. In a matching game, the value of a coalition of vertices is the weight of the maximum size matching in the subgraph induced by the coalition. The Shapley value is one of the most important solution concepts in cooperative game theory. After establishing some general insights, we show that the Shapley value of matching games can be computed in polynomial time for some special cases: graphs with maximum degree two, and graphs that have a small modular decomposition into cliques or cocliques (complete k-partite graphs are a notable special case of this). The latter result extends to various other well-known classes of graph-based cooperative games. We continue by showing that computing the Shapley value of unweighted matching games is #P-complete in general. Finally, a fully polynomial-time randomized approximation scheme (FPRAS) is presented. This FPRAS can be considered the best positive result conceivable, in view of the #P-completeness result.Comment: 17 page

Solution Concepts for Cooperative Games with Circular Communication Structure

We study transferable utility games with limited cooperation between the agents. The focus is on communication structures where the set of agents forms a circle, so that the possibilities of cooperation are represented by the connected sets of nodes of an undirected circular graph. Agents are able to cooperate in a coalition only if they can form a network in the graph. A single-valued solution which averages marginal contributions of each player is considered. We restrict the set of permutations, which induce marginal contributions to be averaged, to the ones in which every agent is connected to the agent that precedes this agent in the permutation. Staring at a given agent, there are two permutations which satisfy this restriction, one going clockwise and one going anticlockwise along the circle. For each such permutation a marginal vector is determined that gives every player his marginal contribution when joining the preceding agents. It turns out that the average of these marginal vectors coincides with the average tree solution. We also show that the same solution is obtained if we allow an agent to join if this agent is connected to some of the agents who is preceding him in the permutation, not necessarily being the last one. In this case the number of permutations and marginal vectors is much larger, because after the initial agent each time two agents can join instead of one, but the average of the corresponding marginal vectors is the same. We further give weak forms of convexity that are necessary and sufficient conditions for the core stability of all those marginal vectors and the solution. An axiomatization of the solution on the class of circular graph games is also given.Cooperative game;graph structure;average tree solution;Myerson value;core stability;convexity

Cooperative games under augmenting systems

The goal of this paper is to develop a theoretical framework inorder to analyze cooperative games inwhic h only certaincoalition s are allowed to form. We will axiomatize the structure of such allowable coalitions using the theory of antimatroids, a notion developed for combinatorially abstract sets. There have been previous models developed to confront the problem of unallowable coalitions. Games restricted by a communication graph were introduced by Myerson and Owen. We introduce a new combinatorial structure called augmenting system, which is a generalization of the antimatroid structure and the system of connected subgraphs of a graph. The main result of the paper is a direct formula of Shapley and Banzhaf values for games under augmenting systems restrictions

Tight Lower Bounds for Greedy Routing in Higher-Dimensional Small-World Grids

We consider Kleinberg's celebrated small world graph model (Kleinberg, 2000), in which a D-dimensional grid {0,...,n-1}^D is augmented with a constant number of additional unidirectional edges leaving each node. These long range edges are determined at random according to a probability distribution (the augmenting distribution), which is the same for each node. Kleinberg suggested using the inverse D-th power distribution, in which node v is the long range contact of node u with a probability proportional to ||u-v||^(-D). He showed that such an augmenting distribution allows to route a message efficiently in the resulting random graph: The greedy algorithm, where in each intermediate node the message travels over a link that brings the message closest to the target w.r.t. the Manhattan distance, finds a path of expected length O(log^2 n) between any two nodes. In this paper we prove that greedy routing does not perform asymptotically better for any uniform and isotropic augmenting distribution, i.e., the probability that node u has a particular long range contact v is independent of the labels of u and v and only a function of ||u-v||. In order to obtain the result, we introduce a novel proof technique: We define a budget game, in which a token travels over a game board, while the player manages a "probability budget". In each round, the player bets part of her remaining probability budget on step sizes. A step size is chosen at random according to a probability distribution of the player's bet. The token then makes progress as determined by the chosen step size, while some of the player's bet is removed from her probability budget. We prove a tight lower bound for such a budget game, and then obtain a lower bound for greedy routing in the D-dimensional grid by a reduction