Ties Matter: Complexity of Voting Manipulation Revisited based on joint work with Svetlana Obraztsova (NTU/PDMI) and Noam Hazon (CMU) Edith Elkind (Nanyang.

Slides:



Advertisements
Similar presentations
Sep 16, 2013 Lirong Xia Computational social choice The easy-to-compute axiom.
Advertisements

Computational Game Theory Amos Fiat Spring 2012
Sep 15, 2014 Lirong Xia Computational social choice The easy-to-compute axiom.
On the Robustness of Preference Aggregation in Noisy Environments Ariel D. Procaccia, Jeffrey S. Rosenschein and Gal A. Kaminka.
The Computational Difficulty of Manipulating an Election Tetiana Zinchenko 05/12/
Common Voting Rules as Maximum Likelihood Estimators Vincent Conitzer (Joint work with Tuomas Sandholm) Early version of this work appeared in UAI-05.
Voting and social choice Vincent Conitzer
How Hard Is It To Manipulate Voting? Edith Elkind, U. of Warwick Helger Lipmaa, Tartu U.
Algorithmic Game Theory Uri Feige Robi Krauthgamer Moni Naor Lecture 9: Social Choice Lecturer: Moni Naor.
Voting and social choice Looking at a problem from the designers point of view.
Plurality Voting with Truth-biased Agents Vangelis Markakis Joint work with: Svetlana Obraztsova, David R. M. Thompson Athens University of Economics and.
Speaker: Ariel Procaccia 1 Joint work with: Ioannis Caragiannis 2, Jason Covey 3, Michal Feldman 1, Chris Homan 3, Christos Kaklamanis 2, Nikos Karanikolas.
How “impossible” is it to design a Voting rule? Angelina Vidali University of Athens.
IMPOSSIBILITY AND MANIPULABILITY Section 9.3 and Chapter 10.
CS 886: Electronic Market Design Social Choice (Preference Aggregation) September 20.
Complexity of manipulating elections with few candidates Vincent Conitzer and Tuomas Sandholm Carnegie Mellon University Computer Science Department.
Computing Kemeny and Slater Rankings Vincent Conitzer (Joint work with Andrew Davenport and Jayant Kalagnanam at IBM Research.)
WINE 2011 Manipulating Tournaments WINE 2011 Manipulating Tournaments Manipulating Stochastically Generated Single Elimination Tournaments for Nearly All.
Complexity Applied to Social Choice Manipulation & Spatial Equilibria John Bartholdi, Michael Trick, Lakshmi Narasimhan, Craig Tovey.
Manipulation Toby Walsh NICTA and UNSW. Manipulation Constructive  Can we change result so a given candidate wins Destructive  Can we change result.
The Complexity of Elections: A New Domain for Heuristic Computation Piotr Faliszewski AGH University of Science and Technology, Kraków, Poland
Socially desirable approximations for Dodgson’s voting rule Ioannis Caragiannis (University of Patras) Christos Kaklamanis (University of Patras) Nikos.
+ Random Tie Breaking Toby Walsh NICTA and UNSW. + Random Tie Breaking Haris Aziz, Serge Gaspers, Nick Mattei, Nina Narodytska, Toby Walsh NICTA and UNSW.
Convergence of Iterative Voting AAMAS 2012 Valencia, Spain Omer Lev & Jeffrey S. Rosenschein.
Using computational hardness as a barrier against manipulation Vincent Conitzer
Edith Elkind Nanyang Technological University, Singapore Piotr Faliszewski AGH Univeristy of Science and Technology, Poland Arkadii Slinko University of.
The Distortion of Cardinal Preferences in Voting Ariel D. Procaccia and Jeffrey S. Rosenschein.
Approximability and Inapproximability of Dodgson and Young Elections Ariel D. Procaccia, Michal Feldman and Jeffrey S. Rosenschein.
Computability and Complexity 23-1 Computability and Complexity Andrei Bulatov Search and Optimization.
Speaker: Ariel Procaccia Joint work with: Michael Zuckerman, Jeff Rosenschein Hebrew University of Jerusalem.
CPS Voting and social choice
Social choice theory = preference aggregation = voting assuming agents tell the truth about their preferences Tuomas Sandholm Professor Computer Science.
Campaign Management via Bribery Piotr Faliszewski AGH University of Science and Technology, Poland Joint work with Edith Elkind and Arkadii Slinko.
How Hard Is It To Manipulate Voting? Edith Elkind, Princeton Helger Lipmaa, HUT.
Junta Distributions and the Average Case Complexity of Manipulating Elections A. D. Procaccia & J. S. Rosenschein.
Common Voting Rules as Maximum Likelihood Estimators Vincent Conitzer and Tuomas Sandholm Carnegie Mellon University, Computer Science Department.
Complexity of unweighted coalitional manipulation under some common voting rules Lirong XiaVincent Conitzer COMSOC08, Sep. 3-5, 2008 TexPoint fonts used.
Reshef Meir School of Computer Science and Engineering Hebrew University, Jerusalem, Israel Joint work with Maria Polukarov, Jeffery S. Rosenschein and.
Social choice theory = preference aggregation = truthful voting Tuomas Sandholm Professor Computer Science Department Carnegie Mellon University.
Strategic Behavior in Multi-Winner Elections A follow-up on previous work by Ariel Procaccia, Aviv Zohar and Jeffrey S. Rosenschein Reshef Meir The School.
1 Joint work with Shmuel Safra. 2 Motivation 3 Motivation.
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.
Social choice (voting) Vincent Conitzer > > > >
Historically Interesting Voting Rules: Electing the Doge Lirong Xia Toby Walsh Auckland, Feb 20 th 2012.
CPS Voting and social choice Vincent Conitzer
APPROXIMATION ALGORITHMS VERTEX COVER – MAX CUT PROBLEMS
An Algorithm for the Coalitional Manipulation Problem under Maximin Michael Zuckerman, Omer Lev and Jeffrey S. Rosenschein AAMAS’11.
An Algorithm for the Coalitional Manipulation Problem under Maximin Michael Zuckerman, Omer Lev and Jeffrey S. Rosenschein (Simulations by Amitai Levy)
Optimal Manipulation of Voting Rules Edith Elkind Nanyang Technological University, Singapore (based on joint work with Svetlana Obraztsova)
Junta Distributions and the Average-Case Complexity of Manipulating Elections A presentation by Jeremy Clark Ariel D. Procaccia Jeffrey S. Rosenschein.
Math for Liberal Studies.  We have seen many methods, all of them flawed in some way  Which method should we use?  Maybe we shouldn’t use any of them,
Mechanism design (strategic “voting”) Tuomas Sandholm Professor Computer Science Department Carnegie Mellon University.
Avoiding manipulation in elections through computational complexity Vincent Conitzer Computer Science Department Carnegie Mellon University Guest lecture.
6.853: Topics in Algorithmic Game Theory Fall 2011 Constantinos Daskalakis Lecture 22.
Social choice theory = preference aggregation = voting assuming agents tell the truth about their preferences Tuomas Sandholm Professor Computer Science.
11/24/2008CS Common Voting Rules as Maximum Likelihood Estimators - Matthew Kay 1 Common Voting Rules as Maximum Likelihood Estimators Vincent Conitzer,
When Are Elections with Few Candidates Hard to Manipulate V. Conitzer, T. Sandholm, and J. Lang Subhash Arja CS 286r October 29, 2008.
0 Fall, 2016 Lirong Xia Computational social choice The easy-to-compute axiom.
Chapter 10: The Manipulability of Voting Systems Lesson Plan
Social choice theory = preference aggregation = voting assuming agents tell the truth about their preferences Tuomas Sandholm Professor Computer Science.
Applied Mechanism Design For Social Good
Algorithmic Analysis of Elections: Voting Rules and Manipulability (minicourse) Piotr Faliszewski AGH University Kraków, Poland.
CS154, Lecture 16: More NP-Complete Problems; PCPs
Manipulation Lirong Xia Fall, Manipulation Lirong Xia Fall, 2016.
Voting and social choice
CPS 173 Voting and social choice
Approximability of Manipulating Elections
Computational social choice
CPS Voting and social choice
Presentation transcript:

Ties Matter: Complexity of Voting Manipulation Revisited based on joint work with Svetlana Obraztsova (NTU/PDMI) and Noam Hazon (CMU) Edith Elkind (Nanyang Technological University, Singapore)

Synopsis We will talk about voting – and, in particular, voting manipulation We will focus on a frequently neglected aspect of voting: tie-breaking rules We will show that

Setup An election is given by – a set of candidates C, |C| = m – a list of voters V = {1,..., n} – for each voter i in V, a preference order R i each R i is a total order over C – a voting rule F: for each list of voters’ preference orders, F outputs a candidate in C

Examples of Voting Rules (1/2) Scoring rules: – any vector s = (s 1,..., s m ) defines a scoring rule F s : each candidate receives s i points from each voter who ranks him in position i a candidate’s score is his total # of points the candidate with the highest score wins Examples: – Plurality: (1, 0,..., 0) – Borda: (m-1, m-2,..., 2, 1, 0) abcdeabcde

Examples of Voting Rules (2/2) Copeland: – for a, b  C, we say that a beats b in a pairwise election if more than half of the voters rank a above b – the score of a candidate c is # of pairwise elections c wins  # of pairwise elections c loses Maximin: – for a, b  C, let S(a, b) = # of voters who prefer a to b – the score of a candidate c is min a  C\{c} S(c, a) the number of votes c gets against his toughest opponent

Applications Political elections Hiring new faculty Prizes Decision-making in multi-agent systems – voting over joint plans

Manipulation A voting rule is manipulable if there exists a preference profile s.t. some voter has an incentive to lie about their preferences – i prefers F(R 1,..., R’ i,..., R n ) to F(R 1,..., R i,..., R n ) Gibbard’73, Satterthwaite’75: for |C|>2, any non-dictatorial voting rule is manipulable But maybe manipulations are hard to compute? Bartholdi, Tovey, Trick’89: given a profile, one can find a beneficial manipulation in poly-time for most voting rules – Plurality, Borda, Copeland, maximin

A Complication The common voting “rules” are voting correspondences: several candidates may have the top score Ties need to be broken BTT’89 assumes that ties are broken in favor of manipulator The algorithm extends to any lexicographic tie-breaking rule – i.e., one that uses a priority order over C What if the tie-breaking rule is not lexicographic?

This Work We consider two types of tie-breaking rules: – randomized tie-breaking: the winner is selected from the tied candidates uniformly at random the manipulator assigns utilities to candidates, maximizes his E[utility] – arbitrary poly-time tie-breaking tie-breaking rule is given by an oracle Question: do easiness results of BTT’89 still hold under these tie-breaking rules?

Results: Randomized Tie-Breaking, Scoring Rules Theorem: for any scoring rule the manipulation problem is poly-time solvable under randomized tie-breaking What is the best outcome where winners have t points, for each feasible t? manipulator’s vote non-manipulator’ votes t

Results: Randomized Tie-Breaking, Maximin, “Special” Utilities Theorem: for Maximin, if the manipulator’s utility is given by u(p)=1, u(c)=0 for c ≠ p, then the manipulation problem is poly-time solvable under randomized tie-breaking Proof sketch: – let s(c) denote c’s score before we vote – our vote changes each score by at most 1: c’s score goes up iff c appears before each of its toughest opponents – if s(c) > s(p)+1 for some c ≠ p, we lose; suppose this is not the case – rank p first

Maximin Proof, Continued c is good if s(c) < s(p) c is bad if s(c) = s(p) c is ugly if s(c) = s(p)+1 G = directed graph with vertex set C s.t. there is an edge from a to b iff a is b’s toughest opponent Goal: sort G so that each ugly vertex and as many bad vertices as possible have an incoming edge – can be done in poly-time

Results: Randomized Tie-Breaking, Maximin, General Utilities Theorem: for Maximin the manipulation problem is NP-hard under randomized tie-breaking – even if u(d)=0, u(c)=1 for c ≠ d Proof idea: – set up the instance so that d necessarily wins – need to maximize the number of winners i.e., sort G so that as few vertices as possible have an incoming edge reduction from Feedback Vertex Set

Results: Randomized Tie-Breaking, Copeland, General Utilities Theorem: for Copeland the manipulation problem is NP-hard under randomized tie-breaking – even if u(c)  {0, 1} for all c  C Reduction from Independent Set – extends to a hardness of approximation result : assuming P ≠ NP, no poly-time algorithm can find a manipulative vote such that the manipulator’s utility is within a constant factor from optimal

Arbitrary Poly-Time Tie-Breaking Theorem: there exists a poly-time computable tie-breaking rule T s.t. its combinations with Borda, Copeland and maximin are NP-hard to manipulate – T depends on the set of tied candidates only – if we allow tie-breaking rules that depend on the rest of the profile, even Plurality is NP-hard to manipulate Proof idea: – the winning set encodes a Boolean formula  and a truth assignment  for  – the manipulator can affect , but not  – the tie-breaking rule checks if  satisfies 

Conclusions and Future Work Approximation algorithms/inapproximability results for Maximin? Complexity of control/bribery/coalitional manipulation under randomized tie-breaking?