Proportional allocation

Dependencies:

  1. Fair division

In fair division, an allocation A is PROP-fair to agent i iff vi(Ai)wivi(M) (here wi is agent i's entitlement). A PROP-fair allocation is also called a proportional allocation. wivi(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:

Transitive dependencies:

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