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: | Berghammer Rudolf, Schnoor Henning |
Keywords: | simulation |
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