powerpoint presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · when does the alg work?...

28
CMU 15-896 Social choice: Manipulation Teachers: Avrim Blum Ariel Procaccia (this time)

Upload: others

Post on 25-Aug-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

CMU 15-896 Social choice: Manipulation Teachers: Avrim Blum Ariel Procaccia (this time)

Page 2: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Reminder: Voting

2

• Set of voters 𝑁 = {1, … ,𝑛} • Set of alternatives 𝐴, |𝐴| = 𝑚 • Each voter has a ranking over the alternatives • 𝑥 ≻𝑖 𝑦 means that voter 𝑖 prefers 𝑥 to 𝑦 • Preference profile = collection of all voters’

rankings • Voting rule = function from preference profiles

to alternatives • Important: so far voters are honest!

Page 3: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Manipulation

• Using Borda count • Top profile: b wins • Bottom profile: a wins • By changing his vote,

voter 3 achieves a better outcome!

• Borda responded: “My scheme is intended only for honest men!”

3

1 2 3

b b a

a a b

c c c

d d d

1 2 3

b b a

a a c

c c d

d d b

Page 4: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Strategyproofness

• A voting rule is strategyproof (SP) if a voter can never benefit from lying about his preferences: ∀≺,∀𝑖 ∈ 𝑁,∀≺𝑖

′ , 𝑓 ≺ ≽𝑖 𝑓(≺𝑖′ ,≺−𝑖)

• Vote: value of 𝑚 for which plurality is SP • Vote: are constant functions and

dictatorships SP?

4

Page 5: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Gibbard-Satterthwaite

• A voting rule is dictatorial if there is a voter who always gets his most preferred alternative

• A voting rule is onto if any alternative can win • Theorem (Gibbard-Satterthwaite): If 𝑚 ≥ 3

then any voting rule that is SP and onto is dictatorial

• In other words, any voting rule that is onto and nondictatorial is manipulable

5

Page 6: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Proof of G-S

• Lemmas (prove in HW2): o Strong monotonicity: 𝑓 is SP rule, ≺ profile,

𝑓(≺) = 𝑎. Then 𝑓(≺′) = 𝑎 for all profiles ≺′ s.t. ∀𝑥 ∈ 𝐴, 𝑖 ∈ 𝑁: [𝑎 ≻𝑖 𝑥 ⇒ 𝑎 ≻𝑖

′ 𝑥] o Pareto optimality: f is SP+onto rule, ≺

profile. If 𝑎 ≻𝑖 𝑏 for all 𝑖 ∈ 𝑁 then 𝑓 ≺ ≠ 𝑏 • We prove the G-S Theorem for 𝑛 = 2 on

the board

6

Page 7: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Circumventing G-S

• Restricted preferences (this lecture) • Money ⇒ mechanism design (Avrim) • Computational complexity (this lecture)

7

Page 8: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Single peaked preferences • We want to choose a location for a public

good (e.g., library) on a street • Alternatives = possible locations • Each voter has an ideal location (peak) • The closer the library is to a voter’s peak,

the happier he is • Vote: leftmost and midpoint are SP?

8

Page 9: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

The median

• Select the median peak • The median is a Condorcet winner! • The median is onto • The median is nondictatorial

9

Page 10: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

The median is SP

10

Page 11: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Complexity of manipulation

• Manipulation is always possible in theory • But can we design voting rules where it is

difficult in practice? • Are there “reasonable” voting rules where

manipulation is a hard computational problem? [Bartholdi et al., SC&W 1989]

11

Page 12: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

The computational problem

• R-MANIPULATION problem: o Given votes of

nonmanipulators and a preferred candidate 𝑝

o Can manipulator cast vote that makes 𝑝 (uniquely) win under R?

• Example: Borda, 𝑝 = 𝑎

12

1 2 3

b b

a a

c c

d d

1 2 3

b b a

a a c

c c d

d d b

Page 13: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

A greedy algorithm

• Rank 𝑝 in first place • While there are unranked alternatives:

o If there is an alternative that can be placed in next spot without preventing 𝑝 from winning, place this alternative

o Otherwise return false

13

Page 14: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Example: Borda

14

1 2 3

b b a

a a

c c

d d

1 2 3

b b a

a a b

c c

d d

1 2 3

b b a

a a c

c c

d d

1 2 3

b b a

a a c

c c b

d d

1 2 3

b b a

a a c

c c d

d d

1 2 3

b b a

a a c

c c d

d d b

Page 15: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Example: Copeland

15

1 2 3 4 5 a b e e a b a c c c d b b d e a a e c d d

a b c d e a - 2 3 5 3 b 3 - 2 4 2 c 2 2 - 3 1 d 0 0 1 - 2 e 2 2 3 2 -

Preference profile Pairwise elections

Page 16: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Example: Copeland

16

1 2 3 4 5 a b e e a b a c c c c d b b d e a a e c d d

a b c d e a - 2 3 5 3 b 3 - 2 4 2 c 2 3 - 4 2 d 0 0 1 - 2 e 2 2 3 2 -

Preference profile Pairwise elections

Page 17: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Example: Copeland

17

1 2 3 4 5 a b e e a b a c c c c d b b d d e a a e c d d

a b c d e a - 2 3 5 3 b 3 - 2 4 2 c 2 3 - 4 2 d 0 1 1 - 3 e 2 2 3 2 -

Preference profile Pairwise elections

Page 18: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Example: Copeland

18

1 2 3 4 5 a b e e a b a c c c c d b b d d e a a e e c d d

a b c d e a - 2 3 5 3 b 3 - 2 4 2 c 2 3 - 4 2 d 0 1 1 - 3 e 2 3 3 2 -

Preference profile Pairwise elections

Page 19: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Example: Copeland

19

1 2 3 4 5 a b e e a b a c c c c d b b d d e a a e e c d d b

a b c d e a - 2 3 5 3 b 3 - 2 4 2 c 2 3 - 4 2 d 0 1 1 - 3 e 2 3 3 2 -

Preference profile Pairwise elections

Page 20: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖 ∈ 𝑁 and

the votes of other voters. Let R be a rule s.t. ∃function 𝑠 ≺𝑖 , 𝑥 such that: o For every ≺𝑖 chooses a candidate that uniquely maximizes

𝑠 ≺𝑖 , 𝑥 o 𝑦: 𝑦 ≺𝑖 𝑥 ⊆ 𝑦: 𝑦 ≺𝑖

′ 𝑥 ⇒ 𝑠 ≺𝑖, 𝑥 ≤ 𝑠(≺𝑖′ , 𝑥)

Then the algorithm always decides R-MANIPULATION correctly

• Vote: which rule does the theorem not capture? • We will prove the theorem on Thursday

20

Page 21: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Voting rules that are hard to manipulate • Natural rules

o Copeland with second order tie breaking [Bartholdi et al., SCW 89]

o STV [Bartholdi&Orlin, SCW 91] o Ranked Pairs [Xia et al., IJCAI 09]

Order pairwise elections by decreasing strength of victory Successively lock in results of pairwise elections unless it leads to cycle Winner is the top ranked candidate in final order

• Can also “tweak” easy to manipulate voting rules [Conitzer&Sandholm, IJCAI 03]

Page 22: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Example: ranked pairs

22

8

6

12

2

10

4

a b

d c

Page 23: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Example: ranked pairs

23

8

6

2

10

4

a b

d c

Page 24: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Example: ranked pairs

24

8

6

2

4

a b

d c

Page 25: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Example: ranked pairs

25

6

2

4

a b

d c

Page 26: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Example: ranked pairs

26

2

4

a b

d c

Page 27: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Example: ranked pairs

27

2

a b

d c

Page 28: PowerPoint Presentationarielpro/15896/docs/slides9.pdf · 2013. 2. 12. · When does the alg work? • Theorem [Bartholdi et al., SCW 89]: Fix 𝑖∈𝑁 and the votes of other voters

Example: ranked pairs

28

a b

d c