# Multiwinner analogues of the plurality rule: axiomatic and algorithmic perspectives

## Abstract

We characterize the class of committee scoring rules that satisfy the fixed-majority criterion. We argue that rules in this class are multiwinner analogues of the single-winner Plurality rule, which is uniquely characterized as the only single-winner scoring rule that satisfies the simple majority criterion. We define top-*k*-counting committee scoring rules and show that the fixed-majority consistent rules are a subclass of the top-*k*-counting rules. We give necessary and sufficient conditions for a top-*k*-counting rule to satisfy the fixed-majority criterion. We show that, for many top-*k*-counting rules, the complexity of winner determination is high (formally, we show that the problem of deciding if there exists a committee with at least a given score is \({\mathrm {NP}}\)-hard), but we also show examples of rules with polynomial-time winner determination procedures. For some of the computationally hard rules, we provide either exact FPT algorithms or approximate polynomial-time algorithms.

## 1 Introduction

A multiwinner voting rule is a formal procedure for selecting a subset of predetermined size from the available candidates in accord with the preferences of an electorate (such a subset of candidates is usually referred to as a *committee*). Parliamentary elections constitute one of the most classic examples where multiwinner rules are regularly used. For country-wide elections, societies typically use the district-based First-Past-the-Post rule, or a party-list system, or some mixture of the two [nonetheless, some countries use other rules for this purpose, such as SNTV or STV (Lijphart and Aitkin 1994)]. In smaller-scale elections, where it is possible for the voters to rank all the candidates, many other rules become available; for example, the *k*-Borda rule (Debord 1992) selects committees where each member receives broad support from the electorate, the Chamberlin–Courant rule (Chamberlin and Courant 1983) finds committees with diverse membership, and the Monroe rule (Monroe 1995) is designed to achieve proportional representation.

Apart from political elections, multiwinner rules are useful for many other purposes: to shortlist candidates for a job interview (Barberà and Coelho 2008; Elkind et al. 2017), to determine the locations of public facilities (Zanjirani and Hekmatfar 2009), in a wide range of scenarios where resources need to be selected and assigned to the agents for their (shared) use (Skowron et al. 2016), in segmentation problems (Kleinberg et al. 2004), or even in search strategies of genetic algorithms (Faliszewski et al. 2017; Sawicki et al. 2017). In business applications, company strategists deciding which sets of products to advertise on the front pages of their websites implicitly use multiwinner elections to make their choices (Lu and Boutilier 2011, 2015). Since these tasks are very different in spirit, one may presume that not all rules are equally suitable for all scenarios. This makes the question of comparing different rules, and of understanding their nature and their shortcomings (including their computational difficulty), very relevant.

One approach to advance our understanding of the nature of multiwinner rules is to view them as extensions of certain well-understood single-winner ones. For example, Single Non-Transferable Vote (SNTV) can clearly be viewed as an extension of Plurality, because it selects the *k* candidates with the *k* highest numbers of the first-place votes. However, this is not the only point of view that one can take in generalizing Plurality. For instance, one could argue that a voter’s most preferred committee consists exactly of those *k* candidates that this voter ranks in top *k* positions, and, so, if under the Plurality rule a voter gives a point only to his or her most preferred candidate, then under a multiwinner Plurality a voter should give points only to those candidates that belong to his or her most preferred committee. In fact, this is exactly how the Bloc rule works, and one can argue that Bloc is an extension of Plurality to the multiwinner setting as well. Naturally, there are also many other rules that would qualify for this title. Our goal in this paper is to seek and study such rules.

Our goal requires some justification. It is widely acknowledged that the single-winner Plurality rule has only one advantage: simplicity. Apart from this, it is considered a very bad rule—for instance, during the “Voting Power in Practice” workshop, held in 2010 at the Chateau du Baffy, Normandy, the participants (who were experts in voting procedures) were asked to rank election rules. Laslier (2012) reports that Plurality was considered the worst. One of the most serious drawbacks of Plurality is that voters are pressured to vote for one of the two candidates they predict are most likely to win, even if their true most preferred candidate is neither of them; they do that from the fear of casting a ‘wasted vote’ (Dummett 1984). However, in the multiwinner setting this pressure becomes milder, because there are more candidates to be elected. We view this as one reason why multiwinner analogues of Plurality are worth investigating.

We seek multiwinner analogues of Plurality within the family of committee scoring rules, recently introduced by Elkind et al. (2017). This is a natural choice because Plurality belongs to the class of positional scoring rules and committee scoring rules generalize this class to the multiwinner setting. (However, looking for such rules beyond the class of committee scoring rules would not be unthinkable.) Further, we take the following axiomatic approach. We note that Plurality is the only single-winner scoring rule that satisfies the *simple majority* criterion,^{1} which stipulates that a candidate ranked first by more than half of the voters must be the unique winner of the election. The *fixed-majority criterion*, introduced by Debord (1993), extends this notion to the world of multiwinner elections by requiring that, if there is a simple majority of voters, each of whom ranks the same *k* candidates in the top *k* positions (perhaps in a different order), then these *k* candidates should form the unique winning committee.^{2} Thus, all in all, we seek committee scoring rules that satisfy the fixed-majority criterion.

One can verify that SNTV fails the fixed-majority criterion for all \(k>1\), but that Bloc does satisfy it. Yet, Bloc is not the only fixed-majority consistent rule within the class of committee scoring rules. In fact, our approach led us to the discovery of a new class of voting rules, which includes all committee scoring rules satisfying the fixed-majority criterion. We call them *top-**k**-counting* rules. As in the case of Bloc, they take only the top *k* preferences of the voters into consideration. Specifically, under a top-*k*-counting rule, each voter awards points to every committee on the basis of the number of this voter’s top *k* candidates that are members of the committee; the committee with the most points collected from all the voters wins. The function that determines the score of a committee based on the number of committee members ranked in the top *k* positions by a voter will be called the *counting function*. As it turns out, the nature of this function (e.g., whether it is convex or concave) has very strong impact on both axiomatic and computational properties of the voting rule it defines.

^{3}of fixed-majority consistent committee scoring rules and we analyze the computational complexity of their winner determination problems. More specifically, we obtain the following results:

- 1.
We prove that all committee scoring rules that satisfy the fixed-majority criterion are top-

*k*-counting rules and we establish a condition on the counting function that is necessary and sufficient for the corresponding top-*k*-counting rule to satisfy the fixed-majority criterion. This condition is a fairly mild relaxation of the classic notion of convexity; in particular, if the counting function is convex then the corresponding top-*k*-counting rule satisfies the fixed-majority criterion. - 2.
We show that a number of top-

*k*-counting rules are \({\mathrm {NP}}\)-hard to compute^{4}(for example, we show an example of a rule that closely resembles the Bloc rule and is hard even to approximate). There are, however, some polynomial-time computable ones (for example, the Bloc and the Perfectionist rules; the latter one is introduced in this paper). - 3.
We show that if the counting function is concave, then the corresponding top-

*k*-counting rule fails the fixed-majority criterion, but the rule seems to be computationally easier than in the convex case. Specifically, for top-*k*-counting rules defined via concave counting functions we present a polynomial-time \({(1-\frac{1}{e})}\)-approximation algorithm and an exact fixed-parameter tractable algorithm (parameterized by the number of voters) for the problem of computing the highest-scoring committees.

## 2 Preliminaries

An election is a pair \(E = (C,V)\), where \(C = \{c_1, \ldots , c_m\}\) is a set of candidates and \(V = (v_1, \ldots , v_n)\) is a collection of voters. Throughout the paper, we reserve the symbol *m* to denote the number of candidates. Each voter \(v_i\) is associated with a preference order \(\succ _i\) in which \(v_i\) ranks the candidates from his or her most desirable one to his or her least desirable one (we assume the unrestricted domain, i.e., each voter is free to choose any preference order). If *X* and *Y* are two (disjoint) subsets of *C*, then by \(X \succ _i Y\) we mean that for each \(x \in X\) and each \(y \in Y\) it holds that \(x \succ _i y\). For a positive integer *t*, we denote the set \(\{1, \ldots , t\}\) by [*t*].

*Single-Winner Voting Rules* A single-winner voting rule \(\mathcal {R}\) is a function that given an election \(E = (C,V)\), outputs a subset \(\mathcal {R}(E)\subseteq C\) of candidates that are called (tied) winners of this election. There is quite a variety of single-winner voting rules, but for this paper it suffices to consider scoring rules only. Given a voter *v* and a candidate *c*, we write \({{{\mathrm {pos}}}}_v(c)\) to denote the position of *c* in *v*’s preference order (for example, if *v* ranks *c* first then \({{{\mathrm {pos}}}}_v(c) = 1\)). A scoring function for *m* candidates is a function \(\gamma _m :[m] \rightarrow {{\mathbb {R}}}_{+}\) such that for each \(i \in [m-1]\) we have \(\gamma _m(i) \ge \gamma _m(i+1)\) (by \({{\mathbb {R}}}_{+}\) we mean the set of nonnegative real numbers). Each family of scoring functions \(\gamma =(\gamma _{m})_{m \in {{\mathbb {N}}}}\) (one function for each possible choice of *m*) defines a voting rule \(\mathcal {R}_\gamma \) as follows. Let \(E = (C,V)\) be an election with *m* candidates. Under \(\mathcal {R}_\gamma \), each candidate \(c \in C\) receives \({{\mathrm {score}}}(c) := \sum _{v \in V}\gamma _m({{{\mathrm {pos}}}}_v(c))\) points and the candidate with the highest number of points wins. (If there are several such candidates, then they all tie as winners; the term *single-winner voting rule* refers to the fact that we use the rule to fill-in a single position, and not to indicate that the rule is resolute.) We often refer to the value \({{\mathrm {score}}}(c)\) as the \(\gamma \)-score of *c*.

The following scoring functions and scoring rules are particularly interesting. The *t*-Approval scoring function \(\alpha _t\) is defined as \(\alpha _t(i) := 1\) for \(i \le t\) and \(\alpha _t(i) := 0\) otherwise. (If *t* is fixed, then the definition of \(\alpha _t\) does not depend on *m*; in such cases, \(\alpha _t\) can both be viewed as a scoring function and as a family of scoring functions.) For example, Plurality is \(\mathcal {R}_{\alpha _1}\), the *t*-Approval rule is \(\mathcal {R}_{\alpha _t}\), and the Veto rule is \(\mathcal {R}_{(\alpha _{m-1})_{m \in {{\mathbb {N}}}}}\). The Borda scoring function (for *m* candidates), \(\beta _m\), is defined as \(\beta _m(i) := m - i\), and \(\mathcal {R}_{\beta }\) is the Borda rule, where \(\beta = (\beta _{m})_{m \in {{\mathbb {N}}}}\). This notation for these scoring functions will be used throughout the paper.

*Multiwinner Voting Rules* A multiwinner voting rule \(\mathcal {R}\) is a function that given an election \(E = (C,V)\) and a number *k* representing the size of the desired committee, outputs a family \(\mathcal {R}(E,k)\) of size-*k* subsets of *C*; the sets in this family are the committees that tie as winners. As in the case of single-winner voting rules, one may need a tie-breaking rule to get a unique winning committee, but we ignore this aspect in the current paper.

We focus on the class of committee scoring rules, introduced by Elkind et al. (2017) (we remark that the conference version of their paper was published in 2014). Consider an election \(E = (C,V)\) and some committee *S* of a given size *k*. Let *v* be some voter in *V*. By \({{{\mathrm {pos}}}}_v(S)\) we mean the sequence \((i_1, \ldots , i_k)\) that results from sorting the set \(\{ {{{\mathrm {pos}}}}_v(c) :c \in S\}\) in a strictly increasing order. For example, if \(C = \{a, b, c, d, e\}\), the preference order of *v* is \(a \succ b \succ c \succ d \succ e\), and \(S = \{a, c, d\}\), then \({{{\mathrm {pos}}}}_v(S) = (1, 3, 4)\). If \(I = (i_1, \ldots , i_k)\) and \(J = (j_1, \ldots , j_k)\) are two strictly increasing sequences of integers, then we say that *I* *(weakly) dominates* *J* (denoted \(I \succeq J\)) if \(i_t \le j_t\) for each \(t \in [k]\). For positive integers *m* and *k*, \(k \le m\), by \([m]_k\) we mean the set of all strictly increasing size-*k* sequences of integers from [*m*].

### Definition 1

(Elkind et al. 2017) A committee scoring function for a multiwinner election with *m* candidates, where we seek a committee of size *k*, is a function \(f_{m,k} :[m]_k \rightarrow {{\mathbb {R}}}_{+}\) such that for each two sequences \(I,J \in [m]_k\) it holds that if \(I \succeq J\) then \(f(I) \ge f(J)\).

Intuitively, the function \(f_{m, k}\) from Definition 1 assigns to each sequence *I* of *k* positions the number of points that a committee *C* gets from a voter *v* when the members of *C* stand on exactly the positions of *I* in the preference order of *v*.

A committee scoring rule is defined by a family of committee scoring functions \(f=(f_{m,k})_{k\le m}\), which contains one function for each possible choice of *m* and *k*. Analogously to the case of single-winner scoring rules, we will denote such a multiwinner rule by \(\mathcal {R}_f\). Let \(E = (C,V)\) be an election with *m* candidates and let *k*, \(k \le m\), be the size of the desired committee. Under the committee scoring rule \(\mathcal {R}_{f}\), every committee \(S \subseteq C\) with \(|S|=k\) receives \({{\mathrm {score}}}(S) := \sum _{v \in V}f_{m, k}({{{\mathrm {pos}}}}_v(S))\) points (for this notation, the election \(E = (C,V)\) will always be clear from the context). The committee with the highest score wins. (If there are several such committees, then they all tie as winners.)

- 1.The SNTV, Bloc, and
*k*-Borda rules pick*k*candidates with the highest Plurality,*k*-Approval, and Borda scores, respectively, and so they are defined through the following scoring functions:Note that \(f^{{{\mathrm {SNTV}}}}_{m,k}\) is defined as a sum of functions that do not depend on either$$\begin{aligned} f^{{{\mathrm {SNTV}}}}_{m,k}\ \ ({i}_1,\ldots ,{i}_{k})&:= \textstyle \sum _{t=1}^{k}\alpha _1(i_t) = \alpha _1(i_1), \\ f^{{{\mathrm {Bloc}}}}_{m,k}\ \ \ \ \ ({i}_1,\ldots ,{i}_{k})&:= \textstyle \sum _{t=1}^{k}\alpha _k(i_t),\\ f^{{{k\hbox {-}\mathrm {Borda}}}}_{m,k}({i}_1,\ldots ,{i}_{k})&:= \textstyle \sum _{t=1}^k\beta _m(i_t). \end{aligned}$$*m*or*k*, \(f^{{{\mathrm {Bloc}}}}_{m,k}\) is defined as a sum of functions that depend on*k*but not*m*, and \(f^{{{k\hbox {-}\mathrm {Borda}}}}_{m,k}\) is defined as a sum of functions that depend on*m*but not*k*.^{5} - 2.The two versions of the Chamberlin–Courant rule that we consider are defined through the following committee scoring functions, respectively:The first one defines the classical Chamberlin-Courant rule (Chamberlin and Courant 1983) and the second one defines what we refer to as the$$\begin{aligned} f^{\beta \hbox {-}{{{\mathrm {CC}}}}}_{m,k}\ ({i}_1,\ldots ,{i}_{k})&:= \beta _m(i_1),\\ f^{\alpha _k\hbox {-}{{{\mathrm {CC}}}}}_{m,k}({i}_1,\ldots ,{i}_{k})&:=\alpha _k(i_1). \end{aligned}$$
*k*-Approval Chamberlin–Courant rule [approval-based variants of the Chamberlin–Courant rule were first mentioned by Thiele (1895) and recently they were recalled by Procaccia et al. (2008); they were studied further, for example, by Betzler et al. (2013), Aziz et al. (2017), and Skowron and Faliszewski (2017)]. For brevity, we sometimes refer to the*k*-Approval Chamberlin–Courant rule as the \(\alpha _k\)-CC rule.Intuitively, under the Chamberlin–Courant rules, each voter is represented by the committee member that this voter ranks highest; the Chamberlin–Courant rule chooses a committee

*S*that maximizes the sum of the scores that the voters give to their representatives in*S*(which characterizes the total satisfaction of the society with the assignment of representatives to the voters). - 3.We introduce the Perfectionist rule. This rule is defined through scoring functions of the form:In other words, a voter gives score of 1 to a committee only if its members occupy the top$$\begin{aligned} f^{\mathrm {Perf}}_{m,k}({i}_1,\ldots ,{i}_{k})&:=\alpha _k(i_k). \end{aligned}$$
*k*positions of his or her vote. The rule is not necessarily very appealing, but it has interesting features that will illustrate several points that we make throughout our discussion.

*k*-Borda, \(\beta \)-CC, \(\alpha _k\)-CC, and Perfectionist give different outcomes (with the exception that the results of Bloc and \(\alpha _k\)-CC are the same).

### Example 1

*k*be 2. It is easy to compute the winners under the SNTV and Bloc rules. For the former, the unique winning committee is \(\{a,b\}\) (these are the only two candidates that are ranked in the top positions twice), and for the latter it is \(\{e,f\}\) (these are the only two candidates that are ranked among top two positions three times; all the other candidates are ranked there at most twice). A somewhat tedious calculation shows that the unique

*k*-Borda winning committee is \(\{g,h\}\), which follows since the Borda scores of the candidates

*a*,

*b*,

*c*,

*d*,

*e*,

*f*,

*g*,

*h*are, respectively:

*k*-Borda and Chamberlin–Courant winners is as follows:

*g*and

*h*are always ranked in the middle of each vote, or slightly above, so that they get high total Borda score, whereas

*c*and

*d*are ranked so that one of them is (almost) always ahead of

*g*and

*h*, whereas the other one is in the last position. This way, as representatives,

*c*and

*d*get higher scores than

*g*and

*h*, even though their total Borda score is lower.)

On the other hand, it is relatively easy to verify that under \(\alpha _k\)-CC, the winning committee is \(\{e,f\}\) (its \(\alpha _k\)-CC score is six; there is no other committee whose members are ranked among the top two positions of six or more voters).

Finally, let us consider the Perfectionist rule. It assigns two points to committee \(\{a,f\}\), one point to each of \(\{b,c\}\), \(\{b,d\}\), \(\{c,e\}\), \(\{d, e\}\), \(\{e,g\}\), and \(\{f,h\}\), and zero points to all the other committees. Thus, \(\{a,f\}\) is the unique winning committee.

All the above rules are examples of OWA-based committee scoring rules, i.e., their committee scoring functions can be expressed as ordered weighted averages (OWAs) of single-winner scores. Formally, an OWA operator \(\Lambda \) of dimension *k* is a sequence \(\Lambda = (\lambda ^1, \ldots , \lambda ^k)\) of nonnegative reals^{6} and the class of OWA-based rules (due to Skowron et al. 2016) is defined as follows.

### Definition 2

*k*(one size-

*k*vector for each pair

*m*,

*k*). Let \(\gamma =(\gamma _{m,k})_{k\le m}\) be a family of (single-winner) scoring functions (one scoring function for each pair

*m*,

*k*). Then \(\gamma \) together with \(\Lambda \) define a family of committee scoring functions \(f = f_{m,k}(\Lambda ,\gamma )\) such that for each \((i_1, \ldots , i_k) \in [m_k]\) we have:

*f*is called

*OWA-based*.

Intuitively, the OWA operators specify to what extent the voters care about each member of the committee, depending on how this member is ranked among the other ones. For example, rules with OWA operators of the form \((1, \ldots , 1)\), such as SNTV, Bloc, or *k*-Borda, care about all the committee members equally, whereas rules with OWA operators of the form \((1,0, \ldots , 0)\), such as our two versions of the Chamberlin–Courant rule, care about the top-ranked committee members only. Rules of the first type are called *weakly separable*, and those of the second type are called *representation focused* (Elkind et al. 2017; Faliszewski et al. 2016). Naturally, there are also many other choices of OWA operators. For example, the *t*-Approval variant of the Proportional Approval Voting rule (\(\alpha _t\)-PAV) uses OWA operators of the form \((1, \frac{1}{2}, \ldots , \frac{1}{k})\), indicating the decreasing attention the voters pay to their lower-ranked committee members; the Perfectionist rule uses the OWA operator \((0,\ldots ,0,1)\). For more discussions regarding the OWA-based rules, we refer the reader to the works of Skowron et al. (2016), Aziz et al. (2017, 2015), and Lackner and Skowron (2017) (the latter ones include a more detailed discussion of PAV; see also the work of Kilgour (2010) for a description of this rule).

### Remark 1

We note that in most cases the OWA vectors \(\Lambda _{m, k}\) used to define OWA-based rules do not depend on *m*. Yet, formally, we allow for such a dependence in order to build the relation between our general framework in which committee scoring functions \(f_{m, k}\) might depend on *m* in any, even not very intuitive, way, and the world of OWA-based rules.

*k*-Borda rule (which is simply the \(\ell _1\)-Borda rule) and the classical Chamberlin–Courant rule (which, with slight abuse of notation, could be referred to as \(\ell _\infty \)-Borda).

## 3 Fixed-majority consistent rules

We are ready to start our quest for finding committee scoring rules that can be seen as multiwinner analogues of Plurality. We begin by describing the fixed-majority criterion that, in our view, encapsulates the idea of “closeness” to Plurality. Then, we provide a class of committee scoring rules—the class of top-*k*-counting rules—that contains all the rules which satisfy the fixed-majority criterion. Finally, we provide an almost complete characterization of those top-*k*-counting rules that have the fixed-majority property.

### 3.1 Initial remarks

One of the features that distinguishes Plurality among all the other scoring rules is the fact that it satisfies the simple majority criterion.

### Definition 3

A single-winner voting rule \(\mathcal {R}\) satisfies the *simple majority criterion* if for every election \(E = (C,V)\) where more than half of the voters rank some candidate *c* first, it holds that \(\mathcal {R}(E) = \{c\}\).

Importantly, the simple majority criterion indeed characterizes Plurality within the class of single-winner scoring rules. The result is a part of folklore (we provide the proof for the sake of completeness).

### Proposition 1

Let \(\gamma = (\gamma _m)_{m \in {{\mathbb {N}}}}\) be a family of single-winner scoring functions that defines a scoring rule \(\mathcal {R}_\gamma \). Then, \(\mathcal {R}_\gamma \) satisfies the simple majority criterion if and only if for each *m* it holds that \(\gamma _m(1) > \gamma _m(2) = \cdots = \gamma _m(m)\) (that is, if and only if \(\mathcal {R}_\gamma \) coincides with Plurality).

### Proof

It is straightforward to verify that if for each *m* we have \(\gamma _m(1) > \gamma _m(2) = \cdots = \gamma _m(m)\) then \(\mathcal {R}_\gamma \) satisfies the simple majority criterion. For the other direction, assume that \(\mathcal {R}_\gamma \) satisfies the simple majority criterion. This immediately implies that for each \(m \ge 2\) we have \(\gamma _m(1) > \gamma _m(m)\) (otherwise all the candidates would always tie as winners). Hence for \(m=2\) the result follows.

*n*, define the election \(E_n = (C,V_n)\) with the candidate set \(C = \{c_1, \ldots , c_m\}\) and with \(V_n\) containing:

*n*, the difference between the scores of \(c_1\) and \(c_2\) in \(E_n\) is:

*n*—candidate \(c_1\) would not be a winner of \(E_n\). This implies that \(\gamma _m(2) = \cdots = \gamma _m(m)\). Since \(\gamma _m(1) > \gamma _m(m)\), we reach the conclusion that \(\gamma _m(1) > \gamma _m(2) = \cdots = \gamma _m(m)\). \(\square \)

There are at least two ways of generalizing the simple majority criterion to the multiwinner setting. We choose perhaps the simplest one, the *fixed-majority criterion* introduced by Debord (1993) (other notions of majority studied by Debord are variants of the Condorcet principle and are incompatible with Plurality and scoring rules in general).

### Definition 4

A multiwinner voting rule \(\mathcal {R}\) satisfies the *fixed-majority criterion* for *m* candidates and committee size *k* if for every election \(E = (C,V)\) with *m* candidates the following holds: if there is a committee *W* of size *k* such that more than half of the voters rank all the members of *W* above the non-members of *W* (equivalently: put the candidates from *W* on top), then \(\mathcal {R}(E,k) = \{W\}\). We say that \(\mathcal {R}\) satisfies the fixed-majority criterion if it satisfies it for all choices of *m* and *k* (with \(k\le m\)).

### Remark 2

*W*is such that for each \(c \in W\) a majority of voters rank

*c*among their top

*k*positions (possibly a different majority for each

*c*), then

*W*must be a winning committee. However, consider the following votes over the candidate set \(\{a,b,c\}\):

It seems that the fixed-majority criterion is far more important for the multiwinner setting than the simple majority criterion is for the single-winner one. For example, one can verify that the Bloc rule satisfies the fixed-majority criterion and, in fact, this property is crucial in explaining its inner workings (we characterize the Bloc rule as the unique committee scoring rule that is noncrossing monotone and that satisfies the fixed-majority criterion^{7}). This is important as in practice Bloc is among the most commonly used multiwinner rules. Further, the fixed-majority property may be useful when arguing that a given voting rule is appropriate for a setting where the selected committee needs strong legitimization: If a rule fails the fixed-majority property, then it is possible that even though a majority of the voters agree which committee is the best, a different committee is elected (whose legitimacy might be questioned by this majority).^{8}

While the Bloc rule satisfies the fixed-majority criterion, the SNTV rule does not (it will follow formally from our further discussion). This means that in our axiomatic sense, Bloc is closer to Plurality than SNTV. This is quite interesting since one’s first idea of generalizing Plurality would likely be to think of SNTV. Yet, Bloc is certainly not the only committee scoring rule that satisfies our criterion. For example, the Perfectionist rule satisfies the fixed-majority criterion and, indeed, closely resembles Plurality. The following remark strongly highlights this similarity.

### Remark 3

Consider a situation where the voters extend their rankings of candidates to rankings of committees in some natural way (see, e.g., the work of Barberà et al. (2004) for an overview of how this may be done). Then, for each voter, the best committee would consist of his or her *k* best candidates. As a result, running Plurality on the profile of preferences over the committees would give the same result as running Perfectionist over the profile of preferences over the candidates.

Naturally, not all committee scoring rules satisfy the fixed-majority criterion. For example, neither *k*-Borda nor the Chamberlin–Courant rule do. To see this, it suffices to note that for \(k = 1\) they both become the single-winner Borda rule, which fails the simple majority criterion.

### 3.2 Top-\(\varvec{k}\)-counting rules

To characterize the committee scoring rules that satisfy the fixed-majority criterion, we introduce the class of scoring functions that depend only on the number of committee members ranked in the top *k* positions.

### Definition 5

We say that a committee scoring function \(f_{m, k}:[m]_k\rightarrow {{\mathbb {R}}}_{+}\) is *top-**k**-counting* if there is a function \(g_{m, k} :\{0, \ldots , k\} \rightarrow {{\mathbb {R}}}_{+}\) such that \(g_{m, k}(0)=0\) and for each \((i_1, \ldots , i_k) \in [m]_k\) we have \(f_{m, k}(i_1, \ldots , i_k) = g_{m, k}( | \{ t \in [k] :i_t \le k\} | )\). We refer to \(g_{m, k}\) as the *counting function* for \(f_{m,k}\). We say that a committee scoring rule \(\mathcal {R}_f\) is *top-**k**-counting* if it can be defined through a family of top-*k*-counting scoring functions \(f=(f_{m,k})_{k\le m}\).

Both Bloc and Perfectionist are top-*k*-counting rules. The former uses the linear counting function \(g_{m, k}(x) = x\), while the latter uses the counting function \(g_{m, k}\) which is a step-function: \(g_{m, k}(x) = 0\) for \(x<k\) and \(g_{m, k}(k) = 1\). Another example of a top-*k*-counting rule is the \(\alpha _k\)-CC rule, which uses the counting function \(g_{m, k}\) such that \(g_{m, k}(0) = 0\) and \(g_{m, k}(x) = 1\) for all \(x \in [k]\).

Top-*k*-counting rules have a number of interesting features. First, their counting functions have to be nondecreasing. Second, every top-*k*-counting rule is OWA-based. Third, every committee scoring rule that satisfies the fixed-majority criterion is top-*k*-counting. We express these facts in the following two propositions and in Theorem 4. For the rest of the paper we make the assumption that \(m \ge 2k\); this assumption is technical as our arguments are greatly simplified by the fact that we can form two disjoint committees of size *k*. Further, it is also quite natural: one could say that if we were to choose a committee consisting of more than half of the candidates, then perhaps we should rather be voting for who should *not* be in the elected committee. We are not sure whether this assumption can be dropped.

### Proposition 2

Let \(m\ge 2k\) and let \(f_{m,k}:[m]_k\rightarrow {{\mathbb {R}}}_{+}\) be a top-*k*-counting scoring function defined through a counting function \(g_{m, k}\). Then, \(g_{m, k}\) is nondecreasing.

### Proof

Let \(t \in \{0,\ldots ,k\}\) be a number. Consider the sequences \(I_t = (1, \ldots ,t,k+1, \ldots , k+(k-t))\) and \(I_{t+1} = (1, \ldots ,t+1,k+1, \ldots , k+(k-t-1))\) from \([m]_k\). (Note that we need \(m\ge 2k\) for defining \(I_0\).) Since \(I_{t+1} \succeq I_{t}\), we have that \(f_{m,k}(I_{t+1}) \ge f_{m,k}(I_t)\). By the definition, however, we have that \(f_{m,k}(I_{t+1}) = g_{m,k}(t+1)\) and \(f_{m,k}(I_t) = g_{m,k}(t)\). Hence, \(g_{m, k}(t+1) \ge g_{m, k}(t)\). \(\square \)

Without the assumption that \(m \ge 2k\), Proposition 2 would have to be phrased more cautiously, and would speak only of the existence of a nondecreasing counting function. (For example, for \(m=k\), the function \(g_{m,k}\) could be arbitrary.)

### Proposition 3

Every top-*k*-counting rule is OWA-based.

### Proof

*k*-counting rule \(\mathcal {R}_f\), where \(f=(f_{m,k})_{k\le m}\) is the corresponding family of top-

*k*-counting functions defined by a family of counting functions \((g_{m,k})_{k\le m}\). Let us consider one function \(f_{m,k}\) from this family. We know that \(f_{m,k}:[m]_k\rightarrow {{\mathbb {R}}}_{+}\) is a top-

*k*-counting scoring function defined through a counting function \(g_{m,k}\) so that \(f_{m,k}(i_1, \ldots , i_k) = g_{m,k}(s)\), where \(s = |\{ t \in [k] :i_t \le k\}|\). As \(g_{m,k}(0)=0\), we have

*k*-Approval scoring functions (\(\gamma _{m,k} = \alpha _k\)). \(\square \)

In the next theorem (and in many further theorems) we speak of a committee scoring rule \(\mathcal {R}_f\) defined through a family of committee scoring functions \(f = (f_{m,k})_{2k\le m}\). We use this notation as a shorthand for the assumption that the theorem is restricted to the cases where \(2k \le m\).

### Theorem 4

Let \(f=(f_{m,k})_{2k\le m}\) be a family of committee scoring functions. Then, if \(\mathcal {R}_f\) satisfies the fixed-majority criterion, then \(\mathcal {R}_f\) is top-*k*-counting.

### Proof

*m*and

*k*such that \(2k \le m\). Consider an election with

*m*candidates, where a committee of size

*k*is to be elected. For each positive integer

*t*such that \(0 \le t \le k\) we define the following two sequences from \([m]_k\):

- 1.
\(I_t = (1,\ldots ,t, k+1, \ldots , k+k-t)\) is a sequence of positions of the candidates where the first

*t*candidates are ranked in the top*t*positions and the remaining \(k-t\) candidates are ranked just below the*k*th position. - 2.
\(J_t = (k-(t-1), \ldots , k, m-((k-t)-1), \ldots , m)\) is a sequence of positions where the first

*t*candidates are ranked just above (and including) the*k*th position, whereas the remaining \(k-t\) candidates are ranked at the bottom.

*t*we have \(I_t \succeq J_t\) and, in effect, \(f_{m,k}(I_t) \ge f_{m,k}(J_t)\).

We claim that if there exists some \(t \in \{0, \ldots , k\}\) such that \(f_{m,k}(I_t) > f_{m,k}(J_t)\) then \(\mathcal {R}_f\) does not have the fixed-majority property. For the sake of contradiction, assume that there is some *t* such that \(f_{m,k}(I_t) > f_{m,k}(J_t)\). Let \(E = (C,V)\) be an election with *m* candidates and \(2n + 1\) voters. The set of candidates is \(C = X \cup Y \cup Z \cup D\), where \(X = \{x_1, \ldots , x_t\}\), \(Y = \{y_{t+1}, \ldots , y_k\}\), \(Z = \{z_{t+1}, \ldots , z_k\}\), and *D* is a set of sufficiently many dummy candidates so that \(|C| = m\). We focus on two committees, \(M = X \cup Y\) and \(N = X \cup Z\). The first \(n + 1\) voters have preference order \(X \succ Y \succ Z \succ D\), and the next *n* voters have preference order \( Z \succ X \succ D \succ Y\). Note that the fixed-majority criterion requires that *M* be the unique winning committee.

*M*receives the total score of \((n + 1) f_{m,k}(I_k) + n f_{m,k}(J_t)\), whereas committee

*N*receives the total score of \((n + 1) f_{m,k}(I_t) + n f_{m,k}(I_k)\). The difference between these values is:

*n*, is negative (since, by assumption, we know that \(f_{m,k}(J_t) < f_{m,k}(I_t)\) and so \(f_{m,k}(J_t) - f_{m,k}(I_t)\) is negative). That is, for large enough

*n*, committee

*M*does not win the election and \(\mathcal {R}_f\) fails the fixed-majority criterion.

So, if \(\mathcal {R}_f\) satisfies the fixed-majority criterion, then for every \(t \in \{0, \ldots , k\}\) we have that \(f_{m,k}(I_t) = f_{m,k}(J_t)\). This, however, means that \(f_{m,k}\) is a top-*k*-counting scoring function. To see this, consider some sequence of positions \(L = (\ell _1, \ldots , \ell _k)\in [m]_k\) where exactly the first *t* entries are smaller than or equal to *k*. Clearly, we have that \(I_t \succeq L \succeq J_t\) and so \(f_{m,k}(I_t) = f_{m,k}(L) = f_{m,k}(J_t)\), which means that \(f_{m,k}(i_1, \ldots , i_k)\) depends only on the cardinality of the set \(\{ t \in [k] :i_t \le k\}\). Since *m* and *k* were chosen arbitrarily (with \(2k \le m\)), this completes the proof. \(\square \)

Unfortunately, the converse of Theorem 4 does not hold: \(\alpha _k\)-CC, for example, is a top-*k*-counting rule that fails the fixed-majority criterion.

### Example 2

*k*-counting rule.)

### 3.3 Criterion for fixed-majority consistency

In this section, we provide a formal characterization of those top-*k*-counting rules that satisfy the fixed-majority criterion. Together with Theorem 4, this gives an almost full characterization of committee scoring rules with this property.

### Theorem 5

- (i)
\(g_{m, k}\) is not constant, and

- (ii)for each pair of nonnegative integers \(k_1,k_2\) with \(k_1+k_2 \le k\), we have that:$$\begin{aligned} g_{m,k}(k) - g_{m,k}(k-k_2) \ge g_{m,k}(k_1+k_2) - g_{m,k}(k_1). \end{aligned}$$

### Proof of Theorem 5

Let \(f_{m,k}\) be one of the committee scoring functions and \(g_{m,k}\) be its corresponding counting function. By Proposition 2, \(g_{m,k}\) is nondecreasing so the fact that it is non-constant is equivalent to \(g_{m,k}(k)>g_{m,k}(0)\). Moreover, we note that conditions (i) and (ii) imply that for each \(k'\) with \(0 \le k' \le k-1\), we have \(g_{m,k}(k) > g_{m,k}(k')\). To see this we take \(k_2 = 1\) and note that for each \(k_1\) it holds that \(g_{m,k}(k) - g_{m,k}(k - 1) \ge g_{m,k}(k_1 + 1) - g_{m,k}(k_1)\). As \(g_{m,k}(k)>g_{m,k}(0)\), for some \(k_1\) we have that \(g_{m,k}(k_1 + 1) - g_{m,k}(k_1) > 0\). Thus, \(g_{m, k}(k) > g_{m, k}(k - 1)\). Since \(g_{m, k}\) is nondecreasing, it is also true that \(g_{m, k}(k - 1) \ge g_{m, k}(k')\). It follows that \(g_{m, k}(k) > g_{m, k}(k')\).

Let us now show that if for each *m* and *k*, \(g_{m,k}\) satisfies (ii), then \(\mathcal {R}_f\) has the fixed-majority property. Let \(E = (C,V)\) be an election with *n* voters and *m* candidates for which there is a size-*k* committee *M* such that a majority of the voters rank all members of *M* in the top *k* positions, but *M* loses to some committee \(S \ne M\) (also of size *k*). That is, we have \({{\mathrm {score}}}(S) \ge {{\mathrm {score}}}(M)\). Let \(\xi \) be a rational number, \(\frac{1}{2} < \xi \le 1\), such that exactly \(\xi n\) voters rank all the members of *M* in the top *k* positions; we will refer to these voters as *M*-voters and to the others as non-*M*-voters.

Without loss of generality, we can assume that all the non-*M*-voters have identical preference orders. Indeed, if it were the case that \(f_{m,k}({{{\mathrm {pos}}}}_{v_i}(S)) - f_{m,k}({{{\mathrm {pos}}}}_{v_i}(M)) > f_{m,k}({{{\mathrm {pos}}}}_{v_j}(S)) - f_{m,k}({{{\mathrm {pos}}}}_{v_j}(M))\) for some two non-*M*-voters \(v_i\) and \(v_j\), then we could replace the preference order of \(v_j\) with that of \(v_i\) and increase the advantage of *S* over *M*. If for all non-*M*-voters this difference were the same, then we could simply pick the preference order of one of them and assign it to all the other ones.

- 1.
\(k_1\) is the number of candidates from \(S \cap M\) that the non-

*M*-voters rank among their top*k*positions, - 2.
\(k_2\) is the number of candidates from \(S {\setminus } M\) that the non-

*M*-voters rank among their top*k*positions, - 3.
\(k_3\) is the number of candidates from \(C {\setminus } (S \cup M)\) that the non-

*M*-voters rank among their top*k*positions, and - 4.
\(k_4\) is the number of candidates from \(M {\setminus } S\) that the non-

*M*-voters rank among their top*k*positions.

*k*positions by non-

*M*-voters; these changes never decrease the score of

*S*relative to that of

*M*). In effect, we have that \(k_1 + k_2 + k_3 = k\) and, since \(|S\cap M|+|S{\setminus } M|=k\), we have that \(|S\cap M|=k-k_2\). We can assume that \(k_2 > 0\) as otherwise we would have \(S = M\). Given this notation, the difference between the scores of

*M*and

*S*is:

*m*and

*k*such that it is not the case that conditions (i) and (ii) are both satisfied. If condition (i) is not satisfied and \(g_{m,k}\) is a constant function, then \(\mathcal {R}_f\) fails the fixed-majority criterion because it always outputs all the subsets of size

*k*, independently of the voters’ preferences. Thus we assume that \(g_{m,k}\) is not constant. Thus, suppose that condition (ii) does not hold and there exist \(k_1\) and \(k_2\) with \(k_1+k_2\le k\) such that \(g_{m,k}(k) - g_{m,k}(k-k_2) < g_{m,k}(k_1+k_2)-g_{m,k}(k_1)\). We form an election with

*m*candidates, \(c_1, \ldots , c_m\), and \(2n+1\) voters (we describe the choice of

*n*later). The first \(n+1\) voters have preference order:

*n*voters have preference order:

*S*:

*M*and

*S*is:

*n*the difference \({{\mathrm {score}}}(M) - {{\mathrm {score}}}(S)\) becomes negative. This is a contradiction showing that (ii) holds. \(\square \)

Let us take a step back and consider what condition (ii) from Theorem 5 means (recall Fig. 1). Intuitively, it resembles the convexity condition, but ‘focused’ on \(g_{m,k}(k)\) (see the explanation below).

### Definition 6

*k*-counting function \(f_{m,k}:[m]_k\rightarrow {{\mathbb {R}}}_{+}\). We say that \(g_{m,k}\) is

*convex*if for each \(k'\) such that \(2 \le k' \le k\), it holds that:

*g*is

*concave*if for each \(k'\) with \(2 \le k' \le k\) it holds that:

*k*-counting function is equivalent to requiring that for each \(k'\), \(k''\), and

*d*such that \(k'' \le k' \le k\), \(k'' - d \ge 0\), and \(k' - d \ge 0\), it holds that:

*k*(i.e., we ‘focus on \(g_{m,k}(k)\)’), set \(d = k_2\), and set \(k'' = k_1+k_2\).

The notions of convexity and concavity are standard, but allow us to express many features of top-*k*-counting rules in a very intuitive way. For example, the following corollary is an immediate consequence of Theorem 5.

### Corollary 6

*k*-counting committee scoring functions with the corresponding family \((g_{m,k})_{2k\le m}\) of counting functions. The following statements hold:

- 1.
if \(g_{m,k}\) are convex, then \(\mathcal {R}_f\) satisfies the fixed-majority criterion, and

- 2.
if \(g_{m,k}\) are concave but not linear (that is, \(\mathcal {R}_f\) is not Bloc) then \(\mathcal {R}_f\) fails the fixed-majority criterion.

The counting function for the Bloc rule is linear (and, thus, both convex and concave), and the counting function for the Perfectionist rule is convex, so these two rules satisfy the fixed-majority criterion. On the other hand, the counting function for \(\alpha _k\)-CC is concave and, so, this rule fails the criterion (as we observed in Example 2). (It may be helpful to remark here that committee scoring rules are uniquely represented by their committee scoring functions, up to affine transformations; this result is provided in the technical report version of the work of Faliszewski et al. (2016).)

By Proposition 3, a family of concave counting functions \(g_{m,k}\) corresponds to a nonincreasing OWA operator and a family of convex counting functions corresponds to a nondecreasing one. Skowron et al. (2016) provided evidence that rules based on nonincreasing OWA operators are computationally easier than those based on general OWA operators (while computing the exact winning committees tends to be computationally hard in both cases, there are, for example, polynomial-time constant-factor approximation algorithms whenever the operators are nonincreasing; unless \({\mathrm {P}}= {\mathrm {NP}}\), such algorithms do not exist for many rules based on the other OWA operators). In Sect. 4 we show that this seems to be the case for top-*k*-counting rules as well, but we also provide a striking example highlighting a certain dissimilarity.

### 3.4 Characterization of Bloc within committee scoring rules

We conclude this section by noting that Theorems 4 and 5, together with a result of Faliszewski et al. (2016), suffice to characterize Bloc within the class of committee scoring rules. To present this result, we need the following definition of Elkind et al. (2017):

### Definition 7

A multiwinner rule \(\mathcal {R}\) is noncrossing-monotone if the following holds: Whenever committee *W* of size *k* is winning in some election *E*, then *W* also is winning in every election \(E'\) resulting from shifting some member *c* of *W* one position forward in some vote (provided that *c* does not pass any other member of *W*).

*k*-counting scoring functions of this form [this also follows by uniqueness of representation of committee scoring rules (Faliszewski et al. 2016)], by Theorems 4 and 5 we get the following corollary.

### Corollary 7

Bloc is the only committee scoring rule that is both fixed-majority consistent and noncrossing monotone.

*n*, candidate \(c_{k+1}\) would have higher \(\gamma _{m,k}\)-score than \(c_{k}\) in the above election and, in consequence, the committee \(\{c_1, \ldots , c_k\}\) would not be winning. Thus our rule would not be fixed-majority consistent. The same would hold if we had that \(\gamma _{m,k}(1) = \cdots = \gamma _{m,k}(k)\), but \(\gamma _{m,k}(k+1) > \gamma _{m,k}(m)\): For sufficiently large

*n*, \(c_{k+1}\) would have higher \(\gamma _{m,k}\) score than \(c_k\). Naturally, if \(\gamma _{m,k}(1) = \cdots = \gamma _{m,k}(m)\), then all committees would always win and the rule would not be fixed-majority consistent either. Thus the only functions \(\gamma _{m,k}\) remaining are such that \(\gamma _{m,k}(1) = \cdots = \gamma _{m,k}(k) > \gamma _{m,k}(k+1) = \cdots = \gamma _{m,k}(m)\). Such functions generate exactly the Bloc rule, which is fixed-majority consistent.

Faliszewski et al. (2016) characterize Bloc as the only committee scoring rules that is top-*k*-counting and weakly separable, which is the same result as ours, but phrased in terms of syntactic properties of scoring functions and not in terms of axiomatic properties.

## 4 Complexity of top-\(\varvec{k}\)-counting rules

In this section, we consider the computational complexity of winner determination for top-*k*-counting rules which are based on either convex or concave counting functions. Throughout this section, we focus on committee scoring functions of the form \(f_{m,k}:[m]_k \rightarrow \mathbb {N}\), that is, on functions that always return nonnegative integers as scores. This is a technical assumption, motivated by the fact that representing arbitrary real numbers on a computer can be problematic. To avoid confusion, we mention this assumption explicitly in each relevant theorem.

### Remark 4

For a committee scoring rule \(\mathcal {R}_f\), when we say that this rule is \({\mathrm {NP}}\)-hard to compute, we formally mean that, given an election \(E = (C,V)\), a committee size *k*, and a nonnegative integer *T*, the problem of deciding if there exists a committee *S* of size *k* whose score is at least *T* is \({\mathrm {NP}}\)-hard. Indeed, if we were able to compute an \(\mathcal {R}_f\) winning committee of size *k* in polynomial time, then we could solve this decision problem in polynomial time as well, by checking if the score of the winning committee is at least *T* (provided that *f* were polynomial-time computable). Conversely, if we knew that our decision problem were \({\mathrm {NP}}\)-hard, then we would also know that the ability to compute winning committees under \(\mathcal {R}_f\) implies the ability to solve \({\mathrm {NP}}\)-hard problems.

We start by considering several examples. It is well-known that Bloc winners can be computed in polynomial time; this is so since one can compute the score of each candidate separately. It turns out that the same holds for the Perfectionist rule, albeit following different reasoning.

### Proposition 8

Both Bloc and Perfectionist winners are computable in polynomial time.

### Proof

The case of Bloc is well-known (to form a winning committee of size *k* it suffices to pick *k* candidates with the highest *k*-Approval scores). To find a size-*k* winning committee under the Perfectionist rule, for each voter *v* we consider the set of his or her top-*k* candidates as a committee, and compute the score of that committee in the election. We output those committees—among the considered ones—that have the highest score. Correctness follows by noting that the committees considered by the algorithm are the only ones with nonzero scores. \(\square \)

While the above result is very simple, it is also very interesting. For example, Perfectionist is the first example of a polynomial-time computable committee scoring rule that is not weakly separable [see the discussions of Elkind et al. (2017) and Faliszewski et al. (2016)]. Further, it stands in sharp contrast to the results of Skowron et al. (2016). By Proposition 3, Perfectionist is defined through the OWA operator \((0, \ldots , 0,1)\), and Skowron et al. have shown that, in general, rules defined through this operator are \({\mathrm {NP}}\)-hard to compute and very difficult to approximate. Their result, however, relies on the fact that voters can approve any number of candidates, while in our case they must approve exactly *k* of them. This shows very clearly that even though top-*k*-counting rules are OWA-based, we cannot simply carry-over the computational hardness results of Skowron et al. (2016) or Aziz et al. (2015) to our framework.

We can generalize Proposition 8 to rules that are, in some sense, similar to Perfectionist. To this end, and to facilitate our later discussion regarding the complexity of top-*k*-counting rules, we define the following property of counting functions.

### Definition 8

*k*-counting function \(f_{m,k}:[m]_k\rightarrow \mathbb {N}\). We define the

*singularity*of \(g_{m,k}\), denoted by \(\mathrm {sing}(g_{m,k})\), to be

Loosely speaking, \(\mathrm {sing}(g_{m,k})\) is the smallest integer in \(\{2, \ldots , k\}\) for which the differential of \(g_{m,k}\) changes. For Bloc (which is an exception) we define \(\mathrm {sing}(g_{m,k})\) to be \(\infty \), since the differential is a constant function. Naturally, for all other non-constant rules, the singularity is finite. For example, for Perfectionist we have \(\mathrm {sing}(g_{m,k}) = k\).

We generalize the polynomial-time algorithm for Perfectionist to similar rules, for which the value \(\mathrm {sing}(g_{m,k})\) is close to *k*.

### Proposition 9

Let \(\mathcal {R}_f\) be a top-*k*-counting rule for a family \(f=(f_{m,k})_{2k\le m}\) of polynomial-time computable committee scoring functions (\(f_{m,k}:[m]_k \rightarrow \mathbb {N}\)) with the corresponding family of counting functions \((g_{m,k})_{2k\le m}\). Let *q* be a constant, positive integer such that \(k - \mathrm {sing}(g_{m,k}) \le q\) holds for all *m* and *k*. Then \(\mathcal {R}_f\) has a polynomial-time computable winner determination problem.

### Proof

Let the input consist of election \(E = (C,V)\) and positive integer *k*, and let *W* be a winning committee in \(\mathcal {R}(E,k)\). We assume that \(q < \frac{k}{2}\) (if it were not the case, then \(k\le 2q\) would be small and we could solve the problem using brute-force). We consider two cases: (1) there is at least one voter that has at least \(\mathrm {sing}(g_{m,k})\) of his or her top *k* candidates in *W*; (2) every voter has less than \(\mathrm {sing}(g_{m,k})\) of his or her top *k* candidates in *W*.

*W*(or some other winning committee) by checking, for each voter

*v*, all the committees that consist of at least \(\mathrm {sing}(g_{m,k})\) candidates that

*v*ranks among his or her top

*k*positions. Since \(k - \mathrm {sing}(g_{m,k}) \le q\), the number of committees that we have to check for each voter is:

*k*and

*m*. The above inequality requires some care: We have that \(\mathrm {sing}(g_{m,k}) > \frac{k}{2}\) (because \(k - \mathrm {sing}(g_{m,k}) \le q < \frac{k}{2}\)) and, in effect, we have that for each \(t \in \{\mathrm {sing}(g_{m,k}), \ldots , k\}\) it holds that \({k \atopwithdelims ()t} = {k \atopwithdelims ()k - t} \le {k \atopwithdelims ()k - \mathrm {sing}(g_{m,k})}\) and \({m \atopwithdelims ()k - t} \le {m \atopwithdelims ()k -\mathrm {sing}(g_{m,k})}\).

If case (2) holds, then from the fact that \(g_{m,k}(x) - g_{m,k}(x - 1)\) is a constant for \(x \le \mathrm {sing}(g_{m,k})\), we infer that \(g_{m,k}(x)\) is effectively linear. Then, it suffices to compute the winning committee using the Bloc rule. While we do not know which of the two cases holds, we can compute the two committees, one as in case (1) and one as in case (2), and output the one with the higher score (or either of them, in case of a tie). \(\square \)

### Example 3

*k*positions in some voter’s preference ranking), but it is not a top-

*k*-counting rule and, so, it fails the fixed-majority criterion.

Yet, as one might expect, not all top-*k*-counting rules are polynomial-time solvable and, indeed, most of them are not (under standard complexity-theoretic assumptions). For example, \(\alpha _k\)-CC is \({\mathrm {NP}}\)-hard (this follows quite easily from Theorem 1 of Procaccia et al. (2008); we include a brief proof to substantiate the discussion and give the reader some intuition).

### Proposition 10

For \(\alpha _k\)-CC it is \({\mathrm {NP}}\)-hard to decide whether or not there exists a committee with at least a given score (recall that *k* in \(\alpha _k\)-CC is the committee size and, thus, is part of the input).

### Proof sketch

The \({\mathrm {NP}}\)-hardness follows easily from a standard reduction from the Exact Cover by 3-Sets problem, abbreviated as X3C. In an instance of X3C we are given a family of *m* subsets, \(S_1,\ldots ,S_{m}\), each of cardinality 3, chosen from a given universal set \(U = \{x_1,\ldots ,x_{3n}\}\), and we ask if there are *n* subsets from the family whose union is *U*. Additionally, we assume that each element of *U* belongs to at most three subsets [it is well-known that this variant of X3C remains \({\mathrm {NP}}\)-complete (Garey and Johnson 1979)].

Given an instance of X3C, we create a candidate for each subset and a voter for each element of *U*. Voters rank the subsets to which they belong in their top positions, then they rank some *n* dummy candidates (different ones for each voter), and then all the remaining candidates (in some arbitrary, easy to compute, order). We ask for a committee of size \(k = n\) (and we assume that \(n \ge 3\); this is a technical assumption as for \(n=1\) and \(n=2\) our construction is formally incorrect^{9}). There is a winning committee with score 3*n* if and only if the answer for the input instance is “yes.” \(\square \)

We generalize the above \({\mathrm {NP}}\)-hardness result to the case of convex top-*k*-counting rules \(\mathcal {R}_f\) for which there is some constant *c* such that for each *k* and *m* it holds that \(k - \mathrm {sing}(g_{m, k}) \ge k / c\) (that is, to the case of convex counting functions for which the differential changes ‘early’). The proof of this result is fairly technical and is available in Appendix A.

### Theorem 11

*k*-counting rule defined through a family

*f*of top-

*k*-counting functions \(f_{m,k}:[m]_k\rightarrow \mathbb {N}\) (\(f_{m,k}:[m]_k \rightarrow \mathbb {N}\)) with the corresponding family of counting functions \((g_{m,k})_{k \le m}\) that do not depend on

*m*, \(g_{m,k} = g_k\), and such that:

- 1.
For each

*x*, \(0 \le x \le k\), \(g_{k}(x)\) is computable in polynomial time with respect to*k*(that is, there is a polynomial time algorithm that given*x*and*k*outputs \(g_{k}(x)\)). Moreover, for each*k*, \(g_{k}(k)\) is polynomially bounded in*k*. - 2.
There is a constant

*c*such that, for each size of committee*k*greater than some fixed constant \(k_0\), \(g_{k}\) is convex and \(k - \mathrm {sing}(g_{k}) \ge k / c\).

Let us now discuss the assumptions of the theorem, where they come from and why we believe they are natural (or necessary).

First, the assumption that the counting functions are computable in polynomial time is standard and clear. Indeed, it would not be particularly interesting to seek hardness results if already the counting functions were hard to compute.

Second, we believe that the assumption that the counting functions \(g_{m,k}\) do not depend on *m* is reasonable. For example, it is quite intuitive that adding some candidates that all the voters rank last should not have any effect on the committee selected by a top-*k*-counting rule. (The assumption is also very helpful on the technical level. Our construction uses a number of dummy candidates that depends on the values of the counting function. If the values of the counting function depended on the number of candidates, we might end up with a very problematic, circular dependence.)

Third, the assumption that there is a constant *c* such that for any large enough committee size *k* we have \(k - \mathrm {sing}(g_k) \ge k / c\) says that the function “shows its convex behavior” early enough. As shown in Proposition 9, some assumption of this form is necessary (though there is still a gap, since the bounds from the theorem and from Proposition 9 do not match perfectly), and it is the core of the theorem.

Finally, perhaps the least intuitive assumption in this theorem is the requirement that for a given committee size *k*, the highest value of the counting function is polynomially bounded in *k*. The reason for having it is that, if the highest value were extremely large (say, exponentially large with respect to *k*) then, for sufficiently few voters (for example, polynomially many), the rule might degenerate to a polynomial-time computable one (for example, it might resemble the Perfectionist rule for this case). Exactly to avoid such problems, in our proof we use a number of voters that depends on \(g_k(k)\). Our reduction would not run in polynomial time if \(g_k(k)\) were superpolynomial.

A result similar to Theorem 11, but for concave rules, is possible as well [and, in essence, follows from the proofs of Skowron et al. (2016) and Aziz et al. (2015)]. Thus, in general, top-*k*-counting functions tend to be \({\mathrm {NP}}\)-hard to compute. What can we do if we need to use them anyway? There are several possibilities. Next we consider approximability and fixed-parameter tractability as possible approaches.

### 4.1 Approximability

First, for concave top-*k*-counting rules we can obtain a constant-factor approximation algorithm [we deduce it from the result of Skowron et al. (2016), which—in essence—boils down to optimizing a submodular function using the seminal results of Nemhauser et al. (1978)]. In particular, the next result applies to the \(\alpha _k\)-PAV rule (that is, to the top-*k*-counting rule based on the OWA operators of the form \((1, \frac{1}{2}, \frac{1}{3}, \ldots , \frac{1}{k})\); recall its discussion from Sect. 2).

### Theorem 12

Let \(\mathcal {R}_f\) be a top-*k*-counting rule defined through a family *f* of (polynomial-time computable) top-*k*-counting functions \(f_{m,k}:[m]_k\rightarrow \mathbb {N}\) with corresponding counting functions \(g_{m,k}\) that are concave. Then there is a polynomial-time algorithm that, given an election *E* and a committee size *k*, computes a committee *W* of size *k*, whose score, under \(\mathcal {R}_f\), is at least a \((1-\frac{1}{e})\) fraction of the score of the winning committee(s) from \(\mathcal {R}_f(E,k)\).

### Proof

This follows from the fact that concave top-*k*-counting rules correspond to OWA-based rules that use nonincreasing OWA operators. For such rules, there is a \((1-\frac{1}{e})\)-approximation algorithm for computing the score of the winning committees and for computing a committee with such a score (Skowron et al. 2016, Theorem 4). \(\square \)

Such a general result for convex counting functions seems impossible. Let us consider a convex counting function \(g_{m,k}(x) = \max (x-1,0)\) that is nearly identical to the linear counting function used by Bloc. Let us refer to the top-*k*-counting rule defined by \((g_{m,k})_{k \le m}\) as NearlyBloc. If we had a polynomial-time constant-factor approximation algorithm for NearlyBloc, we would have a constant-factor approximation algorithm for the Densest at most *K* Subgraph problem (abbreviated as DamkS; see below). Taking into account the results of Khuller and Saha (2009), Raghavendra and Steurer (2010), and Alon et al. (2011), this seems very unlikely.

Given a graph *G*, we refer to its sets of vertices and edges as *V*(*G*) and *E*(*G*), respectively. The *density* of a graph *G* is defined as \(\delta = \frac{|E(G)|}{|V(G)|}\).

### Definition 9

In the Densest at most *K* Subgraph problem, DamkS, we are given a graph *G* and we ask for a subgraph of *G* of the highest possible density with at most *K* vertices.

The proof of the next theorem is available in Appendix B.

### Theorem 13

There is no polynomial-time constant-factor approximation algorithm for the problem of computing the score of a winning committee under NearlyBloc, unless such an algorithm exists for the DamkS problem.

Nonetheless, for top-*k*-counting rules that are not too far from \(\alpha _k\)-CC, we have a polynomial-time approximation scheme (PTAS), that is, an algorithm that can achieve any desired approximation ratio, as long as the number of candidates is not too large relative to the committee size. This result holds even for rules that are not concave (provided they satisfy the conditions of the theorem); the result follows by noting that our voters have non-finicky utilities (Skowron et al. 2016).

### Theorem 14

Let \(\mathcal {R}_f\) be a top-*k*-counting committee scoring rule, where the family \(f=(f_{m,k})_{k\le m}\) (\(f_{m,k}:[m]_k \rightarrow \mathbb {N}\)) is defined through a family of counting functions \((g_{m,k})_{k \le m}\) that are: (a) polynomial-time computable and (b) constant for arguments greater than some given value \(\ell \). If \(m = o(k^2)\), then there is a PTAS for computing the score of a winning committee under \(\mathcal {R}_f\).

### Proof

We use the concept of *non-finicky utilities* provided by Skowron et al. (2016). Adapting their terminology, we say that a single-winner scoring function \(\gamma _m:[m]\rightarrow \mathbb {N}\) (for elections with *m* candidates) is \((\xi ,\delta )\)-non-finicky for \(\xi , \delta \in [0,1]\), if each of the highest \(\lceil \delta m \rceil \) numbers in the sequence \(\gamma _m(1), \ldots , \gamma _m(m)\) is greater or equal to \(\xi \gamma _m(1)\). It is easy to see that \(\alpha _k\) is \((1,\frac{k}{m})\)-non-finicky.

*m*candidates, and committee size

*k*, such that \(m = o(k^2)\). By Proposition 3, we know that \(f_{m,k}\) is OWA-based, that it uses some OWA operator \(\Lambda _{m, k}\) that has nonzero entries on the top \(\ell \) positions only, and that it uses scoring function \(\alpha _k\) (which is a \((1, \frac{k}{m})\)-non-finicky). Thus, due to Skowron et al. (2016), there is a polynomial-time \(\left( 1 - \ell \exp \left( -\frac{k^2}{m\ell ^2}\right) \right) \)-approximation algorithm for computing the score of a winning committee under

*f*. Using the assumption that \(m = o(k^2)\), the approximation ratio of the algorithm is:

Theorem 14 is quite remarkable even for the case of \(\alpha _k\)-CC (let alone that it applies to a somewhat more general set of rules). Indeed, generally, variants of the Chamberlin–Courant rule that use some sort of approval scoring function are hard to compute (Procaccia et al. 2008; Betzler et al. 2013) and the best possible approximation ratio for a polynomial-time algorithm, in the general case, is \(1-\frac{1}{e}\) [this result was observed by Skowron and Faliszewski (2017) and follows from results for the MaxCover problem (Feige 1998)]. This upper bound, however, relies on the fact that there is no connection between the size of the input election, the committee size, and the number of candidates that each voter approves. We obtain a PTAS because we assume that for the committee size *k* each voter approves of *k* candidates, and that the number *m* of candidates is such that \(m = o(k^2)\).

One may ask how likely it is that this last assumption holds. As a piece of anecdotal evidence, we mention that in the 2015 parliamentary elections in Poland, there were \(k=460\) seats in the parliament and \(m \approx 8000\) candidates. In this case, \(m/{k^2} \approx 0.0378\), which suggests that our algorithm could be effective (provided that the voters could say which *k* candidates they approve of; likely, this would require some sort of simplified ballots, for example, allowing one to approve blocks of candidates).

### 4.2 Fixed-parameter tractability

If one were not interested in approximation algorithms but still wanted to use top-*k*-counting rules, then one might seek fixed-parameter tractable algorithms. In parameterized complexity we concentrate on some distinguished parameter of the problem, such as the number of candidates or the number of voters. We say that a parameterized problem is fixed-parameter tractable (is in \({\mathrm {FPT}}\)) if there is an algorithm that, given an instance of this problem of size *n* with parameter *t*, computes an answer for the problem in time \(f(t)n^{O(1)}\), where *f* is some computable function (such an algorithm is also said to run in \({\mathrm {FPT}}\) time with respect to parameter *t*). For a detailed description of parameterized complexity, we point the readers to the books by Downey and Fellows (1999), Niedermeier (2006), and Cygan et al. (2015).

We start with a simple observation, namely that a winning committee can be computed for every top-*k*-counting rule in \({\mathrm {FPT}}\) time for the parameterization by the number of candidates.

### Proposition 15

Let \(\mathcal {R}_f\) be a top-*k*-counting committee scoring rule, where the family \(f=(f_{m,k})_{k\le m}\) (\(f_{m,k}:[m]_k \rightarrow \mathbb {N}\)) is defined through a family of counting functions \((g_{m,k})_{k \le m}\) (that are computable in \({\mathrm {FPT}}\) time with respect to *m*). There is an algorithm that, given a committee size *k* and an election *E*, computes a winning committee from \(\mathcal {R}_f(E,k)\) in \({\mathrm {FPT}}\) time with respect to the number *m* of candidates.

### Proof

The algorithm simply computes the score of every possible committee and outputs the one with the highest score. With *m* candidates and committee size *k*, the algorithm has to check \(\left( {\begin{array}{c}m\\ k\end{array}}\right) = O(m^m)\) committees, and checking each committee requires \({\mathrm {FPT}}\) time only. \(\square \)

For rules based on concave counting functions we can also provide a far less trivial \({\mathrm {FPT}}\) algorithm for the parameterization by the number of voters (the proof, which uses a somewhat technical trick on top of solving a mixed integer linear program is available in Appendix C). The algorithm applies, for example, to the \(\alpha _k\)-PAV rule, which uses OWA operators of the form \((1, \frac{1}{2}, \frac{1}{3}, \ldots , \frac{1}{k})\), so its counting functions are of the form \(g^{\mathrm {PAV}}_{m,k}(x) = \sum _{t=1}^x\frac{1}{t}\), and are concave. (See Sect. 2 for literature pointers regarding the PAV rule.)

### Theorem 16

Let \(\mathcal {R}_f\) be a top-*k*-counting committee scoring rule, where the family \(f=(f_{m,k})_{k\le m}\) (\(f_{m,k}:[m]_k \rightarrow \mathbb {N}\)) is defined through a family of concave counting functions \((g_{m,k})_{k \le m}\) (that are polynomial-time computable). There is an algorithm that, given a committee size *k* and an election *E*, computes a winning committee from \(\mathcal {R}_f(E,k)\) in \({\mathrm {FPT}}\) time with respect to the number *n* of voters.

To summarize, it appears that most (but certainly not all) top-*k*-counting rules are \({\mathrm {NP}}\)-hard to compute. For top-*k*-counting rules based on concave counting functions, there are good polynomial-time approximation algorithms and some exact \({\mathrm {FPT}}\) algorithms. On the other hand, for rules based on convex functions the situation is much more difficult. Aside from several algorithms that do not depend on concavity or convexity of the counting function (for instance the algorithms from Theorem 14 and Proposition 15), so far we only have evidence for computational hardness.

## 5 Related literature

The rules considered in this paper form a subfamily of the OWA-based rules of Skowron et al. (2016). A specific subclass of OWA-based rules—when voters express their preferences in the form of approval ballots—has been already mentioned in the early work of Thiele (1895). More recently, Aziz et al. (2017), Brill et al. (2017), and Sánchez-Fernández et al. (2017) analyzed selected axiomatic properties of the Thiele methods, and Aziz et al. (2015) studied their computational complexity. For a more general overview of approval-based multiwinner rules we refer the reader to the book by Kilgour (2010). It is also worth noting that there exist other OWA-based approaches to multiwinner voting [see, e.g., the work of Elkind and Ismaili (2015)], which, however, do not directly apply to our setting.

More generally, the class of OWA-based rules is a subclass of the class of committee scoring rules (Elkind et al. 2017). Committee scoring rules have been recently axiomatically characterized by Skowron et al. (2016), and Faliszewski et al. (2016) classified voting rules within this class in the form of a hierarchy. The studies of axiomatic properties of other committee scoring rules also include the work of Debord (1992), who characterized *k*-Borda voting rule. There is also a substantial literature describing axiomatic properties of other types of multiwinner rules—for an overview of this literature we refer the reader to the work of Elkind et al. (2017) and to the survey of Faliszewski et al. (2017).

Establishing the complexity of winner determination under various multiwinner rules is an active area of research. These studies were pioneered by Procaccia et al. (2008), who proved that computing winners under the Chamberlin–Courant committee scoring rule is \({\mathrm {NP}}\)-hard^{10} and, in consequence, motivated many researchers to seek ways of circumventing this result. For example, Betzler et al. (2013) have shown that the rule is polynomial-time computable for the case of single-peaked preferences and Yu et al. (2013) have done the same for single-crossing ones [Elkind and Lackner (2015), Skowron et al. (2015b), Peters (2018), and Peters and Lackner (2017) provided further generalizations and improvements to these results]. Betzler et al. (2013) studied the problem from the perspective of parameterized complexity theory, whereas Lu and Boutilier (2011) analyzed the possibility of approximation and proved that a simple greedy procedure guarantees the approximation ratio of \(1 - \nicefrac {1}{e}\) (the ratio relates the scores of the winning committee and the one provided by the algorithm). Later, Skowron et al. (2015a) improved this result by showing a polynomial-time approximation scheme. Oren and Lucier (2014) proved that if the voters arrive in a random order then the greedy algorithm can be easily adapted to the online setting, preserving the approximation ratio arbitrarily close to \(1 - \nicefrac {1}{e}\); they also observed that for certain specific distributions of votes this approximation ratio can actually improve. Skowron and Faliszewski (2017) studied FPT approximation algorithms of the approval-based Chamberlin–Courant rule and Faliszewski et al. (2016) showed that often in practice the quality of approximation can be improved by employing certain clustering algorithms.

So far, analysis of the complexity of other committee scoring rules received far less attention, but this seems to be changing quickly. For example, it was shown that finding winners according to the proportional approval voting rule (the PAV rule), another approval-based committee scoring rule, is NP-hard (Aziz et al. 2015; Skowron et al. 2016), but there exist good approximation algorithms for the problem (Skowron et al. 2016; Skowron 2016; Byrka et al. 2017). The complexity of other selected subclasses of committee scoring rules has been studied by Skowron et al. (2016) and by Faliszewski et al. (2016). There also exists a literature studying the computational complexity of other multiwinner rules, which do not belong to the class of committee scoring rules, such as Minimax Approval Voting (MAV): finding winners under MAV is NP-hard (LeGrand 2004), yet there exists a PTAS for the problem (Byrka and Sornat 2014). Parameterized complexity and parameterized approximations of the rule were considered by Misra et al. (2015) and Cygan et al. (2017). The computational complexity of these and other important issues pertaining to MAV were considered by Baumeister et al. (2010, 2015, 2016), Baumeister and Dennisen (2015).

Our work regards the model of multiwinner elections where the voters rank the candidates and it is the voting rule’s task to (implicitly) derive rankings of the committees (in a systematic way, according to the principles that underlie the given rule). Another approach, pioneered by Fishburn (1981a, b), is to require that the voters rank the committees explicitly. This approach is useful when there are dependencies between the candidates that are hard (or impossible) to capture within simple preference orders (e.g., when it is important that all members of an elected committee can work together), but can be used directly only in very limited settings (for example, there are 252 committees of five out of ten candidates; it would be unreasonable to ask voters to rank them all). In other cases, one has to rely on concise means of expressing voters’ preferences, such as the formalism of CP-nets (Boutilier et al. 2004). Multiwinner elections of this type are often studied within the area of voting in combinatorial domains (Lang and Xia 2015).

## 6 Conclusions and further research

Aiming at finding a multiwinner analogue of the single-winner Plurality rule, we have shown that the answer is quite involved. While it is tempting to view SNTV as a natural analogue of Plurality, a closer look reveals that it fails the fixed-majority criterion (which Plurality satisfies in the single-winner setting). We have found that, among all committee scoring rules, only the top-*k*-counting rules—a class of rules we have defined in this paper—have a chance of satisfying the fixed-majority criterion, and we have characterized when this happens. Specifically, we have shown that the committee scoring rules which satisfy the fixed-majority criterion are exactly those top-*k*-counting rules whose counting functions satisfy a relaxed variant of convexity.

For example, the Bloc and Perfectionist rules both satisfy the fixed-majority criterion and, so, in some sense, they are among the multiwinner analogues of Plurality (for the Perfectionist rule this goes quite deep). On the other hand, a variant of the Chamberlin–Courant rule based on the *k*-Approval scoring function is top-*k*-counting, but fails the fixed-majority criterion.

We believe that it is very interesting to focus on top-*k*-counting rules based either on convex or on concave counting functions. These two classes of rules are different in some interesting ways: top-*k*-counting rules based on convex counting functions are fixed-majority consistent, but seem very hard to compute (with a few exceptions); this stands in contrast to top-*k*-counting rules based on concave counting functions, which fail the fixed-majority criterion (the borderline case of Bloc rule excluded), but are much easier to compute (typically still \({\mathrm {NP}}\)-hard, but with constant-factor polynomial-time approximation algorithms and \({\mathrm {FPT}}\) algorithms for the parameterization by the number of voters).

Our work leads to a number of open questions. In the axiomatic direction, it would be interesting to consider notions analogous to the fixed-majority criterion for the setting where voters do not provide preference orders but, instead, simply indicate which candidates they do or do not approve. On the computational front, it would be interesting to find more powerful algorithms for computing winning committees under various top-*k*-counting rules (e.g., for the \(\alpha _k\)-PAV rule).

## Footnotes

- 1.
In the literature, simple majority is often referred to as majority. However, we write ‘simple majority’ to clearly distinguish it from qualified majority and from fixed-majority.

- 2.
In Sect. 3.1 we argue that, indeed, this is a natural extension of the simple majority property.

- 3.
We consider the case where there are at least twice as many candidates as the size of the committee. We are not sure whether this restriction can be dropped.

- 4.
- 5.
One could define the Borda scoring function so that \(\beta _m(i) = -i\), removing the dependence on

*m*. However, the traditional definition, \(\beta _m(i) = m-i\), is much more common and, on the formal ground, we require the values of the scoring functions to be nonnegative. - 6.
We slightly generalize the notion and, unlike Yager (1988), we do not require that \(\lambda ^1+ \cdots + \lambda ^k=1\).

- 7.
For a discussion of noncrossing monotonicity that leads to this characterization, see the work of Faliszewski et al. (2016).

- 8.
Naturally, on its own, the fact that a rule is fixed-majority consistent is not sufficient to claim that this rule is good for such a setting.

- 9.
This is so, because we require that each voter (i.e., each element) ranks each of the sets to which he or she belongs among top

*k*positions. By assumption, each element belongs to at most 3 sets, so we need \(k = n \ge 3\). Given an instance of X3C where \(n=1\) or \(n=2\), we can solve it using a brute-force algorithm (we have to either try each set or each pair of sets as a solution) and, depending on the outcome, either output a fixed*yes*-instance or a fixed*no*-instance of our problem. - 10.
They also considered Monroe’s rule, which is closely related but is not a committee scoring rule itself.

## Notes

### Acknowledgements

Piotr Faliszewski and Piotr Skowron were supported in part by NCN Grant DEC-2012/06/M/ST1/00358. After completing this Grant, Piotr Faliszewski was supported in part by AGH University Grant 11.11.230.337 (statutory research). Piotr Skowron was partially supported by ERC-StG639945 and by a Humboldt Research Fellowship for Postdoctoral Researchers. Arkadii Slinko was supported by the Royal Society of NZ Marsden Fund UOA-254. Nimrod Talmon was supported by the DFG Research Training Group MDS (GRK 1408). The research was also partially supported through the COST action IC1205 (Piotr Faliszewski’s visit to TU Berlin).

## Supplementary material

## References

- Alon N, Arora S, Manokaran R, Moshkovitz D, Weinstein O (2011) Inapproximabilty of densest
*k*-subgraph from average case hardness. http://www.nada.kth.se/~rajsekar/papers/dks.pdf. Accessed 15 Apr 2018 - Aziz H, Brill M, Conitzer V, Elkind E, Freeman R, Walsh T (2017) Justified representation in approval-based committee voting. Soc Choice Welfare 48(2):461–485CrossRefGoogle Scholar
- Aziz H, Gaspers S, Gudmundsson J, Mackenzie S, Mattei N, Walsh T (2015) Computational aspects of multi-winner approval voting. In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, pp 107–115Google Scholar
- Barberà S, Bossert W, Pattanaik P (2004) Ranking sets of objects. In: Barberà S, Hammond P, Seidl C (eds) Handbook of utility theory. Springer, New York, pp 893–977CrossRefGoogle Scholar
- Barberà S, Coelho D (2008) How to choose a non-controversial list with \(k\) names. Soc Choice Welfare 31(1):79–96CrossRefGoogle Scholar
- Baumeister D, Böhnlein T, Rey L, Schaudt O, Selker AK (2016) Minisum and minimax committee election rules for general preference types. In: Proceedings of the 22nd European Conference on Artificial Intelligence, pp 1656–1657Google Scholar
- Baumeister D, Dennisen S (2015) Voter dissatisfaction in committee elections. In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, pp 1707–1708Google Scholar
- Baumeister D, Dennisen S, Rey L (2015) Winner determination and manipulation in minisum and minimax committee elections. In: Proceedings of the 4th International Conference on Algorithmic Decision Theory, pp 469–485CrossRefGoogle Scholar
- Baumeister D, Erdélyi G, Hemaspaandra E, Hemaspaandra L, Rothe J (2010) Computational aspects of approval voting. In: Laslier J, Sanver R (eds) Handbook of approval voting. Springer, New York, pp 199–251CrossRefGoogle Scholar
- Betzler N, Slinko A, Uhlmann J (2013) On the computation of fully proportional representation. J Artif Intell Res 47:475–519CrossRefGoogle Scholar
- Boutilier C, Brafman R, Domshlak C, Hoos H, Poole D (2004) CP-nets: a tool for representing and reasoning with conditional ceteris paribus preference statements. J Artif Intell Res 21:135–191CrossRefGoogle Scholar
- Bredereck R, Faliszewski P, Niedermeier R, Skowron P, Talmon N (2015) Elections with few candidates: Prices, weights, and covering problems. In: Proceedings of the 4th International Conference on Algorithmic Decision Theory, pp 414–431CrossRefGoogle Scholar
- Brill M, Laslier J, Skowron P (2017) Multiwinner approval rules as apportionment methods. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence, pp 414–420Google Scholar
- Byrka J, Skowron P, Sornat K (2017) Proportional approval voting, harmonic k-median, and negative association. Technical Report arXiv:1704.02183 [cs.DS]
- Byrka J, Sornat K (2014) PTAS for minimax approval voting. In: Proceedings of the 10th Conference on Web and Internet Economics, pp 203–217Google Scholar
- Chamberlin B, Courant P (1983) Representative deliberations and representative decisions: proportional representation and the Borda rule. Am Polit Sci Rev 77(3):718–733CrossRefGoogle Scholar
- Cygan M, Fomin F, Kowalik Ł, Lokshtanov D, Marx D, Pilipczuk M, Pilipczuk M, Saurabh S (2015) Parameterized algorithm. Springer, New YorkCrossRefGoogle Scholar
- Cygan M, Kowalik L, Socala A, Sornat K (2017) Approximation and parameterized complexity of minimax approval voting. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence, pp 459–465Google Scholar
- Debord B (1992) An axiomatic characterization of Borda’s \(k\)-choice function. Soc Choice Welfare 9(4):337–343CrossRefGoogle Scholar
- Debord B (1993) Prudent \(k\)-choice functions: Properties and algorithms. Math Soc Sci 26:63–77CrossRefGoogle Scholar
- Downey R, Fellows M (1999) Parameterized complexity. Springer-Verlag, New YorkCrossRefGoogle Scholar
- Dummett M (1984) Voting procedures. Oxford University Press, OxfordGoogle Scholar
- Elkind E, Faliszewski P, Skowron P, Slinko A (2017) Properties of multiwinner voting rules. Soc Choice Welfare 48:599–632CrossRefGoogle Scholar
- Elkind E, Ismaili A (2015) OWA-based extensions of the Chamberlin-Courant rule. In: Proceedings of the 4th International Conference on Algorithmic Decision Theory, pp 486–502CrossRefGoogle Scholar
- Elkind E, Lackner M (2015) Structure in dichotomous preferences. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence, pp 2019–2025Google Scholar
- Faliszewski P, Sawicki J, Schaefer R, Smolka M (2017) Multiwinner voting in genetic algorithms. IEEE Intell Syst 32(1):40–48CrossRefGoogle Scholar
- Faliszewski P, Skowron P, Slinko A, Talmon N (2016) Committee scoring rules: Axiomatic classification and hierarchy. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence, pp 250–256. For the full version, see the arXiv report arXiv:1802.06483 [cs.GT]
- Faliszewski P, Skowron P, Slinko A, Talmon N (2016) Multiwinner analogues of the plurality rule: Axiomatic and algorithmic perspectives. In: Proceedings of the 30th AAAI Conference on Artificial Intelligence, pp 482–488Google Scholar
- Faliszewski P, Skowron P, Slinko A, Talmon N (2017) Multiwinner rules on paths from \(k\)-Borda to Chamberlin–Courant. In: Proceedings of the 26th International Joint Conference on Artificial Intelligence, pp 192–198Google Scholar
- Faliszewski P, Skowron P, Slinko A, Talmon N (2017) Multiwinner voting: a new challenge for social choice theory. In: Endriss U (ed.), Trends in Computational Social Choice, ch. 2. MIT Press, ElsevierGoogle Scholar
- Faliszewski P, Slinko A, Stahl K, Talmon N (2016) Achieving fully proportional representation by clustering voters. In: Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, pp 296–304Google Scholar
- Feige U (1998) A threshold of \(\ln n\) for approximating set cover. J ACM 45(4):634–652CrossRefGoogle Scholar
- Fishburn P (1981a) An analysis of simple voting systems for electing committees. SIAM J Appl Math 41(3):499–502CrossRefGoogle Scholar
- Fishburn P (1981b) Majority committees. J Econ Theory 25(2):255–268CrossRefGoogle Scholar
- Garey M, Johnson D (1979) Computers and intractability: a guide to the theory of NP-completeness. W. H. Freeman and Company, New YorkGoogle Scholar
- Khuller S, Saha B (2009) On finding dense subgraphs. In: Proceedings of the 36th International Colloquium on Automata, Languages, and Programming, pp 597–608Google Scholar
- Kilgour M (2010) Approval balloting for multi-winner elections. In: Handbook on approval voting, Ch. 6. Springer, New YorkGoogle Scholar
- Kleinberg J, Papadimitriou C, Raghavan P (2004) Segmentation problems. J ACM 51(2):263–280CrossRefGoogle Scholar
- Lackner M, Skowron P (April 2017) Consistent approval-based multi-winner rules. Technical Report arXiv:1704.02453 [cs.GT]
- Lang J, Xia L (2015) Voting in combinatorial domains. In: Brandt F, Conitzer V, Endriss U, Lang J, Procaccia AD (eds) Handbook of computational social choice, ch. 9. Cambridge University Press, CambridgeGoogle Scholar
- Laslier J (2012) And the loser is... plurality voting. In: Felsenthal D, Machover M (eds) Electoral systems: paradoxes, assumptions, and procedures. Springer, New York, pp 327–351CrossRefGoogle Scholar
- LeGrand R (2004) Analysis of the minimax procedure. Technical Report WUCSE-2004-67, Department of Computer Science and Engineering, Washington UniversityGoogle Scholar
- Lenstra H Jr (1983) Integer programming with a fixed number of variables. Math Oper Res 8(4):538–548CrossRefGoogle Scholar
- Lijphart A, Aitkin D (1994) Electoral systems and party systems: a study of twenty-seven democracies, 1945–1990. Oxford University Press, OxfordCrossRefGoogle Scholar
- Lu T, Boutilier C (2011) Budgeted social choice: From consensus to personalized decision making. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp 280–286Google Scholar
- Lu T, Boutilier C (2015) Value-directed compression of large-scale assignment problems. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence, pp 1182–1190Google Scholar
- Misra N, Nabeel A, Singh H (2015) On the parameterized complexity of minimax approval voting. In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, pp 97–105Google Scholar
- Monroe B (1995) Fully proportional representation. Am Polit Sci Rev 89(4):925–940CrossRefGoogle Scholar
- Nemhauser G, Wolsey L, Fisher M (1978) An analysis of approximations for maximizing submodular set functions. Math Program 14(1):265–294CrossRefGoogle Scholar
- Niedermeier R (2006) Invitation to fixed-parameter algorithms. Oxford University Press, OxfordCrossRefGoogle Scholar
- Oren J, Lucier B (2014) Online (budgeted) social choice. In: Proceedings of the 28th AAAI Conference on Artificial Intelligence, pp 1456–1462Google Scholar
- Peters D (2018) Single-peakedness and total unimodularity: new polynomial-time algorithms for multi-winner elections. In: Proceedings of the 32nd AAAI Conference on Artificial Intelligence (
**to appear**)Google Scholar - Peters D, Lackner M (2017) Preferences single-peaked on a circle. In: Proceedings of the 31st AAAI conference on artificial intelligence, pp 649–655Google Scholar
- Procaccia A, Rosenschein J, Zohar A (2008) On the complexity of achieving proportional representation. Soc Choice Welfare 30(3):353–362CrossRefGoogle Scholar
- Raghavendra P, Steurer D (2010) Graph expansion and the unique games conjecture. In: Proceedings of the 42nd ACM Symposium on Theory of Computing, pp 755–764Google Scholar
- Sánchez-Fernández L, Elkind E, Lackner M, Fernández N, Fisteus JA, Val P. Basanta, Skowron P (2017) Proportional justified representation. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence, pp 670–676Google Scholar
- Sawicki J, Smolka M, Łoś M, Schaefer R, Faliszewski P (2017) Two-phase strategy managing insensitivity in global optimization. In: Proceedings of the 20th International Conference on the Applications of Evolutionary Computation, pp 266–281CrossRefGoogle Scholar
- Skowron P (2016) FPT approximation schemes for maximizing submodular functions. In: Proceedings of the 12th Conference on Web and Internet Economics, pp 324–338CrossRefGoogle Scholar
- Skowron P, Faliszewski P (2017) Chamberlin-courant rule with approval ballots: approximating the maxcover problem with bounded frequencies in FPT time. J Artif Intell Res 60:687–716CrossRefGoogle Scholar
- Skowron P, Faliszewski P, Lang J (2016) Finding a collective set of items: from proportional multirepresentation to group recommendation. Artif Intell 241:191–216CrossRefGoogle Scholar
- Skowron P, Faliszewski P, Slinko A (2015a) Achieving fully proportional representation: approximability result. Artif Intell 222:67–103CrossRefGoogle Scholar
- Skowron P, Faliszewski P, Slinko A (April 2016) Axiomatic characterization of committee scoring rules. Technical Report arXiv:1604.01529 [cs.GT]
- Skowron P, Yu L, Faliszewski P, Elkind E (2015b) The complexity of fully proportional representation for single-crossing electorates. Theor Comput Sci 569:43–57CrossRefGoogle Scholar
- Thiele T (1895) Om flerfoldsvalg. In: Oversigt over det Kongelige Danske Videnskabernes Selskabs Forhandlinger, pp 415–441Google Scholar
- Yager R (1988) On ordered weighted averaging aggregation operators in multicriteria decisionmaking. IEEE Trans Syst Man Cybern 18(1):183–190CrossRefGoogle Scholar
- Yu L, Chan H, Elkind E (2013) Multiwinner elections under preferences that are single-peaked on a tree. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, pp 425–431Google Scholar
- Zanjirani F, Hekmatfar M (eds) (2009) Facility location: concepts, models, and case studies. Springer, New YorkGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.