15-251 Great Theoretical Ideas in Computer Science.

Slides:



Advertisements
Similar presentations
Computational Game Theory Amos Fiat Spring 2012
Advertisements

Which units are you most interested in covering? Unit A –Management Science Unit B – Growth Unit C – Shape and Form Unit D – Statistics.
6.896: Topics in Algorithmic Game Theory Lecture 18 Constantinos Daskalakis.
Nash’s Theorem Theorem (Nash, 1951): Every finite game (finite number of players, finite number of pure strategies) has at least one mixed-strategy Nash.
Voting Methods Continued
Voting and social choice Vincent Conitzer
1 EC9A4 Social Choice and Voting Lecture 3 EC9A4 Social Choice and Voting Lecture 3 Prof. Francesco Squintani
Algorithmic Game Theory Uri Feige Robi Krauthgamer Moni Naor Lecture 9: Social Choice Lecturer: Moni Naor.
Voting and social choice Looking at a problem from the designers point of view.
The Voting Problem: A Lesson in Multiagent System Based on Jose Vidal’s book Fundamentals of Multiagent Systems Henry Hexmoor SIUC.
NOTE: To change the image on this slide, select the picture and delete it. Then click the Pictures icon in the placeholder to insert your own image. CHOOSING.
Computational Democracy: Algorithms, Game Theory, and Elections Steven Wolfman 2011/10/27.
How “impossible” is it to design a Voting rule? Angelina Vidali University of Athens.
IMPOSSIBILITY AND MANIPULABILITY Section 9.3 and Chapter 10.
CS 886: Electronic Market Design Social Choice (Preference Aggregation) September 20.
Multi-item auctions with identical items limited supply: M items (M smaller than number of bidders, n). Three possible bidder types: –Unit-demand bidders.
Voting Theory.
Math for Liberal Studies.  In most US elections, voters can only cast a single ballot for the candidate he or she likes the best  However, most voters.
Arrow’s impossibility theorem EC-CS reading group Kenneth Arrow Journal of Political Economy, 1950.
Social Choice: The Impossible Dream Michelle Blessing February 23, 2010 Michelle Blessing February 23, 2010.
Excursions in Modern Mathematics Sixth Edition
But, how?? Explaining all possible positional, pairwise voting paradoxes & prop. Don Saari Institute for Math Behavioral Sciences University of California,
What is your favorite food?. Preference Schedule A Preference Schedule is a way to represent the order in which people like (prefer) certain items. The.
Math for Liberal Studies.  There are many more methods for determining the winner of an election with more than two candidates  We will only discuss.
Algorithmic Applications of Game Theory Lecture 8 1.
Motivation: Condorcet Cycles Let people 1, 2 and 3 have to make a decision between options A, B, and C. Suppose they decide that majority voting is a good.
Preference elicitation Vincent Conitzer
Alex Tabarrok Arrow’s Theorem.
CPS Voting and social choice
Social choice theory = preference aggregation = voting assuming agents tell the truth about their preferences Tuomas Sandholm Professor Computer Science.
Social Choice Theory By Shiyan Li. History The theory of social choice and voting has had a long history in the social sciences, dating back to early.
Social choice theory = preference aggregation = truthful voting Tuomas Sandholm Professor Computer Science Department Carnegie Mellon University.
Social Welfare, Arrow + Gibbard- Satterthwaite, VCG+CPP 1 TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAA A A A A.
A Fourier-Theoretic Perspective on the Condorcet Paradox and Arrow ’ s Theorem. By Gil Kalai, Institute of Mathematics, Hebrew University Presented by:
Social choice (voting) Vincent Conitzer > > > >
Overview Aggregating preferences The Social Welfare function The Pareto Criterion The Compensation Principle.
CPS Social Choice & Mechanism Design Vincent Conitzer
MAT 105 Spring  We have studied the plurality and Condorcet methods so far  In this method, once again voters will be allowed to express their.
CPS 173 Mechanism design Vincent Conitzer
CPS Voting and social choice Vincent Conitzer
Alex Tabarrok. Individual Rankings (Inputs) BDA CCC ABD DAB Voting System (Aggregation Mechanism) Election Outcome (Global Ranking) B D A C.
Elections and Strategic Voting: Condorcet and Borda E. Maskin Harvard University.
1 Elections and Manipulations: Ehud Friedgut, Gil Kalai, and Noam Nisan Hebrew University of Jerusalem and EF: U. of Toronto, GK: Yale University, NN:
Chapter 10: The Manipulability of Voting Systems Lesson Plan An Introduction to Manipulability Majority Rule and Condorcet’s Method The Manipulability.
Math for Liberal Studies.  We have seen many methods, all of them flawed in some way  Which method should we use?  Maybe we shouldn’t use any of them,
By: Eric Zhang.  Indivisible items from multiple categories are allocated to agents without monetary transfer  Example – How paper presentations are.
Part 4: Voting Topics - Continued
6.853: Topics in Algorithmic Game Theory Fall 2011 Constantinos Daskalakis Lecture 22.
Social choice theory = preference aggregation = voting assuming agents tell the truth about their preferences Tuomas Sandholm Professor Computer Science.
Fairness Criteria and Arrow’s Theorem Section 1.4 Animation.
Arrow’s Impossibility Theorem. Question: Is there a public decision making process, voting method, or “Social Welfare Function” (SWF) that will tell us.
Combinatorial Auction. A single item auction t 1 =10 t 2 =12 t 3 =7 r 1 =11 r 2 =10 Social-choice function: the winner should be the guy having in mind.
Empirical Aspects of Plurality Elections David R. M. Thompson, Omer Lev, Kevin Leyton-Brown & Jeffrey S. Rosenschein COMSOC 2012 Kraków, Poland.
Warm-Up Rank the following soft drinks according to your preference (1 being the soft drink you like best and 4 being the one you like least)  Dr. Pepper.
How Should Presidents Be Elected? E. Maskin Institute for Advanced Study.
Chapter 9: Social Choice: The Impossible Dream Lesson Plan Voting and Social Choice Majority Rule and Condorcet’s Method Other Voting Systems for Three.
Social Choice Lectures 14 and 15 John Hey. Lectures 14 and 15: Arrow’s Impossibility Theorem and other matters Plan of lecture: Aggregation of individual.
Arrow’s Impossibility Theorem
Voting Theory Part II: Solutions. Proposed Solutions Approval Voting Range Voting Instant Runoff Voting Borda Count Modifications –Borda Preferendum –Quota.
Impossibility and Other Alternative Voting Methods
Social choice theory = preference aggregation = voting assuming agents tell the truth about their preferences Tuomas Sandholm Professor Computer Science.
Applied Mechanism Design For Social Good
Impossibility and Other Alternative Voting Methods
Introduction If we assume
1.3 The Borda Count Method.
Alex Tabarrok Arrow’s Theorem.
Voting systems Chi-Kwong Li.
Voting and social choice
Introduction to Social Choice
CPS Voting and social choice
Presentation transcript:

Great Theoretical Ideas in Computer Science

Social Choice, Voting and Auctions Lecture 17 (October 21, 2008)

Big picture Say you like pizza > hotdogs >> burgers. We ask you for your preferences, so that we can order food for the review session. I’ll choose the option that gets most 1 st place votes. What should you tell me? What if you know: the rest of the class has 20 votes each for hotdogs and burgers, and 15 for pizza?

Big picture (some more) People have private information You want to get that information If you ask them, will they tell you the truth? Well, they might lie, if telling a lie helps them. (“strategic behavior”) How do you elicit the truth?

let’s start simple

Who’s the winner? Three candidates in town Three voters in town 1 st :a > b > c 2 nd :b > c > a 3 rd :c > a > b Who’s the winner? What’s the best ordering of the candidates?

Condorcet’s Paradox Marie Jean Antoine Nicolas de Caritat, Marquis de Condorcet 1 st :a > b > c 2 nd :b > c > a 3 rd :c > a > b Given any potential winner (say a), a majority prefer another candidate (c) to this person.

Social Choice/Ranking A: set of alternatives (say, {a,b,c,d}) L: set of all possible rankings or linear orderings of these alternatives e.g., a > d > b > c, or b > c > d > a N people each with their ranking Want to combine these into one “social ranking”

Two questions Given the rankings of the N individuals: Social Choice: Output the alternative that’s the “winner” i.e., output an element of A Social Ranking: Output a ranking that “best captures” the rankings of the individuals.

E.g. 1 A = {a, b} In this case, L = { (a>b), (b>a)} Population: person 1: a>b person 2:a>b person 3:b>a person 4:a>b Social Choice:maybe use “plurailty” and output a Social Ranking: (a>b)

E.g. 2 A = {a, b, c} L = { (a>b>c), (a>c>b),(b>c>a),(b>a>c), (c>a>b), (c>b>a)} Population: person 1: a>b>c person 2:a>b>c person 3:b>a>c person 4:c>a>b Social Choice:maybe use “plurailty” and output a Social Ranking: maybe (a>b>c)

E.g. 3 A = {a, b, c} L = { (a>b>c), (a>c>b),(b>c>a),(b>a>c), (c>a>b), (c>b>a)} Population: person 1: a>b>c person 2:b>c>a person 3:c>a>b Social Choice:For each output, majority of people prefer some other candidate Social Ranking: ???

what are some properties we’d like?

Notation Social ranking function F: L N  L takes (> 1, > 2, …, > N )  > output Social choice function G: L N  A takes (> 1, > 2, …, > N )  a

Some properties Unanimity: F is unanimous if when all individuals have a>b for some a,b in A, then the output satisfies a>b.

Some properties Independent of Irrelevant Alternatives: F is IIA if the relative ranking of a and b in the outcome depends only on the voters’ rankings of a and b. I.e., whenever all voters rank a and b the same, the output is the same, regardless of the other alternatives.

Some properties Dictator Voter j is a dictator in F if F(> 1, > 2, …, > N ) = > j F is a dictatorship if there is some j that is a dictator in F.

The case for |A| = 2 Fact: If there are 2 alternatives, the IIA property is trivially satisfied. Facts: Note that plurality satisfies unanimity, and is not a dictatorship.

The case for |A| = 3 (or more) Here are two ways to output an ordering: Copeland’s method Borda’s method

Copeland’s Method

The Borda system

Social Choice functions…

What about social-choice functions? Remember a social choice function outputs a single choice I.e., G: L N  A, takes (> 1, > 2, …, > N )  a

Some properties Unanimity: G is unanimous if when all individuals have a at the top of their rankings, then G outputs a.

Some properties Monotone: G is monotone if whenever G(> 1, > 2, …, > j, …, > N ) = a and G(> 1, > 2, …, > j ’, …, > N ) = a’ then it must be the case that voter j moved a’ above a in his ranking. (I.e., G is “incentive-compatible”. It does not reward lying.)

Some properties Dictator Voter j is a dictator in G if G(> 1, > 2, …, > N ) = choice at top of > j G is a dictatorship if there is some j that is a dictator in G.

Again, some simple cases…

Plurality Output the option at the top of most people’s rankings. Unanimity: Monotonicity:

Instant-Runoff Voting Remove alternative with fewest first-place votes, and repeat. Unanimity: Monotonicity:

What are some good social ranking and social choice functions for |A| >= 3?

The case for |A| = 3 (or more) Theorem (Arrow) Any social ranking function with |A| = 3 or more that satisfies unanimity and IIA is a dictatorship.

The case for |A| = 3 (or more) Theorem (Gibbard-Satterthwaite) Any social choice function with |A| = 3 or more that satisfies unanimity and monotonicity is a dictatorship.

Gibbard-Satterthwaite Note that we wanted to ask people for their (secret) preferences, and use that to pick a social choice. We don’t want them to lie. (Hence we want the social choice function to be monotone.) But that is impossible. 

Arrow’s Theorem Gibbard-Satterthwaite Theorem Two important results with very similar proofs

So what do we do? How to get around these impossibility results? Two solutions: 1)Money… 2)Change the representation…

Mechanisms with money Measure not just that a preferred to b, but also “by how much”… Each individual j (or player j) has a “valuation” for each alternative a in A. Denoted as v j (a) Also, each player values money the same. So, if we choose alternative a, and give $m to j, then j’s “utility” is v j (a) + m

Selfishness Each player acts to maximize her utility.

Auctions Suppose there is a single item a to be auctioned. Each player has value v j (a) (or just v j ) for it. If item given to j, and j pays $p, then utility(j) = v j – p and utility(j’) = 0 for all other players j’.

Auctions However, auctioneer does not know these private valuations. Auctioneer wants to give the item to the person who values it the most. (Think of artist giving a painting to the person who wants it the most. Not revenue-maximizing here!) What should the auctioneer do?

Picture Auctioneer gets “bids” b j which should ideally be the valuations v j But may be higher or lower if it helps players, they’ll report something else

Try #1 Ask each person for their valuation (“bids”), give it to the person j with highest bid b j.

Try #2 Ask each person for their valuation, give it to the person j with highest bid b j, ask for payment b j.

Try #3 Ask each person for their valuation, give it to the person j with highest bid b j, ask for payment b k where k has 2 nd -highest bid. (Called Vickery second-price auction.)

Truth-telling is a good strategy here Suppose true valuations are v 1, v 2, …, v n Then j’s utility u j when he bids b j = v j is at least as much as his utility u j ’ when he bids any other b j ’ (regardless of whatever the other players do)

So what do we do? How to get around these impossibility results? Two solutions: 1)Money… 2)Change the representation…

Range Voting How to get around Arrow’s paradox: Each player, instead of giving a ranking of all the alternatives, gives a score in [0…10] to each alternative. Pick the alternative with maximum average score.

Changing the representation is a powerful idea I have a number in my left hand and a different number in my right hand You don’t know what these values are You choose a hand I show you the number I have in that hand You either take that Or you decline, and I give you the number from other hand You want to maximize the number you get. How should you play?

You can get… If I have X and Y in my two hands, In expectation, you can get (X+Y)/2. How can you do better?

It’s not the voting that’s democracy, it’s the counting… -Tom Stoppard (Jumpers, 1972)