Minimum EF1 share (M1S)

Dependencies:

1. Fair division
2. EF1

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

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

Dependency for: None

Info:

• Depth: 6
• Number of transitive dependencies: 6

Transitive dependencies:

1. /sets-and-relations/countable-set
2. σ-algebra
3. Set function
4. Fair division
5. Envy-freeness
6. EF1