Control of Condorcet voting: Complexity and a Relation-Algebraic approach

Control of Condorcet voting: Complexity and a Relation-Algebraic approach

0.00 Avg rating0 Votes
Article ID: iaor201527301
Volume: 246
Issue: 2
Start Page Number: 505
End Page Number: 516
Publication Date: Oct 2015
Journal: European Journal of Operational Research
Authors: ,
Keywords: simulation
Abstract:

We study the constructive variant of the control problem for Condorcet voting, where control is done by deleting voters. We prove that this problem remains NP‐hard if instead of Condorcet winners the alternatives in the uncovered set win. Furthermore, we present a relation‐algebraic model of Condorcet voting and relation‐algebraic specifications of the dominance relation and the solutions of the control problem. All our relation‐algebraic specifications immediately can be translated into the programming language of the OBDD‐based computer system RelView. Our approach is very flexible and especially appropriate for prototyping and experimentation, and as such very instructive for educational purposes. It can easily be applied to other voting rules and control problems.

Reviews

Required fields are marked *. Your email address will not be published.