Some distinguished types of voters, as vetoes, passers or nulls, as well as some others, play a significant role in voting systems because they are either the most powerful or the least powerful voters in the game independently of the measure used to evaluate power. In this paper we are concerned with the design of voting systems with at least one type of these extreme voters and with few types of equivalent voters. With this purpose in mind we enumerate these special classes of games and find out that its number always follows a Fibonacci sequence with smooth polynomial variations. As a consequence we find several families of games with the same asymptotic exponential behavior except for a multiplicative factor which is the golden number or its square. From a more general point of view, our studies are related with the design of voting structures with a predetermined importance ranking.
The structures under study, complete simple games, have interest in several different fields apart from voting although we adopt in this paper the standard voting background. Fields for which these structures are of interest are: circuits, clusters, threshold logic, cryptography, reliability or neural networks among others, see e.g. @cite_25 for an overview. Recently simple games were studied using binary decision diagrams, see e.g. @cite_7 @cite_15 .
@cite_15 @cite_25 @cite_7
2015247315 2050378181
A simple game is a pair consisting of a finite set N of players and a set of winning coalitions. (Vector-) weighted majority games ((V) WMG) are a special case of simple games, in which an integer (vector) weight can be assigned to each player and there is a quota which a coalition has to achieve in order to win. Binary decision diagrams (BDDs) are used as compact representations for Boolean functions and sets of subsets. This paper shows, how a quasi-reduced and ordered BDD (QOBDD) of the winning coalitions of a (V) WMG can be build, how one can compute the minimal winning coalitions and how one can easily compute the Banzhaf, Shapley-Shubik, Holler-Packel and Deegan-Packel indices of the players. E.g. in case of weighted majority games it is shown that the Banzhaf and Holler-Packel indices of all players can be computed in expected time and in general, the Banzhaf indices can be computed in time linear in the size of the QOBDD representation of the winning coalitions. Other running times are proven as well. The algorithms were tested on some real world games, e.g. the International Monetary Fund and the EU Treaty of Nice. Simple games are a powerful tool to analyze decision - making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple games and develop relational specifications for solving some basic problems of them. In particular, we test certain fundamental properties of simple games and compute specific players and coalitions. We also apply relation algebra to determine power indices. This leads to relation-algebraic specifications, which can be evaluated with the help of the BDD-based tool RelView after a simple translation into the tool's programming language. In order to demonstrate the visualization facilities of RelView, we consider an example of the Catalonian Parliament after the 2003 election.