Allocation of Indivisible Items with a Common Preference Graph: Minimizing Total Dissatisfaction

Nina Chiarelli,Clément Dallard,Andreas Darmann,Stefan Lendl,Martin Milanič,Peter Muršič,Ulrich Pferschy

2024-02-01

Abstract:Allocating indivisible items among a set of agents is a frequently studied discrete optimization problem. In the setting considered in this work, the agents' preferences over the items are assumed to be identical. We consider a very recent measure for the overall quality of an allocation which does not rely on numerical valuations of the items. Instead, it captures the agents' opinion by a directed acyclic preference graph with vertices representing items. An arc $(a,b)$ in such a graph means that the agents prefer item $a$ over item $b$. For a given allocation of items the dissatisfaction of an agent is defined as the number of items which the agent does not receive and for which no more preferred item is given to the agent. Our goal is to find an efficient allocation of the items to the agents such that the total dissatisfaction over all agents is minimized.

Computer Science and Game Theory,Discrete Mathematics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to allocate indivisible items among a group of agents in order to minimize the total dissatisfaction of all agents. Specifically, the paper focuses on the situation where all agents have the same preferences for items, and these preferences are represented by a directed acyclic graph (DAG). The dissatisfaction of each agent is defined as the number of items that are not allocated to the agent and no more preferred items are allocated to the agent. Therefore, the goal is to find an allocation scheme that minimizes the total dissatisfaction of all agents.

### Problem Description

In the paper, the author considers a discrete optimization problem, that is, how to allocate indivisible items among a group of agents so as to minimize the total dissatisfaction. The specific settings are as follows:

- **Agents and Items**: There is a group of agents \(K = \{1, 2, \ldots, k\}\) and a group of items \(V = \{v_1, v_2, \ldots, v_n\}\).
- **Preference Graph**: All agents have the same preferences for items, and these preferences are represented by a directed acyclic graph \(G=(V, A)\), where \(V\) is the set of items and \(A\) is the set of directed edges. An edge \((a, b)\in A\) means that all agents prefer item \(a\) to item \(b\).
- **Dissatisfaction**: For a given allocation scheme \(\pi\), the dissatisfaction \(\delta_{\pi}(i)\) of agent \(i\) is defined as the number of items that are not allocated to the agent and no more preferred items are allocated to the agent.
- **Objective**: Find an allocation scheme \(\pi\) such that the total dissatisfaction \(\sum_{i\in K}\delta_{\pi}(i)\) of all agents is minimized.

### Research Contributions

The main contributions of the paper include:

1. **Complexity Analysis**:
- For two agents, the problem can be solved in polynomial time.
- For three or more agents, even on a very restricted class of preference graphs, the problem is NP - hard.

2. **Polynomial - Time Algorithms**:
- A linear - time algorithm is proposed to handle the polytree structure (i.e., a directed acyclic graph whose underlying undirected graph is a tree) for any number of agents.
- For preference graphs with a width of no more than 2, a polynomial - time algorithm is proposed.

3. **Results for Special Graph Classes**:
- For preference graphs with a width of no more than 2, a polynomial - time algorithm is proposed.
- For the directed versions of s, t - sequence - parallel graphs and cactus graphs, polynomial - time algorithms are proposed.

Through these studies, the paper provides an important theoretical basis and algorithmic tools for understanding and solving the multi - agent item allocation problem with a common preference graph.