The Cost of Stability in Coalitional Games

A key question in cooperative game theory is that of coalitional stability, usually captured by the notion of the \emph{core}--the set of outcomes such that no subgroup of players has an incentive to deviate. However, some coalitional games have empty cores, and any outcome in such a game is unstable. In this paper, we investigate the possibility of stabilizing a coalitional game by using external payments. We consider a scenario where an external party, which is interested in having the players work together, offers a supplemental payment to the grand coalition (or, more generally, a particular coalition structure). This payment is conditional on players not deviating from their coalition(s). The sum of this payment plus the actual gains of the coalition(s) may then be divided among the agents so as to promote stability. We define the \emph{cost of stability (CoS)} as the minimal external payment that stabilizes the game. We provide general bounds on the cost of stability in several classes of games, and explore its algorithmic properties. To develop a better intuition for the concepts we introduce, we provide a detailed algorithmic study of the cost of stability in weighted voting games, a simple but expressive class of games which can model decision-making in political bodies, and cooperation in multiagent settings. Finally, we extend our model and results to games with coalition structures.Comment: 20 pages; will be presented at SAGT'0

Testing Core Membership in Public Goods Economies

This paper develops a recent line of economic theory seeking to understand public goods economies using methods of topological analysis. Our first main result is a very clean characterization of the economy's core (the standard solution concept in public goods). Specifically, we prove that a point is in the core iff it is Pareto efficient, individually rational, and the set of points it dominates is path connected. While this structural theorem has a few interesting implications in economic theory, the main focus of the second part of this paper is on a particular algorithmic application that demonstrates its utility. Since the 1960s, economists have looked for an efficient computational process that decides whether or not a given point is in the core. All known algorithms so far run in exponential time (except in some artificially restricted settings). By heavily exploiting our new structure, we propose a new algorithm for testing core membership whose computational bottleneck is the solution of $O(n)$ convex optimization problems on the utility function governing the economy. It is fairly natural to assume that convex optimization should be feasible, as it is needed even for very basic economic computational tasks such as testing Pareto efficiency. Nevertheless, even without this assumption, our work implies for the first time that core membership can be efficiently tested on (e.g.) utility functions that admit "nice" analytic expressions, or that appropriately defined $\varepsilon$-approximate versions of the problem are tractable (by using modern black-box $\varepsilon$-approximate convex optimization algorithms).Comment: To appear in ICALP 201

Cooperative Games with Overlapping Coalitions

In the usual models of cooperative game theory, the outcome of a coalition formation process is either the grand coalition or a coalition structure that consists of disjoint coalitions. However, in many domains where coalitions are associated with tasks, an agent may be involved in executing more than one task, and thus may distribute his resources among several coalitions. To tackle such scenarios, we introduce a model for cooperative games with overlapping coalitions--or overlapping coalition formation (OCF) games. We then explore the issue of stability in this setting. In particular, we introduce a notion of the core, which generalizes the corresponding notion in the traditional (non-overlapping) scenario. Then, under some quite general conditions, we characterize the elements of the core, and show that any element of the core maximizes the social welfare. We also introduce a concept of balancedness for overlapping coalitional games, and use it to characterize coalition structures that can be extended to elements of the core. Finally, we generalize the notion of convexity to our setting, and show that under some natural assumptions convex games have a non-empty core. Moreover, we introduce two alternative notions of stability in OCF that allow a wider range of deviations, and explore the relationships among the corresponding definitions of the core, as well as the classic (non-overlapping) core and the Aubin core. We illustrate the general properties of the three cores, and also study them from a computational perspective, thus obtaining additional insights into their fundamental structure

Learning Cooperative Games

This paper explores a PAC (probably approximately correct) learning model in cooperative games. Specifically, we are given $m$ random samples of coalitions and their values, taken from some unknown cooperative game; can we predict the values of unseen coalitions? We study the PAC learnability of several well-known classes of cooperative games, such as network flow games, threshold task games, and induced subgraph games. We also establish a novel connection between PAC learnability and core stability: for games that are efficiently learnable, it is possible to find payoff divisions that are likely to be stable using a polynomial number of samples.Comment: accepted to IJCAI 201

Cooperative Games with Bounded Dependency Degree

Cooperative games provide a framework to study cooperation among self-interested agents. They offer a number of solution concepts describing how the outcome of the cooperation should be shared among the players. Unfortunately, computational problems associated with many of these solution concepts tend to be intractable---NP-hard or worse. In this paper, we incorporate complexity measures recently proposed by Feige and Izsak (2013), called dependency degree and supermodular degree, into the complexity analysis of cooperative games. We show that many computational problems for cooperative games become tractable for games whose dependency degree or supermodular degree are bounded. In particular, we prove that simple games admit efficient algorithms for various solution concepts when the supermodular degree is small; further, we show that computing the Shapley value is always in FPT with respect to the dependency degree. Finally, we note that, while determining the dependency among players is computationally hard, there are efficient algorithms for special classes of games.Comment: 10 pages, full version of accepted AAAI-18 pape

Competitive Outcomes and the Inner Core of NTU Market Games

We consider the inner core as a solution concept for cooperative games with non-transferable utility (NTU) and its relationship to competitive equilibria of markets that are induced by an NTU game. We investigate the relationship between certain subsets of the inner core for NTU market games and competitive payoff vectors of markets linked to the NTU market game. This can be considered as the case in between the two extreme cases of Qin (1993). We extend the results of Qin (1993) to a large class of closed subsets of the inner core: Given an NTU market game we construct a market depending on a given closed subset of its inner core. This market represents the game and further has the given set as the set of payoffs of competitive equilibria. It turns out that this market is not determined uniquely and thus we obtain a class of markets with the desired property.Market Games, Competitive Payoffs, Inner Core

Price Taking Equilibrium in Club Economies with Multiple Memberships and Unbounded Club Sizes

This paper develops a model of an economy with clubs where individuals may belong to multiple clubs and where there may be ever increasing returns to club size. Clubs may be large, as large as the total agent set. The main condition required is that sufficient wealth can compensate for memberships in larger and larger clubs. Notions of price taking equilibrium and the core, both with communication costs, are introduced. These notions require that there is a small cost, called a communication cost, of deviating from a given outcome. With some additional standard sorts of assumptions on preferences, we demonstrate that, given communication costs parameterized by ε > 0, for all sufficiently large economies, the core is non-empty and contains states of the economy that are in the core of the replicated economy for all replications (Edgeworth states of the economy). Moreover, for any given economy, every state of the economy that is in the core for all replications of that economy can be supported as a price-taking equilibrium with communication costs. Together these two results imply that, given the communication costs, for all sufficiently large economies there exists Edgeworth states of the economy and every Edgeworth state can be supported as a price-taking equilibrium.Competitive pricing, Clubs, Local public goods, Hedonic coalitions, Edgeworth, Tiebout hypothesis, Core

Stability and fairness in models with a multiple membership

This article studies a model of coalition formation for the joint production (and finance) of public projects, in which agents may belong to multiple coalitions. We show that, if projects are divisible, there always exists a stable (secession-proof) structure, i.e., a structure in which no coalition would reject a proposed arrangement. When projects are in- divisible, stable allocations may fail to exist and, for those cases, we resort to the least core in order to estimate the degree of instability. We also examine the compatibility of stability and fairness on metric environments with indivisible projects. To do so, we explore, among other things, the performance of several well-known solutions (such as the Shapley value, the nucleolus, or the Dutta-Ray value) in these environments.stability, fairness, membership, coalition formation