Skip to main content

Translation of Weighted Voting Concepts to the Boolean Domain: The Case of the Banzhaf Index | Chapter 10 | Advances in Mathematics and Computer Science Vol. 2

This chapter 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.
Author(s) Details

Ali Muhammad Ali Rushdi
Department of Electrical and Computer Engineering, Faculty of Engineering, King Abdulaziz University, P.O.Box 80204, Jeddah 21589, Saudi Arabia.

Omar Mohammed Ba-Rukab
Department of Information Technology, Faculty of Computing and Information Technology, King Abdulaziz University, P.O.Box 344, Rabigh 21911, Saudi Arabia.

Read full article: http://bp.bookpi.org/index.php/bpi/catalog/view/69/831/638-1
View Volume: https://doi.org/10.9734/bpi/amacs/v2
Labels:

Comments

Post a Comment

Popular posts from this blog

Greening Regional Airports: A Vision for Carbon Neutral Infrastructure | Chapter 12 | Contemporary Perspective on Science, Technology and Research Vol. 3

 This study provides an overview of the energy demand of a regional airport, divided into individual time horizons. The electrification of aircraft systems raises the question of whether airports will be among the largest electricity consumers in our infrastructure in the future. Sustainability and especially emission reductions are significant challenges for airports that are currently being addressed. The Clean Sky 2 project GENESIS addresses the environmental sustainability of hybrid-electric 50-passenger aircraft systems in a life cycle perspective to support the development of a technology roadmap for the transition to sustainable and competitive electric aircraft systems. This article originates from the GENESIS research and describes various options for ground power supply at a regional airport. Potential solutions for airport infrastructure with a short (2030), medium (2040), and long (2050) time horizon are proposed. In addition to the environmental and conservation benefi...
Post a Comment
Read more

There is No Standard Model of ZFC and ZFC2 | Chapter 03 | Advances in Mathematics and Computer Science Vol. 1

In this Chapter we obtain a contradictions in formal set theories under assumption that these theories have omega-models or nonstandard model with standard part. An possible generalization of Lob’s theorem is considered. Main results are: (i) ¬Con(ZF C+ ∃ M ZFC st ), (ii) ¬Con(N F+ ∃ M NF st ), (iii) ¬Con(ZF C 2 ), (iv) let k be an inaccessible cardinal then ¬Con(ZF C+ ∃ κ), (v) ¬Con(ZF C+ (V=L)), (vi) ¬Con(ZF+ (V=L)). Author   Details: Jaykov Foukzon Israel Institute of Technology, Haifa, Israel Men'kova Elena Romanovna All-Russian Research Institute for Optical and Physical Measurements, Moscow, Russia Read full article: http://bp.bookpi.org/index.php/bpi/catalog/view/46/221/408-1 View Volume: https://doi.org/10.9734/bpi/amacs/v1
Post a Comment
Read more

Study on Processing Method Influences the Effect of Cassava (Manihot esculenta) Consumption on Blood Lipid Profile in Rats | Chapter 8 | Current Research and Development in Chemistry Vol.1

Cassava is consumed in many tropical countries and is fast becoming the major raw material of many diets, especially in the bakery, brewery and pharmaceutical industries. In a study to determine the effects of various formulations of Cassava feeds on blood lipid profile in rats. Forty adult Wistar rats weighing between 120 and 150 g were divided into 4 groups of 10 rats each. The rats were acclimatized for one week; fed with different formulations of Cassava feeds adlibitum, after which the rats were allotted into groups. Group 1 was fed on Garri; group 2 on Cassava flour; group 3 on Tapioca, and the control group (group 4) on normal chow. After 4 weeks, each animal was anaesthetized by exposure to chloroform vapour and blood samples collected by cardiac puncture. Group 1 diet (Garri) significantly increased HDL-cholesterol (HDL-C) concentration and significantly decreased LDL-cholesterol (LDL-C) concentration (p<0.05) compared with the control group. In Group 2 (Cassava flour), t...
Post a Comment
Read more