Calculation of Banzhaf Voting Indices Utilizing Variable-Entered Karnaugh Maps
Journal Title: Journal of Advances in Mathematics and Computer Science - Year 2017, Vol 20, Issue 4
Abstract
This paper is a tutorial exposition on how to translate concepts of voting systems to the Boolean domain, and consequently on how to use Boolean tools in the computation of a prominent index of voting powers, viz., the Banzhaf voting index. We discuss Boolean representations for yes-no voting systems, in general, and for weighted voting systems, in particular. Our main observation is that non-minimal winning coalitions are related to minimal ones via partial-order structures and also as particular subordinate loops that cover the all-1 cell in the Karnaugh map. We review the method of computing the total Banzhaf indices by the Conventional Karnaugh Map (CKM). Then we extend this method to handle larger problems via the Variable-Entered Karnaugh Map (VEKM). The map methods are demonstrated by two classical weighted voting systems.
Authors and Affiliations
Ali Muhammad Ali Rushdi, Omar Mohammed Ba-Rukab
Keywords
Related Articles
- EP ID EP322422
- DOI 10.9734/BJMCS/2017/31191
- Views 106
- Downloads 0
Analytic Approximation Solutions of Lyapunov Orbits around the Collinear Equilibrium Points for Binary -Centuari System: The Planar Case
A third order analytic approximation solution of Lyapunov orbits around the collinear equilibrium in the planar restricted three-body problem by utilizing the Lindstedt Poincaré method is presented. The primaries are obl...
On Generalized Douglas - Kropina Spaces
Sakaguchi proved that the class of Weyl metrics belong to the class of generalized Douglas{Weyl metric. Then, Matsumoto studied Weyl{Kropina metric. Recently, Yoshikawa and Okubo obtained the conditions for a Kropina spa...
The 7 and 8 Families of Hybrid Block Methods for Numerical Solution of Initial Value Problems in Stiff Equations
An independent hybrid block Simpson’s methods with a very closely accurate members of order p=q+2 as a block was formulated. This was obtained through increasing the number k in the multi-step collocation (MC). Maple sof...
Stability Analysis for Stochastic Differential Equations in Virology
In this paper, we propose a viral infection model governed by three stochastic differential equations. The global existence and positivity of solutions is investigated. Further, we give sufficient conditions for the stab...
Stability Analysis of a Motor-Gear-Alternator (MGA) System Using Bode Plot Technique
Koech and the associates designed a Motor-Gear-Alternator (MGA) model and identified the effective parameters of that model. Nonetheless, the stability of the model to determine its applicability is still missing. In thi...