Skip to main content
Log in

On the Complexity of Predicting Election Outcomes and Estimating Their Robustness

  • Original Research
  • Published:
SN Computer Science Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3

Similar content being viewed by others

Data availability

No data was used for the research described in the article.

References

  1. 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.

  2. 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.

  3. 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 .

  4. 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.

  5. 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.

  6. Cohen W, Schapire R, Singer Y. Learning to Order Things. In: Advances in Neural Information Processing Systems, The MIT Press; 1997. p. 451–457.

  7. 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.

  8. 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).

    Chapter  Google Scholar 

  9. Walsh T. Uncertainty in preference elicitation and aggregation. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI Press; 2007. p. 3–8.

  10. 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.

    Article  MATH  Google Scholar 

  11. 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.

    Article  MathSciNet  MATH  Google Scholar 

  12. 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.

  13. Brightwell G, Winkler P. Counting linear extensions. Order. 1991;8(3):225–42.

    Article  MathSciNet  MATH  Google Scholar 

  14. Mallows C. Non-null ranking models. Biometrika. 1957;44:114–30.

    Article  MathSciNet  MATH  Google Scholar 

  15. Lu T, Boutilier C. Effective sampling and learning for Mallows models with pairwise-preference data. J Mach Learn Res. 2014;15(1):3783–829.

    MathSciNet  MATH  Google Scholar 

  16. Tokaji D. The paperless chase: electronic voting and democratic values. Fordham Law Rev. 2004;73:1711.

    Google Scholar 

  17. Hazon N, Aumann Y, Kraus S, Wooldridge M. On the evaluation of election outcomes under uncertainty. Artif Intell. 2012;189:1–18.

    Article  MathSciNet  MATH  Google Scholar 

  18. Arora S, Barak B. Computational complexity: a modern approach. Cambridge: Cambridge University Press; 2009.

    Book  MATH  Google Scholar 

  19. Papadimitriou C. Computational Complexity. Boston: Addison-Wesley; 1994.

    MATH  Google Scholar 

  20. Valiant L. The complexity of computing the permanent. Theor Comput Sci. 1979;8(2):189–201.

    Article  MathSciNet  MATH  Google Scholar 

  21. Toda S. PP is as hard as the polynomial-time hierarchy. SIAM J Comput. 1991;20(5):865–77.

    Article  MathSciNet  MATH  Google Scholar 

  22. Doignon J, Pekeč A, Regenwetter M. The repeated insertion model for rankings: missing link between two subset choice models. Psychometrika. 2004;69:33–54.

    Article  MathSciNet  MATH  Google Scholar 

  23. Kendall MG. Rank Correlation Methods. 3rd ed. London: Theory & Applications of Rank Order-Statistics. C. Griffin; 1962.

    Google Scholar 

  24. 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.

  25. 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.

  26. Awasthi P, Blum A, Sheffet O, Vijayaraghavan A. Learning Mixtures of Ranking Models. In: Advances in Neural Information Processing Systems, 2014. p. 2609–2617.

  27. Hunt H, Marathe M, Radhakrishnan V, Stearns R. The complexity of planar counting problems. SIAM J Comput. 1998;27(4):1142–67.

    Article  MathSciNet  MATH  Google Scholar 

  28. Dorn B, Schlotter I. Multivariate complexity analysis of Swap Bribery. Algorithmica. 2012;64(1):126–51.

    Article  MathSciNet  MATH  Google Scholar 

  29. Dagum P, Luby M. Approximating the permanent of graphs with large factors. Theor Comput Sci. 1992;102(2):283–305.

    Article  MathSciNet  MATH  Google Scholar 

  30. 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.

    MATH  Google Scholar 

  31. Cole R, Hopcroft J. On edge coloring bipartite graphs. SIAM J Comput. 1982;11(3):540–6.

    Article  MathSciNet  MATH  Google Scholar 

  32. Kwek S, Mehlhorn K. Optimal search for rationals. Inform Process Lett. 2003;86(1):23–6.

    Article  MathSciNet  MATH  Google Scholar 

  33. 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.

  34. Conitzer V, Sandholm T, Lang J. When are elections with few candidates hard to manipulate? J ACM (JACM). 2007;54(3):14 (ACM).

    Article  MathSciNet  MATH  Google Scholar 

  35. 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.

  36. 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.

  37. 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.

  38. 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.

  39. 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

  40. Caragiannis I, Procaccia A, Shah N. When do noisy votes reveal the truth? ACM Trans Econ Comput. 2016;4(3):15.

    Article  MathSciNet  Google Scholar 

  41. 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.

  42. Fazzinga B, Flesca S, Parisi F. On the complexity of probabilistic abstract argumentation frameworks. ACM Trans Comput Logic (TOCL). 2015;16(3):1–39.

    Article  MathSciNet  MATH  Google Scholar 

  43. 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.

    Article  MathSciNet  MATH  Google Scholar 

  44. 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.

    Article  MathSciNet  MATH  Google Scholar 

  45. 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.

    Article  MathSciNet  MATH  Google Scholar 

  46. 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.

  47. Flum J, Grohe M. The parameterized complexity of counting problems. SIAM J Comput. 2004;33(4):892–922.

    Article  MathSciNet  MATH  Google Scholar 

  48. 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.

Download references

Funding

This work is supported by the DFG-grant BA6270/1-1.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Dorothea Baumeister.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s42979-023-01725-0

Keywords

Navigation