Precise Complexity of the Core in Dichotomous and Additive Hedonic Games

Hedonic games provide a general model of coalition formation, in which a set of agents is partitioned into coalitions, with each agent having preferences over which other players are in her coalition. We prove that with additively separable preferences, it is $\Sigma_2^p$-complete to decide whether a core- or strict-core-stable partition exists, extending a result of Woeginger (2013). Our result holds even if valuations are symmetric and non-zero only for a constant number of other agents. We also establish $\Sigma_2^p$-completeness of deciding non-emptiness of the strict core for hedonic games with dichotomous preferences. Such results establish that the core is much less tractable than solution concepts such as individual stability.Comment: ADT-2017, 15 pages in LNCS styl

Strategyproof Mechanisms for Additively Separable Hedonic Games and Fractional Hedonic Games

Additively separable hedonic games and fractional hedonic games have received considerable attention. They are coalition forming games of selfish agents based on their mutual preferences. Most of the work in the literature characterizes the existence and structure of stable outcomes (i.e., partitions in coalitions), assuming that preferences are given. However, there is little discussion on this assumption. In fact, agents receive different utilities if they belong to different partitions, and thus it is natural for them to declare their preferences strategically in order to maximize their benefit. In this paper we consider strategyproof mechanisms for additively separable hedonic games and fractional hedonic games, that is, partitioning methods without payments such that utility maximizing agents have no incentive to lie about their true preferences. We focus on social welfare maximization and provide several lower and upper bounds on the performance achievable by strategyproof mechanisms for general and specific additive functions. In most of the cases we provide tight or asymptotically tight results. All our mechanisms are simple and can be computed in polynomial time. Moreover, all the lower bounds are unconditional, that is, they do not rely on any computational or complexity assumptions

A taxonomy of myopic stability concepts for hedonic games

We present a taxonomy of myopic stability concepts for hedonic games in terms of deviations, and discuss the status of the existence problems of stable coalition structures. In particular, we show that contractual strictly core stable coalition structures always exist, and provide sufficient conditions for the existence of contractually Nash stable and weak individually stable coalition structures on the class of separable games.coalition formation, hedonic games, separability, taxonomy

A Taxonomy of Myopic Stability Concepts for Hedonic Games

We present a taxonomy of myopic stability concepts for hedonic games in terms of deviations, and discuss the status of the existence problems of stable coalition tructures. In particular, we show that contractual strictly core stable coalition tructures always exist, and provide su¢ cient conditions for the existence of con- ractually Nash stable and weak individually stable coalition structures on the class of separable games.Coalition formation, Hedonic games, Separability, Taxonomy

International price discrimination in the European car market: An econometric model of oligopoly behavior with product differentiation

Car Industry;Oligopoly;Product Differentiation;Econometric Models;Price Discrimination

Status-Seeking in Hedonic Games with Heterogeneous Players

We study hedonic games with heterogeneous player types that reflect her nationality, ethnic background, or skill type. Agents' preferences are dictated by status-seeking where status can be either local or global. The two dimensions of status define the two components of a generalized constant elasticity of substitution utility function. In this setting, we characterize the core as a function of the utility's parameter values and show that in all cases the corresponding cores are non-empty. We further discuss the core stable outcomes in terms of their segregating versus integrating properties.Coalitions, Core, Stability, Status-seeking

Testing Stability Properties in Graphical Hedonic Games

In hedonic games, players form coalitions based on individual preferences over the group of players they belong to. Several concepts to describe the stability of coalition structures in a game have been proposed and analyzed. However, prior research focuses on algorithms with time complexity that is at least linear in the input size. In the light of very large games that arise from, e.g., social networks and advertising, we initiate the study of sublinear time property testing algorithms for existence and verification problems under several notions of coalition stability in a model of hedonic games represented by graphs with bounded degree. In graph property testing, one shall decide whether a given input has a property (e.g., a game admits a stable coalition structure) or is far from it, i.e., one has to modify at least an $\epsilon$-fraction of the input (e.g., the game's preferences) to make it have the property. In particular, we consider verification of perfection, individual rationality, Nash stability, (contractual) individual stability, and core stability. Furthermore, we show that while there is always a Nash-stable coalition (which also implies individually stable coalitions), the existence of a perfect coalition can be tested. All our testers have one-sided error and time complexity that is independent of the input size

Novel Hedonic Games and Stability Notions

We present here work on matching problems, namely hedonic games, also known as coalition formation games. We introduce two classes of hedonic games, Super Altruistic Hedonic Games (SAHGs) and Anchored Team Formation Games (ATFGs), and investigate the computational complexity of finding optimal partitions of agents into coalitions, or finding - or determining the existence of - stable coalition structures. We introduce a new stability notion for hedonic games and examine its relation to core and Nash stability for several classes of hedonic games