PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint...
Transcript of PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint...
![Page 1: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/1.jpg)
CMU 15-251
Computational
Social choice
Teachers:
Victor Adamchik
Ariel Procaccia (this time)
![Page 2: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/2.jpg)
Social choice theory
•
•
•
•
•
2
![Page 3: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/3.jpg)
The voting model
• 𝑁 = {1, … , 𝑛}
• 𝐴, |𝐴| = 𝑚
•
•
3
![Page 4: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/4.jpg)
Voting rules
•
•
o
o
o
4
![Page 5: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/5.jpg)
More voting rules
•
o 𝑚 − 𝑘
𝑘
o
o
o
o
5
![Page 6: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/6.jpg)
More voting rules
• 𝑥 𝑦𝑥 𝑦
•
o
o
6
![Page 7: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/7.jpg)
More voting rules
•
o 𝑚 − 1
o
o
o
7
![Page 8: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/8.jpg)
STV: example
8
![Page 9: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/9.jpg)
Social choice axioms
•
•
𝑥 𝑥
•
9
![Page 10: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/10.jpg)
Marquis de Condorcet
•
•
•
•
10
![Page 11: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/11.jpg)
Condorcet winner
• 𝑥 𝑦
𝑥 𝑦
•
•
11
![Page 12: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/12.jpg)
Condorcet consistency
•
•
12
![Page 13: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/13.jpg)
Condorcet consistency
•
⇒
⇒
13
![Page 14: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/14.jpg)
More voting rules
•
•
o 𝑥 = 𝑚 − 1
o < 𝑚 − 1
14
![Page 15: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/15.jpg)
Awesome example
• 𝑎
• 𝑏
•
𝑐
• 𝑑
•
𝑒
15
![Page 16: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/16.jpg)
Manipulation
•
• 𝑏
• 𝑎
•
•
16
![Page 17: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/17.jpg)
Strategyproofness
•
• 𝑚
1. 𝑚 = 1
2. 𝑚 = 2
3. 𝑚 = 3
4. 𝑚 = ∞
17
![Page 18: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/18.jpg)
Gibbard-Satterthwaite
•
•
• 𝑚 ≥ 3
•
18
![Page 19: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/19.jpg)
Complexity of manipulation
•
•
•
19
![Page 20: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/20.jpg)
The computational problem
•
o
𝑝
o
𝑝
• 𝑝 = 𝑎
20
![Page 21: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/21.jpg)
A greedy algorithm
• 𝑝
•
o
𝑝
o
21
![Page 22: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/22.jpg)
Example: Borda
22
![Page 23: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/23.jpg)
When does the alg work?
•
•
23
![Page 24: PowerPoint Presentationarielpro/15251/Lectures/lecture15.pdfAwesome example • ... PowerPoint Presentation Author: Monica Banaszak Created Date: 10/18/2013 9:24:33 AM ...](https://reader034.fdocuments.us/reader034/viewer/2022051810/60191eda590c6c6ec3703185/html5/thumbnails/24.jpg)
What we have learned
•
o
o
o
o
o
•
o
24