---
title: 'PROP1: Fairness in Indivisible Goods Allocation'
url: https://www.emergentmind.com/topics/proportionality-up-to-one-good-prop1
type: topic
---

# PROP1: Fairness in Indivisible Goods Allocation

Proportionality Up to One Good (PROP1) is a central fairness relaxation in the allocation of indivisible goods (and, more generally, goods and chores) among agents with potentially diverse preferences. Born from the recognition that exact proportionality is often unattainable with indivisibilities, PROP1 weakens the classic proportionality benchmark by permitting the hypothetical addition or removal of a single item. This concept bridges the tractable and the infeasible in fair division, aligning closely with related relaxations such as envy-freeness up to one good (EF1), possesses robust polynomial-time computability in many cases, and extends—albeit with care—to ordinal, weighted, public, and mixed (divisible + indivisible) settings.

## 1. Formal Definition and Core Properties

Let $M$ be a set of $m$ indivisible goods, $N = [n]$ the set of $n$ agents, and $v_i:2^M \to \mathbb{R}_{\geq 0}$ agent $i$'s valuation. An integral allocation $A = (A_1, \dots, A_n)$—a partition of $M$—is said to satisfy **proportionality up to one good (PROP1)** if for every agent $i \in N$, there exists $g \in M \setminus A_i$ such that
\[
v_i(A_i \cup \{g\}) \geq \frac{1}{n} \sum_{h \in M} v_i(\{h\})
\]
This condition ensures that even if direct proportionality ($v_i(A_i) \geq v_i(M)/n$) fails, the shortfall can be compensated by the hypothetical addition of one remaining good. For chores (disutilities), or public goods settings, analogous definitions apply via bundle removal or one-swap arguments [2012.03979, 2312.15479, 2107.09871].

In weighted settings, if each agent $i$ has entitlement $\alpha_i$ (with $\sum_i \alpha_i = 1$), the PROP1 requirement becomes
\[
v_i(A_i \cup \{g\}) \geq \alpha_i v_i(M)
\]
[2312.15479, 1909.00740]. For mixed-goods extensions (divisible + indivisible), PROP1 is smoothly interpolated through the indivisibility ratio $\alpha_i = v_i(M_\text{indiv})/v_i(A)$, and proportionality is required up to an $\alpha_i$-fraction of a missing indivisible good [2404.18132].

PROP1 sits in a strict hierarchy of fairness relaxations:
\[
\text{EF} \implies \text{EF1} \implies \text{PROP1} \implies \text{PROP}
\]
where EF1 implies PROP1 in additive and submodular domains, but the reverse implication does not hold in general [2012.03979, 2508.12453].

## 2. Existence and Algorithmic Guarantees

A crucial property of PROP1 is universal existence—every fair division instance with indivisible goods and additive valuations admits such an allocation. This existence follows from generalizations such as the PROP$m$ theorem: for every $m$, there exists an allocation where each agent can achieve their proportional share up to $m$ excluded goods. For $m=1$, this is precisely PROP1. The constructive argument proceeds via recursive divider algorithms and dynamic decompositions [2105.11348].

| Setting           | Existence      | Polynomial-time algorithm?         | Reference        |
|-------------------|---------------|-------------------------------------|------------------|
| Additive          | Always        | Yes (Round-Robin, ECE, Bag-filling)| [2508.12453, 2105.11348] |
| Monotone submodular | Always     | Yes (ECE, Round-Robin, local moves) | [2508.12453]     |
| Satiating subadditive | Always  | Yes (local-improvement + ECE)       | [2508.12453]     |
| Weighted, ordinal | Always        | Yes (reduction to perfect matching) | [2312.15479]     |
| Public goods      | Always (MNW)  | Pseudo-polytime (MNW); $O(n)$ approx | [2107.09871]   |

Pseudocode for the classic algorithm in additive valuations:
```python
# Bag-filling (informal)
for agent in agents:
    while agent's value < proportional share - max value of missing good:
        allocate next good maximizing marginal gain to agent
```

Notably, in comparison-based models (agents respond only to bundle comparisons), a PROP1 allocation can be computed in $O(\log m)$ queries when the number of agents is constant. The algorithm achieves simultaneous PROP1 and $1/2$-MMS guarantees [2404.18133].

## 3. Computational Complexity and Extensions

While basic PROP1 allocations admit efficient computation, several extensions introduce computational hardness:

- **Welfare Maximization**: Finding a PROP1 allocation that also maximizes utilitarian welfare is strongly NP-hard when $n$ is part of the input, and remains NP-hard for fixed $n \geq 3$ [2012.03979].
- **PROP1 in Completion Problems**: Given a partial ("frozen") allocation, deciding whether a PROP1 completion exists is polynomial-time solvable for binary/lexicographic valuations, but NP-complete for unrestricted additive valuations with just two or three agents [2406.09468].
- **Online Models**: Greedy online allocation fails to guarantee even a constant approximation to PROP1, but uniformly random allocation achieves an $O(1/\log n)$-PROP1 guarantee against nonadaptive adversaries; minimal side information (maximum item value) enables a deterministic $1/n$-PROP1 [2508.03253].
- **Mixed Goods**: For settings with both divisible and indivisible goods, the notion extends to proportionality up to an $\alpha$-fraction of a single indivisible good; sharp upper and lower bounds on $\alpha$ ensure tightness [2404.18132].

## 4. Relationship with Envy-Freeness, Pareto Optimality, and Public Goods

- **Relation to EF1**: For additive/more generally submodular valuations, every EF1 allocation is PROP1, but not vice versa. This relationship breaks down for valuations beyond submodular (e.g., monotone XOS), where there exist EF1 allocations that do not satisfy PROP1 and vice versa [2508.12453]. 
- **Compatibility with Efficiency**: PROP1 is compatible with Pareto optimality (PO), and, under monotone submodular/additive utilities, maximum Nash welfare (MNW) allocations are both PROP1 and PO. This does not extend seamlessly to EF1 [2107.09871, 1909.00740].
- **Public Goods**: In the selection of $k$ out of $m$ public goods, MNW allocations guarantee PROP1 for all agents. However, PROP1 does not guarantee classical proportionality or round-robin share for public goods [2107.09871].

Examples illustrate that PROP1 balances tractability and fairness; it is sometimes the strongest efficiency-compatible fairness guarantee attainable [1909.00740, 2107.09871].

## 5. Ordinal, Weighted, and Perpetual Fairness Variants

PROP1 extends to ordinal and weighted settings by stipulating that the fairness guarantee must hold under all consistent additive representations or for agent-specific entitlements:

- **Ordinal (SD-PROP1, WSD-PROP1)**: Given strict orderings, an allocation is PROP1 under stochastic dominance if PROP1 holds for every consistent additive utility. Existence and computation reduce to perfect matching in bipartite graphs, and the set of such allocations coincides with perfect matching polytope vertices [2312.15479].
- **Weighted**: When agents have weights or entitlements (e.g., $\alpha_i$), a weighted PROP1 allocation exists and can be computed in polynomial time [1909.00740, 2312.15479].
- **Perpetual/Online Fairness**: In multi-round settings, it is possible to define and achieve sequential PROP1 (i.e., after every round), provided certain combinatorial balance conditions are met, but for large $n$ there are impossibility barriers [2602.21687]. In online allocation with irrevocable assignments, minimal predictions suffice for deterministic PROP1, while EF1 and MMS remain unachievable [2508.03253].

## 6. Methodological Frameworks and Practical Algorithms

PROP1 allocations in additive domains are efficiently computed by diverse mechanisms:

- **Round-Robin**: Agents pick goods in turn; always outputs PROP1 (and EF1) for additive, and PROP1 for monotone submodular valuations [2508.12453].
- **Envy-Cycle Elimination (ECE)**: Processes envy-graphs and cycles as goods are allocated, guaranteeing EF1 and thus PROP1 for monotone submodular valuations [2508.12453].
- **Bag-filling and Divider Algorithms**: Used to establish universal PROP1 existence and to construct allocations recursively, crucially in the PROPm framework [2105.11348].
- **Dynamic Programming**: For welfare-maximizing PROP1 with small $n$, pseudo-polynomial dynamic programming is employed [2012.03979].
- **Matching and Polyhedral Optimization**: Weighted and ordinal PROP1 reduces to finding perfect matchings in allocation graphs, making use of integrality of the matching polytope [2312.15479].

Each of these approaches is rigorously analyzed for runtime, correctness, and invariant maintenance, ensuring that the properties of PROP1 are preserved throughout the allocation process.

## 7. Limits, Variants, and Open Questions

While PROP1 is widely attainable, its boundaries are sharply delineated by hardness and impossibility results:

- Stronger notions such as EF1+PO, or (unrelaxed) proportionality, do not always coexist with PO or may not be computationally feasible in the indivisible domain [1909.00740, 2107.09871, 2012.03979].
- In mixed (divisible + indivisible) goods, PROP1 interpolates gracefully through the indivisibility ratio; attempts to strengthen the guarantee beyond this context encounter hard impossibility thresholds [2404.18132].
- Online and streaming models reveal that PROP1 is the precise fairness notion allowing nontrivial (and robust) guarantees even under minimal information or adversarial conditions [2508.03253].
- Perpetual PROP1 under strong ordinal models can be constructed via "weakly balanced" permutations for $n \leq 12$, but not for arbitrary $n$; perpetual PROP2 remains open [2602.21687].

Open research directions include extending comparison-based efficient algorithms for PROP1 + stronger guarantees to monotone non-additive domains, characterizing the price of fairness for PROP1 in new settings, and refining the understanding of PROP1’s compatibility with other fairness and efficiency benchmarks.

---

**References**:
- "Fair Division of Indivisible Goods with Comparison-Based Queries" [2404.18133]
- "Computing Welfare-Maximizing Fair Allocations of Indivisible Goods" [2012.03979]
- "PROPm Allocations of Indivisible Goods to Multiple Agents" [2105.11348]
- "Weighted Proportional Allocations of Indivisible Goods and Chores: Insights via Matchings" [2312.15479]
- "A polynomial-time algorithm for computing a Pareto optimal and almost proportional allocation" [1909.00740]
- "Fair and Efficient Completion of Indivisible Goods" [2406.09468]
- "Allocating Mixed Goods with Customized Fairness and Indivisibility Ratio" [2404.18132]
- "Computing Approximately Proportional Allocations of Indivisible Goods: Beyond Additive and Monotone Valuations" [2508.12453]
- "Perpetually Fair Assignments Via Balanced Sequences of Permutations" [2602.21687]
- "Approximate Proportionality in Online Fair Division" [2508.03253]
- "On Fair and Efficient Allocations of Indivisible Public Goods" [2107.09871]

Source: https://www.emergentmind.com/topics/proportionality-up-to-one-good-prop1