Single-Peakedness and Total Unimodularity: New Polynomial-Time Algorithms for Multi-Winner Elections

Abstract

The winner determination problems of many attractive multi-winner voting rules are NP-complete. However, they often admit polynomial-time algorithms when restricting inputs to be single-peaked. Commonly, such algorithms employ dynamic programming along the underlying axis. We introduce a new technique: carefully chosen integer linear programming (IP) formulations for certain voting problems admit an LP relaxation which is totally unimodular if preferences are single-peaked, and which thus admits an integral optimal solution. This technique gives efficient algorithms for finding optimal committees under Proportional Approval Voting (PAV) and the Chamberlin-Courant rule with single-peaked preferences, as well as for certain OWA-based rules. For PAV, this is the first technique able to efficiently find an optimal committee when preferences are single-peaked. An advantage of our approach is that no special-purpose algorithm needs to be used to exploit structure in the input preferences: any standard IP solver will terminate in the first iteration if the input is single-peaked, and will continue to work otherwise.

Cite

Text

Peters. "Single-Peakedness and Total Unimodularity: New Polynomial-Time Algorithms for Multi-Winner Elections." AAAI Conference on Artificial Intelligence, 2018. doi:10.1609/AAAI.V32I1.11460

Markdown

[Peters. "Single-Peakedness and Total Unimodularity: New Polynomial-Time Algorithms for Multi-Winner Elections." AAAI Conference on Artificial Intelligence, 2018.](https://mlanthology.org/aaai/2018/peters2018aaai-single/) doi:10.1609/AAAI.V32I1.11460

BibTeX

@inproceedings{peters2018aaai-single,
  title     = {{Single-Peakedness and Total Unimodularity: New Polynomial-Time Algorithms for Multi-Winner Elections}},
  author    = {Peters, Dominik},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2018},
  pages     = {1169-1176},
  doi       = {10.1609/AAAI.V32I1.11460},
  url       = {https://mlanthology.org/aaai/2018/peters2018aaai-single/}
}