Abstract
Control by partition refers to situations where an election chair seeks to influence the outcome of an election by partitioning either the candidates or the voters into two groups, thus creating two first-round subelections that determine who will take part in a final round. The model of partition-of-voters control attacks is remotely related to “gerrymandering” (maliciously resizing election districts). While the complexity of control by partition has been studied thoroughly for many voting systems, there are no such results known for the important veto voting system. We settle the complexity of control by partition for veto in a broad variety of models. In addition, by giving a counterexample we observe that a reduction from the literature (Chen et al. 2015) showing the parameterized complexity of control by adding candidates to plurality elections, parameterized by the number of voters, is technically flawed, and we show how this reduction can be adapted to make it correct.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Bartholdi, J. III, Tovey, C., Trick, M.: The computational difficulty of manipulating an election. Soc. Choice Welf. 6(3), 227–241 (1989)
Bartholdi, J. III, Tovey, C., Trick, M.: How hard is it to control an election? Math. Comput. Model. 16(8/9), 27–40 (1992)
Baumeister, D., Erdélyi, G., Hemaspaandra, E., Hemaspaandra, L., Rothe, J.: Computational aspects of approval voting. In: Laslier, J., Sanver, R. (eds.) Handbook on Approval Voting, chap. 10, pp. 199–251. Springer (2010)
Baumeister, D., Rothe, J.: Taking the final step to a full dichotomy of the possible winner problem in pure scoring rules. Inf. Process. Lett. 112(5), 186–190 (2012)
Baumeister, D., Rothe, J.: Preference aggregation by voting. In: Rothe, J. (ed.) Economics and Computation. An Introduction to Algorithmic Game Theory, Computational Social Choice, and Fair Division, chap. 4, pp. 197–325. Springer (2015)
Betzler, N., Dorn, B.: Towards a dichotomy for the possible winner problem in elections based on scoring rules. J. Comput. Syst. Sci. 76(8), 812–836 (2010)
Betzler, N., Uhlmann, J.: Parameterized complexity of candidate control in elections and related digraph problems. Theor. Comput. Sci. 410(52), 5425–5442 (2009)
Chen, J., Faliszewski, P., Niedermeier, R., Talmon, N.: Elections with few voters: Candidate control can be easy. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence, pp. 2045–2051. AAAI Press (2015)
Conitzer, V., Sandholm, T., Lang, J.: When are elections with few candidates hard to manipulate? Journal of the ACM 54(3), Article 14 (2007)
Downey, R., Fellows, M.: Parameterized Complexity, 2nd edn. Springer-Verlag, Berlin (2013)
Elkind, E., Faliszewski, P., Slinko, A.: Cloning in elections: Finding the possible winners. J. Artif. Intell. Res. 42, 529–573 (2011)
Erdélyi, G., Fellows, M., Rothe, J., Schend, L.: Control complexity in Bucklin and fallback voting: A theoretical analysis. J. Comput. Syst. Sci. 81(4), 632–660 (2015)
Erdélyi, G., Hemaspaandra, E., Hemaspaandra, L.: More natural models of electoral control by partition. In: Proceedings of the 4th International Conference on Algorithmic Decision Theory, pp. 396–413. Springer-Verlag Lecture Notes in Artificial Intelligence #9346 (2015)
Erdélyi, G., Nowak, M., Rothe, J.: Sincere-strategy preference-based approval voting fully resists constructive control and broadly resists destructive control. Math. Log. Q. 55(4), 425–443 (2009)
Faliszewski, P., Hemaspaandra, E., Hemaspaandra, L.: How hard is bribery in elections J. Artif. Intell. Res. 35, 485–532 (2009)
Faliszewski, P., Hemaspaandra, E., Hemaspaandra, L.: Multimode control attacks on elections. J. Artif. Intell. Res. 40, 305–351 (2011)
Faliszewski, P., Hemaspaandra, E., Hemaspaandra, L.: Weighted electoral control. J. Artif. Intell. Res. 52, 507–542 (2015)
Faliszewski, P., Hemaspaandra, E., Hemaspaandra, L., Rothe, J.: Llull and Copeland voting computationally resist bribery and constructive control. J. Artif. Intell. Res. 35, 275–341 (2009)
Faliszewski, P., Rothe, J.: Control and bribery in voting. In: Brandt, F., Conitzer, V., Endriss, U., Lang, J., Procaccia, A. (eds.) Handbook of Computational Social Choice, chap. 7, pp. 146–168. Cambridge University Press (2016)
Garey, M., Johnson, D.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company, Stuttgart (1979)
Hemaspaandra, E., Hemaspaandra, L.: Dichotomy for voting systems. J. Comput. Syst. Sci. 73(1), 73–83 (2007)
Hemaspaandra, E., Hemaspaandra, L., Menton, C.: Search versus decision for election manipulation problems. Tech. Rep. arXiv:1202.6641 [cs.GT], Computing Research Repository, arXiv.org/corr/ (2012)
Hemaspaandra, E., Hemaspaandra, L., Menton, C.: Search versus decision for election manipulation problems. In: Proceedings of the 30th Annual Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 20, pp. 377–388. Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
Hemaspaandra, E., Hemaspaandra, L., Rothe, J.: Anyone but him: The complexity of precluding an alternative. Artif. Intell. 171(5–6), 255–285 (2007)
Hemaspaandra, E., Hemaspaandra, L., Rothe, J.: Hybrid elections broaden complexity-theoretic resistance to control. Math. Log. Q. 55(4), 397–424 (2009)
Hemaspaandra, E., Hemaspaandra, L., Rothe, J.: The complexity of controlling candidate-sequential elections. Theor. Comput. Sci. 678, 14–21 (2017)
Hemaspaandra, E., Hemaspaandra, L., Rothe, J.: The complexity of online voter control in sequential elections. J. Auton. Agents Multi-Agent Syst. 31(5), 1055–1076 (2017)
Hemaspaandra, E., Hemaspaandra, L., Schnoor, H.: A control dichotomy for pure scoring rules. In: Proceedings of the 28th AAAI Conference on Artificial Intelligence, pp. 712–720. AAAI Press (2014)
Hemaspaandra, E., Schnoor, H.: Dichotomy for pure scoring rules under manipulative electoral actions. In: Proceedings of the 22nd European Conference on Artificial Intelligence, pp. 1071–1079. IOS Press (2016)
Konczak, K., Lang, J.: Voting procedures with incomplete preferences. In: Proceedings of the Multidisciplinary IJCAI-05 Workshop on Advances in Preference Handling, pp. 124–129 (2005)
Lin, A.: Solving hard problems in election systems. Ph.D. thesis, Rochester Institute of Technology, Rochester, NY, USA (2012)
Loreggia, A., Narodytska, N., Rossi, F., Venable, B., Walsh, T.: Controlling elections by replacing candidates or votes (extended abstract). In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, pp. 1737–1738. IFAAMAS (2015)
Maushagen, C., Rothe, J.: Complexity of control by partitioning veto and maximin elections and of control by adding candidates to plurality elections. In: Proceedings of the 22nd European Conference on Artificial Intelligence, pp. 277–285. IOS Press (2016)
Maushagen, C., Rothe, J.: Complexity of control by partition of voters and of voter groups in veto and other scoring protocols. In: Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems, pp. 615–623. IFAAMAS (2017)
Menton, C.: Normalized range voting broadly resists control. Theory Comput. Syst. 53(4), 507–531 (2013)
Neveling, N., Rothe, J.: Closing the gap of control complexity in Borda elections: Solving ten open cases. In: Proceedings of the 18th Italian Conference on Theoretical Computer Science. CEUR-WS.org. To appear (2017)
Neveling, N., Rothe, J.: Solving seven open problems of offline and online control in Borda elections. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence, pp. 3029–3035. AAAI Press (2017)
Niedermeier, R.: Invitation to fixed-parameter algorithms. Oxford University Press, Oxford (2006)
Papadimitriou, C.: Computational Complexity, 2nd edn. Addison-Wesley, Boston (1995)
Parkes, D., Xia, L.: A complexity-of-strategic-behavior comparison between Schulze’s rule and ranked pairs. In: Proceedings of the 26th AAAI Conference on Artificial Intelligence, pp. 1429–1435. AAAI Press (2012)
Puppe, C., Tasnádi, A.: Optimal redistricting under geographical constraints: Why “pack and crack” does not work. Econ. Lett. 105(1), 93–96 (2009)
Rothe, J.: Complexity theory and cryptology. An Introduction to Cryptocomplexity. EATCS Texts in Theoretical Computer Science. Springer-Verlag, Berlin (2005)
Russel, N.: Complexity of control of Borda count elections. Master’s thesis, Rochester Institute of Technology (2007)
Walsh, T.: Where are the really hard manipulation problems? The phase transition in manipulating the veto rule. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, pp. 324–329. IJCAI (2009)
Acknowledgements
We thank the AMAI, AAMAS-2017, ECAI-2016, and ISAIM-2016 reviewers for many helpful suggestions. This work has been supported in part by DFG grant RO-1202/15-1.
Author information
Authors and Affiliations
Corresponding author
Additional information
Preliminary versions of this paper have been presented at the 14th International Symposium on Artificial Intelligence and Mathematics (ISAIM 2016) and have appeared in the proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016) [33] and of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017) [34]. This paper combines some of their results, unifies and simplifies their proofs, and adds discussion and examples.
Rights and permissions
About this article
Cite this article
Maushagen, C., Rothe, J. Complexity of control by partitioning veto elections and of control by adding candidates to plurality elections. Ann Math Artif Intell 82, 219–244 (2018). https://doi.org/10.1007/s10472-017-9565-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10472-017-9565-7