Manipulating the Quota in Weighted Voting Games (M. Zuckerman, P. Faliszewski, Y. Bachrach, and E. Elkind) ‏ Presented by: Sen Li Software Technologies.

Slides:



Advertisements
Similar presentations
Many-to-one Trapdoor Functions and their Relations to Public-key Cryptosystems M. Bellare S. Halevi A. Saha S. Vadhan.
Advertisements

Nash’s Theorem Theorem (Nash, 1951): Every finite game (finite number of players, finite number of pure strategies) has at least one mixed-strategy Nash.
Chapter 2: Weighted Voting Systems
CS 461 – Nov. 9 Chomsky hierarchy of language classes –Review –Let’s find a language outside the TM world! –Hints: languages and TM are countable, but.
Weighted Voting, Algorithms and Voting Power
MAT 105 Spring  In many voting systems, the voters are not treated equally  Juries: If one voter votes “not guilty,” then the result is “not guilty”
Weighted Voting When we try to make collective decisions, it is only natural to consider how things are done in society. We are familiar with voting for.
Presented by: Katherine Goulde
Chapter 13 – Weighted Voting Part 4 Appropriate applications of measures of power Minimal winning coalitions Classification of weighted voting systems.
Manipulation, Control, and Beyond: Computational Issues in Weighted Voting Games Edith Elkind (U. of Southampton) Based on joint work with: Y.Bachrach,
CS 886: Electronic Market Design Social Choice (Preference Aggregation) September 20.
Effort Games and the Price of Myopia Michael Zuckerman Joint work with Yoram Bachrach and Jeff Rosenschein.
Online Scheduling with Known Arrival Times Nicholas G Hall (Ohio State University) Marc E Posner (Ohio State University) Chris N Potts (University of Southampton)
Bounds on Code Length Theorem: Let l ∗ 1, l ∗ 2,..., l ∗ m be optimal codeword lengths for a source distribution p and a D-ary alphabet, and let L ∗ be.
Complexity ©D Moshkovitz 1 Approximation Algorithms Is Close Enough Good Enough?
Excursions in Modern Mathematics Sixth Edition
Probabilistic algorithms Section 10.2 Giorgi Japaridze Theory of Computability.
Cooperative/coalitional game theory Vincent Conitzer
Bundling Equilibrium in Combinatorial Auctions Written by: Presented by: Ron Holzman Rica Gonen Noa Kfir-Dahav Dov Monderer Moshe Tennenholtz.
Yoram Bachrach Jeffrey S. Rosenschein November 2007.
Manipulation and Control in Weighted Voting Games Based on: Bachrach, Elkind, AAMAS’08 Zuckerman, Faliszewski, Bachrach, Elkind, AAAI’08.
Complexity 11-1 Complexity Andrei Bulatov Space Complexity.
An Introduction to Game Theory Part II: Mixed and Correlated Strategies Bernhard Nebel.
Complexity 18-1 Complexity Andrei Bulatov Probabilistic Algorithms.
Computability and Complexity 13-1 Computability and Complexity Andrei Bulatov The Class NP.
Overlapping Coalition Formation: Charting the Tractability Frontier Y. Zick, G. Chalkiadakis and E. Elkind (submitted to AAMAS 2012)
1 Introduction to Computability Theory Lecture12: Reductions Prof. Amos Israeli.
1 Introduction to Computability Theory Lecture13: Mapping Reductions Prof. Amos Israeli.
Taxation and Stability in Cooperative Games Yair Zick Maria Polukarov Nick R. Jennings AAMAS 2013.
CPSC 411, Fall 2008: Set 12 1 CPSC 411 Design and Analysis of Algorithms Set 12: Undecidability Prof. Jennifer Welch Fall 2008.
The Theory of NP-Completeness
APEC 8205: Applied Game Theory Fall 2007
Coalition Structures in Weighted Voting Games Georgios Chalkiadakis Edith Elkind Nicholas R. Jennings.
Computing the Banzhaf Power Index in Network Flow Games
NP-Completeness NP-Completeness Graphs 4/17/2017 4:10 AM x x x x x x x
Junta Distributions and the Average Case Complexity of Manipulating Elections A. D. Procaccia & J. S. Rosenschein.
Near-Optimal Network Design with Selfish Agents By Elliot Anshelevich, Anirban Dasgupta, Eva Tardos, Tom Wexler STOC’03 Presented by Mustafa Suleyman CIFTCI.
1 Manipulation of Voting Schemes: A General Result By Allan Gibbard Presented by Rishi Kant.
Approximating Power Indices Yoram Bachrach(Hebew University) Evangelos Markakis(CWI) Ariel D. Procaccia (Hebrew University) Jeffrey S. Rosenschein (Hebrew.
Yair Zick, Alexander Skopalik and Edith Elkind School of Physical and Mathematical Sciences Division of Mathematical Sciences Nanyang Technological University,
Computational aspects of stability in weighted voting games Edith Elkind (NTU, Singapore) Based on joint work with Leslie Ann Goldberg, Paul W. Goldberg,
Introduction complexity has been suggested as a means of precluding strategic behavior. Previous studies have shown that some voting protocols are hard.
1.1 Chapter 1: Introduction What is the course all about? Problems, instances and algorithms Running time v.s. computational complexity General description.
McGraw-Hill/IrwinCopyright © 2009 by The McGraw-Hill Companies, Inc. All Rights Reserved. Chapter 9 Hypothesis Testing.
A SEARCH-BASED APPROACH TO ANNEXATION AND MERGING IN WEIGHTED VOTING GAMES Ramoni Lasisi and Vicki Allan Utah State University by.
Reduction Episode 9 0 The operation of reduction and the relation of reducibility Examples of reductions The variety of reduction concepts and their systematization.
Chapter 13: Weighted Voting Banzhaf Power Index Shapley-Shubik Power Index Equivalent Systems Examples.
Trust-Aware Optimal Crowdsourcing With Budget Constraint Xiangyang Liu 1, He He 2, and John S. Baras 1 1 Institute for Systems Research and Department.
Analysis of Algorithms
Computation Model and Complexity Class. 2 An algorithmic process that uses the result of a random draw to make an approximated decision has the ability.
Week 10Complexity of Algorithms1 Hard Computational Problems Some computational problems are hard Despite a numerous attempts we do not know any efficient.
CSE 3813 Introduction to Formal Languages and Automata Chapter 14 An Introduction to Computational Complexity These class notes are based on material from.
CSCI 3160 Design and Analysis of Algorithms Tutorial 10 Chengyu Lin.
1 The Theory of NP-Completeness 2 Cook ’ s Theorem (1971) Prof. Cook Toronto U. Receiving Turing Award (1982) Discussing difficult problems: worst case.
Interactive proof systems Section 10.4 Giorgi Japaridze Theory of Computability.
Weighted Voting Systems
Automated Mechanism Design Tuomas Sandholm Presented by Dimitri Mostinski November 17, 2004.
1 Chapter 34: NP-Completeness. 2 About this Tutorial What is NP ? How to check if a problem is in NP ? Cook-Levin Theorem Showing one of the most difficult.
Theorem: Equal weight implies equal power but not the converse.
Chapter 11. Weighted Voting Systems  Goals Study weighted voting systems ○ Coalitions ○ Dummies and dictators ○ Veto power Study the Banzhaf power index.
Approximation Algorithms based on linear programming.
Theory of Computational Complexity Yuji Ishikawa Avis lab. M1.
The NP class. NP-completeness Lecture2. The NP-class The NP class is a class that contains all the problems that can be decided by a Non-Deterministic.
The Shapley Value The concept of the core is useful as a measure of stability. As a solution concept, it presents a set of imputations without distinguishing.
Optimization and Stability in Games with Restricted Interactions Reshef Meir, Yair Zick and Jeffrey S. Rosenschein CoopMAS 2012.
Computing Shapley values, manipulating value division schemes, and checking core membership in multi-issue domains Vincent Conitzer, Tuomas Sandholm Computer.
EXCURSIONS IN MODERN MATHEMATICS SIXTH EDITION Peter Tannenbaum 1.
Modeling Arithmetic, Computation, and Languages Mathematical Structures for Computer Science Chapter 8 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesTuring.
Excursions in Modern Mathematics Sixth Edition
Excursions in Modern Mathematics Sixth Edition
Presentation transcript:

Manipulating the Quota in Weighted Voting Games (M. Zuckerman, P. Faliszewski, Y. Bachrach, and E. Elkind) ‏ Presented by: Sen Li Software Technologies Applied Research group ECE

Introduction

A weighted voting game is described by: 1. A set of players 2. A list of player’s weights 3. A quota A coalition of the players is said to be winning if the total weight of its members meets or exceeds the quota.

Introduction An important issue in weighted voting is how to measure the power of each voter. i.e. its ability to affect the final outcome. This question is critical when the agents have to decide how to distribute the payoffs. ▫Because a natural approach is to pay each agent according to his contribution.

Introduction Intuitively, we might think that a player’s voting power is always directly proportional to its weight. However, this is NOT true. For example: We have 4 voters: { A, B, C, D} with weights:{10, 5, 2, 1 } Who has the strongest power? A? If the quota is 10, then A does have the strongest power. But if the quota is 18, then A, B, C, D all have veto power. So they have equivalent powers.

Introduction From last example, we can see that: By modifying the quota, central authority can change a player’s voting power.

Shapley-Shubik Index & Banzhaf Index We have showed that an agent’s power is not always directly proportional to its weight. So, we need some other ways to measure an agent’s power. Voting powers are traditionally identified by its power index. There are two famous indices: 1.Shapley-Shubik Index (SS) ‏ 2.Banzhaf Index (BF) ‏

Introduction This presentation wants to answer 4 Questions: 1.By manipulating the quota, how much can the central authority change a player’s voting power? 2.How can the choice of quota affect the relative power of players? 3.Is there an efficient algorithm to determine if there is a quota making a player dummy? i.e., reduces its power to 0. 4.Is there an efficient algorithm to check which of two quotas makes a player more powerful?

Terminology I : a set of players, |I| = n w : a weight vector, 0 < w 1 ≤ … ≤ w n q : the quota of a voting game G(q) : a game with quota q

Terminology SS i (q) : the value of Shapley Index for player i in the game with quota q BF i (q) : the value of Banzhaf Index for player i in the game with quota q Dummy : A player with zero voting power

First question: How much can centre change a player’s voting power?

How much can centre change a player’s power? There are two ways to quantify the “How much”: ▫ The worst case ratio between a player’s power index values for two different quotas. ▫ The worst case difference between a player’s power index values for two different quotas.

How much can centre change a player’s power? It is more natural to use ratio in general case. Unfortunately, we can not use ratio in here. Because a players’ power index value might be 0.

How much can centre change a player’s power? Theorem 1. Given a set of players I, there exists a weight vector w, and quota q1, q2, such that weight for i != n, we have SS i (q1) = BF i (q1) = 0, while SS (q2) != 0, BF i (q2) != 0. On the other hand, for any w such that 0 < w 1 ≤ … ≤ w n and any q1, q2 ≤ w(I), we have SS n (q1) / SS n (q2) ≤ n, BF n (q1) / BF n (q2) ≤ 2 n−1, and these bounds are tight.

How much can centre change a player’s power? Therefore, at least in some weighted voting games, the center can change the agent’s power index to 0. That is, we can not use worst case ratio. We can only use worst case difference to quantify.

How much can centre change a player’s power? Theorem 2. For a set of players I, any weight vector w, 0 < w 1 ≤ … ≤ w n and any quota q1, q2, for i != n, SS i (q1) − SS i (q2) can be at most 1 / (n−i+1) and this bound is tight. For i = n, SS i (q1) − SS i (q2) can be at most 1 − 1/n, and this bound is tight.

How much can centre change a player’s power? Theorem 3. For a set of players I, any weight vector w, 0 < w 1 ≤ … ≤ w n and any quota q1, q2, for i != n, BF i (q1) − BF i (q2) can be at most (n-i choose ⌊ (n−i)/2 ⌋ ) ・ 2 i−n and this bound is tight. For i = n, we have BF i (q1) − BF i (q2) can be at most 1 − 1/2 n−1 and this bound is tight.

How much can centre change a player’s power? What do we learn from the first section: ▫ We can NOT use worst case ratio to quantify the “How much”. ▫ But we can use worst case difference. ▫ There exists upper-bounds for worst case differences.

Second question: How can the choice of quota affect the relative power of players?

Changing the quota could affect the power of two players Let’s rephrase the question: Could changing the quota be affecting the relative power of two players i and j ? For example, suppose that w i < w j, but the center prefers player i to j. Obviously, SS i (q) ≤ SS j (q) (or BF i (q) ≤ BF j (q)). So, the best that the center can do, hopefully, is to find a quota that satisfies SS i (q) = SS j (q) (or BF i (q) = BF j (q)).

Changing the quota could affect the power of two players Theorem 4. Consider a set of players I, and a vector of weights w. For each two players i and j with w i < w j. There is a quota q1, which holds that SS i (q1) < SS j (q1) (or BF i (q1) < BF j (q1)). There is also a quota q2, which holds that SS i (q2) = SS j (q2) (or BF i (q2) = BF j (q2)).

Changing the quota could affect the power of two players The pervious theorem tells us: If w i < w j, the center can always find a quota q such that: power index of i = power index of j.

Changing the quota could affect the power of two players Also, the center may want to find a quota that ensures all players have different power index. The quota that can satisfy this constraint is called a separating quota. However, it is NOT always possible to find such quota. Due to the time issue, we ignore the proof here.

Third question: Is there an efficient algorithm to determine if there is a quota making a player dummy?

An algorithm to determine if a player can be dummy The answer is: Yes, such algorithm exists.

An algorithm to determine if a player can be dummy Before specifying the algorithm, we need to define a term first. Definition 9. Given a weight vector w and a weight w 1, we say that w 1 is essential for w if for all 1 ≤ t ≤ n, ∑ t−1 i=1 w i ≥ w t − w 1.

An algorithm to determine if a player can be dummy Theorem 10. Let w be a vector of weights. A weight w 1 is essential for w if and only if there is no quota q, such that n + 1 is a dummy in a game G(q) = [{1, …, n, n + 1}; (w 1, …, w n, w 1); q]. That is, a player can never be dummy if and only if its weight is essential.

An algorithm to determine if a player can be dummy The previous theorem yields a simple algorithm for testing whether there exists a quota making a given agent dummy. This can be done using O(n) time. Moreover, we can now check what quota minimizes the power index of a given player.

An algorithm to determine if a player can be dummy Theorem 11. There exists a polynomial time algorithm that finds the value of the quota which minimizes the BF of a given player. Proof: Use the algorithm described before to check if there is a quota that makes the agent dummy, and if so, return this quota. Otherwise, return quota q = min{w1, …,wn}. Under q, the BF of our agent is 1/2 n−1, since the only coalition it contributes to is the empty set.

Fourth question: Is there an efficient algorithm to check which of two quotas makes a player more powerful?

An algorithm to determine which of the two values of quota makes a player more powerful In the previous section, we showed that when the center can choose any quota, minimizing a player’s power index becomes easy. However, deciding which of two given quotas favors a player is hard!!!

An algorithm to determine which of the two values of quota makes a player more powerful How hard can it be? It is PP-hard, which is believed to be considerably stronger than NP-hard: Any PP-hard is NP-hard, but not vice versa.

An algorithm to determine which of the two values of quota makes a player more powerful PP stands for probabilistic polynomial time. Formally, we say that a language L belongs to PP if there exists an NP machine N such that: x ∈ L if and only if the probability that N accepts x is at least 1/2. The paper does not talk too much detail about PP. If you are interested, you can get more information from

An algorithm to determine which of the two values of quota makes a player more powerful Then we gonna show why our problem is PP-hard. Let’s first define our problem: determine which of two quotas makes a player more powerful.

An algorithm to determine which of the two values of quota makes a player more powerful Definition 12. Let f be either SS or BF. Let Quota f problem be: Given I, w, two quota q1 and q2, and an index i ∈ I. Let G 1 = [ I; w; q1], G2 = [ I; w; q2]. The task is to decide whether f i (G1) > f i (G2). Definition 13. Let f be either SS or BF. Let PowerCompare f problem be: Given two weighted voting games, G1 and G2, a player i in G1, and a player j in G2, does it hold that f i (G1) > f j (G2).

An algorithm to determine which of the two values of quota makes a player more powerful Quota f is a special case of PowerCompare f. In 2008, two researchers have showed that PowerCompare f problem is PP-complete. So the result immediately implies that Quota f is also in PP.

An algorithm to determine which of the two values of quota makes a player more powerful Discussion: PP-hardness sounds scary and can be a barrier to manipulation by the central authority. However, PP-hardness does not necessarily imply that the problem is hard on average. Proving that manipulating the quota is hard in this sense is still an open problem.

An algorithm to determine which of the two values of quota makes a player more powerful Moreover, it is known that both SS and BF are easy to compute if the weights are polynomially bounded (i.e. given in unary). (Matsui and Matsui 2000) ‏ To solve the previous PP-hard problem, we can compute a player's power index for both quotas, and choose the one that gives us a better outcome. Therefore, computational complexity alone does NOT provide proper protection from this manipulation.

Conclusion

As we said at the beginning of the presentation, this talk wants to answer 4 questions.

Conclusion 1.How much can the central authority change a player’s voting power by manipulating the quota? ▫ For i != n, the difference of SS ≤ 1 / (n−i+1) ▫ For i = n, the difference of SS ≤ 1 − 1/n ▫ For i != n, the difference of BF ≤ (n-i choose ⌊ (n−i)/2 ⌋ ) ・ 2 i−n ▫ For i = n, the difference of BF ≤ 1 − 1/2 n−1

Conclusion 2.How can the choice of quota affect the relative power of players? ▫If w i < w j, center can always find a quota q satisfies that: power index of i = power index of j. ▫ The center may NOT be able to find a quota that ensures each player has different power index.

Conclusion 3.Is there an efficient algorithm to determine if there is a value of quota making a player dummy? Yes, such algorithm exists.

Conclusion 4.Is there an efficient algorithm to check which of two quotas makes a player more powerful? No, the algorithm is PP-hard.

Conclusion What can we learn from this paper? 1.Central authority can manipulate quota to change players’ powers, but this change is bounded. 2.There might not exist a quota to ensure that all players have different power index. 3.We have an efficient algorithm to determine if there is a value of quota making a player dummy. 4.Checking which of two quotas makes a player more powerful is PP-hard.

Further Questions We know manipulations through quota control are possible, what measures can be taken against such manipulations? Are there other payoff division schemes that are more resistant to such manipulations?