The problem of fairly dividing a cake (as a metaphor for a heterogeneous divisible good) has been the subject of much interest since the 1940's, and is of importance in multiagent resource allocation. Two fairness criteria are usually considered: proportionality, in the sense that each of the n agents receives at least 1/n of the cake; and the stronger property of envy-freeness, namely that each agent prefers its own piece of cake to the others' pieces. For proportional division, there are algorithms that require O(n log n) steps, and recent lower bounds imply that one cannot do better. In stark contrast, known (discrete) algorithms for envy-free division require an unbounded number of steps, even when there are only four agents.
In this paper, we give an Ω(n2) lower bound for the number of steps required by envy-free cake-cutting algorithms. This result provides, for the first time, a true separation between envy-free and proportional division, thus giving a partial explanation for the notorious difficulty of the former problem.
[1]
Shimon Even,et al.
A note on cake cutting
,
1984,
Discret. Appl. Math..
[2]
Gerhard J. Woeginger,et al.
On the complexity of cake cutting
,
2007,
Discret. Optim..
[3]
K. Pruhs,et al.
Cake cutting really is not a piece of cake
,
2006,
SODA 2006.
[4]
Costas Busch,et al.
Hardness Results for Cake Cutting
,
2005,
Bull. EATCS.
[5]
W. Stromquist.
How to Cut a Cake Fairly
,
1980
.
[6]
William S. Zwicker,et al.
A Moving-Knife Solution to the Four-Person Envy-Free Cake-Division Problem
,
1995
.
[7]
Walter Stromquist,et al.
Envy-Free Cake Divisions Cannot be Found by Finite Protocols
,
2008,
Electron. J. Comb..
[8]
Jack M. Robertson,et al.
Cake-cutting algorithms - be fair if you can
,
1998
.
[9]
Yann Chevaleyre,et al.
Issues in Multiagent Resource Allocation
,
2006,
Informatica.