Abstract:We study the problem of fair allocation of chores to agents with additive preferences. In the discrete setting, envy-freeness up to any chore (EFX) has emerged as a compelling fairness criterion. However, establishing its (non-)existence or achieving a meaningful approximation remains a major open question. The current best guarantee is the existence of $O(n^2)$-EFX allocations for $n$ agents, obtained through a sophisticated algorithm (Zhou and Wu, 2022). In this paper, we show the existence of $4$-EFX allocations, providing the first constant-factor approximation of EFX. We also investigate the existence of allocations that are both fair and efficient, using Pareto optimality (PO) as our efficiency criterion. For the special case of bivalued instances, we establish the existence of allocations that are both $3$-EFX and PO, thus improving the current best factor of $O(n)$-EFX without any efficiency guarantees. For general additive instances, the existence of allocations that are $\alpha$-EF$k$ and PO has remained open for any constant values of $\alpha$ and $k$, where EF$k$ denotes envy-freeness up to $k$ chores. We provide the first positive result in this direction by showing the existence of allocations that are $2$-EF$2$ and PO. Our results are obtained via a novel economic framework called earning restricted (ER) competitive equilibrium for fractional allocations, which limits agents' earnings from each chore. We show the existence of ER equilibria by formulating it as an linear complementarity problem (LCP) and proving that the classic complementary pivot algorithm on the LCP terminates at an ER equilibrium. We design algorithms that carefully round fractional ER equilibria, and perform bundle swaps and merges to meet the desired fairness and efficiency criteria. We expect that the concept of ER equilibrium will be useful in deriving further results on related problems.

EF2X Exists For Four Agents

EFX Exists for Three Types of Agents

Almost Envy-free Allocation of Indivisible Goods: A Tale of Two Valuations

Epistemic EFX Allocations Exist for Monotone Valuations

EFx Budget-Feasible Allocations with High Nash Welfare

Pushing the Frontier on Approximate EFX Allocations

Constant-Factor EFX Exists for Chores

On The Pursuit of EFX for Chores: Non-Existence and Approximations

Symmetrically Fair Allocations of Indivisible Goods

A Complete Landscape of EFX Allocations of Mixed Manna on Graphs

EF1 Allocations for Identical Trilean and Separable Single-Peaked Valuations

Finding Fair Allocations under Budget Constraints

On the Existence of EFX (and Pareto-Optimal) Allocations for Binary Chores

EFX Allocations on Some Multi-graph Classes

Fair and Efficient Allocations under Subadditive Valuations

Envy-freeness up to any item with high Nash welfare: The virtue of donating items

Approximate EFX and Exact tEFX Allocations for Indivisible Chores: Improved Algorithms

Achieving Maximin Share and EFX/EF1 Guarantees Simultaneously

New Algorithms for the Fair and Efficient Allocation of Indivisible Chores

Simultaneously Satisfying MXS and EFL

EF1 and EFX Orientations