We consider the problem of electing a committee of @math candidates, subject to some constraints as to what this committee is supposed to look like. In our framework, the pool of candidates is divided into tribes, and constraints of the form "at least @math candidates must be elected from tribe @math " and "there must be at least as many members of tribe @math as of @math " are considered. In the case of a committee scoring rule this becomes a constrained optimisation problem and in the case of weakly separable rules we show the existence of a polynomial time solution in the case of tree-like constraints, and prove NP-hardness in the general case.
Committee scoring rules were first introduced by @cite_8 , in which the authors identify the classes of weakly separable and representation-focused rules, and study the properties committee selection rules might be expected to satisfy with respect to three possible applications. Weakly separable rules are found to be tractable for reasonable underlying single-winner functions, while representation-focused rules in general are @math -hard, following from the results of @cite_4 @cite_6 @cite_12 .
@cite_4 @cite_12 @cite_6 @cite_8
2338144305 2289435862 2015589916 2293358884
Committee scoring rules form a rich class of aggregators of voters' preferences for the purpose of selecting subsets of objects with desired properties, e.g., a shortlist of candidates for an interview, a representative collective body such as a parliament, or a set of locations for a set of public facilities. In the spirit of celebrated Young's characterization result that axiomatizes single-winner scoring rules, we provide an axiomatic characterization of multiwinner committee scoring rules. We show that committee scoring rules---despite forming a remarkably general class of rules---are characterized by the set of four standard axioms, anonymity, neutrality, consistency and continuity, and by one axiom specific to multiwinner rules which we call committee dominance. In the course of our proof, we develop several new notions and techniques. In particular, we introduce and axiomatically characterize multiwinner decision scoring rules, a class of rules that broadly generalizes the well-known majority relation. We characterize the class of committee scoring rules that satisfy the fixed-majority criterion. In some sense, the committee scoring 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 find that, for most of the rules in our new class, the complexity of winner determination is high (i.e., the problem of computing the winners is NP-hard), but we also show some examples of polynomial-time winner determination procedures, exact and approximate. This paper establishes the computational complexity status for a problem of deciding on the quality of a committee. Starting with individual preferences over alternatives, we analyse when it can be determined efficiently if a given committee C satisfies a weak (resp. strong) Condorcet criterion–i.e., if C is at least as good as (resp. better than) every other committee in a pairwise majority comparison. Scoring functions used in classic voting rules are adapted for these comparisons. In particular, we draw the sharp separation line between computationally tractable and intractable instances with respect to different voting rules. Finally, we show that deciding if there exists a committee which satisfies the weak (resp. strong) Condorcet criterion is computationally hard. Given a set of voters V, a set of candidates C, and voters' preferences over the candidates, multiwinner voting rules output a fixed-size subset of candidates committee. Under the Chamberlin---Courant multiwinner voting rule, one fixes a scoring vector of length |C|, and each voter's 'utility' for a given committee is defined to be the score that she assigns to her most preferred candidate in that committee; the goal is then to find a committee that maximizes the joint utility of all voters. The joint utility is typically identified either with the sum of all voters' utilities or with the utility of the least satisfied voter, resulting in, respectively, the utilitarian and the egalitarian variant of the Chamberlin---Courant's rule. For both of these cases, the problem of computing an optimal committee is NP-hard for general preferences, but becomes polynomial-time solvable if voters' preferences are single-peaked or single-crossing. In this paper, we propose a family of multiwinner voting rules that are based on the concept of ordered weighted average OWA and smoothly interpolate between the egalitarian and the utilitarian variants of the Chamberlin---Courant rule. We show that under moderate constraints on the weight vector we can recover many of the algorithmic results known for the egalitarian and the utilitarian version of Chamberlin---Courant's rule in this more general setting.