Abstract
Multiwinner elections have proven to be a fruitful research topic with many real-world applications. We contribute to this line of research by improving the state of the art regarding the computational complexity of computing good committees. More formally, given a set of candidates \(\mathcal{C}\), a set of voters \(\mathcal{V}\)—each ranking the candidates according to their preferences, and an integer k; a multiwinner voting rule identifies a k-sized committee, based on these given voter preferences. In this paper we consider several utilitarian and egailitarian ordered weighted average scoring rules, which are an extensively-researched family of rules (and a subfamily of the family of committee scoring rules). First, we improve the result of Betzler et al. (JAIR 47:475–519, 2013), which gave a \({\mathcal {O}}(n^n)\) algorithm for computing winner under the Chamberlin–Courant rule, where n is the number of voters; to a running time of \({\mathcal {O}}(2^n)\), which is optimal. Furthermore, we study the parameterized complexity of the Pessimist voting rule and describe a few tractable and intractable cases. Apart from such utilitarian voting rules, we extend our study and consider egalitarian median and egalitarian mean (both committee scoring rules), showing some tractable and intractable results, based on nontrivial structural observations.
Similar content being viewed by others
Notes
Indeed, there might be several co-winning committees; we ignore such issues of tie-breaking here as they only clutter the technical presentation.
This can be achieved by adding some new elements in the universe and sets in the family appropriately.
References
Aziz, H., Faliszewski, P., Grofman, B., Slinko, A., Talmon, N.: Egalitarian committee scoring rules. In: Proceedings of IJCAI ’18, pp. 56–62 (2018)
Aziz, H., Gaspers, S., Gudmundsson, J., Mackenzie, S., Mattei, N., Walsh, T.: Computational aspects of multi-winner approval voting. arXiv:1407.3247 (2014)
Betzler, N., Bredereck, R., Chen, J., Niedermeier, R.: Studies in computational aspects of voting. In: The Multivariate Algorithmic Revolution and Beyond, pp. 318–363. Springer (2012)
Betzler, N., Slinko, A., Uhlmann, J.: On the computation of fully proportional representation. JAIR 47, 475–519 (2013)
Bredereck, R., Faliszewski, P., Kaczmarczyk, A., Knop, D., Niedermeier, R.: Parameterized algorithms for finding a collective set of items. In: Proceedings of AAAI ’20, pp. 1838–1845 (2020)
Bredereck, R., Faliszewski, P., Kaczmarczyk, A., Niedermeier, R., Skowron, P., Talmon, N.: Robustness among multiwinner voting rules. In: Proceedings of SAGT ’17, pp. 80–92. Springer (2017)
Chamberlin, J.R., Courant, P.N.: Representative deliberations and representative decisions: proportional representation and the Borda rule. Am. Political Sci. Rev. 77, 718–733 (1983)
Cygan, M., Fomin, F.V., Kowalik, L., Lokshtanov, D., Marx, D., Pilipczuk, M., Pilipczuk, M., Saurabh, S.: Parameterized Algorithms. Springer, Berlin (2015)
Cygan, M., Pilipczuk, M.: Exact and approximate bandwidth. Theor. Comput. Sci. 411(40–42), 3701–3713 (2010)
Downey, R.G., Fellows, M.R.: Fixed-parameter tractability and completeness I: basic results. SIAM J. Comput. 24(4), 873–921 (1995)
Downey, R.G., Fellows, M.R.: Fundamentals of Parameterized Complexity, vol. 4. Springer, Berlin (2013)
Elkind, E., Faliszewski, P., Skowron, P., Slinko, A.: Properties of multiwinner voting rules. Soc. Choice Welf. 48(3), 599–632 (2017)
Faliszewski, P., Lackner, M., Peters, D., Talmon, N.: Effective heuristics for committee scoring rules. In: Proceedings of AAAI ’18 (2018)
Faliszewski, P., Skowron, P., Slinko, A., Talmon, N.: Multiwinner rules on paths from k-Borda to Chamberlin-Courant. In: Proceedings of IJCAI, pp. 192–198 (2017)
Faliszewski, P., Skowron, P., Slinko, A., Talmon, N.: Multiwinner voting: a new challenge for social choice theory. In: Endriss, U. (ed.) Trends in Computational Social Choice. AI Access Foundation, El Segundo (2017)
Faliszewski, P., Skowron, P., Slinko, A., Talmon, N.: Multiwinner analogues of the plurality rule: axiomatic and algorithmic perspectives. Soc. Choice Welf. 51(3), 513–550 (2018)
Faliszewski, P., Skowron, P., Slinko, A., Talmon, N.: Committee scoring rules: axiomatic characterization and hierarchy. TEAC 7(1), 3 (2019)
Faliszewski, P., Skowron, P., Talmon, N.: Bribery as a measure of candidate success: Complexity results for approval-based multiwinner rules. In: Proceedings of AAMAS ’17, pp. 6–14 (2017)
Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman, New York (1979)
Hua, Q.S., Wang, Y., Yu, D., Lau, F.C.M.: Dynamic programming based algorithms for set multicover and multiset multicover problems. Theor. Comput. Sci. 411(26–28), 2467–2474 (2010)
Liu, H., Guo, J.: Parameterized complexity of winner determination in minimax committee elections. In: Proceedings of AAMAS ’16, pp. 341–349 (2016)
Mellor, D., Prieto, E., Mathieson, L., Moscato, P.: A kernelisation approach for multiple d-hitting set and its application in optimal multi-drug therapeutic combinations. PLoS ONE 5(10), e13055 (2010)
Misra, N., Nabeel, A., Singh, H.: On the parameterized complexity of minimax approval voting. In: Proceedings of AAMAS ’15, pp. 97–105 (2015)
Moenck, R.T.: Practical fast polynomial multiplication. In: Proceedings of SYMSAC, pp. 136–148 (1976)
Niedermeier, R.: Invitation to Fixed-Parameter Algorithms. Oxford University Press, Oxford (2006)
Skowron, P., Faliszewski, P., Lang, J.: Finding a collective set of items: from proportional multirepresentation to group recommendation. Artif. Intell. 241, 191–216 (2016)
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, pp. 1341–1349 (2020)
Yang, Y., Wang, J.: Parameterized complexity of multi-winner determination: more effort towards fixed-parameter tractability. In: Proceedings of AAMAS ’18, pp. 2142–2144 (2018)
Zhou, A., Yang, Y., Guo, J.: Parameterized complexity of committee elections with dichotomous and trichotomous votes. In: Proceedings of AAMAS ’19, pp. 503–510 (2019)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A preliminary version of this paper appeared in the 30th International Joint Conference on Artificial Intelligence (IJCAI-21).
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
Gupta, S., Jain, P., Saurabh, S. et al. Even More Effort Towards Improved Bounds and Fixed-Parameter Tractability for Multiwinner Rules. Algorithmica 85, 3717–3740 (2023). https://doi.org/10.1007/s00453-023-01155-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-023-01155-7