Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper investigates the computational complexity of winner determination in approval-based committee elections governed by Thiele voting rules, focusing on the Voter Interval domain where candidates are approved by consecutive voters. By analyzing the dependencies induced by voter approval ballots, the authors develop fixed-parameter tractable (FPT) algorithms for Proportional Approval Voting (PAV) and other Thiele rules, demonstrating that these rules are FPT on the Voter Interval domain despite being NP-hard in general cases. The findings not only clarify the complexity landscape of PAV but also resolve two significant open questions in the field, contributing to a deeper understanding of structured elections under Thiele voting rules.
Every Thiele voting rule is fixed-parameter tractable on the Voter Interval domain, even as the problem remains NP-hard in general settings.
We study the computational complexity of winner determination problems in approval-based committee elections under Thiele voting rules. These form a class of rules parameterized by a fixed weight vector that specifies how a voter's satisfaction depends on the number of approved candidates elected. We first analyze the structure of optimal solutions based on the sets of voters who approve each candidate---that is, how voters' approval ballots induce dependencies between candidates---revealing constraints on a winning committee under any fixed Thiele voting rule. Using this, we design FPT algorithms for Proportional Approval Voting (PAV) and other Thiele rules on a natural restricted domain known as the Voter Interval domain---that is, after a suitable ordering of voters, each candidate is approved by a consecutive interval of voters. In particular, we show that every Thiele rule on Voter Interval is FPT with respect to a parameter for which the problem is NP-hard on general instances, even when the parameter takes constant values. Our results advance the understanding of the computational complexity of PAV on Voter Interval instances, which remains one of the central open questions in this area. We further resolve two open questions from the literature on PAV (and other Thiele voting rules) by providing a polynomial-time algorithm for instances where each candidate is approved by at most two voters, and an FPT algorithm parameterized by the total score of a winning committee.