Fair Allocation of Indivisible Goods: Improvements and Generalizations

We study the problem of fair allocation for indivisible goods. We use the maxmin share paradigm introduced by Budish [16] as a measure for fairness. Kurokawa, Procaccia, and Wang [36] were the first to investigate this fundamental problem in the additive setting. They show that a maxmin guarantee (1-MMS allocation) is not always possible even when the number of agents is limited to 3. While the existence of an approximation solution (e.g. a 1/2-MMS allocation) is quite straightforward, improving the guarantee becomes subtler for larger constants. Kurokawa et al. [36] provide a proof for the existence of a 2/3-MMS allocation and leave the question open for better guarantees. Our main contribution is an answer to the above question. We improve the result of Kurokawa et al. to a 3/4 factor in the additive setting. The main idea for our 3/4-MMS allocation method is clustering the agents. To this end, we introduce three notions and techniques, namely reducibility, matching allocation, and cycle-envy-freeness, and prove the approximation guarantee of our algorithm via non-trivial applications of these techniques. Our analysis involves coloring and double counting arguments that might be of independent interest. One major shortcoming of the current studies on fair allocation is the additivity assumption on the valuations. We alleviate this by extending our results to the case of submodular, fractionally subadditive, and subadditive settings. More precisely, we give constant approximation guarantees for submodular and XOS agents, and a logarithmic approximation for the case of subadditive agents. Furthermore, we complement our results by providing close upper bounds for each class of valuation functions. Finally, we present algorithms to find such allocations for additive, submodular, and XOS settings in polynomial time. The reader can find a summary of our results in Table 1.(1)