CSC2556 Lecture 2 Manipulation in Voting
CSC2556 - Nisarg Shah 1
Credit for many visuals: Ariel D. Procaccia
CSC2556 Lecture 2 Manipulation in Voting Credit for many visuals: - - PowerPoint PPT Presentation
CSC2556 Lecture 2 Manipulation in Voting Credit for many visuals: Ariel D. Procaccia CSC2556 - Nisarg Shah 1 Recap Voting voters, alternatives Each voter expresses a ranked preference Voting rule o
CSC2556 - Nisarg Shah 1
Credit for many visuals: Ariel D. Procaccia
CSC2556 - Nisarg Shah 2
β’ π voters, π alternatives β’ Each voter π expresses a ranked preference β»π β’ Voting rule π
β’ Plurality, Borda count, STV, Kemeny, Copeland, maximin,
CSC2556 - Nisarg Shah 3
β’ A voting rule is strategyproof if a voter cannot submit a
β’ Formally, a voting rule π is strategyproof if there is no
β² s.t.
β²
CSC2556 - Nisarg Shah 4
β’ In the true profile, π wins β’ Voter 3 can make π win by pushing π to the end
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 Winner a Winner b
CSC2556 - Nisarg Shah 5
CSC2556 - Nisarg Shah 6
β’ Sure
β’ The winner is always the most
β’ The winner is always the same
Dictatorship Constant function
CSC2556 - Nisarg Shah 7
CSC2556 - Nisarg Shah 8
β’ Step 1: Show that SP implies βstrong monotonicityβ
β’ Strong Monotonicity (SM): If π β» = π, and β»β² is such that
β² π¦, then π β»β² = π.
should still win.
CSC2556 - Nisarg Shah 9
β’ Step 2: Show that SP+onto implies βPareto optimalityβ
β’ Pareto Optimality (PO): If π β»π π for all π β π, then
is not Pareto optimal (PO).
CSC2556 - Nisarg Shah 10
β»π β»π a b b a
Say π β»1, β»2 = π
β»π β»π
β²
a b b a
π β»1, β»2
β²
= π
β²
β {a, b}
β²
β π
β»π
β²β²
β»π
β²β²
a A N Y A N Y
π β»β²β² = π
monotonicity π½(π, π) π β»1, β»2 β {π, π}
β’ PO
CSC2556 - Nisarg Shah 11
β’ If π outputs π on instance π½(π, π), voter 1 can get π
β’ If π outputs π on π½(π, π)
CSC2556 - Nisarg Shah 12
β’ Fix πβ and πβ. Suppose πΈ 1, πβ holds. β’ Then, we show that voter 1 is a dictator.
β’ Take π β πβ. Because π΅ β₯ 3, there exists π β π΅\{πβ, π}. β’ Consider π½(π, π). We either have πΈ(1, π) or πΈ 2, π . β’ But πΈ(2, π) is incompatible with πΈ(1, πβ)
β’ Thus, we have πΈ(1, π), as required. β’ QED!
CSC2556 - Nisarg Shah 13
β’ Not allowing all possible preference profiles β’ Example: single-peaked preferences
β’ Require payments from voters that depend on the
β’ Prevalent in auctions
CSC2556 - Nisarg Shah 14
β’ How will strategic voters act under a voting rule that is
β’ Will they reach an βequilibriumβ where each voter is
β’ Can voters successfully manipulate if they donβt know the
CSC2556 - Nisarg Shah 15
β’ So we need to use a rule that is the rule is manipulable. β’ Can we make it NP-hard for voters to manipulate?
β’ NP-hardness can be a good thing!
β’ Input: Manipulator π, alternative π, votes of other voters
β’ Output: Can the manipulator cast a vote that makes π
CSC2556 - Nisarg Shah 16
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
CSC2556 - Nisarg Shah 17
β’ Rank π in the first place β’ While there are unranked alternatives:
without preventing π from winning, place this alternative.
CSC2556 - Nisarg Shah 18
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
19
CSC2556 - Nisarg Shah
20
CSC2556 - Nisarg Shah
21
CSC2556 - Nisarg Shah
22
CSC2556 - Nisarg Shah
23
CSC2556 - Nisarg Shah
CSC2556 - Nisarg Shah 24
β² π§ β π‘ β»π, π¦ β€ π‘ β»π β², π¦
CSC2556 - Nisarg Shah 25
β²
β²
π
β²
π π π π π
π π π π Output of algo
π£ π = {π, π}
CSC2556 - Nisarg Shah 26
β², π)
β’ Property 2
β², π > π‘(β»π β², π£)
β’ Property 1 & π wins under β»π
β²
β², π£ β₯ π‘(β»π, π£)
β’ Property 2
β’ Putting π£ in the next position wouldnβt
β’ So the algorithm should have continued
π
β²
π π π π π
π π π π Output of algo
π£ π = {π, π}
CSC2556 - Nisarg Shah 27
β’ Copeland with second-order tie breaking
Copeland scores of defeated alternatives is the largest
β’ STV [Bartholdi & Orlin, SCW 91] β’ Ranked Pairs [Xia et al., IJCAI 09]
(largest first), ignoring any comparison that would form cycles.
28
8 6
12
2
10
4
29
8 6 2
10
4
30
8 6 2 4
31
6 2 4
32
2 4
33
2
34
CSC2556 - Nisarg Shah 35
β²
β²
CSC2556 - Nisarg Shah 36
β’ unilateral if it only depends on one voter β’ duple if its range contains at most two alternatives
1, β¦ , π π is a rule
π β» w.p. π½π.
CSC2556 - Nisarg Shah 37
β’ With probability 0.5, output the top alternative of a
β’ With the remaining probability 0.5, output the winner of
CSC2556 - Nisarg Shah 38
CSC2556 - Nisarg Shah 39
1 2 + π
1 π
CSC2556 - Nisarg Shah 40
CSC2556 - Nisarg Shah 41
β’ a (possibly) randomized choice of action by the player β’ that minimizes the expected loss (or maximizes the
β’ in the worst case over the choice of action of the other
CSC2556 - Nisarg Shah 42
β’ If goalie jumps left: π β β
1 2 + 1 β π β 1 = 1 β 3 2 π
β’ If goalie jumps right: π β 1 + 1 β π β β1 = 2π β 1 β’ Shooter chooses π to maximize min
3π 2 , 2π β 1
β ΰ΅ 1 2
CSC2556 - Nisarg Shah 43
β’ Player 1 can guarantee value at
β’ Player 2 can guarantee loss at
CSC2556 - Nisarg Shah 44
β’ Minimax strategy for the column player
π πππ ππππ max ππππ£π’ πΉ[π’πππ] =
πππ‘π’ ππ€ππ ππππ£π’π‘
πππ’ ππππ πΉ[π’πππ]
CSC2556 - Nisarg Shah 45
β’ Show a βbadβ distribution over inputs πΈ such that every
π πππ ππππ max ππππ£π’ πΉ[π’πππ] =
πππ‘π’ ππ€ππ ππππ£π’π‘
πππ’ ππππ πΉ[π’πππ]
CSC2556 - Nisarg Shah 46
1 15
2 21
7 15 5 21
4 15
8 21
13 15
17 21 Approximation ratio
CSC2556 - Nisarg Shah 47
β’ The expected ratio of the best unilateral or duple rule
CSC2556 - Nisarg Shah 48
1 2 3 c b d b a b a d c d c a π¦β = π π1 = 2 π2 = 1 π3 = 2
CSC2556 - Nisarg Shah 49
CSC2556 - Nisarg Shah 50
β’ For every other alternative π¦, sc β», π¦ ~
π πβ1 2
β’ Unilateral: By only looking at a single vote, the rule is
β’ Duple: By fixing two alternatives, the rule captures π¦β
CSC2556 - Nisarg Shah 51
β’ NP-hardness is hardness in the worst case β’ What happens in the average case?
1 π for some polynomial π.
CSC2556 - Nisarg Shah 52
β’ The following result applies to a wide family of voting
Powerful = can manipulate with high probability
CSC2556 - Nisarg Shah 53
β’ We can efficiently check if there exists a beneficial
β’ But finding such a manipulation is NP-hard.
CSC2556 - Nisarg Shah 54
β’ Even if we assume that voters will reveal their true
β’ There are reasonable profiles where most prominent