On the Tractability Landscape of Conditional Minisum Approval Voting Rule

Georgios Amanatidis,Michael Lampis,Evangelos Markakis,Georgios Papasotiropoulos

2024-12-12

Abstract:This work examines the Conditional Approval Framework for elections involving multiple interdependent issues, specifically focusing on the Conditional Minisum Approval Voting Rule. We first conduct a detailed analysis of the computational complexity of this rule, demonstrating that no approach can significantly outperform the brute-force algorithm under common computational complexity assumptions and various natural input restrictions. In response, we propose two practical restrictions (the first in the literature) that make the problem computationally tractable and show that these restrictions are essentially tight. Overall, this work provides a clear picture of the tractability landscape of the problem, contributing to a comprehensive understanding of the complications introduced by conditional ballots and indicating that conditional approval voting can be applied in practice, albeit under specific conditions.

Computer Science and Game Theory,Computational Complexity,Multiagent Systems

What problem does this paper attempt to address?

### Problems the paper attempts to solve

This paper aims to explore the feasibility of Conditional Approval Voting (CAV) under computational complexity constraints. The specific goal is to identify under what circumstances and how CAV can be applied in actual elections. The paper mainly focuses on the Conditional Minisum Approval Voting Rule (cms) and is committed to solving the following two key problems:

1. **Computational complexity challenges**:
- Conditional approval voting allows voters to express more nuanced preferences, especially when dealing with multiple interdependent issues. However, this flexibility leads to serious computational infeasibility. Even in restricted instances, determining the optimal result is an NP - hard problem.
- Specifically, the paper proves that under common computational complexity assumptions, no algorithm can significantly outperform the brute - force search of all possible results in solving the cms problem.

2. **Proposing feasible solutions**:
- To address the above - mentioned computational difficulties, the paper proposes two practical limitations (proposed for the first time in the literature), which make the problem solvable in polynomial time and these limitations are essentially tight.
- These limitations include:
- **Limiting the types of approval ballots**: For example, using "group - dichotomous ballots", that is, voters can express full support or full opposition to a set of issues.
- **Limiting the dependency relationships declared by voters**: For example, limiting the vertex cover number of each voter's dependency graph.

Through these methods, the paper provides a path for the practical application of conditional approval voting, allowing for the consideration of interdependent issues from the voter's perspective while ensuring computational feasibility.

### Summary

The main contribution of the paper lies in revealing that although conditional approval voting has the advantage of expressiveness, it also brings computational challenges. To this end, the author proposes specific limiting measures so that under specific conditions, conditional approval voting can be applied in actual elections. This not only helps to understand the complexity introduced by conditional ballots but also provides guidance for future practice.