Computational social choice
Computational social choice[1] is a field at the intersection of social choice theory and (theoretical) computer science (and the study of multi-agent systems). It analyzes problems arising from the aggregation of preferences of a group of agents from a computational perspective. In particular, computational social choice is concerned with the efficient computation of outcomes of voting rules, with the computational complexity of various forms of manipulation, and issues arising from the problem of representing and eliciting preferences in combinatorial settings.
Winner determination
The usefulness of a particular voting system can be severely limited if it takes a very long time to calculate the winner of an election. Therefore it is important to design fast algorithms that can evaluate a voting rule when given ballots as input. As is common in computational complexity, an algorithm is thought to be efficient if it takes polynomial time. Many popular voting systems can be evaluated in polynomial time in a straightforward way (through counting), such as the Borda count, approval voting, or the plurality rule. For rules such as the Schulze method[2] or ranked pairs,[3] more sophisticated algorithms can be used to show polynomial runtime. As first pointed in an influential article in 1989,[4] certain voting systems are computationally difficult to evaluate. In particular, winner determination for the Kemeny-Young method,[4][5] Dodgson's method,[4][6] and Young's method[7] are all NP-hard problems. This has led to the development of approximation algorithms[8][9] and fixed-parameter tractable algorithms.[10]
Hardness of manipulation
By the Gibbard-Satterthwaite theorem, all non-trivial voting rules can be manipulated in the sense that voters can sometimes achieve a better outcome by misrepresenting their preferences, that is, they submit a non-truthful ballot to the voting system. Much effort in social choice theory has been invested in finding ways to circumvent this result. One such possibility was proposed by Bartholdi, Tovey, and Trick in 1989[11] and is based on computational complexity theory. They considered a voting rule called second-order Copeland rule (which can be evaluated in polynomial time), and proved that it is NP-complete for a voter to decide, given knowledge of how everyone else has voted, whether it is possible to manipulate in such a way as to make some favored candidate the winner. The same property holds for single transferable vote.[12]
These results show that (assuming the widely-believed hypothesis that P ≠ NP) there are instances where polynomial time is not enough to establish whether a beneficial manipulation is possible. In this sense, the voting rules that come with an NP-hard manipulation problem are "resistant" to manipulation. One should note that these results only concern the worst-case: it might well be possible that a manipulation problem is usually easy to solve, and only requires superpolynomial time on very unusual inputs.[13]
Other topics
- Tournament solutions. A tournament solution is a rule that assigns to every tournament a set of winners. Since a preference profile induces a tournament through its majority relation, every tournament solution can also be seen as a voting rule which only uses information about the outcomes of pairwise majority contests.[14] Many tournament solutions have been proposed,[15] and computational social choice has studied the complexity of the associated winner determination problems.[1]
- Preference restrictions. Restricted preference domains, such as single-peaked[16] or single-crossing[17] preferences, are an important area of study in social choice theory, since preferences from these domains avoid the Condorcet paradox[18][19] and thus can circumvent impossibility results like Arrow's and the Gibbard-Satterthwaite theorem. From a computational perspective, such domain restrictions are useful to speed up winner determination problems,[20] both computationally hard single-winner[21] and multi-winner rules[22][23] can be computed in polynomial time when preferences are structured appropriately. On the other hand, manipulation problem also tend to be easy on these domains,[21][24] so complexity shields against manipulation are less effective. Another computational problem associated with preference restrictions is that of recognizing when a given preference profile belongs to some restricted domain. This task is polynomial time solvable in many cases, including for single-peaked[25][26] and single-crossing[25] preferences, but can be hard for more general classes.[27]
- Multiwinner elections. While most traditional voting rules focus on selecting a single winner, many situations require selecting multiple winners. This is the case when a fixed-size parliament or a committee is to be elected, though multiwinner voting rules can also be used to select a set of recommendations or facilities or a shared bundle of items. Work in computational social choice has focussed on defining such voting rules,[28] understanding their properties,[29] and studying the complexity of the associated winner determination problems.[30][31][32]
See also
References
- 1 2 Brandt, Felix; Conitzer, Vincent; Endriss, Ulle; Lang, Jérôme; Procaccia, Ariel D. (2016-04-25). Handbook of Computational Social Choice. Cambridge University Press. ISBN 9781107060432.
- ↑ Schulze, Markus (2010-07-11). "A new monotonic, clone-independent, reversal symmetric, and condorcet-consistent single-winner election method". Social Choice and Welfare. 36 (2): 267–303. doi:10.1007/s00355-010-0475-4. ISSN 0176-1714.
- ↑ Brill, Markus; Fischer, Felix (2012-01-01). "The Price of Neutrality for the Ranked Pairs Method". Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence. AAAI'12. Toronto, Ontario, Canada: AAAI Press: 1299–1305.
- 1 2 3 Bartholdi III, J.; Tovey, C. A.; Trick, M. A. (1989-04-01). "Voting schemes for which it can be difficult to tell who won the election". Social Choice and Welfare. 6 (2): 157–165. doi:10.1007/BF00303169. ISSN 0176-1714.
- ↑ Hemaspaandra, Edith; Spakowski, Holger; Vogel, Jörg (2005-12-16). "The complexity of Kemeny elections". Theoretical Computer Science. 349 (3): 382–391. doi:10.1016/j.tcs.2005.08.031.
- ↑ Hemaspaandra, Edith; Hemaspaandra, Lane A.; Rothe, Jörg (1997-11-01). "Exact Analysis of Dodgson Elections: Lewis Carroll's 1876 Voting System is Complete for Parallel Access to NP". J. ACM. 44 (6): 806–825. doi:10.1145/268999.269002. ISSN 0004-5411.
- ↑ Rothe, Jörg; Spakowski, Holger; Vogel, Jörg (2003-06-06). "Exact Complexity of the Winner Problem for Young Elections". Theory of Computing Systems. 36 (4): 375–386. doi:10.1007/s00224-002-1093-z. ISSN 1432-4350.
- ↑ Caragiannis, Ioannis; Covey, Jason A.; Feldman, Michal; Homan, Christopher M.; Kaklamanis, Christos; Karanikolas, Nikos; Procaccia, Ariel D.; Rosenschein, Jeffrey S. (2012-08-01). "On the approximability of Dodgson and Young elections". Artificial Intelligence. 187: 31–51. doi:10.1016/j.artint.2012.04.004.
- ↑ Ailon, Nir; Charikar, Moses; Newman, Alantha (2008-11-01). "Aggregating Inconsistent Information: Ranking and Clustering". J. ACM. 55 (5): 23:1–23:27. doi:10.1145/1411509.1411513. ISSN 0004-5411.
- ↑ Betzler, Nadja; Fellows, Michael R.; Guo, Jiong; Niedermeier, Rolf; Rosamond, Frances A. (2008-06-23). Fleischer, Rudolf; Xu, Jinhui, eds. Fixed-Parameter Algorithms for Kemeny Scores. Lecture Notes in Computer Science. Springer Berlin Heidelberg. pp. 60–71. doi:10.1007/978-3-540-68880-8_8. ISBN 9783540688655.
- ↑ Bartholdi, J. J.; Tovey, C. A.; Trick, M. A. "The computational difficulty of manipulating an election". Social Choice and Welfare. 6 (3): 227–241. doi:10.1007/BF00295861. ISSN 0176-1714.
- ↑ Bartholdi, John J.; Orlin, James B. "Single transferable vote resists strategic voting". Social Choice and Welfare. 8 (4): 341–354. doi:10.1007/BF00183045. ISSN 0176-1714.
- ↑ Faliszewski, Piotr; Procaccia, Ariel D. (2010-09-23). "AI's War on Manipulation: Are We Winning?". AI Magazine. 31 (4): 53–64. doi:10.1609/aimag.v31i4.2314. ISSN 0738-4602.
- ↑ Fishburn, P. (1977-11-01). "Condorcet Social Choice Functions". SIAM Journal on Applied Mathematics. 33 (3): 469–489. doi:10.1137/0133030. ISSN 0036-1399.
- ↑ Moon, John W. (1968-01-01). Topics on tournaments. Holt, Rinehart and Winston.
- ↑ Black, Duncan (1948-01-01). "On the Rationale of Group Decision-making". Journal of Political Economy. 56 (1): 23–34. JSTOR 1825026.
- ↑ Rothstein, P. (1990-12-01). "Order restricted preferences and majority rule". Social Choice and Welfare. 7 (4): 331–342. doi:10.1007/BF01376281. ISSN 0176-1714.
- ↑ Arrow, Kenneth J. (2012-06-26). Social Choice and Individual Values. Yale University Press. ISBN 0300186983.
- ↑ Sen, Amartya; Pattanaik, Prasanta K (1969-08-01). "Necessary and sufficient conditions for rational choice under majority decision". Journal of Economic Theory. 1 (2): 178–202. doi:10.1016/0022-0531(69)90020-9.
- ↑ Elkind, Edith; Lackner, Martin; Peters, Dominik (2016-07-01). "Preference Restrictions in Computational Social Choice: Recent Progress" (PDF). Proceedings of the 25th International Conference on Artificial Intelligence. IJCAI'16. New York: AAAI Press: 4062–4065.
- 1 2 Brandt, Felix; Brill, Markus; Hemaspaandra, Edith; Hemaspaandra, Lane (2015-01-01). "Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates". Journal of Artificial Intelligence Research. 53. doi:10.1613/jair.4647.
- ↑ N., Betzler,; A., Slinko,; J., Uhlmann, (2013-01-01). "On the Computation of Fully Proportional Representation". Journal of Artificial Intelligence Research. 47.
- ↑ Skowron, Piotr; Yu, Lan; Faliszewski, Piotr; Elkind, Edith (2015-03-02). "The complexity of fully proportional representation for single-crossing electorates". Theoretical Computer Science. 569: 43–57. doi:10.1016/j.tcs.2014.12.012.
- ↑ Faliszewski, Piotr; Hemaspaandra, Edith; Hemaspaandra, Lane A.; Rothe, Jörg (2011-02-01). "The shield that never was: Societies with single-peaked preferences are more open to manipulation and control". Information and Computation. 209 (2): 89–107. doi:10.1016/j.ic.2010.09.001.
- 1 2 Doignon, J. P.; Falmagne, J. C. (1994-03-01). "A Polynomial Time Algorithm for Unidimensional Unfolding Representations". Journal of Algorithms. 16 (2): 218–233. doi:10.1006/jagm.1994.1010.
- ↑ Escoffier, Bruno; Lang, Jérôme; Öztürk, Meltem (2008-01-01). "Single-peaked Consistency and Its Complexity". Proceedings of the 2008 Conference on ECAI 2008: 18th European Conference on Artificial Intelligence. Amsterdam, The Netherlands, The Netherlands: IOS Press: 366–370. ISBN 9781586038915.
- ↑ Peters, Dominik (2016-02-25). "Recognising Multidimensional Euclidean Preferences". arXiv:1602.08109 [cs].
- ↑ Skowron, Piotr; Faliszewski, Piotr; Lang, Jerome (2015-01-01). "Finding a Collective Set of Items: From Proportional Multirepresentation to Group Recommendation". Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI'15. Austin, Texas: AAAI Press: 2131–2137. ISBN 0262511290.
- ↑ Elkind, Edith; Faliszewski, Piotr; Skowron, Piotr; Slinko, Arkadii (2014-01-01). "Properties of Multiwinner Voting Rules". Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems. AAMAS '14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems: 53–60. ISBN 9781450327381.
- ↑ Procaccia, Ariel D.; Rosenschein, Jeffrey S.; Zohar, Aviv (2007-04-19). "On the complexity of achieving proportional representation". Social Choice and Welfare. 30 (3): 353–362. doi:10.1007/s00355-007-0235-2. ISSN 0176-1714.
- ↑ Lu, Tyler; Boutilier, Craig (2011-01-01). "Budgeted Social Choice: From Consensus to Personalized Decision Making". Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence - Volume Volume One. IJCAI'11. Barcelona, Catalonia, Spain: AAAI Press: 280–286. doi:10.5591/978-1-57735-516-8/IJCAI11-057. ISBN 9781577355137.
- ↑ Skowron, Piotr; Faliszewski, Piotr; Slinko, Arkadii (2015-05-01). "Achieving fully proportional representation: Approximability results". Artificial Intelligence. 222: 67–103. doi:10.1016/j.artint.2015.01.003.
External links
- The COMSOC website, offering a collection of materials related to computational social choice, such as academic workshops, PhD theses, and a mailing list.