CMU 15-896 Social choice 3: Advanced manipulation Teacher: Ariel - - PowerPoint PPT Presentation

cmu 15 896
SMART_READER_LITE
LIVE PREVIEW

CMU 15-896 Social choice 3: Advanced manipulation Teacher: Ariel - - PowerPoint PPT Presentation

CMU 15-896 Social choice 3: Advanced manipulation Teacher: Ariel Procaccia Recap A Complexity-theoretic barrier to manipulation Polynomial-time greedy alg can decide instances of -M ANIPULATION for = scoring rules, Copeland,


slide-1
SLIDE 1

CMU 15-896

Social choice 3: Advanced manipulation

Teacher: Ariel Procaccia

slide-2
SLIDE 2

15896 Spring 2016: Lecture 3

Recap

  • A Complexity-theoretic barrier to

manipulation

  • Polynomial-time greedy alg can decide

instances of -MANIPULATION for = scoring rules, Copeland, Maximin,...  these rules are easy to manipulate in practice

  • Some rules are NP-hard to manipulate:

STV, ranked pairs,...

2

slide-3
SLIDE 3

15896 Spring 2016: Lecture 3

Criticisms

  • What is the complexity of the

Dictatorship-MANIPULATION problem?

  • NP-hardness is worst-case, but perhaps a

manipulator can usually succeed

  • Approaches:
  • Algorithmic: for specific voting rules but

works for every reasonable distribution

  • Quantitative G-S: for a specific distribution

but works for every reasonable voting rule

3

slide-4
SLIDE 4

15896 Spring 2016: Lecture 3

Quantitative G-S

  • We’ll do this roughly, to capture intuitions

rather than aiming for accuracy

  • The distance between two voting rules is the

fraction of inputs on which they differ where the Pr is over uniformly random preference profiles

  • For a set ,

  • = set of dictatorships,
  • 4
slide-5
SLIDE 5

15896 Spring 2016: Lecture 3

Quantitative G-S

  • is a manipulation pair for

if

  • Theorem [Mossel and Racz 2012]:

, is onto,

  • . Then
  • manip. pair for

for a polynomial , where and

  • are

chosen uniformly at random

5

slide-6
SLIDE 6

15896 Spring 2016: Lecture 3

Randomized voting rules

  • Randomized voting rule: outputs a distribution
  • ver alternatives
  • To think about successful manipulations we need

utilities (assume strict preferences)

  • is consistent with if
  • Strategyproofness:
  • where

is consistent with

6

slide-7
SLIDE 7

15896 Spring 2016: Lecture 3

Randomized voting rules

  • A (deterministic) voting rule is
  • unilateral if it only depends on one voter
  • duple if its range is of size at most 2
  • A randomized rule is a probability mixture
  • ver rules

if there exist

  • such that for all ,
  • 7
slide-8
SLIDE 8

15896 Spring 2016: Lecture 3

Randomized voting rules

  • Theorem [Gibbard 1977]: A randomized

voting rule is strategyproof only if it is a probability mixture over unilaterals and duples

8

Mixture over unilaterals and duples that is not SP?

slide-9
SLIDE 9

15896 Spring 2016: Lecture 3

Randomization+approximation

  • Idea: can strategyproof randomized rules

approximate popular rules?

  • Fix a rule with a clear notion of score

(e.g., Borda) denoted

  • Randomized rule

is a -approximation if for every preference profile ,

9

slide-10
SLIDE 10

15896 Spring 2016: Lecture 3

Approximating Borda

  • Theorem [P 2010]: No strategyproof randomized

voting rule can approximate Borda to a factor of

  • 10

Poll 1: What is the approximation ratio to Borda from randomly choosing an alternative?

1.

Θ 1/

2.

Θ 1/

3.

Θ 1/

4.

Θ1

slide-11
SLIDE 11

15896 Spring 2016: Lecture 3

Interlude: Zero-sum games

11

  • 1

1 1

  • 1
slide-12
SLIDE 12

15896 Spring 2016: Lecture 3

Interlude: Minimax strategies

  • Minimax (randomized) strategy minimizes worst-

case expected loss (or maximizes the expected gain)

  • In the penalty shot game, minimax strategy for

both players is playing

  • In the game below, if shooter uses
  • Jump left:
  • 1 1
  • Jump right: 1 2 1
  • Maximize min1
  • , 2 1 over

12

slide-13
SLIDE 13

15896 Spring 2016: Lecture 3

Interlude: The Minimax Theorem

  • Theorem [von Neumann,

1928]: Every 2-player zero-sum game has a unique value such that:

  • Player 1 can guarantee

value at least

  • Player 2 can guarantee

loss at most

13

slide-14
SLIDE 14

15896 Spring 2016: Lecture 3

Yao’s minimax principle

14

  • 1

15 2 21

  • 7

15 5 21

  • 4

15 8 21

  • 13

15 17 21

Approximation ratio

slide-15
SLIDE 15

15896 Spring 2016: Lecture 3

Yao’s minimax principle

  • Maximin Theorem  The expected ratio of the best

distribution over unilateral rules and duples against the worst preference profile is equal to the expected ratio of the worst distribution over profiles against the best unilateral rule or duple

  • An upper bound on the approximation ratio of the best

distribution over unilateral rules and duples is given by some distribution over profiles against the best unilateral rule or duple

  • Gibbard’s Theorem  this is also an upper bound on the

best randomized strategyproof rule

15

slide-16
SLIDE 16

15896 Spring 2016: Lecture 3

A bad distribution

  • Choose

uniformly at random

  • Each voter chooses a random

number and puts

∗ in position

  • The other alternatives are

ranked cyclically

16

1 2 3 c b d b a b a d c d c a

∗ 2 1 2

slide-17
SLIDE 17

15896 Spring 2016: Lecture 3

A bad distribution

17

Poll 2: What is the best feasible lower bound on

1. 2. 3. 4.

slide-18
SLIDE 18

15896 Spring 2016: Lecture 3

A bad distribution

  • For

  • Unilateral rule: by looking at one vote

there is no way to tell who

∗ is; need to

“guess” among first alternatives

  • Duple: by fixing only two alternatives the

probability of getting

∗ is

  • 18