The cake cutting problem is concerned with the fair allocation of a divisible good among agents whose preferences vary over it. Recently, designing strategy-proof (SP) cake cutting mechanisms has caught considerable attention from AI and MAS researchers. Previous works assumed that an agent’s utility function is additive so that theoretical analysis becomes tractable. However, in practice, agents have non-additive utility over a resource. In this paper, we consider the all-or-nothing utility function as a representative example of non-additive utility because it can widely cover agents’ preferences for such real-world resources as the usage of meeting rooms, time slots for computational resources, bandwidth usage, and so on. We first show the incompatibility between envy-freeness (EF) and Pareto efficiency (PE) when each agent has all-or-nothing utility. We next propose a SP mechanism that satisfy PE, which is based on the serial dictatorship mechanism, at the sacrifice of EF. To address computational feasibility, we propose a heuristic-based allocation algorithm to find a near-optimal allocation in time polynomial in the number of agents, since the problem of finding a PE allocation is NP-hard. As another approach that abandons PE, we develop an EF and SP mechanism. Furthermore, we argue about false-name-proofness (FNP), which is the expansion of SP, and propose FNP and EF cake cutting mechanism. Finally, we evaluate our proposed mechanisms by computational experiments.
[1]
Atila Abdulkadiroglu,et al.
RANDOM SERIAL DICTATORSHIP AND THE CORE FROM RANDOM ENDOWMENTS IN HOUSE ALLOCATION PROBLEMS
,
1998
.
[2]
Ariel D. Procaccia,et al.
Truth, justice, and cake cutting
,
2010,
Games Econ. Behav..
[3]
A. K. Austin,et al.
Sharing a Cake
,
1982,
The Mathematical Gazette.
[4]
Ran Canetti,et al.
Toward a Game Theoretic View of Secure Computation
,
2011,
Journal of Cryptology.
[5]
Simina Brânzei,et al.
Equilibrium analysis in cake cutting
,
2013,
AAMAS.
[6]
David S. Johnson,et al.
Two-Processor Scheduling with Start-Times and Deadlines
,
1977,
SIAM J. Comput..
[7]
Steven J. Brams,et al.
Cake division with minimal cuts: envy-free procedures for three persons, four persons, and beyond
,
2004,
Math. Soc. Sci..
[8]
Rishi S. Mirchandani.
Superadditivity and Subadditivity in Fair Division
,
2013
.
[9]
Makoto Yokoo,et al.
Robust Combinatorial Auction Protocol against False-Name Bids
,
2000,
AAAI/IAAI.
[10]
Makoto Yokoo,et al.
Fairness and False-Name Manipulations in Randomized Cake Cutting
,
2015,
AAMAS.
[11]
Ariel D. Procaccia,et al.
Towards More Expressive Cake Cutting
,
2011,
IJCAI.
[12]
Makoto Yokoo,et al.
Strategy-Proof Cake Cutting Mechanisms for All-or-Nothing Utility
,
2015,
PRIMA.
[13]
S. Brams,et al.
Better Ways to Cut a Cake
,
2006
.
[14]
Elchanan Mossel,et al.
Truthful Fair Division
,
2010,
SAGT.