When Do Envy-Free Allocations Exist?
Abstract
We consider a fair division setting in which $m$ indivisible items are to be allocated among $n$ agents, where the agents have additive utilities and the agents' utilities for individual items are independently sampled from a distribution. Previous work has shown that an envy-free allocation is likely to exist when $m=\Omega(n\log n)$ but not when $m=n+o(n)$, and left open the question of determining where the phase transition from non-existence to existence occurs. We show that, surprisingly, there is in fact no universal point of transition---instead, the transition is governed by the divisibility relation between $m$ and $n$. On the one hand, if $m$ is divisible by $n$, an envy-free allocation exists with high probability as long as $m\geq 2n$. On the other hand, if $m$ is not "almost" divisible by $n$, an envy-free allocation is unlikely to exist even when $m=\Theta(n\log n/\log\log n)$.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2018
- DOI:
- 10.48550/arXiv.1811.01630
- arXiv:
- arXiv:1811.01630
- Bibcode:
- 2018arXiv181101630M
- Keywords:
-
- Computer Science - Computer Science and Game Theory;
- Computer Science - Multiagent Systems;
- Mathematics - Probability
- E-Print:
- Appears in the 33rd AAAI Conference on Artificial Intelligence (AAAI), 2019