The cake cutting problem must fairly allocate a divisible good among agents who have varying preferences over it. Recently, designing strategy-proof 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 functions 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 real-world resources, such as the usage of meeting rooms, time slots for computational resources, bandwidth usage, and so on. We first show the incompatibility between envy-freeness and Pareto efficiency when each agent has all-or-nothing utility. We next propose two strategy-proofmechanisms that satisfy Pareto efficiency, which are based on a serial dictatorship mechanism, at the sacrifice of envy-freeness. To address computational feasibility, we propose an approximation algorithm to find a near-optimal allocation in time polynomial in the number of agents, since the problem of finding a Pareto efficient allocation is NP-hard. As another approach that abandon Pareto efficiency, we develop anenvy-free mechanism and show that one of our serial dictatorship based mechanisms satisfies proportionality in expectation, which is a weaker definition of proportionality. Finally, we evaluate the efficiency obtained by our proposed mechanisms by computational experiments.
[1]
Noam Nisan,et al.
Incentive Compatible Two Player Cake Cutting
,
2012,
WINE.
[2]
Elchanan Mossel,et al.
Truthful Fair Division
,
2010,
SAGT.
[3]
Atila Abdulkadiroglu,et al.
RANDOM SERIAL DICTATORSHIP AND THE CORE FROM RANDOM ENDOWMENTS IN HOUSE ALLOCATION PROBLEMS
,
1998
.
[4]
Ariel D. Procaccia,et al.
Truth, justice, and cake cutting
,
2010,
Games Econ. Behav..
[5]
Haris Aziz,et al.
New Cake Cutting Algorithms: a Random Assignment Approach to Cake Cutting
,
2013,
ArXiv.
[6]
Chung Laung Liu,et al.
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
,
1989,
JACM.
[7]
Daniel Grosu,et al.
Ieee Transactions on Parallel and Distributed Systems 1 Strategyproof Mechanisms for Scheduling Divisible Loads in Bus-networked Distributed Systems
,
2022
.
[8]
S. Brams,et al.
Better Ways to Cut a Cake
,
2006
.
[9]
David S. Johnson,et al.
Two-Processor Scheduling with Start-Times and Deadlines
,
1977,
SIAM J. Comput..