The Complexity of Cake Cutting with Unequal Shares

An unceasing problem of our prevailing society is the fair division of goods. The problem of proportional cake cutting focuses on dividing a heterogeneous and divisible resource, the cake, among n players who value pieces according to their own measure function. The goal is to assign each player a not necessarily connected part of the cake that the player evaluates at least as much as her proportional share. In this article, we investigate the problem of proportional division with unequal shares, where each player is entitled to receive a predetermined portion of the cake. Our main contribution is threefold. First we present a protocol for integer demands, which delivers a proportional solution in fewer queries than all known protocols. By giving a matching lower bound, we then show that our protocol is asymptotically the fastest possible. Finally, we turn to irrational demands and solve the proportional cake cutting problem by reducing it to the same problem with integer demands only. All results remain valid in a highly general cake cutting model, which can be of independent interest.

[1]  Dao-Zhi Zeng,et al.  Mark-Choose-Cut Algorithms For Fair And Strongly Fair Division , 1999 .

[2]  Anatole Beck,et al.  Constructing a fair border , 1987 .

[3]  Walter Stromquist,et al.  Cutting a Pie Is Not a Piece of Cake , 2008, Am. Math. Mon..

[4]  W. Stromquist How to Cut a Cake Fairly , 1980 .

[5]  Julius B. Barbanel Game-theoretic algorithms for fair and strongly fair cake division with entitlements , 1996 .

[6]  Simina Brânzei,et al.  A Dictatorship Theorem for Cake Cutting , 2015, IJCAI.

[7]  Moshe Babaioff,et al.  Competitive Equilibria with Indivisible Goods and Generic Budgets , 2017, Math. Oper. Res..

[8]  Ariel D. Procaccia,et al.  Optimal Envy-Free Cake Cutting , 2011, AAAI.

[9]  Edward Carney A New Algorithm for the Cake-Cutting Problem of Unequal Shares for Rational Ratios : The Divisor Reduction Method , 2012 .

[10]  Ariel D. Procaccia Cake Cutting Algorithms , 2016, Handbook of Computational Social Choice.

[11]  Mohammad Taghi Hajiaghayi,et al.  On the Complexity of Chore Division , 2017, IJCAI.

[12]  T. Hill Determining a Fair Border , 1983 .

[13]  Erel Segal-Halevi,et al.  Cake-Cutting with Different Entitlements: How Many Cuts are Needed? , 2018, Journal of Mathematical Analysis and Applications.

[14]  Mohammad Taghi Hajiaghayi,et al.  Fair Allocation of Indivisible Goods to Asymmetric Agents , 2017, AAMAS.

[15]  W. Thomson,et al.  On the fair division of a heterogeneous commodity , 1992 .

[16]  F. Su Rental Harmony: Sperner's Lemma in Fair Division , 1999 .

[17]  Costas Busch,et al.  Cake-Cutting Is Not a Piece of Cake , 2003, STACS.

[18]  Ariel D. Procaccia,et al.  Cake cutting: not just child's play , 2013, CACM.

[19]  Steven J. Brams,et al.  Proportional pie-cutting , 2008, Int. J. Game Theory.

[20]  Ariel D. Procaccia,et al.  How to Cut a Cake Before the Party Ends , 2013, AAAI.

[21]  Andrew Lohr Tight Lower Bounds for Unequal Division , 2012, ArXiv.

[22]  Gerhard J. Woeginger,et al.  On the complexity of cake cutting , 2007, Discret. Optim..

[23]  Erel Segal-Halevi,et al.  Fair and Square: Cake-Cutting in Two Dimensions , 2014, ArXiv.

[24]  Steven J. Brams,et al.  Divide-and-Conquer: A Proportional, Minimal-Envy Cake-Cutting Algorithm , 2010, SIAM Rev..

[25]  Erel Segal-Halevi,et al.  Envy-Free Cake-Cutting in Two Dimensions , 2016, ArXiv.

[26]  Simina Brânzei,et al.  Equilibrium analysis in cake cutting , 2013, AAMAS.

[27]  Bhargav P. Narayanan,et al.  Disproportionate division , 2019, Bulletin of the London Mathematical Society.

[28]  Shimon Even,et al.  A note on cake cutting , 1984, Discret. Appl. Math..

[29]  Michael N. Huhns,et al.  A Procedure for the Allocation of Two-Dimensional Resources in a Multiagent System , 2009, Int. J. Cooperative Inf. Syst..

[30]  Jack M. Robertson,et al.  Ramsey partitions of integers and fair divisions , 1992, Comb..

[31]  Ariel D. Procaccia,et al.  Truth, justice, and cake cutting , 2010, Games Econ. Behav..

[32]  Jack M. Robertson,et al.  Cake-cutting algorithms - be fair if you can , 1998 .

[33]  Marco Dall ' Aglio,et al.  The Dubins—Spanier optimization problem in fair division theory , 2001 .