Title:On the Computational Complexity of Non-dictatorial Aggregation

Abstract:We investigate when non-dictatorial aggregation is possible from an algorithmic perspective. We consider the setting in which the members of a society take a position on a fixed collection of issues, where for each issue several different alternatives are possible, but the combination of choices must belong to a given set $X$ of allowable voting patterns. Such a set $X$ is called a possibility domain if there is an aggregator that is non-dictatorial, operates separately on each issue, and returns values among those cast by the society on each issue. We design a polynomial-time algorithm that decides, given a set $X$ of voting patterns, whether or not $X$ is a possibility domain. Furthermore, if $X$ is a possibility domain, then the algorithm constructs in polynomial time such a non-dictatorial aggregator for $X$. We also design a polynomial-time algorithm that decides if $X$ is a uniform possibility domain, that is, a possibility domain for which non-dictatorial aggregation is possible, uniformly for all issues and when restricted to any two positions for each issue. As in the case of possibility domains, the algorithm also constructs in polynomial time a uniform non-dictatorial aggregator, if one exists.