Maximin share allocations

Dependencies:

1. Fair division
2. Maximin share of a set function

$\newcommand{\MMS}{\operatorname{MMS}}$ Consider a fair division instance with $n$ agents, equal entitlements, and a set $M$ of items. Agent $i$'s maximin share (MMS) is given by $\MMS_{v_i}^n(M)$. An allocation $A$ is MMS-fair to agent $i$ if $v_i(A_i) ≥ \MMS_{v_i}^n(M)$.

Dependency for:

1. MMS implies EFX for two agents (goods)

Info:

• Depth: 4
• Number of transitive dependencies: 6

Transitive dependencies:

1. /sets-and-relations/countable-set
2. /analysis/sup-inf
3. σ-algebra
4. Set function
5. Fair division
6. Maximin share of a set function