Better Ways to Cut a Cake Steven Brams – NYU Mike Jones – Montclair State University Christian Klamler – Graz University Paris, October 2006.

Slides:



Advertisements
Similar presentations
Announcement Paper presentation schedule online Second stage open
Advertisements

Ariel D. Procaccia (Microsoft)  A cake must be divided between several children  The cake is heterogeneous  Each child has different value for same.
Cakes, Pies, and Fair Division Walter Stromquist Swarthmore College Rutgers Experimental Mathematics Seminar October 4, 2007.
Approximation, Chance and Networks Lecture Notes BISS 2005, Bertinoro March Alessandro Panconesi University La Sapienza of Rome.
IMPOSSIBILITY AND MANIPULABILITY Section 9.3 and Chapter 10.
An Approximate Truthful Mechanism for Combinatorial Auctions An Internet Mathematics paper by Aaron Archer, Christos Papadimitriou, Kunal Talwar and Éva.
Multi-item auctions with identical items limited supply: M items (M smaller than number of bidders, n). Three possible bidder types: –Unit-demand bidders.
CUTTING A BIRTHDAY CAKE Yonatan Aumann, Bar Ilan University.
EC3224 Autumn Lecture #04 Mixed-Strategy Equilibrium
Negotiation A Lesson in Multiagent System Based on Jose Vidal’s book Fundamentals of Multiagent Systems Henry Hexmoor SIUC.
Seminar In Game Theory Algorithms, TAU, Agenda  Introduction  Computational Complexity  Incentive Compatible Mechanism  LP Relaxation & Walrasian.
Copyright © Cengage Learning. All rights reserved. CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION.
Part 3: The Minimax Theorem
Online Cake Cutting Toby Walsh NICTA and UNSW Sydney, Australia.
Cutting a Pie is Not a Piece of Cake Walter Stromquist Swarthmore College Third World Congress of the Game Theory Society Evanston,
Not Everyone Likes Mushrooms: Fair Division and Degrees of Guaranteed Envy-Freeness* Second GASICS Meeting Computational Foundations of Social Choice Aachen,
Selfridge-Conway Fair Division Procedure An Envy-Free Cake Division Procedure.
Dividing a Cake Fairly among n players Thomas Yeo
Chapter 13: Fair Division Lesson Plan
Lau Ting Sum Samson Suen Wai.  Discuss what fairness is  Describe some methods for fair division: 1. Divide-and-choose 2. Last Diminisher 3. Selfridge-Conway.
NOT JUST A CHILD’S PLAY CAKE CUTTING. How does one fairly divide goods among several people?
TRUTH, JUSTICE, AND CAKE CUTTING Yiling Chen, John K. Lai, David C. Parkes, Ariel D. Procaccia (Harvard SEAS) 1.
EC941 - Game Theory Prof. Francesco Squintani Lecture 8 1.
The Probabilistic Method Shmuel Wimer Engineering Faculty Bar-Ilan University.
Bundling Equilibrium in Combinatorial Auctions Written by: Presented by: Ron Holzman Rica Gonen Noa Kfir-Dahav Dov Monderer Moshe Tennenholtz.
Multiplication of Fractions
Algebra Problems… Solutions Algebra Problems… Solutions © 2007 Herbert I. Gross Set 22 By Herbert I. Gross and Richard A. Medeiros next.
TRUTH, JUSTICE, AND CAKE CUTTING Ariel Procaccia (Harvard SEAS) 1.
Tirgul 10 Rehearsal about Universal Hashing Solving two problems from theoretical exercises: –T2 q. 1 –T3 q. 2.
Existential Graphs and Davis-Putnam April 3, 2002 Bram van Heuveln Department of Cognitive Science.
UNIT II: The Basic Theory Zero-sum Games Nonzero-sum Games Nash Equilibrium: Properties and Problems Bargaining Games Bargaining and Negotiation Review.
Competitive Analysis of Incentive Compatible On-Line Auctions Ron Lavi and Noam Nisan SISL/IST, Cal-Tech Hebrew University.
Open Methods Chapter 6 The Islamic University of Gaza
UNIT II: The Basic Theory Zero-sum Games Nonzero-sum Games Nash Equilibrium: Properties and Problems Bargaining Games Bargaining and Negotiation Review.
College Algebra Exam 2 Material.
Theorems on continuous functions. Weierstrass’ theorem Let f(x) be a continuous function over a closed bounded interval [a,b] Then f(x) has at least one.
Game Theory.
Homework Review notes Complete Worksheet #2. Homework State whether the conditional sentence is true or false 1.If 1 = 0, then 1 = – 1 True F F T.
Mathematics Review Exponents Logarithms Series Modular arithmetic Proofs.
11.4 Notes Solving logarithmic equations Notes In this unit of study, you will learn several methods for solving several types of logarithmic equations.
Section 3.1: Proof Strategy Now that we have a fair amount of experience with proofs, we will start to prove more difficult theorems. Our experience so.
Chapter 14: Fair Division Part 4 – Divide and Choose for more than two players.
The Integers. The Division Algorithms A high-school question: Compute 58/17. We can write 58 as 58 = 3 (17) + 7 This forms illustrates the answer: “3.
Dominant Resource Fairness: Fair Allocation of Multiple Resource Types Ali Ghodsi, Matei Zaharia, Benjamin Hindman, Andy Konwinski, Scott Shenker, Ion.
Formal Models in AGI Research Pei Wang Temple University Philadelphia, USA.
Chapter 14: Fair Division Part 5 – Defining Fairness.
Chapter 3 Consumer Behavior. Chapter 32©2005 Pearson Education, Inc. Introduction How are consumer preferences used to determine demand? How do consumers.
Excursions in Modern Mathematics, 7e: Copyright © 2010 Pearson Education, Inc. 3 The Mathematics of Sharing 3.1Fair-Division Games 3.2Two Players:
Chapter 3 Fair Division.
Chapter 3: The Mathematics of Sharing Fair-Division Games.
Copyright © Cengage Learning. All rights reserved.
Manipulating the Quota in Weighted Voting Games (M. Zuckerman, P. Faliszewski, Y. Bachrach, and E. Elkind) ‏ Presented by: Sen Li Software Technologies.
Auctions serve the dual purpose of eliciting preferences and allocating resources between competing uses. A less fundamental but more practical reason.
Fair Shares.
Mathematical Induction Section 5.1. Climbing an Infinite Ladder Suppose we have an infinite ladder: 1.We can reach the first rung of the ladder. 2.If.
Instructor: Shengyu Zhang 1. Resource allocation General goals:  Maximize social welfare.  Fairness.  Stability. 2.
Fair Division Algorithms
Non-LP-Based Approximation Algorithms Fabrizio Grandoni IDSIA
The Jordan Arc theorem. A Lemma: For a connected, finite union of open discs, no two of which are mutually tangent, the outer boundary (which separates.
Methods of Proof Lecture 4: Sep 20 (chapter 3 of the book, except 3.5 and 3.8)
CS 173, Lecture B August 27, 2015 Tandy Warnow. Proofs You want to prove that some statement A is true. You can try to prove it directly, or you can prove.
A pie that can’t be cut fairly Walter Stromquist Swarthmore College Fair Division Seminar Dagstuhl, Deutschland June 26, 2007.
Hubert Chan (Chapters 1.6, 1.7, 4.1)
Approximation algorithms for combinatorial allocation problems
Mathematical Foundations of AI
Fair division Lirong Xia Oct 7, 2013.
Hubert Chan (Chapters 1.6, 1.7, 4.1)
Intro to the Fair Allocation
FAIR division (Txt: 3.1 & SOL: DM.7)
5.6 Inequalities in Two Triangles and Indirect Proof
Presentation transcript:

Better Ways to Cut a Cake Steven Brams – NYU Mike Jones – Montclair State University Christian Klamler – Graz University Paris, October 2006

Fair Division 2 Various Procedures (Brams & Taylor 1996)  Comparisons on the basis of: Complexity of the rules Properties satisfied Manipulability Division of a heterogeneous divisible good among various players  land division,  service used over time by different players

Desirable Properties 3  Efficiency There is no other allocation that is better for one player and at least as good for all others.  Envy-freeness Each player thinks it receives at least a tied-for- largest portion, so it does not envy another player.  Equitability Each player’s valuation of the portion that it receives is the same as every other player’s valuation of the portion it receives.

Assumptions 4 CAKE as the unit interval X=[0,1]  Cuts divide the cake into subintervals Every player i has a continuous value function v i on [0,1] with the following properties:  For all x  X, v i (x)  0  v i (  ) = 0 i.e. measure is non-atomic  For any disjoint x,y  X, v i (x+y) = v i (x) + v i (y), i.e. measure is finitely additive  v i (X) = 1 Players are ignorant about other players’ value functions. Goal of each player is to maximize the value of the minimum-size piece that it can guarantee for itself, regardless of what the other players do (maximin value), i.e. players are risk-averse; they never choose strategies that entail the possibility of giving them less than their maximin values. 01

Cut and Choose 5 01/21 Satisfies Efficiency, Envy-Freeness but NOT Equitability

Does a “perfect” cut exist? 6 Efficient, envy-free and equitable solution at x = 3/7 (see Jones (2002)) However, (even risk averse) players have no incentive to state their true value functions! 1/2 2/3 10

The Surplus Procedure 7 RULES: 1.Independently, A and B report their value functions f A (x) and f B (x) to a referee. 2.Referee determines the points a and b a b If a and b coincide, the cake is cut at that point and the pieces are randomly assigned. 4.Let a be to the left of b. Then A gets [0,a] and B gets [b,1].

The Surplus Procedure 8 5.Let c be the point in [a,b] at which the players receive the same proportion p of the cake in this interval as each values it a -----c b A receives portion [a,c] and B [c,b] for a total of [0,c] for A and (c,1] for B.

The Surplus Procedure 9 To solve for c we set: For the previous example we get: Which yields c = 7/16. This does not ensure “pure” equitability as they value the interval [a,b] differently – only proportional equitability!

The Surplus Procedure 10 For “pure” equitability we need to cut the cake at point e such that: for e = 3/7 (which is further to the left than c). There are conflicting arguments for cutting at c (proportional equitability) and e (equitability). Property: A procedure is strategy-vulnerable if a maximin player can, by misrepresenting its value function, assuredly do better, whatever the value function of the other players. A procedure that is not strategy-vulnerable is called strategy- proof.

Theorem 1 11 Proof: 1.Misrepresenting a and/or b a-----b---a’ Misrepresenting their value functions over [a,b] a-----c  ----b Shift of c to the right for A possible if it either decreases increases But therefore A would have to know f B (x) which it does not! Theorem 1: SP is strategy-proof, whereas any procedure that makes e the cut-point is strategy-vulnerable.

Theorem 1 12 If A knew the location of b manipulation was possible:  concentrate the value just to the left of b, what moves c rightward Manipulation is possible when cake is cut at e!  submit f A (x) with the same point  if a is to the left of b, then decrease  if a is to the right of b, then decrease

Extensions to Three or More Players 13 Consider the following value functions for 3 players:

Extensions to Three or More Players 14 It is not always possible to divide a cake among three players into envy-free and equitable portions using two cuts!

Extensions to Three or More Players 15 There are 2 envy-free procedures for 3-person, 2-cut cake division: o Stromquist (1980): requires 4 simultaneously moving knifes o Barbanel & Brams (2004): requires 2 simultaneously moving knifes Beyond 4 players, no procedure is known that yields an envy- free division unless an unbounded number of cuts is allowed. However, an envy-free allocation that uses n-1 parallel, vertical cuts is always efficient. (Gale, 1993; Brams and Taylor, 1996)

Equitability Procedure (EP) 16 The rules of EP are: 1.Independently, A,B,C, … report their (possibly false) value functions f A (x), f B (x), f C (x), … over [0,1] to a referee. 2.The referee determines the cutpoints that equalize the common value that all players receive (for the n! possible assignments of pieces) 3.Choose the assignment that gives the players their maximum common value. It is always possible to find an equitable division of a cake among three or more players that is efficient.

Equitability Procedure (EP) 17 Using the above 3-player example, the cutpoints e 1 and e 2 have to be such that: giving e 1 ≈ and e 2 ≈ with a value of for each player.

Theorems 2 and 3 18 Theorem 2: EP is strategy-proof. In order to misrepresent, a player would have to know the borders of the pieces. As it does not do so it cannot ensure itself a more valuable piece. Theorem 3: If a player is truthful under EP, it will receive at least 1/n of the cake regardless of whether or not the other players are truthful; otherwise, it may not. We know that there is a division where each player receives at least 1/n (e.g. Dubins-Spanier moving knife procedure). As v i (X)=1, undervaluing the cake at one part will overvalue it at some other part, but an ignorant player might get the latter.

Example 19 In the previous example assume C knows the value functions of A and B. Let c 1 and c 2 be the cutpoints. Then C should undervalue the middle portion between those points so that: It is maximal if B is indifferent between receiving the right portion and the middle portion, i.e. This leads to c 1 ≈ and c 2 ≈ where A and B receive a value of and C receives a value of (compared to the before). However, a bit more undervaluation  C gets a value less than

Conclusion 20 We have described a new 2-person, 1-cut cake cutting procedure (SP). Like cut-and-choose it induces players to be truthful, but produces a proportionally equitable division. SP is more information demanding. For three persons, there may be no envy-free division that is also equitable. For four persons, there is no known minimal-cut envy-free procedure. However, EP ensures equitability and efficiency.