Improved Parallel Algorithms for EF1 Allocations

TL;DR

This paper advances parallel algorithms for EF1 allocations, achieving faster, more general, and randomized solutions, and clarifies the computational hardness of simulating Round Robin.

Contribution

It provides improved NC algorithms for EF1 allocations with more agents, generalizes beyond 3 agents, and explores the complexity of simulating Round Robin.

Findings

Quadratic improvement in depth and work for 2 agents.

NC algorithms for any constant number of agents.

Randomized algorithms with polylogarithmic valuation bounds.

Abstract

Allocating $m$ indivisible goods among $n$ agents is a fundamental task in fair division. Recent work of Garg and Psomas [AAMAS 2025] initiated the study of parallel algorithms for envy-free up to one good (EF1) allocations, giving NC algorithms for $2$ and $3$ agents. They also showed CC-hardness results for simulating the classic Round Robin algorithm for EF1 allocations, even when each agent values at most $3$ goods and each good is valued by at most $3$ agents. We strengthen these results. For the case of $2$ agents, we quadratically improve the depth from $O(\log ^ 2 m) $ to $O(\log m)$ and the work from $O(m \log m)$ to $O(m)$. Furthermore, we significantly generalize beyond $3$ agents by giving NC algorithms for any constant number of agents. We also give randomized algorithms with depth $\tilde{O}(m/n)$ and polynomial work. As corollaries of these results, we obtain NC algorithms whenever each agent values at most $polylog(m)$ goods and each good is valued by at most $O(1)$ agents, and RNC algorithms when each agent values at most $polylog(m)$ goods. As such, our algorithms bypass the CC-hardness of Garg and Psomas by not simulating Round Robin. We also complement the aforementioned CC-hardness by showing the CC-completeness of simulating Round Robin. Lastly, beyond EF1 allocations, we show that computing envy-free up to $k$ goods allocations is possible for $k \approx \sqrt{m}$ in RNC, or $k = m^{\varepsilon}$ in sublinear depth for any constant $\varepsilon > 0$.