Abstract
When dealing with real-world election data and preferences, it is often realistic to assume that the given data are incomplete or noisy. The reasons for such deficiencies are manifold and range from cost-intensive elicitation to transmission errors and manipulation. Therefore, we study the problem of evaluating elections with incomplete and noisy data and estimating the robustness of certain outcomes from a computational point of view. To cover a wide variety of different scenarios, we consider three different models for the distribution of preferences modeling the deficiencies: the uniform distribution over the completions of incomplete preferences inspired by the possible winner problem, the dispersion around complete preferences according to the Mallows noise model, and a general model in which the distribution over the possible preferences for each voter is explicitly given. We consider both approval vector preferences and linear order preferences and show that the computational complexity of the problems can vary remarkably with respect to the voting rule, the distribution model, and the parameterization. We study the problems both in terms of their weighted counting complexity and their decision complexity, and discuss the effects of the winner model and tie-breaking on the results.
Similar content being viewed by others
Data availability
No data was used for the research described in the article.
References
Baumeister D, Hogrebe T. Complexity of Election Evaluation and Probabilistic Robustness: Extended Abstract. In: Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020. p. 1771–1773. IFAAMAS.
Baumeister D, Hogrebe T. On the Complexity of Predicting Election Outcomes and Estimating Their Robustness. In: Proceedings of the 18th European Conference on Multiagent Systems, Springer; 2021. p. 228–244.
Ephrati E, Rosenschein J. Multi-Agent Planning as a Dynamic Search for Social Consensus. In: Proceedings of the 13th International Joint Conference on Artificial Intelligence, Morgan Kaufmann; 1993. p. 423–429 .
Dwork C, Kumar R, Naor M, Sivakumar D. Rank Aggregation Methods for the Web. In: Proceedings of the 10th International Conference on World Wide Web, 2001. ACM p. 613–622.
Ghosh S, Mundhe M, Hernandez K, Sen S. Voting for movies: the anatomy of a recommender system. In: Proceedings of the 3rd Annual Conference on Autonomous Agents, 1999. ACM p. 434–435.
Cohen W, Schapire R, Singer Y. Learning to Order Things. In: Advances in Neural Information Processing Systems, The MIT Press; 1997. p. 451–457.
Conitzer V, Sandholm T. Complexity of Manipulating Elections with Few Candidates. In: Proceedings of the 18th National Conference on Artificial Intelligence, AAAI Press; 2002. p. 314–319.
Boutilier C, Rosenschein J. Incomplete information and communication in voting. In: Brandt F, Conitzer V, Endriss U, Lang J, Procaccia A, editors. Handbook of computational social choice. Cambridge: Cambridge University Press; 2016. p. 223–57 (Chap. 10).
Walsh T. Uncertainty in preference elicitation and aggregation. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI Press; 2007. p. 3–8.
Betzler N, Dorn B. Towards a Dichotomy of Finding Possible Winners in Elections Based on Scoring Rules. J Comput Syst Sci. 2010;76(8):812–36.
Baumeister D, Rothe J. Taking the final step to a full dichotomy of the possible winner problem in pure scoring rules. Inform Process Lett. 2012;112(5):186–90.
Bachrach Y, Betzler N, Faliszewski P. Probabilistic possible winner determination. In: Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI Press; 2010. p. 697–702.
Brightwell G, Winkler P. Counting linear extensions. Order. 1991;8(3):225–42.
Mallows C. Non-null ranking models. Biometrika. 1957;44:114–30.
Lu T, Boutilier C. Effective sampling and learning for Mallows models with pairwise-preference data. J Mach Learn Res. 2014;15(1):3783–829.
Tokaji D. The paperless chase: electronic voting and democratic values. Fordham Law Rev. 2004;73:1711.
Hazon N, Aumann Y, Kraus S, Wooldridge M. On the evaluation of election outcomes under uncertainty. Artif Intell. 2012;189:1–18.
Arora S, Barak B. Computational complexity: a modern approach. Cambridge: Cambridge University Press; 2009.
Papadimitriou C. Computational Complexity. Boston: Addison-Wesley; 1994.
Valiant L. The complexity of computing the permanent. Theor Comput Sci. 1979;8(2):189–201.
Toda S. PP is as hard as the polynomial-time hierarchy. SIAM J Comput. 1991;20(5):865–77.
Doignon J, Pekeč A, Regenwetter M. The repeated insertion model for rankings: missing link between two subset choice models. Psychometrika. 2004;69:33–54.
Kendall MG. Rank Correlation Methods. 3rd ed. London: Theory & Applications of Rank Order-Statistics. C. Griffin; 1962.
Baumeister D, Hogrebe T, Rey L. Generalized Distance Bribery. In: Proceedings of the 33rd AAAI Conference on Artificial Intelligence, AAAI Press; 2019. p. 1764–1771.
Kenig B Kimelfeld B. Approximate Inference of Outcomes in Probabilistic Elections. In: Proceedings of the 33rd AAAI Conference on Artificial Intelligence, AAAI Press; vol. 33, 2019. p. 2061–2068.
Awasthi P, Blum A, Sheffet O, Vijayaraghavan A. Learning Mixtures of Ranking Models. In: Advances in Neural Information Processing Systems, 2014. p. 2609–2617.
Hunt H, Marathe M, Radhakrishnan V, Stearns R. The complexity of planar counting problems. SIAM J Comput. 1998;27(4):1142–67.
Dorn B, Schlotter I. Multivariate complexity analysis of Swap Bribery. Algorithmica. 2012;64(1):126–51.
Dagum P, Luby M. Approximating the permanent of graphs with large factors. Theor Comput Sci. 1992;102(2):283–305.
König D. Graphok és alkalmazásuk a determinánsok és a halmazok elméletére. Mathematikai és Természettudományi Ertesito. 1916;34:104–19.
Cole R, Hopcroft J. On edge coloring bipartite graphs. SIAM J Comput. 1982;11(3):540–6.
Kwek S, Mehlhorn K. Optimal search for rationals. Inform Process Lett. 2003;86(1):23–6.
Lang J. Collective decision making under incomplete knowledge: Possible and necessary solutions. In: 29th International Joint Conference on Artificial Intelligence and 17th Pacific Rim International Conference on Artificial Intelligence, 2020. p. 4885–4891. ijcai.org.
Conitzer V, Sandholm T, Lang J. When are elections with few candidates hard to manipulate? J ACM (JACM). 2007;54(3):14 (ACM).
Wojtas K, Faliszewski P. Possible Winners in Noisy Elections. In: Proceedings of the 26th AAAI Conference on Artificial Intelligence, AAAI Press; 2012. p. 1499–1505.
Imber A, Kimelfeld B. Probabilistic Inference of Winners in Elections by Independent Random Voters. In: Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems, IFAAMAS; 2021. p. 647–655.
Shiryaev D, Yu L, Elkind E. On elections with robust winners. In: Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems, 2013. p. 415–422. IFAAMAS.
Boehmer N, Bredereck R, Faliszewski P, Niedermeier R. Winner robustness via swap-and shift-bribery: Parameterized counting complexity and experiments. In: Proceedings of the 30th International Joint Conference on Artificial Intelligence, 2021. p. 52–58. ijcai.org.
Szufa S, Faliszewski P, Skowron P, Slinko A, Talmon N. Drawing a map of elections in the space of statistical cultures. In: Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020. p. 1341–1349. IFAAMAS
Caragiannis I, Procaccia A, Shah N. When do noisy votes reveal the truth? ACM Trans Econ Comput. 2016;4(3):15.
de Weerdt M, Gerding E, Stein S. Minimising the Rank Aggregation Error. In: Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, 2016. p. 1375–1376. IFAAMAS.
Fazzinga B, Flesca S, Parisi F. On the complexity of probabilistic abstract argumentation frameworks. ACM Trans Comput Logic (TOCL). 2015;16(3):1–39.
Aziz H, Biró P, de Haan R, Rastegari B. Pareto optimal allocation under uncertain preferences: uncertainty models, algorithms, and complexity. Artif Intell. 2019;276:57–78.
Aziz H, Biró P, Gaspers S, de Haan R, Mattei N, Rastegari B. Stable matching with uncertain linear preferences. Algorithmica. 2020;82(5):1410–33.
Mattei N, Goldsmith J, Klapper A, Mundhenk M. On the complexity of bribery and manipulation in tournaments with uncertain information. J Appl Logic. 2015;13(4):557–81.
Baumeister D, Hogrebe T. Complexity of Scheduling and Predicting Round-Robin Tournaments. In: Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems, 2021. p. 178–186. IFAAMAS.
Flum J, Grohe M. The parameterized complexity of counting problems. SIAM J Comput. 2004;33(4):892–922.
Baumeister D, Hogrebe T. On the Average-Case Complexity of Predicting Round-Robin Tournaments (Extended Abstract). In: Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022. p. 1542–1544. IFAAMAS.
Funding
This work is supported by the DFG-grant BA6270/1-1.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of Interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by Davide Grossi, Ariel Rosenfeld and Nimrod Talmon.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Compared to the preliminary versions in AAMAS-2020 and EUMAS-2021 (see Baumeister and Hogrebe [1, 2]), this revision contains additional results, omitted proofs, further explanations, and an extended and updated section on related work.
This article is part of the topical collection “Advances in Multi-Agent Systems Research: EUMAS 2021 Extended Selected Papers” guest edited by Davide Grossi, Ariel Rosenfeld and Nimrod Talmon.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Baumeister, D., Hogrebe, T. On the Complexity of Predicting Election Outcomes and Estimating Their Robustness. SN COMPUT. SCI. 4, 362 (2023). https://doi.org/10.1007/s42979-023-01725-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s42979-023-01725-0