Waste Makes Haste: Bounded Time Protocols for Envy-Free Cake Cutting with Free Disposal

We consider the classic problem of envy-free division of a heterogeneous good (aka the cake) among multiple agents. It is well known that if each agent must receive a contiguous piece then there is no finite protocol for the problem, whenever there are 3 or more agents. This impossibility result, however, assumes that the entire cake must be allocated. In this paper we study the problem in a setting where the protocol may leave some of the cake un-allocated, as long as each agent obtains at least some positive value (according to its valuation). We prove that this version of the problem is solvable in a bounded time. For the case of 3 agents we provide a finite and bounded-time protocol that guarantees each agent a share with value at least 1/3, which is the most that can be guaranteed. Categories and Subject Descriptors F.2.2 [ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY]: Computations on discrete structures General Terms Algorithms, Economics Keywords Cake-cutting, fair division,...

• Type: Journal
• Year: 2015
• Where: ATAL
• Authors: Erel Segal-Halevi, Avinatan Hassidim, Yonatan Aumann
• Keywords: ATAL 2015, Intelligent Agents