Download presentation

Presentation is loading. Please wait.

Published byDelaney Tim Modified over 2 years ago

2
Ariel D. Procaccia (Microsoft)

3
A cake must be divided between several children The cake is heterogeneous Each child has different value for same piece of cake How can we divide the cake fairly? What is “fairly”? A metaphor for land disputes, divorce settlements, etc. 2

4
Cake is interval [0,1] Set of agents {1,...,n} Each agent has valuation v i over pieces of cake X [0,1] v i ([0,1]) = 1 For disjoint X,Y: v i (X Y) = v i (X) + v i (Y) Find allocation X 1,..., X n Not necessarily connected pieces 3

5
Proportionality: i, v i (X i ) 1/n Envy-Freeness: i,j, v i (X i ) v i (X j ) Envy-freeness Proportionality For n 3 envy-freeness is strictly stronger 4 1/3 1/2 1/6 1 1 1 1

6
Agent 1 divides into two pieces X,Y s.t. v 1 (X)=1/2, v 1 (Y)=1/2 Agent 2 chooses preferred piece Protocol is proportional + envy free 5 1/2 1/3 2/3

7
6 1/3 Referee continuously moves knife Repeat: when piece left of knife is worth 1/n to agent, agent shouts “stop” and gets piece Protocol is proportional

8
7 Moving knife is not really needed Repeat: each agent makes a mark at his 1/n point, leftmost agent gets piece up to its mark

9
A concrete complexity model Two types of queries Eval i (x,y) = v i ([x,y]) Cut i (x, ) = y s.t. v i ([x,y]) = Can simulate all known discrete protocols 8

10
Proportional Recursive protocol that requires O(nlogn) queries [Even and Paz, 1984] Lower bound of (nlogn) [Edmonds and Pruhs, 2006] Envy free (always exists) n = 2: Cut and Choose n = 3: “good” protocol [Selfridge and Conway, 1961] n 4: known protocol requires unbounded number of queries Lower bound for envy free cake cutting? 9

11
Theorem: The query complexity (in the Robertson-Webb model) of achieving an envy free allocation is (n 2 ) Proof idea : Consider a problem that has to be solved with respect to (n) agents separately in order to guarantee envy-freeness Query complexity of this problem is (n) 10

12
Provides a separation between proportional and envy free Future work: significantly improve the lower bound Need completely different technique 11

Similar presentations

OK

WASTE MAKES HASTE: Erel Segal-Halevi, Avinatan Hassidim, Yonatan Aumann BOUNDED-TIME PROTOCOLS FOR ENVY-FREE CAKE CUTTING WITH FREE DISPOSAL.

WASTE MAKES HASTE: Erel Segal-Halevi, Avinatan Hassidim, Yonatan Aumann BOUNDED-TIME PROTOCOLS FOR ENVY-FREE CAKE CUTTING WITH FREE DISPOSAL.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on pi in maths what is the product Ppt on acid-base indicators in everyday life Writing process elementary ppt on cells Ppt on statistics in maths what does commutative mean Ppt on condition monitoring maintenance Ppt on textile industry in india Evs ppt on pollution Best ppt on project tiger Ppt on ashoka the great emperor Ppt on dry drunk syndrome