Voting and assignment are two of the most fundamental settings in social choice theory. For both settings, random serial dictatorship (RSD) is a well-known rule that satisfies anonymity, ex post efficiency, and strategyproofness. Recently, it was shown that computing the resulting probabilities...

The allocation of students to courses is a wide-spread and repeated task in higher education, often accomplished by a simple first-come first-served (FCFS) procedure. FCFS is neither stable nor strategy-proof, however. The Nobel Prize in Economic Sciences was awarded to Al Roth and Lloyd Shapley...

Condorcet's paradox is one of the most prominent results in social choice theory. It says that there may not exist any alternative that a net majority prefers over every other alternative. When outcomes need not be deterministic alternatives, we show that a similar paradox still exists even if...

The Double Majority rule in the Treaty is claimed to be simpler, more transparent and more democratic than the existing rule. We examine these questions against the democratic ideal that the votes of all citizens in whatever member country should be of equal value using voting power analysis...

Weighted voting games are ubiquitous mathematical models which are used in economics, political science, neuroscience, threshold logic, reliability theory and distributed systems. They model situations where agents with variable voting weight vote in favour of or against a decision. A coalition...

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 a well-known generalization of random dictatorship that...

A minimal requirement on allocative efficiency in the social sciences is Pareto optimality. In this paper, we identify a close structural connection between Pareto optimality and perfection that has various algorithmic consequences for coalition formation. Based on this insight, we formulate the...

In various models of matching markets, substitutable preferences constitute the largest domain for which stable matchings are guaranteed to exist. Recently, Hatfield et al. (2012) have proposed an efficient algorithm to test substitutability of strict preferences. In this note we show how the...