Do EFX allocations always exist for additive valuations?
Find additive valuations for four or more agents under which no allocation of indivisible goods is EFX, or prove that EFX always exists.
Comparing changes
Choose two branches to see what changed, then open a pull request to bring the work across.
Pick two different branches
A pull request can go from any branch into any other.