English
Related papers

Related papers: Recognizing Linked Domain in Polynomial Time

200 papers

Serial dictatorship is a simple mechanism for coordinating agents in solving combinatorial optimization problems according to their preferences. The most representative such problem is one-sided matching, in which a set of n agents have…

Computer Science and Game Theory · Computer Science 2024-07-08 Ioannis Caragiannis , Kurt Mehlhorn , Nidhi Rathi

This paper studies a general class of social choice problems in which agents' payoff functions (or types) are privately observable random variables, and monetary transfers are not available. We consider cardinal social choice functions…

Theoretical Economics · Economics 2024-08-20 Kazuya Kikuchi , Yukio Koriyama

We consider a model where a subset of candidates must be selected based on voter preferences, subject to general constraints that specify which subsets are feasible. This model generalizes committee elections with diversity constraints,…

Computer Science and Game Theory · Computer Science 2026-02-10 Piotr Skowron

Social decision schemes (SDSs) map the voters' preferences over multiple alternatives to a probability distribution over these alternatives. In a seminal result, Gibbard (1977) has characterized the set of SDSs that are strategyproof with…

Computer Science and Game Theory · Computer Science 2025-08-25 Patrick Lederer

In many-to-many matching models, substitutable preferences constitute the largest domain for which a pairwise stable matching is guaranteed to exist. In this note, we extend the recently proposed algorithm of Hatfield et al. [3] to test…

Computer Science and Game Theory · Computer Science 2012-01-04 Haris Aziz , Markus Brill , Paul Harrenstein

In the field of Judgment Aggrgation, a domain, that is a subset of a Cartesian power of $\{0,1\}$, is considered to reflect abstract rationality restrictions on vectors of two-valued judgments on a number of issues. We are interested in the…

Computational Complexity · Computer Science 2019-09-04 Josep Díaz , Lefteris Kirousis , Sofia Kokonezi , John Livieratos

Arrow's Impossibility Theorem is a seminal result of Social Choice Theory that demonstrates the impossibility of ranked-choice decision-making processes to jointly satisfy a number of intuitive and seemingly desirable constraints. The…

Theoretical Economics · Economics 2026-04-07 Ori Livson , Mikhail Prokopenko

In some preference aggregation scenarios, voters' preferences are highly structured: e.g., the set of candidates may have one-dimensional structure (so that voters' preferences are single-peaked) or be described by a binary decision tree…

Computer Science and Game Theory · Computer Science 2022-02-02 Sonja Kraiczy , Edith Elkind

We present an adequacy theorem for a concurrent extension of probabilistic GCL. The underlying denotational semantics is based on the so-called mixed powerdomains, which combine non-determinism with probabilistic behaviour. The theorem…

Logic in Computer Science · Computer Science 2025-09-29 Renato Neves

We investigate when non-dictatorial aggregation is possible from an algorithmic perspective, where non-dictatorial aggregation means that the votes cast by the members of a society can be aggregated in such a way that there is no single…

Combinatorics · Mathematics 2021-09-28 Lefteris Kirousis , Phokion G. Kolaitis , John Livieratos

Arrow's theorem implies that a social choice function satisfying Transitivity, the Pareto Principle (Unanimity) and Independence of Irrelevant Alternatives (IIA) must be dictatorial. When non-strict preferences are allowed, a dictatorial…

Combinatorics · Mathematics 2018-07-27 Elchanan Mossel , Omer Tamuz

Maximum likelihood estimation furnishes powerful insights into voting theory, and the design of voting rules. However the MLE can usually be badly corrupted by a single outlying sample. This means that a single voter or a group of colluding…

Data Structures and Algorithms · Computer Science 2022-07-19 Allen Liu , Ankur Moitra

In social choice settings with linear preferences, random dictatorship is known to be the only social decision scheme satisfying strategyproofness and ex post efficiency. When also allowing indifferences, random serial dictatorship (RSD) is…

Computer Science and Game Theory · Computer Science 2015-02-06 Haris Aziz , Felix Brandt , Markus Brill

Actual individual preferences are neither complete (=total) nor antisymmetric in general, so that at least every quasi-order must be an admissible input to a satisfactory choice rule. It is argued that the traditional notion of…

Combinatorics · Mathematics 2007-05-23 Jobst Heitzig

We introduce the notion of a multidimensional hybrid preference domain on a (finite) set of alternatives that is a Cartesian product of finitely many components. We demonstrate that in a model of public goods provision, multidimensional…

Theoretical Economics · Economics 2023-11-17 Shurojit Chatterji , Huaxia Zeng

We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between…

Multiagent Systems · Computer Science 2011-04-29 Nicolas Troquard , Wiebe van der Hoek , Michael Wooldridge

Social decision schemes (SDSs) map the preferences of a group of voters over some set of $m$ alternatives to a probability distribution over the alternatives. A seminal characterization of strategyproof SDSs by Gibbard implies that there…

Theoretical Economics · Economics 2022-01-26 Felix Brandt , Patrick Lederer , René Romen

Standard approaches to probabilistic reasoning require that one possesses an explicit model of the distribution in question. But, the empirical learning of models of probability distributions from partial observations is a problem for which…

Artificial Intelligence · Computer Science 2018-07-02 Brendan Juba

In this paper, we show that when policy-motivated parties can commit to a particular platform during a uni-dimensional electoral contest where valence issues do not arise there must be a positive association between the policies preferred…

Theoretical Economics · Economics 2021-12-07 Francisco Rodríguez , Eduardo Zambrano

We present a proof of Arrow's theorem from social choice theory that uses a fixpoint argument. Specifically, we use Banach's result on the existence of a fixpoint of a contractive map defined on a complete metric space. Conceptually, our…

Theoretical Economics · Economics 2019-07-25 Frank M. V. Feys , Helle Hvid Hansen