A Relation-Algebraic Approach to Simple Games

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.

[1]  Rudolf Berghammer,et al.  Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra , 2006, Fundam. Informaticae.

[2]  Stefan Bolus,et al.  Power indices of simple games and vector-weighted majority games by means of binary decision diagrams , 2011, Eur. J. Oper. Res..

[3]  Shuzo Yajima,et al.  Size of Ordered Binary Decision Diagrams Representing Threshold Functions , 1996, Theor. Comput. Sci..

[4]  Barry O'Neill,et al.  Lexicographic Composition of Simple Games , 2006, Games Econ. Behav..

[5]  Jerry S. Kelly,et al.  NP-completeness of some problems concerning voting games , 1990 .

[6]  Pradeep Dubey,et al.  Compound voting and the Banzhaf index , 2005, Games Econ. Behav..

[7]  Harrie C. M. de Swart,et al.  Applying relational algebra and Rel , 2007, Eur. J. Oper. Res..

[8]  Gunther Schmidt,et al.  Relations and Graphs: Discrete Mathematics for Computer Scientists , 1993 .

[9]  J. Deegan,et al.  A new index of power for simplen-person games , 1978 .

[10]  Harrie C. M. de Swart,et al.  Applying Relation Algebra and Relview to Measures in a Social Network , 2009, Eur. J. Oper. Res..

[11]  Barbara Leoniuk.  ROBDD-basierte Implementierung von Relationen und relationalen Operationen mit Anwendungen , 2001 .

[12]  Josep Freixas,et al.  Simple games and weighted games: A theoretical and computational viewpoint , 2009, Discret. Appl. Math..

[13]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[14]  M. Dufwenberg.  Game theory. , 2011, Wiley interdisciplinary reviews. Cognitive science.

[15]  Forming Coalitions and Measuring Voting Power , 1982 .

[16]  Rudolf Berghammer,et al.  Relational Approach to Boolean Logic Problems , 2005, RelMiCS.

[17]  Martin Shubik,et al.  A Method for Evaluating the Distribution of Power in a Committee System , 1954, American Political Science Review.

[18]  Gunther Schmidt,et al.  Theory and Applications of Relational Structures as Knowledge Instruments II , 2006 .

[19]  Oliver Szymanski.  Relationale Algebra im dreidimensionalen Software-Entwurf , 2005 .

[20]  D. Felsenthal,et al.  The Measurement of Voting Power: Theory and Practice, Problems and Paradoxes , 1998 .

[21]  Rudolf Berghammer,et al.  Implementation of Relational Algebra Using Binary Decision Diagrams , 2001, RelMiCS.

[22]  P. V. Roozendaal.  Government survival in Western multi-party democracies , 1997 .

[23]  J. Neumann,et al.  Theory of Games and Economic Behavior. , 1945 .

[24]  Annick Laruelle,et al.  Shapley-Shubik and Banzhaf Indices Revisited , 2001, Math. Oper. Res..

[25]  Ron Johnston,et al.  On the Measurement of Power: Some Reactions to Laver , 1978 .

[26]  J. van Leeuwen,et al.  Theory and Applications of Relational Structures as Knowledge Instruments , 2003, Lecture Notes in Computer Science.

[27]  Ulf Milanese.  Zur Implementierung eines ROBDD-basierten Systems für die Manipulation und Visualisierung von Relationen , 2003 .

[28]  Ralf Behnke,et al.  RELVIEW - A System for Calculating With Relations and Relational Programming , 1998, FASE.

[29]  Rudolf Berghammer,et al.  Applying relation algebra and RelView to solve problems on orders and lattices , 2008, Acta Informatica.

[30]  M. Gloria Fiestras-Janeiro,et al.  Characterizations of the Deegan-Packel and Johnston power indices , 2007, Eur. J. Oper. Res..

[31]  B. Peleg.  Coalition formation in simple games with dominant players , 1981 .

[32]  Emden R. Gansner,et al.  A Technique for Drawing Directed Graphs , 1993, IEEE Trans. Software Eng..

[33]  José María Alonso-Meijide,et al.  Computing power indices: Multilinear extensions and new characterizations , 2008, Eur. J. Oper. Res..

[34]  Donald G. Saari,et al.  Some Surprising Properties of Power Indices , 2001, Games Econ. Behav..

[35]  Gunther Schmidt,et al.  RelView and Rath - Two Systems for Dealing with Relations , 2003, Theory and Applications of Relational Structures as Knowledge Instruments.

[36]  Gerhard J. Woeginger,et al.  Faster algorithms for computing power indices in weighted voting games , 2005, Math. Soc. Sci..

[37]  A. Deemen.  Dominant players and minimum size coalitions , 1989 .

[38]  On connected coalitions in dominated simple games , 1985 .

[39]  B. Peleg,et al.  Introduction to the Theory of Cooperative Games , 1983 .

[40]  Wolfram Kahl,et al.  Relational Methods in Computer Science , 1997, Advances in Computing Sciences.

[41]  P. V. Roozendaal.  Cabinets in the Netherlands (1918–1990): The importance of ‘dominant’ and ‘central’ parties , 1993 .

[42]  Gunther Schmidt,et al.  Relational Methods in Computer Science , 1999, Inf. Sci..

[43]  P. V. Roozendaal.  Centre parties and coalition cabinet formations: a game theoretic approach , 1990 .

[44]  E. Packel,et al.  Power, luck and the right index , 1983 .

[45]  Harrie C. M. de Swart,et al.  An interdisciplinary approach to coalition formation , 2009, Eur. J. Oper. Res..

[46]  Rudolf Berghammer,et al.  Realtion-Algebraic Analysis of Petri Nets with RELVIEW , 1996, TACAS.

[47]  P. V. Roozendaal.  Government survival in Western multi-party democracies. The effect of credible exit threats via dominance , 1997 .

[48]  Shuzo Yajima,et al.  On the Size of Ordered Binary Decision Diagrams Representing Threshold Functions , 1994, ISAAC.

[49]  P. Dubey.  On the uniqueness of the Shapley value , 1975 .

[50]  L. Shapley.  Simple games: an outline of the descriptive theory. , 2007, Behavioral science.

[51]  P. V. Roozendaal.  The effect of dominant and central parties on cabinet composition and durability , 1992 .

[52]  Leslie G. Valiant,et al.  The Complexity of Computing the Permanent , 1979, Theor. Comput. Sci..

[53]  Pradeep Dubey,et al.  Mathematical Properties of the Banzhaf Power Index , 1979, Math. Oper. Res..

[54]  Gunther Schmidt,et al.  Relations and Graphs , 1993, EATCS Monographs on Theoretical Computer Science.

[55]  J. Neumann,et al.  Theory of games and economic behavior , 1945, 100 Years of Math Milestones.