EFX Allocations and Orientations on Bipartite Multi-graphs: A Complete Picture

Mahyar Afshinmehr,Alireza Danaei,Mehrafarin Kazemi,Kurt Mehlhorn,Nidhi Rathi
2024-10-27
Abstract:We consider the fundamental problem of fairly allocating a set of indivisible items among agents having valuations that are represented by a multi-graph -- here, agents appear as the vertices and items as the edges between them and each vertex (agent) only values the set of its incident edges (items). The goal is to find a fair, i.e., envy-free up to any item (EFX) allocation. This model has recently been introduced by Christodoulou et al. (EC'23) where they show that EFX allocations always exist on simple graphs for monotone valuations, i.e., where any two agents can share at most one edge (item). A natural question arises as to what happens when we go beyond simple graphs and study various classes of multi-graphs? We answer the above question affirmatively for the valuation class of bipartite multi-graphs and multi-cycles. Our main positive result is that EFX allocations on bipartite multi-graphs (and multi-cycles) always exist and can be computed in polynomial time for additive valuations. We, therefore, push the frontiers of our understanding of EFX allocations and expand the scenarios where they are known to exist for an arbitrary number of agents. Next, we study EFX orientations (i.e., allocations where every item is allocated to one of its two endpoint agents) and give a complete picture of when they exist for bipartite multi-graphs dependent on two parameters -- the number of edges shared between any two agents and the diameter of the graph. Finally, we prove that it is NP-complete to determine whether a given fair division instance on a bipartite multi-graph admits an EFX orientation.
Computer Science and Game Theory,Data Structures and Algorithms
What problem does this paper attempt to address?
### The problems the paper attempts to solve This paper aims to explore how to achieve the fair allocation problem in bipartite multi - graphs, especially to find **envy - free up to any item (EFX) allocations**. Specifically: 1. **Background and motivation**: - In the resource allocation problem, how to ensure that each participant (agent) feels fair about the allocation result is a key challenge. - For indivisible items, the traditional envy - free allocation may not exist, so the more relaxed but still reasonable fairness concept of EFX is introduced. 2. **Existing research progress**: - Christodoulou et al. (2023) proved that on simple graphs, for monotone valuations, EFX allocations always exist. - A natural question is: when we extend the model to multi - graphs, do EFX allocations still exist? 3. **Main contributions of this paper**: - The author answers the above question and, for the bipartite multi - graphs and multi - cycles categories of graphs, proves that EFX allocations always exist and can be computed in polynomial time (for additive valuations). - Further, the author studies EFX orientations, that is, each edge (item) is only allocated to one of its two endpoints, and gives a complete picture under different parameters. - Finally, the author proves that the problem of determining whether a given bipartite multi - graph instance allows an EFX orientation is NP - complete. ### Formulas and symbol explanations - **Additive valuation**: Let \(v_i\) denote the valuation function of the \(i\)-th agent, then for any item set \(S\), we have \(v_i(S)=\sum_{g\in S}v_i(g)\). - **EFX definition**: An allocation \(X = (X_1, X_2,\ldots, X_n)\) is EFX if for all \(i, j\in [n]\), the agent \(i\)'s valuation for \(X_j\setminus \{g\}\) does not exceed the valuation of \(X_i\), that is, \(v_i(X_i)\geq v_i(X_j\setminus \{g\})\) for all \(g\in X_j\). ### Conclusion Through this research, the author not only expands our understanding of EFX allocations but also provides polynomial - time algorithms for calculating these allocations for specific types of multi - graphs, thus promoting the development of the discrete fair allocation field.