Computational Social Choice: Parameterized Complexity and Challenges

Jiehua Chena,Christian Hatschka,Sofia Simola

2024-10-18

Abstract:We survey two key problems-Multi-Winner Determination and Hedonic Games in Computational Social Choice, with a special focus on their parameterized complexity, and propose some research challenges in the field.

Computer Science and Game Theory,Computational Complexity,Multiagent Systems

What problem does this paper attempt to address?

This paper attempts to solve two key problems in the field of Computational Social Choice (COMSOC): Multi - Winner Determination and Hedonic Games. Specifically, the paper pays special attention to the parameterized complexity of these two problems and proposes some research challenges.

### 1. Multi - Winner Determination

The multi - winner determination problem involves how to select an "optimal" committee given a set of alternatives, a set of voters and their preference order. Here, "optimal" can be defined by different voting rules, for example:

- **Monroe Rule**: Select a committee \(C\subseteq A\) of size \(k\) and a proportional allocation \(f: V\rightarrow C\) such that the total distortion \( \text{cost}_1(C, f)\) is minimized.
- **Chamberlin - Courant (CC) Rule**: Select a committee \(C\subseteq A\) of size \(k\) and an allocation \(f: V\rightarrow C\) such that the total distortion \( \text{cost}_1(C, f)\) is minimized.
- **Minimax Approval Voting (MAV)**: Select a committee \(C\subseteq A\) of size \(k\) such that the maximum Hamming distance \( \text{cost}_{\text{HD}}(C)\) is minimized.
- **Proportional Approval Voting (PAV)**: Select a committee \(C\subseteq A\) of size \(k\) such that the sum of the partial harmonic series is maximized.

### 2. Hedonic Games

Hedonic games are a special and interesting variant of the coalition formation problem, which involves how to divide agents into coalitions so that each agent is satisfied with the coalition to which it belongs. The paper explores the parameterized complexity of such problems.

### Parameterized Complexity Analysis

The paper conducts a parameterized complexity analysis of the above problems, considering multiple parameters, such as:

- The number of alternatives \( |A|\)
- The number of voters \( |V|\)
- The size of the committee \(k\)
- The distortion bound \(d\)
- The maximum size of the approval set \(\ell\)

In addition, the paper also discusses two special preference structures - single - peaked preferences and single - crossing preferences, and studies their impact on algorithm design.

### Research Challenges

The paper proposes some challenges in current research, including but not limited to:

- Determining the fixed - parameter tractability under certain parameter combinations
- Exploring new parameterization methods to deal with complex COMSOC problems
- Designing more efficient algorithms to handle large - scale instances

Through these analyses, the paper aims to promote the further development of the field of computational social choice, especially in terms of parameterized complexity.