English

EFX Allocations Exist for Binary Valuations

Computational Engineering, Finance, and Science 2023-08-11 v1 Artificial Intelligence Computational Complexity

Abstract

We study the fair division problem and the existence of allocations satisfying the fairness criterion envy-freeness up to any item (EFX). The existence of EFX allocations is a major open problem in the fair division literature. We consider binary valuations where the marginal gain of the value by receiving an extra item is either 00 or 11. Babaioff et al. [2021] proved that EFX allocations always exist for binary and submodular valuations. In this paper, by using completely different techniques, we extend this existence result to general binary valuations that are not necessarily submodular, and we present a polynomial time algorithm for computing an EFX allocation.

Keywords

Cite

@article{arxiv.2308.05503,
  title  = {EFX Allocations Exist for Binary Valuations},
  author = {Xiaolin Bu and Jiaxin Song and Ziqi Yu},
  journal= {arXiv preprint arXiv:2308.05503},
  year   = {2023}
}
R2 v1 2026-06-28T11:52:43.371Z