Maximizing Nash Social Welfare in 2-Value Instances: A Simpler Proof for the Half-Integer Case

Kurt Mehlhorn

2024-11-11

Abstract:A set of $m$ indivisible goods is to be allocated to a set of $n$ agents. Each agent $i$ has an additive valuation function $v_i$ over goods. The value of a good $g$ for agent $i$ is either $1$ or $s$, where $s$ is a fixed rational number greater than one, and the value of a bundle of goods is the sum of the values of the goods in the bundle. An \emph{allocation} $X$ is a partition of the goods into bundles $X_1$, \ldots, $X_n$, one for each agent. The \emph{Nash Social Welfare} ($\NSW$) of an allocation $X$ is defined as \[ \NSW(X) = \left( \prod_i v_i(X_i) \right)^{\sfrac{1}{n}}.\] The \emph{$\NSW$-allocation} maximizes the Nash Social Welfare. In~\cite{NSW-twovalues-halfinteger} it was shown that the $\NSW$-allocation can be computed in polynomial time, if $s$ is an integer or a half-integer, and that the problem is NP-complete otherwise. The proof for the half-integer case is quite involved. In this note we give a simpler and shorter proof

Computer Science and Game Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the allocation problem of maximizing Nash social welfare (NSW) in binary - value instances, especially providing a simpler and shorter proof for the semi - integer case. Specifically:

1. **Background**:
- There is a set of indivisible goods to be allocated to a set of agents. Each agent \(i\) has an additive valuation function \(v_i\) for the goods.
- The value of each good \(g\) for agent \(i\) is either 1 or \(s\), where \(s\) is a rational number greater than 1.
- The value of a bundle of goods is the sum of the values of all goods in the bundle.

2. **Definition of Nash social welfare (NSW)**:
\[
NSW(X)=\left(\prod_{i = 1}^{n}v_i(X_i)\right)^{\frac{1}{n}}
\]
where \(X\) is the scheme of allocating goods to agents, and \(v_i(X_i)\) is the valuation of agent \(i\) for the bundle of goods allocated to it.

3. **Problem complexity**:
- It has been proved in [ACH+22] that if \(s\) is an integer or a semi - integer, the allocation scheme that maximizes NSW can be calculated in polynomial time; otherwise, the problem is NP - complete.
- The proof in the semi - integer case is relatively complex, so this paper aims to simplify this proof.

4. **Simplification method**:
- Simplify the proof process through a two - stage algorithm:
1. **Lexicographically minimal allocation of heavy goods**: Try to allocate heavy goods to smaller bundles as much as possible.
2. **Greedy allocation of light goods**: Allocate light goods one by one and always add them to the bundle with the current minimum value.

5. **Contributions**:
- Provide a simpler and shorter proof, especially when dealing with the semi - integer case.
- Simplify the application of improvement rules by replacing the detailed rearrangement process with global arguments.
- Consider the allocation of heavy goods and light goods separately, reducing complexity.

In summary, the main goal of this paper is to provide a more concise and easier - to - understand proof method for the NSW maximization problem in binary - value instances, especially for the semi - integer case. This not only simplifies the existing proof but also improves the interpretability and efficiency of the algorithm.