Minimum EFX Share (MXS)

Dependencies:

1. Fair division
2. EFX

Let $([n], M, V, w)$ be a fair division instance of indivisible items, and let $A$ be an allocation.

Agent $i$ is MXS-satisfied by $A$ if there is another allocation $B$ where $i$ is EFX-satisfied and $v_i(A_i) ≥ v_i(B_i)$.

Dependency for: None

Info:

• Depth: 6
• Number of transitive dependencies: 8

Transitive dependencies:

1. /sets-and-relations/countable-set
2. σ-algebra
3. Set function
4. Fair division
5. Envy-freeness
6. Supermodular function
7. Submodular function
8. EFX