Proportional Winner Determination Search Problem

Definition

Proportional Winner Determination Search Problem

Given an approval election with candidate set , voters , approval sets , and a committee size , output a size- committee that maximises the PAV score:

If several committees attain the maximum, outputting any one of them is valid. Thus the output is one committee tied for the maximum score, not necessarily the complete set of tied committees.

Evaluating a Committee

For a proposed committee , count the selected approved candidates for each voter:

The score of one committee is therefore computable in polynomial time. The hard part is selecting the committee whose score is largest.

Complexity

The search problem is NP-hard when is part of the input. A polynomial-time algorithm for it would also solve the decision problem: compute an optimal committee and compare its score with the requested threshold.

An exhaustive algorithm examines all committees. With and , scoring every committee by scanning all approval sets takes

time, apart from the polynomial-bit arithmetic needed for the harmonic values. This is polynomial for fixed , but not when varies with the input.