EFX Allocations: Simplifications and Improvements

by   Hannaneh Akrami, et al.

The existence of EFX allocations is a fundamental open problem in discrete fair division. Given a set of agents and indivisible goods, the goal is to determine the existence of an allocation where no agent envies another following the removal of any single good from the other agent's bundle. Since the general problem has been illusive, progress is made on two fronts: (i) proving existence when the number of agents is small, (ii) proving existence of relaxations of EFX. In this paper, we improve results on both fronts (and simplify in one of the cases). We prove the existence of EFX allocations with three agents, restricting only one agent to have an MMS-feasible valuation function (a strict generalization of nice-cancelable valuation functions introduced by Berger et al. which subsumes additive, budget-additive and unit demand valuation functions). The other agents may have any monotone valuation functions. Our proof technique is significantly simpler and shorter than the proof by Chaudhury et al. on existence of EFX allocations when there are three agents with additive valuation functions and therefore more accessible. We also consider approximate-EFX allocations and EFX allocations with few unallocated goods (charity). Chaudhury et al. showed the existence of (1-ε)-EFX allocation with O((n/ε)^4/5) charity by establishing a connection to a problem in extremal combinatorics. We improve the result of Chaudhury et al. and prove the existence of (1-ε)-EFX allocations with O((n/ ε)^2/3) charity. In fact, our techniques can be used to prove improved upper-bounds on a problem in zero-sum combinatorics introduced by Alon and Krivelevich.


page 1

page 2

page 3

page 4


EFX Allocations for Indivisible Chores: Matching-Based Approach

One of the most important topics in discrete fair division is whether an...

Finding Fair Allocations under Budget Constraints

We study the fair allocation of indivisible goods among agents with iden...

How to cut a discrete cake fairly

Cake-cutting is a fundamental model of dividing a heterogeneous resource...

Controlling a random population

Bertrand et al. introduced a model of parameterised systems, where each ...

Envy-free division of multi-layered cakes

We study the problem of dividing a multi-layered cake among heterogeneou...

(Almost Full) EFX Exists for Four Agents (and Beyond)

The existence of EFX allocations is a major open problem in fair divisio...

Competitive Allocation of a Mixed Manna

We study the fair division problem of allocating a mixed manna under add...

Please sign up or login with your details

Forgot password? Click here to reset