Envy-free Chore Division for An Arbitrary Number of Agents

Chore division, introduced by Gardner in 1970s [10], is the problem of fairly dividing a chore among n different agents. In particular, in an envy-free chore division, we would like to divide a negatively valued heterogeneous object among a number of agents who have different valuations for different parts of the object, such that no agent envies another agent. It is the dual variant of the celebrated cake cutting problem, in which we would like to divide a desirable object among agents. There has been an extensive amount of study and effort to design bounded and envy-free protocols/algorithms for fair division of chores and goods, such that envy-free cake cutting became one of the most important open problems in 20-th century mathematics according to Garfunkel [11]. However, despite persistent efforts, due to delicate nature of the problem, there was no bounded protocol known for cake cutting even among four agents, until the breakthrough of Aziz and Mackenzie [2], which provided the first discrete and bounded envy-free protocol for cake cutting for four agents. Afterward, Aziz and Mackenzie [3], generalized their work and provided an envy-free cake cutting protocol for any number of agents to settle a significant and longstanding open problem. However, there is much less known for chore division. Unfortunately, there is no general method known to apply cake cutting techniques to chore division. Thus, it remained an open problem to find a discrete and bounded envy-free chore division protocol even for four agents. In this paper, we provide the first discrete and bounded envy-free protocol for chore division for an arbitrary number of agents. We produce major and powerful tools for designing protocols for the fair division of negatively valued objects. These tools are based on structural results and important observations. In general, we believe these structures and techniques may be useful not only in chore division but also in other fairness problems. Interestingly, we show that applying these techniques simplifies Core Protocol provided in Aziz and Mackenzie [3].

[1]  Erel Segal-Halevi,et al.  Waste Makes Haste: Bounded Time Protocols for Envy-Free Cake Cutting with Free Disposal , 2015, AAMAS.

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

[3]  Oleg Pikhurko On Envy-Free Cake Division , 2000, Am. Math. Mon..

[4]  Costas Busch,et al.  Hardness Results for Cake Cutting , 2005, Bull. EATCS.

[5]  Elisha Peterson,et al.  N-person envy-free chore division , 2009, 0909.0303.

[6]  Haris Aziz,et al.  Computational Social Choice: Some Current and New Directions , 2016, IJCAI.

[7]  Haris Aziz,et al.  A Discrete and Bounded Envy-Free Cake Cutting Protocol for Any Number of Agents , 2016, 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS).

[8]  Julius B. Barbanel,et al.  Preference relations and measures in the context of fair division , 1995 .

[9]  Steven J. Brams,et al.  Fair division - from cake-cutting to dispute resolution , 1998 .

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

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

[12]  Haris Aziz,et al.  A discrete and bounded envy-free cake cutting protocol for four agents , 2015, STOC.

[13]  Elisha Peterson,et al.  Four-Person Envy-Free Chore Division , 2002 .

[14]  Jörg Rothe,et al.  Cake-Cutting: Fair Division of Divisible Goods , 2016, Economics and Computation.

[15]  Ying Wang,et al.  Cutting a Cake for Five People , 2009, AAIM.

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

[17]  Egor Ianovski Cake Cutting Mechanisms , 2012, ArXiv.

[18]  William S. Zwicker,et al.  A Moving-Knife Solution to the Four-Person Envy-Free Cake-Division Problem , 1995 .