Abstract:Dividing a multilayered cake under nonoverlapping constraints captures several scenarios (e.g., allocating multiple facilities over time where each agent can utilize at most one facility simultaneously). We establish the existence of an envy-free multidivision that is nonoverlapping and contiguous within each layer when the number of agents is a prime power, solving partially an open question by Hosseini et al. [Hosseini H, Igarashi A, Searns A (2020) Fair division of time: Multi-layered cake cutting. Proc. 29th Internat. Joint Conf. Artificial Intelligence (IJCAI), 182–188; Hosseini H, Igarashi A, Searns A (2020) Fair division of time: Multi-layered cake cutting. Preprint, submitted April 28, http://arxiv.org/abs/2004.13397 ]. Our approach follows an idea proposed by Jojić et al. [Jojić D, Panina G, Živaljević R (2021) Splitting necklaces, with constraints. SIAM J. Discrete Math. 35(2):1268–1286] for envy-free divisions, relying on a general fixed-point theorem. We further design a fully polynomial-time approximation scheme for the two-layer, three-agent case, with monotone preferences. All results are actually established for divisions among groups of almost the same size. In the one-layer, three-group case, our algorithm is able to deal with any predetermined sizes, still with monotone preferences. For three groups, this provides an algorithmic version of a recent theorem by Segal-Halevi and Suksompong [Segal-Halevi E, Suksompong W (2021) How to cut a cake fairly: A generalization to groups. Amer. Math. Monthly 128(1):79–83]. Funding: This work was partially supported by the Japan Science and Technology Agency [Grant JPMJPR20C], Fusion Oriented REsearch for disruptive Science and Technology [Grant JPMJFR226O], and Exploratory Research for Advanced Technology [Grant JPMJER2301].

Cutting cakes and kissing circles

Cutting a Cake Is Not Always a 'Piece of Cake': A Closer Look at the Foundations of Cake-Cutting Through the Lens of Measure Theory

Fair and Square: Cake-cutting in Two Dimensions

Packing a cake into a box

Fair and Efficient Division of a Discrete Cake with Switching Utility Loss.

Connectedness in fair division of circle and star cakes between two agents with unequal entitlements

Cake Cutting Algorithms for Piecewise Constant and Piecewise Uniform Valuations

On cake dividing

The Complexity of Cake Cutting with Unequal Shares

Fair Division of Multi-layered Cakes

Two-player envy-free multi-cake division

The Query Complexity of Cake Cutting

Fair and Efficient Cake Division with Connected Pieces

How to Cut a Cake Fairly: A Generalization to Groups

Envy-Free Division of Multilayered Cakes

Face Counting for Topological Hyperplane Arrangements

Dueling Over Dessert, Mastering the Art of Repeated Cake Cutting

Online Cake Cutting

Dividing a Graphical Cake

A compositional game to fairly divide homogeneous cake