Abstract
In this paper we demonstrate how relation algebra and a BDD-based tool can be combined to solve computational problems of voting systems. We concentrate on approval voting and model this kind of voting within relation algebra. Based on this, we then formally develop relation-algebraic specifications of two important control problems from their logical specifications. They can be transformed immediately into the programming language of the BDD-based Computer Algebra system RelView. Therefore, this tool can be used to solve the problems and to visualize the computed results. The entire approach is extremely formal but also very flexible. In combination with RelView it is especially appropriate for prototyping and experimentation, and as such very instructive for educational purposes.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bartholdi III, J.J., Tovey, C.A., Trick, M.A.: The computational difficulty of manipulating an election. Social Choice and Welfare 6, 227–241 (1989)
Bartholdi III, J.J., Tovey, C.A., Trick, M.A.: How hard is it to control an election? Mathematical and Computer Modeling 16, 27–40 (1992)
Berghammer, R., Neumann, F.: RelView – An OBDD-based Computer Algebra system for relations. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2005. LNCS, vol. 3718, pp. 40–51. Springer, Heidelberg (2005)
Brams, S.J., Fishburn, P.C.: Voting procedures. In: Arrow, K., Sen, A., Suzumara, K. (eds.) Handbook of Social Choice and Welfare, vol. 1, pp. 173–236. North-Holland (2002)
Brams, S.J., Fishburn, P.C.: Approval voting, 2nd edn. Springer (2007)
Brandt, F., Conitzer, V., Endriss, U.: Computational social choice. In: Weiss, G. (ed.) Multiagent Systems, 2nd edn., pp. 213–283. MIT Press (2013)
Chevaleyre, Y., Endriss, U., Lang, J., Maudet, N.: A short introduction to computational social choice. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 51–69. Springer, Heidelberg (2007)
Fischer S.: Tabulated binomial coefficients, http://www-ps.informatik.uni-kiel.de/~sebf/haskell/tabulated-binomial-coefficients.lhs.html
Hemaspaandra, E., Hemaspaandra, L., Rothe, J.: Anyone but him: The complexity of precluding an alternative. Artificial Intelligence 171, 255–285 (2007)
Laslier, J.-F.: And the loser is …plurality voting. In: Felsenthal, D.S., Machover, M. (eds.) Electoral Systems, Studies in Choice and Welfare, pp. 327–351. Springer (2012)
Leoniuk, B.: ROBDD-based implementation of relational algebra with applications. Dissertation, Universität Kiel (2001) (in German)
Milanese, U.: On the implementation of a ROBDD-based tool for the manipulation and visualization of relations. Dissertation, Universität Kiel (2003) (in German)
Nurmi, H.: On the difficulty of making social choices. Theory and Decision 38, 99–119 (1998)
Schmidt, G., Ströhlein, T.: Relations and graphs, Discrete mathematics for computer scientists. EATCS Monographs on Theoretical Computer Science. Springer (1993)
Schmidt, G.: Relational mathematics. Encyclopedia of Mathematics and its Applications, vol. 132. Cambridge University Press (2010)
Walsh, T.: Is computational complexity a barrier to manipulation? Annals of Mathematics and Artificial Intelligence 62, 7–26 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Berghammer, R., Danilenko, N., Schnoor, H. (2014). Relation Algebra and RelView Applied to Approval Voting. In: Höfner, P., Jipsen, P., Kahl, W., Müller, M.E. (eds) Relational and Algebraic Methods in Computer Science. RAMICS 2014. Lecture Notes in Computer Science, vol 8428. Springer, Cham. https://doi.org/10.1007/978-3-319-06251-8_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-06251-8_19
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06250-1
Online ISBN: 978-3-319-06251-8
eBook Packages: Computer ScienceComputer Science (R0)