jos´e m vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · voting possible solutions definition...
TRANSCRIPT
![Page 1: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/1.jpg)
Voting
Voting
Jose M Vidal
Department of Computer Science and Engineering, University of South Carolina
September 29, 2005
Abstract
The problems with voting.
![Page 2: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/2.jpg)
Voting
The Problem
MilkWineBeer
WineBeerMilk
BeerWineMilk
![Page 3: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/3.jpg)
Voting
The Problem
MilkWineBeer
WineBeerMilk
BeerWineMilk
Beer Wine Milk
![Page 4: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/4.jpg)
Voting
The Problem
MilkWineBeer
WineBeerMilk
BeerWineMilk
Beer Wine Milk
Plurality
![Page 5: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/5.jpg)
Voting
The Problem
MilkWineBeer
WineBeerMilk
BeerWineMilk
Beer Wine Milk
Plurality 5 4 6
![Page 6: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/6.jpg)
Voting
The Problem
MilkWineBeer
WineBeerMilk
BeerWineMilk
Beer Wine Milk
Plurality 5 4 6
Runoff
![Page 7: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/7.jpg)
Voting
The Problem
MilkWineBeer
WineBeerMilk
BeerWineMilk
Beer Wine Milk
Plurality 5 4 6
Runoff 5,9 4 6,6
![Page 8: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/8.jpg)
Voting
The Problem
MilkWineBeer
WineBeerMilk
BeerWineMilk
Beer Wine Milk
Plurality 5 4 6
Runoff 5,9 4 6,6
Pairwise
![Page 9: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/9.jpg)
Voting
The Problem
MilkWineBeer
WineBeerMilk
BeerWineMilk
Beer Wine Milk
Plurality 5 4 6
Runoff 5,9 4 6,6
Pairwise 1 2 0
![Page 10: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/10.jpg)
Voting
Possible Solutions
Symmetry
Reflectional symmetry: If one agent prefers A to B andanother one prefers B to A then their votes should cancel eachother out.
Rotational symmetry: If one agent prefers A,B,C and anotherone prefers B,C,A and another one prefers C,A,B then theirvotes should cancel out.
Plurality vote violates reflectional symmetry, so does runoffvoting.
Pairwise comparison violates rotational symmetry.
![Page 11: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/11.jpg)
Voting
Possible Solutions
Symmetry
Reflectional symmetry: If one agent prefers A to B andanother one prefers B to A then their votes should cancel eachother out.
Rotational symmetry: If one agent prefers A,B,C and anotherone prefers B,C,A and another one prefers C,A,B then theirvotes should cancel out.
Plurality vote violates reflectional symmetry, so does runoffvoting.
Pairwise comparison violates rotational symmetry.
![Page 12: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/12.jpg)
Voting
Possible Solutions
Borda Count
Jean-Charles deBorda. 1733–1799.
1 With x candidates, each agent awards xto points to his first choice, x−1 pointsto his second choice, and so on.
2 The candidate with the most points wins.
Borda satisfies both reflectional and rotationalsymmetry.
![Page 13: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/13.jpg)
Voting
Possible Solutions
Formalization
There is a set of A agents, and O outcomes.
Each agent i has a preference function >i over the set ofoutcomes.
Let >∗ be the global set of social preferences. That is, whatwe want the outcome to be.
![Page 14: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/14.jpg)
Voting
Possible Solutions
Definition (Desirable Voting Outcome Conditions)
1 >∗ exists for all possible inputs >i
2 >∗ exists for every pair of outcomes
3 >∗ is asymmetric and transitive over the set of outcomes
4 >∗ should be Pareto efficient.
5 The scheme used to arrive at >∗ should be independent ofirrelevant alternatives.
6 No agent should be a dictator in the sense that >∗ is alwaysthe same as >i , no matter what the other >j are.
![Page 15: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/15.jpg)
Voting
Possible Solutions
Definition (Desirable Voting Outcome Conditions)
1 >∗ exists for all possible inputs >i
2 >∗ exists for every pair of outcomes
3 >∗ is asymmetric and transitive over the set of outcomes
4 >∗ should be Pareto efficient.
5 The scheme used to arrive at >∗ should be independent ofirrelevant alternatives.
6 No agent should be a dictator in the sense that >∗ is alwaysthe same as >i , no matter what the other >j are.
![Page 16: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/16.jpg)
Voting
Possible Solutions
Definition (Desirable Voting Outcome Conditions)
1 >∗ exists for all possible inputs >i
2 >∗ exists for every pair of outcomes
3 >∗ is asymmetric and transitive over the set of outcomes
4 >∗ should be Pareto efficient.
5 The scheme used to arrive at >∗ should be independent ofirrelevant alternatives.
6 No agent should be a dictator in the sense that >∗ is alwaysthe same as >i , no matter what the other >j are.
![Page 17: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/17.jpg)
Voting
Possible Solutions
Definition (Desirable Voting Outcome Conditions)
1 >∗ exists for all possible inputs >i
2 >∗ exists for every pair of outcomes
3 >∗ is asymmetric and transitive over the set of outcomes
4 >∗ should be Pareto efficient.
5 The scheme used to arrive at >∗ should be independent ofirrelevant alternatives.
6 No agent should be a dictator in the sense that >∗ is alwaysthe same as >i , no matter what the other >j are.
![Page 18: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/18.jpg)
Voting
Possible Solutions
Definition (Desirable Voting Outcome Conditions)
1 >∗ exists for all possible inputs >i
2 >∗ exists for every pair of outcomes
3 >∗ is asymmetric and transitive over the set of outcomes
4 >∗ should be Pareto efficient.
5 The scheme used to arrive at >∗ should be independent ofirrelevant alternatives.
6 No agent should be a dictator in the sense that >∗ is alwaysthe same as >i , no matter what the other >j are.
![Page 19: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/19.jpg)
Voting
Possible Solutions
Definition (Desirable Voting Outcome Conditions)
1 >∗ exists for all possible inputs >i
2 >∗ exists for every pair of outcomes
3 >∗ is asymmetric and transitive over the set of outcomes
4 >∗ should be Pareto efficient.
5 The scheme used to arrive at >∗ should be independent ofirrelevant alternatives.
6 No agent should be a dictator in the sense that >∗ is alwaysthe same as >i , no matter what the other >j are.
![Page 20: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/20.jpg)
Voting
Possible Solutions
We are Doomed
Kenneth Arrow
Theorem (Arrow’s Impossibility)
There is no social choice rule that satisfies thesix conditions.
Plurality voting relaxes 3 and 5. Adding athird candidate can wreak havoc.
Pairwise relaxes 5.
Borda violates 5.
![Page 21: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/21.jpg)
Voting
Possible Solutions
We are Doomed
Kenneth Arrow
Theorem (Arrow’s Impossibility)
There is no social choice rule that satisfies thesix conditions.
Plurality voting relaxes 3 and 5. Adding athird candidate can wreak havoc.
Pairwise relaxes 5.
Borda violates 5.
![Page 22: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/22.jpg)
Voting
Possible Solutions
We are Doomed
Borda Example
1 a > b > c > d
2 b > c > d > a
3 c > d > a > b
4 a > b > c > d
5 b > c > d > a
6 c > d > a > b
7 a > b > c > d
![Page 23: Jos´e M Vidaljmvidal.cse.sc.edu/talks/voting-slides.pdf · Voting Possible Solutions Definition (Desirable Voting Outcome Conditions) 1 >∗ exists for all possible inputs > i 2](https://reader034.vdocuments.site/reader034/viewer/2022050515/5f9ee90817f3f31bed4741b2/html5/thumbnails/23.jpg)
Voting
Possible Solutions
We are Doomed
Borda Example
1 a > b > c
2 b > c > a
3 c > a > b
4 a > b > c
5 b > c > a
6 c > a > b
7 a > b > c