Complete EFX Allocations Exist for Four Additive Agents and Up to Nine Goods

Eyad Alkassar, Mahmoud Fouz, Kurt Mehlhorn

We prove that every fair-division instance with four agents, additive valuations over the non-negative reals, and at most nine indivisible goods admits a \emph{complete} allocation…