
arXiv: 1907.01766
We study the problem of allocating divisible bads (chores) among multiple agents with additive utilities when monetary transfers are not allowed. The competitive rule is known for its remarkable fairness and efficiency properties in the case of goods. This rule was extended to chores by Bogomolnaia, Moulin, Sandomirskiy, and Yanovskaya. For both goods and chores, the rule produces Pareto optimal and envy-free allocations. In the case of goods, the outcome of the competitive rule can be easily computed. Competitive allocations solve the Eisenberg-Gale convex program; hence the outcome is unique and can be approximately found by standard gradient methods. An exact algorithm that runs in polynomial time in the number of agents and goods was given by Orlin. In the case of chores, the competitive rule does not solve any convex optimization problem; instead, competitive allocations correspond to local minima, local maxima, and saddle points of the Nash social welfare on the Pareto frontier of the set of feasible utilities. The Pareto frontier may contain many such points and, consequently, the outcome of the competitive rule is no longer unique. In this paper, we show that all the outcomes of the competitive rule for chores can be computed in strongly polynomial time if either the number of agents or the number of chores is fixed. The approach is based on a combination of three ideas: all consumption graphs of Pareto optimal allocations can be listed in polynomial time; for a given consumption graph, a candidate for a competitive utility profile can be constructed via an explicit formula; each candidate can be checked for competitiveness and the allocation can be reconstructed using a maximum flow computation. Our algorithm immediately gives an approximately-fair allocation of indivisible chores by the rounding technique of Barman and Krishnamurthy. Funding: This work was supported by National Science Foundation (CNS 1518941); Lady Davis Fellowship Trust, Hebrew University of Jerusalem; H2020 European Research Council (740435); Linde Institute at Caltech.
FOS: Computer and information sciences, 330, General Mathematics, Pareto frontier, chores, Management Science and Operations Research, fair division, FOS: Economics and business, Computer Science - Computer Science and Game Theory, Computer Science - Data Structures and Algorithms, bads, Economics - Theoretical Economics, Data Structures and Algorithms (cs.DS), market equilibrium, consumption graph, polynomial algorithm, Computer Science Applications, 004, Theoretical Economics (econ.TH), competitive rule, Computer Science and Game Theory (cs.GT)
FOS: Computer and information sciences, 330, General Mathematics, Pareto frontier, chores, Management Science and Operations Research, fair division, FOS: Economics and business, Computer Science - Computer Science and Game Theory, Computer Science - Data Structures and Algorithms, bads, Economics - Theoretical Economics, Data Structures and Algorithms (cs.DS), market equilibrium, consumption graph, polynomial algorithm, Computer Science Applications, 004, Theoretical Economics (econ.TH), competitive rule, Computer Science and Game Theory (cs.GT)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 4 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
