Abstract:In this paper, we study the problem of finding an envy-free allocation of indivisible goods among multiple agents. EFX, which stands for envy-freeness up to any good, is a well-studied relaxation of the envy-free allocation problem and has been shown to exist for specific scenarios. For instance, EFX is known to exist when there are only three agents [Chaudhury et al, EC 2020], and for any number of agents when there are only two types of valuations [Mahara, Discret. Appl. Math 2023].
We show that EFX allocations exist for any number of agents when there are at most three types of additive valuations.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **In the presence of three types of agents, is there a method for fair allocation of indivisible items such that the allocation satisfies the EFX (envy - freeness up to any good) condition?**
Specifically, the paper studies how to allocate indivisible items among multiple agents so that each agent is satisfied with the items allocated to it and does not have strong envy of the items of other agents (that is, envy can be eliminated by removing any one item). EFX is a weaker envy - free condition and is suitable for dealing with the fair allocation problem of indivisible items. Although the existence of EFX has been proven for some specific scenarios, for any number of agents and multiple valuation functions in general cases, the existence of EFX is still an open problem.
The main contribution of this paper is to prove that when there are three types of agents, no matter how many agents there are, there always exists an allocation scheme that satisfies the EFX condition. Formally, let there be a set \(\mathcal{N}=\{a_1,a_2,\ldots,a_n\}\) of \(n\) agents and a set \(\mathcal{M}=\{g_1,g_2,\ldots,g_m\}\) of \(m\) indivisible items. Each agent \(a_i\in\mathcal{N}\) has a valuation function \(v_i:2^\mathcal{M}\to\mathbb{R}_{\geq0}\) to quantify the utility it obtains from a given subset of items. We focus on additive valuation functions, that is, for any subset \(S\subseteq\mathcal{M}\), the valuation function can be expressed as:
\[v_i(S)=\sum_{g\in S}v_i(\{g\})\]
An allocation \(X = \langle X_{a_1},X_{a_2},\ldots,X_{a_n}\rangle\) is to divide the items into \(n\) parts (called "bundles") so that agent \(a_i\) receives bundle \(X_{a_i}\). An EFX allocation means that for any agents \(a_i\) and \(a_j\), and for any item \(g\) in the bundle of \(a_j\), we have:
\[X_{a_i}\geq_{a_i}X_{a_j}\setminus\{g\}\]
This paper proves that when agents are divided into three types, there always exists an allocation scheme that satisfies the above EFX condition. Specifically, the author provides a constructive proof, showing that for any number of agents, as long as the agents are divided into three types and agents of the same type have the same additive valuation function, there always exists an EFX allocation.
In summary, this paper solves the existence problem of EFX allocation in the case of three - type agents and provides new insights into the broader fair allocation theory.