Proportional allocation

Dependencies:

1. Fair division

In fair division, an allocation $A$ is PROP-fair to agent $i$ iff $v_i(A_i) ≥ w_iv_i(M)$ (here $w_i$ is agent $i$'s entitlement). A PROP-fair allocation is also called a proportional allocation. $w_iv_i(M)$ is called agent $i$'s proportional share or PROP share.

Dependency for:

1. Cake cutting: PROP implies EEF for additive valuations
2. PROPx
3. PROPm
4. PROP cake division doesn't exist for supermodular valuations

Info:

• Depth: 4
• Number of transitive dependencies: 4

Transitive dependencies:

1. /sets-and-relations/countable-set
2. σ-algebra
3. Set function
4. Fair division