Skip to main content

Achieving fully proportional representation by clustering voters

Abstract

Both the Chamberlin–Courant and Monroe rules are voting rules that solve the problem of fully proportional representation: given a set of candidates and a set of voters, they select committees of candidates whose members represent the voters so that the voters’ total dissatisfaction is minimized. These two rules suffer from a common disadvantage, namely being computationally intractable. As both the Chamberlin–Courant and Monroe rules, explicitly or implicitly, partition voters so that the voters in each part share the same representative, they can be seen as clustering algorithms. This suggests studying approximation algorithms for these voting rules by means of cluster analysis, which is the subject of this paper. Using ideas from cluster analysis we develop several approximation algorithms for the Chamberlin–Courant and Monroe rules and experimentally analyze their performance. We find that our algorithms are computationally efficient and, in many cases, are able to provide solutions which are very close to optimal.

This is a preview of subscription content, access via your institution.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7

Notes

  1. Single transferable vote (STV) can also be extended to a fully proportional representation rule. However, the quality bounds for the resulting assignment would be unclear. A common practice of splitting the electorate into electoral districts and using a single-winner voting rule in each district can solve the second problem but not the first.

  2. In their original works, Chamberlin and Courant (1983) and Monroe (1995) discussed the issue of choosing representative bodies (such as parliaments) and, thus, used the term misrepresentation instead of dissatisfaction. However, since now their rules are used for many other applications, it is more typical to use the latter term.

  3. For clarity, we refer to the voters as females and to the candidates as males.

  4. Dodgson’s rule is a single-winner voting rule based on the Condorcet principle and is quite distinct from the rules studied in this paper. For some more details on the rule, see, e.g., the work of Brandt (2009).

  5. Indeed, one may argue that instead of using the indirect approach, one could simply compute election results by solving an appropriate integer linear program (ILP). The problem with relying on ILP solvers is that we never know how long it would take to find the election result, and the laws need to provide hard guarantees. For example, even for 100 candidates, 1000 voters, and committee of size 10, we found elections where the CPLEX ILP solver needed over 18 h to compute Monroe winning committees (see Sect. 4.6) for details). For elections with millions of voters, we cannot be certain that an ILP solver would compute election results within any reasonable amount of time.

  6. In the dissatisfaction-based model it is known that constant-factor polynomial-time approximation algorithms do not exist unless \({{\mathrm {P}}}= {{\mathrm {NP}}}\) Skowron et al. (2015b).

  7. There is a certain technicality here regarding the Monroe rule. Sometimes it is impossible to guarantee that the local Borda winner is the representative of the voters in a given group because he already is a representative of a different group. We describe how we deal with this issue later.

  8. They also considered three other models. The uniform disc model appears to be the most basic one.

  9. This last condition, if a bit weird at first sight, takes into account the possibility that while the committee is required to contain k candidates, there can be fewer than k candidates that represent any voters; e.g., if V is unanimous, then \(\varPhi (V)\) is a singleton.

  10. Given an assignment function \(\varPhi \), we may compute its approximation ratio as \(\beta = \frac{\varGamma (\varPhi )}{\varGamma (\varPhi _{{{\mathrm {OPT}}}})}\). However, since \(\varGamma (\varPhi _{{{\mathrm {OPT}}}})\) might be equal to 0, we slightly modify this formula and compute the approximation ratio as \(\beta = \frac{1+\varGamma (\varPhi )}{1+\varGamma (\varPhi _{{{\mathrm {OPT}}}})}\).

  11. Further, for the cases that they do not formally cover, it is often possible to extend their proofs easily.

  12. For our experiments we have also included an upper bound of executing at most 30 iterations.

  13. Recall that when computing the new candidate \(c'\), we break ties in favor of the incumbent representative c.

  14. In the satisfaction-based model, the algorithm guarantees that the committee it outputs is \((1 - \frac{1}{e})\)-approximate for both the Monroe and Chamberlin–Courant systems. For the case of Monroe rule based on the Borda satisfaction function, Skowron et al. (2015b) prove yet stronger approximation guarantees.

  15. That is, under IAC we completely ignore the identities of the voters. Moreover, a profile with all votes identical is as likely as any particular profile with all votes distinct. In the IC model, the latter is typically much more likely than the former.

  16. For further experiments we do not provide plots of total dissatisfaction, but here we wanted to provide additional evidence showing how our algorithms behave, to justify some of our intuitions.

  17. Since the Chamberlin–Courant always assigns each voter to the highest ranked committee member, the dissatisfaction of the optimal Chamberlin–Courant committee never increases with the committee size.

  18. Recall that under R(1,5)C, we obtain 5 committees by running D1 five times, then each run of D5 gives another 5 committees. Since we make five runs of D5, we obtains 25 committees. Altogether, we have to run the clustering heuristic for 30 committees.

  19. In fact, the Chamberlin–Courant rule was designed so that every elected representative is the Borda winner among the voters whom he represents.

  20. This is a theoretical guarantee. Skowron et al. (2015b) have shown algorithms that ensure that the average positions of the voters’ representatives in every Monroe and Chamberlin–Courant election are very close to the top; see their paper for details of the argument.

References

  • Aardal, K., Byrka, J., Mahdian, M.: Facility Location. In: Ming-Yang, K. (ed.) Encyclopedia of Algorithms, pp. 299–304. Springer, Berlin (2008)

    Chapter  Google Scholar 

  • Aarts, E., Korst, J.: Simulated Annealing and Boltzmann Machines: A Stochastic Approach to Combinatorial Optimization and Neural Computing. Wiley, Hoboken (1989)

    MATH  Google Scholar 

  • Aggarwal, C., Reddy, C.: Data Clustering: Algorithms and Applications. Chapman and Hall, Boca Raton (2013)

    Book  MATH  Google Scholar 

  • Ahuja, R., Magnanti, T., Orlin, J.: Network Flows: Theory, Algorithms, and Applications. Prentice-Hall, Upper Saddle River (1993)

    MATH  Google Scholar 

  • Berg, S., Lepelley, D.: On probability models in voting theory. Stat. Neerl. 48(2), 133–146 (1994)

    MathSciNet  Article  MATH  Google Scholar 

  • Betzler, N., Slinko, A., Uhlmann, J.: On the computation of fully proportional representation. J. Artif. Intell. Res. 47, 475–519 (2013)

    MathSciNet  Article  MATH  Google Scholar 

  • Brandt, F.: Some remarks on Dodgson’s voting rule. Math. Log. Q. 55(4), 460–463 (2009)

    MathSciNet  Article  MATH  Google Scholar 

  • Caragiannis, I., Kaklamanis, C., Karanikolas, N., Procaccia, A.: Socially desirable approximations for Dodgson’s voting rule. In: Proceedings of the 11th ACM conference on electronic commerce, pp. 253–262. ACM Press, New York (2010)

  • Chamberlin, B., Courant, P.: Representative deliberations and representative decisions: proportional representation and the Borda rule. Am. Polit. Sci. Rev. 77(3), 718–733 (1983)

    Article  Google Scholar 

  • 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, pp. 1375–1376. (2016)

  • Drezner, Z., Hamacher, H.: Facility Location: Applications and Theory, 2nd edn. Springer, Berlin (2004)

    MATH  Google Scholar 

  • Duda, R.O., Hart, P.E., et al.: Pattern Classification and Scene Analysis, vol. 3. Wiley, New York (1973)

    MATH  Google Scholar 

  • 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 (WWW ’01), pp. 613–622. ACM Press, New York (2001)

  • Elkind, E., Faliszewski, P., Skowron, P., Slinko, A.: Properties of multiwinner voting rules. In: Proceedings of the 13th international conference on autonomous agents and multiagent systems, pp. 53–60. (2014)

  • Elkind, E., Faliszewski, P., Lackner, M., Peters, D., Talmon, N.: Committee scoring rules, banzhaf values, and approximation algorithms. In: Presented at the 4th workshop on exploring beyond the worst case in computational social choice (EXPLORE ’17) (2017a)

  • Elkind, E., Faliszewski, P., Laslier, J., Skowron, P., Slinko, A., Talmon, N.: What do multiwinner voting rules do? An experiment over the two-dimensional euclidean domain. In: Proceedings of the 31st AAAI conference on artificial intelligecne, pp. 494–501. (2017b)

  • Erdélyi, G., Fellows, M.R., Rothe, J., Schend, L.: Control complexity in Bucklin and fallback voting: an experimental analysis. J. Comput. Syst. Sci. 81(4), 661–670 (2015)

    MathSciNet  Article  MATH  Google Scholar 

  • Faliszewski, P., Skowron, P., Slinko, A., Talmon, N.: Multiwinner rules on paths from \(k\)-Borda to Chamberlin–Courant. In: Proceedings of the 26th international joint conference on artificial intelligence (2017)

  • Fischer, F., Hudry, O., Niedermeier, R.: Weighted Tournament Solutions. In: Brandt, F., Conitzer, V., Endriss, U., Lang, J., Procaccia, A.D. (eds.) Handbook of Computational Social Choice, vol. 4. Cambridge University Press, Cambridge (2016)

    Google Scholar 

  • Goldberg, D.: Genetic Algorithms in Search, Optimization, and Machine Learning. Addison-Wesley, Boston (1989)

    MATH  Google Scholar 

  • Hartigan, J.A.: Clustering Algorithms. Wiley, Hoboken (1975)

    MATH  Google Scholar 

  • Hoos, H., Stützle, T.: Stochastic Local Search: Foundations and Applications. Morgan Kaufmann, Burlington (2004)

    MATH  Google Scholar 

  • Kleinberg, J., Papadimitriou, C., Raghavan, P.: Segmentation problems. J. ACM 51(2), 263–280 (2004)

    MathSciNet  Article  MATH  Google Scholar 

  • Lu, T., Boutilier, C.: Budgeted social choice: from consensus to personalized decision making. In: Proceedings of the 22nd international joint conference on artificial intelligence, pp. 280–286. (2011)

  • Lu, T., Boutilier, C.: Value-directed compression of large-scale assignment problems. In: Proceedings of the 29th AAAI conference on artificial intelligecne, pp. 1182–1190. (2015)

  • Mattei, N., Walsh, T.: Preflib: A library for preferences. In: Proceedings of the 3rd international conference on algorithmic decision theory, pp. 259–270. (2013)

  • McCabe-Dansted, J.C., Slinko, A.: Exploratory analysis of similarities between social choice rules. Group Decis. Negot. 15(1), 77–107 (2006)

    Article  Google Scholar 

  • Monroe, B.: Fully proportional representation. Am. Polit. Sci. Rev. 89(4), 925–940 (1995)

    Article  Google Scholar 

  • Oren, J., Lucier, B.: Online (budgeted) social choice. In: Proceedings of the 28th AAAI conference on artificial intelligecne, pp. 1456–1462. (2014)

  • Peters, D.: Recognising multidimensional euclidean preferences. In: Proceedings of the 31st AAAI conference on artificial intelligecne, pp. 642–648. (2017)

  • Procaccia, A., Rosenschein, J., Zohar, A.: On the complexity of achieving proportional representation. Soc. Choice Welf. 30(3), 353–362 (2008)

    MathSciNet  Article  MATH  Google Scholar 

  • Skowron, P., Faliszewski, P.: Fully proportional representation with approval ballots: approximating the MaxCover problem with bounded frequencies in FPT time. In: Proceedings of the 29th AAAI conference on artificial intelligecne, pp. 2124–2130. (2015)

  • Skowron, P., Faliszewski, P., Lang, J.: Finding a collective set of items: from proportional multirepresentation to group recommendation. In: Proceedings of the 29th AAAI conference on artificial intelligecne (2015a)

  • Skowron, P., Faliszewski, P., Slinko, A.: Achieving fully proportional representation: approximability result. Artif. Intell. 222, 67–103 (2015b)

    MathSciNet  Article  Google Scholar 

  • Skowron, P., Yu, L., Faliszewski, P., Elkind, E.: The complexity of fully proportional representation for single-crossing electorates. Theor. Comput. Sci. 569, 43–57 (2015c)

    MathSciNet  Article  MATH  Google Scholar 

  • Thompson, S.: Sampling. Wiley, Hoboken (2012)

    Book  MATH  Google Scholar 

  • Walsh, T.: Where are the hard manipulation problems? J. Artif. Intell. Res. 42, 1–29 (2011)

    MathSciNet  MATH  Google Scholar 

  • Yu, L., Chan, H., Elkind, E.: Multiwinner elections under preferences that are single-peaked on a tree. In: Proceedings of the 23rd international joint conference on artificial intelligence, pp. 425–431. (2013)

Download references

Acknowledgements

Arkadii Slinko and Piotr Faliszewski gratefully acknowledge the support by Marsden Fund 3706352 of The Royal Society of New Zealand. Nimrod Talmon was supported by a postdoctoral fellowship from I-CORE ALGO.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Nimrod Talmon.

Additional information

A conference version of this paper was presented at the Fifteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016). Besides more elaborate discussion, the current version of the paper presents results of many more experiments with a more detailed analysis and uses the dissatisfaction-based model instead of the satisfaction-based one.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Faliszewski, P., Slinko, A., Stahl, K. et al. Achieving fully proportional representation by clustering voters. J Heuristics 24, 725–756 (2018). https://doi.org/10.1007/s10732-018-9376-y

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10732-018-9376-y

Keywords

  • Multiwinner elections
  • Voting
  • Fully proportional representation
  • Clustering