Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based...
Transcript of Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based...
![Page 1: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/1.jpg)
Justified Representation in Approval-Based Committee
Voting
Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2, Toby Walsh1
1: University of New South Wales and NICTA 2: Duke University 3: University of Oxford
1
![Page 2: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/2.jpg)
Voting with Approval Ballots
• A set of alternatives C !
• n voters {1, … , n} !
• Each voter approves a subset of candidates Ai ⊆ C !
• Goal: select k winners
1: c1, c2 2: c2 3: c2 4: c1 5: c3
1 3
54
2
c1
c2
c3
2
![Page 3: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/3.jpg)
Outline
• Approval-based multiwinner rules !
• Justified Representation (JR) !
• Which rules satisfy JR? !
• Extended Justified Representation (EJR)
3
![Page 4: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/4.jpg)
Outline
• Approval-based multiwinner rules !
• Justified Representation (JR) !
• Which rules satisfy JR? !
• Extended Justified Representation (EJR)
4
![Page 5: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/5.jpg)
Approval Voting (AV)
• Each candidate gets one point from each voter who approves her
• k candidates with the highest score are selected – ties broken deterministically
c1c2 c3 c4
for k=3 AV outputs {c1,c2, c3}
5
![Page 6: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/6.jpg)
Satisfaction Approval Voting (SAV)
• Brams & Kilgour ’14 !
• Voter i scores committee W as |Ai ∩ W|/|Ai| !
• Goal: select a size-k committee with the maximum score
c1 c2
c3 c4
for k=2 AV outputs
{c1, c2}, SAV outputs
{c3, c4}
6
![Page 7: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/7.jpg)
Minimax Approval Voting (MAV)
• Brams, Kilgour & Sanver ’07 !
• Distance from ballot Ai to a committee W: d(Ai, W) = |Ai \ W| + |W \ Ai| !
• Goal: select a size-k committee that minimizes max i d(Ai, W)
c1
c2 c3
for k=1 AV outputs
c1, MAV outputs
c2 or c3
7
![Page 8: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/8.jpg)
Proportional Approval Voting (PAV)
• Simmons ’01 • Voter i derives utility of
1 from her 1st approved candidate, 1/2 from 2nd, 1/3 from 3rd, etc.
• ui(W)= 1 + 1/2 + … +1/|W ∩ Ai| • Goal: select a size-k
committee W that maximizes u(W) = Σ i ui (W)
for k=2 AV outputs {c1,
c2} , PAV outputs
{c1, c3} or {c2, c3}
c1 c2 c3
8
![Page 9: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/9.jpg)
Reweighted Approval Voting (RAV)
• Thiele, early 20th century • Sequential version of PAV • Initialize:
ω(i) = 1 for all i, W = ∅ • Repeat k times: –add to W a candidate
with max approval weight ω(c) = Σ i approves c ω(i) –update the weight
of each voter to ω(i) = 1/(1+|Ai ∩ W|)
for k=2 PAV outputs {c2,
c3} , RAV outputs
{c1, c2} or {c1, c3}
c1
c2 c3
9
![Page 10: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/10.jpg)
Generalizing PAV and RAV: Arbitrary Weights
• PAV and RAV both use weight vector(1, 1/2, 1/3, …)
• We can use an arbitrary weight vector (w1, w2,…) with w1 = 1 ,w1 ≥ w2 ≥ … instead: (w1, w2, …)-PAV and (w1, w2, …)-RAV
• (1, 0, …)-RAV: choose candidates one by one to cover as many uncovered voters as possible at each step (Greedy Approval Voting (GAV)) 10
![Page 11: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/11.jpg)
Outline
• Approval-based multiwinner rules !
• Justified Representation (JR) !
• Which rules satisfy JR? !
• Extended Justified Representation (EJR)
11
![Page 12: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/12.jpg)
Representation
• 5 voters get 3 representatives, 4 voters get 0 representatives
• Intuition: each cohesive group
of voters of size n/k “deserves” at least one representative
c1c2 c3 c4
for k=3 AV outputs {c1, c2, c3}
12
![Page 13: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/13.jpg)
• Definition: a committee W provides justified representation (JR) for a list of ballots (A1,…, An) and committee size k if for every set of voters X with |X| ≥ n/k and ∩ i ∈ X Ai ≠ ∅ it holds that W contains at least one candidate from U i ∈ X Ai.
• k=1: JR is satisfied unless there exists a candidate approved by all, but we pick a candidate not approved by anyone
Justified Representation
13
![Page 14: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/14.jpg)
• Claim: GAV (aka (1, 0, …)-RAV) always outputs a committee that provides JR.
• Proof: – Suppose after k steps we have
n/k uncovered voters who all approve a
– a’s weight is ≥ n/k – then at each step we chose a set
that covered ≥ n/k uncovered voters – thus we should have covered all n voters
Can We Always Satisfy JR?
14
![Page 15: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/15.jpg)
Outline
• Approval-based multiwinner rules !
• Justified Representation (JR) !
• Which rules satisfy JR? !
• Extended Justified Representation (EJR)
15
![Page 16: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/16.jpg)
Rules that fail JR
• AV fails JR for k ≥ 3 !
• SAV fails JR for k ≥ 2 !
• MAV fails JR for k ≥ 2 – except if each ballot is of size k
and ties are broken in favour of JR
c1c2 c3 c4
for k=3 AV outputs {c1,c2, c3}
16
![Page 17: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/17.jpg)
PAV, RAV and JR
• Theorem: PAV satisfies JR • Theorem: (w1, w2, …)-PAV satisfies JR iff
wj ≤ 1/j for all j
• Theorem: RAV satisfies JR for k = 2 and fails JR for k ≥ 10 – k = 3, …, 9 is open!
• Theorem: (w1, w2, …)-RAV fails JR if w2 > 0 – (1, 0, …)-RAV is GAV and satisfies JR
17
![Page 18: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/18.jpg)
Summary: JR
Satisfies JRAV NoSAV NoMAV NoPAV YesRAV NoGAV Yes
18
![Page 19: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/19.jpg)
Outline
• Approval-based multiwinner rules !
• Justified Representation (JR) !
• Which rules satisfy JR? !
• Extended Justified Representation (EJR)
19
![Page 20: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/20.jpg)
• Should we choose c4 ???
• Perhaps a very large coherent group of voters “deserves” several representatives?
• Idea: if n/k voters who agree on a candidate “deserve” one representative, then maybe l • n/k voters who agree on l candidates “deserve” l representatives?
Is JR Enough?
c1c2 c3 c4
20
![Page 21: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/21.jpg)
• Definition: a committee W provides extended justified representation (EJR) for a list of ballots (A1,…, An) and committee size k if for every l > 0, every set of voters X with |X| ≥ l • n/k and |∩ i ∈ X Ai | ≥ l it holds that |W ∩ Ai | ≥ l for at least one i ∈ X. !
• l = 1: justified representation
Extended Justified Representation
21
![Page 22: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/22.jpg)
• Observation: GAV fails EJR • Theorem: PAV satisfies EJR, but is NP-hard to
compute – do any other rules satisfy EJR?
• Theorem: (w1, w2, …)-PAV fails EJR if (w1, w2, …) ≠ (1, 1/2, 1/3, …)
• Theorem: checking if a committee provides EJR is coNP-complete
• Open: complexity of finding an EJR committee
Satisfying EJR
22
![Page 23: Justified Representation inhaziz/AAAI-rep.pdf · Justified Representation in Approval-Based Committee Voting Hariz Aziz1, Markus Brill2, Vincent Conitzer2, Edith Elkind3, Rupert Freeman2,](https://reader034.fdocuments.in/reader034/viewer/2022042303/5ecefa2eeae4ba739d1f4d88/html5/thumbnails/23.jpg)
Summary: EJR
Satisfies JR Satisfies EJRAV No NoSAV No NoMAV No NoPAV Yes YesRAV No NoGAV Yes No
Thank you! 23