Abstract:We study envy-free up to any item (EFX) allocations on graphs where vertices and edges represent agents and items respectively. An agent is only interested in items that are incident to her and all other items have zero marginal values to her. Christodoulou et al. [EC, 2023] first proposed this setting and studied the case of goods. We extend this setting to the case of mixed manna where an item may be liked or disliked by its endpoint agents. In our problem, an agent has an arbitrary valuation over her incident items such that the items she likes have non-negative marginal values to her and those she dislikes have non-positive marginal values. We provide a complete study of the four notions of EFX for mixed manna in the literature, which differ by whether the removed item can have zero marginal value. We prove that an allocation that satisfies the notion of EFX where the virtually-removed item could always have zero marginal value may not exist and determining its existence is NP-complete, while one that satisfies any of the other three notions always exists and can be computed in polynomial time. We also prove that an orientation (i.e., a special allocation where each edge must be allocated to one of its endpoint agents) that satisfies any of the four notions may not exist, and determining its existence is NP-complete.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about how to ensure that the allocation scheme meets specific fairness criteria when allocating mixed manna in a graph structure. Specifically, the paper focuses on the existence and computational complexity of four variants of "envy - free up to any item, EFX" in the case of mixed resources.
### Problem Background
1. **Resource Allocation Problem**: In the past few decades, the fair allocation problem of indivisible items has been widely studied in the fields of computer science, economics, and mathematics. One of the most natural fairness concepts is envy - freeness (EF), that is, each agent prefers their own bundle of items rather than that of any other agent. However, for indivisible items, achieving envy - freeness is very difficult and an EF allocation may not even exist in simple cases.
2. **Relaxed Fairness Criteria**: To address the problem that envy - freeness is difficult to achieve, researchers have proposed relaxed fairness criteria, among which the most popular is almost envy - free (EFX). EFX requires that envy can be eliminated by virtually removing any one item from the bundle of the envied agent.
3. **Mixed Resources**: Mixed resources mean that some items are valuable (goods) to some agents, while they may be of negative value (chores) to other agents. This setting is closer to many real - world scenarios. For example, some jobs are a beneficial source of income for some people, but a time - wasting task for others.
### Specific Problems in the Paper
This paper extends the EFX allocation problem on graph structures proposed by Christodoulou et al. (2023) to the case of mixed resources. Specifically:
- **Research Objectives**: The paper studies how to ensure that the allocation scheme meets four differently defined EFX criteria in a graph structure when vertices represent agents and edges represent indivisible items. These criteria vary depending on whether the removed items can have zero marginal value.
- **Main Results**:
- For the four EFX variants (EFX0_0, EFX0_−, EFX+_0, EFX+_−), the paper proves that on a general graph, an allocation satisfying EFX0_0 or EFX0_− may not exist, and determining its existence is an NP - complete problem.
- An allocation satisfying EFX+_0 or EFX+_− always exists and can be found in polynomial time.
- For special types of graphs (such as trees, star graphs, and path graphs), the paper provides polynomial - time algorithms to calculate allocations satisfying EFX+_0 or EFX+_−.
### Summary
The main contribution of this paper lies in systematically studying the EFX allocation problem of mixed resources on graph structures and providing a complete analysis of the existence and computational complexity of these four EFX variants. This is of great significance for understanding and solving resource allocation problems in practical applications, especially in cases involving multiple opinions and conflicting interests.