TY - JOUR

T1 - Fair multi-cake cutting

AU - Segal-Halevi, Erel

N1 - Publisher Copyright:
© 2020 Elsevier B.V.

PY - 2021/3/11

Y1 - 2021/3/11

N2 - In the classic problem of fair cake-cutting, a single interval (“cake”) has to be divided among n agents with different value measures, giving each agent a single sub-interval with a value of at least 1∕n of the total. This paper studies a generalization in which the cake is made of m disjoint intervals, and each agent should get at most k sub-intervals. The paper presents a polynomial-time algorithm that guarantees to each agent at least min(1∕n,k∕(m+n−1)) of the total value, and shows that this is the largest fraction that can be guaranteed. The algorithm simultaneously guarantees to each agent at least 1∕n of the value of his or her k most valuable islands. The main technical tool is envy-free matching in a bipartite graph. Some of the results remain valid even with additional fairness constraints such as envy-freeness. Besides the natural application of the algorithm to simultaneous division of multiple land-estates, the paper shows an application to a geometric problem — fair division of a two-dimensional land estate shaped as a rectilinear polygon, where each agent should receive a rectangular piece.

AB - In the classic problem of fair cake-cutting, a single interval (“cake”) has to be divided among n agents with different value measures, giving each agent a single sub-interval with a value of at least 1∕n of the total. This paper studies a generalization in which the cake is made of m disjoint intervals, and each agent should get at most k sub-intervals. The paper presents a polynomial-time algorithm that guarantees to each agent at least min(1∕n,k∕(m+n−1)) of the total value, and shows that this is the largest fraction that can be guaranteed. The algorithm simultaneously guarantees to each agent at least 1∕n of the value of his or her k most valuable islands. The main technical tool is envy-free matching in a bipartite graph. Some of the results remain valid even with additional fairness constraints such as envy-freeness. Besides the natural application of the algorithm to simultaneous division of multiple land-estates, the paper shows an application to a geometric problem — fair division of a two-dimensional land estate shaped as a rectilinear polygon, where each agent should receive a rectangular piece.

KW - Cutting

KW - Fair division

KW - Matching

KW - Rectilinear polygon

UR - http://www.scopus.com/inward/record.url?scp=85097569671&partnerID=8YFLogxK

U2 - 10.1016/j.dam.2020.10.011

DO - 10.1016/j.dam.2020.10.011

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85097569671

SN - 0166-218X

VL - 291

SP - 15

EP - 35

JO - Discrete Applied Mathematics

JF - Discrete Applied Mathematics

ER -