The Decreasing Demand procedure is a procedure for fair item allocation. It yields a Pareto-efficient division that maximizes the rank of the agent with the lowest rank. This corresponds to the Rawlsian justice criterion of taking care of the worst-off agent.
The procedure was developed by Dorothea Herreiner and Clemens Puppe.[1]
Description
Each agent is supposed to have a linear ranking on all bundles of items.
The agents are queried in a round-robin fashion: each agent, in turn, reports his next bundle in the ranking, going from the best to the worst.
After each report, the procedure checks whether it is possible to construct a complete partition of the items based on the reports made so far. If it is possible, then the procedure stops and returns one such partition. If there is more than one partition, then a Pareto-efficient one is returned.
The procedure produces "balanced" allocations, that is, allocations which maximize the rank in the preference ordering of the bundle obtained by the worst-off agent.[2]: 308
Limitations
The procedure requires the agents to rank bundles of items. This is feasible when the number of items is small, but may be difficult when the number of items is large, since the number of bundles grows exponentially with the number of items.
The procedure does not guarantee envy-freeness; see envy-free item assignment for procedures that do guarantee it. However, for two agents, if an envy-free allocation exists, it will be found.[3]
Axiomatization
The allocation returned by the Decreasing Demand procedure - the maximin-rank allocation - satisfies certain natural axioms when there are two agents:[3]
- Pareto-efficiency;
- Anonymity;
- Envy-freeness-if-possible;
- Monotonicity w.r.t. changes in the preferences (more different preferences means a higher utility).
See also
- Undercut procedure and envy-graph procedure - two additional procedures based on the ordinal ranking of bundles.
References
- ↑ Herreiner, Dorothea; Puppe, Clemens (2002). "A simple procedure for finding equitable allocations of indivisible goods". Social Choice and Welfare. 19 (2): 415. doi:10.1007/s003550100119. S2CID 38017775.
- ↑ Brandt, Felix; Conitzer, Vincent; Endriss, Ulle; Lang, Jérôme; Procaccia, Ariel D. (2016). Handbook of Computational Social Choice. Cambridge University Press. ISBN 9781107060432. (free online version)
- 1 2 Ramaekers, Eve (2013). "Fair allocation of indivisible goods: the two-agent case". Social Choice and Welfare. 41 (2): 359–380. doi:10.1007/s00355-012-0684-0. ISSN 0176-1714. JSTOR 42001409. S2CID 253851223.