DeepAI AI Chat
Log In Sign Up

Finding Preference Profiles of Condorcet Dimension k via SAT

by   Christian Geist, et al.
Technische Universität München

Condorcet winning sets are a set-valued generalization of the well-known concept of a Condorcet winner. As supersets of Condorcet winning sets are always Condorcet winning sets themselves, an interesting property of preference profiles is the size of the smallest Condorcet winning set they admit. This smallest size is called the Condorcet dimension of a preference profile. Since little is known about profiles that have a certain Condorcet dimension, we show in this paper how the problem of finding a preference profile that has a given Condorcet dimension can be encoded as a satisfiability problem and solved by a SAT solver. Initial results include a minimal example of a preference profile of Condorcet dimension 3, improving previously known examples both in terms of the number of agents as well as alternatives. Due to the high complexity of such problems it remains open whether a preference profile of Condorcet dimension 4 exists.


page 1

page 2

page 3

page 4


Small One-Dimensional Euclidean Preference Profiles

We characterize one-dimensional Euclidean preference profiles with a sma...

Multidimensional Manhattan Preferences

A preference profile with m alternatives and n voters is d-Manhattan (re...

2-Dimensional Euclidean Preferences

A preference profile with m alternatives and n voters is 2-dimensional E...

Revealed Preference Dimension via Matrix Sign Rank

Given a data-set of consumer behaviour, the Revealed Preference Graph su...

Concordance and the Smallest Covering Set of Preference Orderings

Preference orderings are orderings of a set of items according to the pr...

Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects

We present a method for using standard techniques from satisfiability ch...

The Identifiable Elicitation Complexity of the Mode is Infinite

A property is a real- or vector-valued function on a set of probability ...