-
Finding Possible and Necessary Winners in Spatial Voting with Partial Information
Authors:
Aviram Imber,
Jonas Israel,
Markus Brill,
Hadas Shachnai,
Benny Kimelfeld
Abstract:
We consider spatial voting where candidates are located in the Euclidean $d$-dimensional space and each voter ranks candidates based on their distance from the voter's ideal point. We explore the case where information about the location of voters' ideal points is incomplete: for each dimension, we are given an interval of possible values. We study the computational complexity of computing the pos…
▽ More
We consider spatial voting where candidates are located in the Euclidean $d$-dimensional space and each voter ranks candidates based on their distance from the voter's ideal point. We explore the case where information about the location of voters' ideal points is incomplete: for each dimension, we are given an interval of possible values. We study the computational complexity of computing the possible and necessary winners for positional scoring rules. Our results show that we retain tractable cases of the classic model where voters have partial-order preferences. Moreover, we show that there are positional scoring rules under which the possible-winner problem is intractable for partial orders, but tractable in the one-dimension spatial setting (while intractable in higher fixed number of dimensions).
△ Less
Submitted 17 February, 2023;
originally announced February 2023.
-
The Consistency of Probabilistic Databases with Independent Cells
Authors:
Amir Gilad,
Aviram Imber,
Benny Kimelfeld
Abstract:
A probabilistic database with attribute-level uncertainty consists of relations where cells of some attributes may hold probability distributions rather than deterministic content. Such databases arise, implicitly or explicitly, in the context of noisy operations such as missing data imputation, where we automatically fill in missing values, column prediction, where we predict unknown attributes,…
▽ More
A probabilistic database with attribute-level uncertainty consists of relations where cells of some attributes may hold probability distributions rather than deterministic content. Such databases arise, implicitly or explicitly, in the context of noisy operations such as missing data imputation, where we automatically fill in missing values, column prediction, where we predict unknown attributes, and database cleaning (and repairing), where we replace the original values due to detected errors or violation of integrity constraints. We study the computational complexity of problems that regard the selection of cell values in the presence of integrity constraints. More precisely, we focus on functional dependencies and study three problems: (1) deciding whether the constraints can be satisfied by any choice of values, (2) finding a most probable such choice, and (3) calculating the probability of satisfying the constraints. The data complexity of these problems is determined by the combination of the set of functional dependencies and the collection of uncertain attributes. We give full classifications into tractable and intractable complexities for several classes of constraints, including a single dependency, matching constraints, and unary functional dependencies.
△ Less
Submitted 22 December, 2022;
originally announced December 2022.
-
Approval-Based Committee Voting under Incomplete Information
Authors:
Aviram Imber,
Jonas Israel,
Markus Brill,
Benny Kimelfeld
Abstract:
We investigate approval-based committee voting with incomplete information about the approval preferences of voters. We consider several models of incompleteness where each voter partitions the set of candidates into approved, disapproved, and unknown candidates, possibly with ordinal preference constraints among candidates in the latter category. This captures scenarios where voters have not eval…
▽ More
We investigate approval-based committee voting with incomplete information about the approval preferences of voters. We consider several models of incompleteness where each voter partitions the set of candidates into approved, disapproved, and unknown candidates, possibly with ordinal preference constraints among candidates in the latter category. This captures scenarios where voters have not evaluated all candidates and/or it is unknown where voters draw the threshold between approved and disapproved candidates. We study the complexity of some fundamental computational problems for a number of classic approval-based committee voting rules including Proportional Approval Voting and Chamberlin--Courant. These problems include that of determining whether a given set of candidates is a possible or necessary winning committee and whether it forms a committee that possibly or necessarily satisfies representation axioms. We also consider the problem whether a given candidate is possibly or necessarily a member of the winning committee.
△ Less
Submitted 31 December, 2021; v1 submitted 27 March, 2021;
originally announced March 2021.
-
Probabilistic Inference of Winners in Elections by Independent Random Voters
Authors:
Aviram Imber,
Benny Kimelfeld
Abstract:
We investigate the problem of computing the probability of winning in an election where voter attendance is uncertain. More precisely, we study the setting where, in addition to a total ordering of the candidates, each voter is associated with a probability of attending the poll, and the attendances of different voters are probabilistically independent. We show that the probability of winning can…
▽ More
We investigate the problem of computing the probability of winning in an election where voter attendance is uncertain. More precisely, we study the setting where, in addition to a total ordering of the candidates, each voter is associated with a probability of attending the poll, and the attendances of different voters are probabilistically independent. We show that the probability of winning can be computed in polynomial time for the plurality and veto rules. However, it is computationally hard (#P-hard) for various other rules, including $k$-approval and $k$-veto for $k>1$, Borda, Condorcet, and Maximin. For some of these rules, it is even hard to find a multiplicative approximation since it is already hard to determine whether this probability is nonzero. In contrast, we devise a fully polynomial-time randomized approximation scheme (FPRAS) for the complement probability, namely the probability of losing, for every positional scoring rule (with polynomial scores), as well as for the Condorcet rule.
△ Less
Submitted 29 January, 2021;
originally announced January 2021.
-
Computing the Extremal Possible Ranks with Incomplete Preferences
Authors:
Aviram Imber,
Benny Kimelfeld
Abstract:
Various voting rules are based on ranking the candidates by scores induced by aggregating voter preferences. A winner (respectively, unique winner) is a candidate who receives a score not smaller than (respectively, strictly greater than) the remaining candidates. Examples of such rules include the positional scoring rules and the Bucklin, Copeland, and Maximin rules. When voter preferences are kn…
▽ More
Various voting rules are based on ranking the candidates by scores induced by aggregating voter preferences. A winner (respectively, unique winner) is a candidate who receives a score not smaller than (respectively, strictly greater than) the remaining candidates. Examples of such rules include the positional scoring rules and the Bucklin, Copeland, and Maximin rules. When voter preferences are known in an incomplete manner as partial orders, a candidate can be a possible/necessary winner based on the possibilities of completing the partial votes. Past research has studied in depth the computational problems of determining the possible and necessary winners and unique winners.
These problems are all special cases of reasoning about the range of possible positions of a candidate under different tiebreakers. We investigate the complexity of determining this range, and particularly the extremal positions. Among our results, we establish that finding each of the minimal and maximal positions is NP-hard for each of the above rules, including all positional scoring rules, pure or not. Hence, none of the tractable variants of necessary/possible winner determination remain tractable for extremal position determination. Tractability can be retained when reasoning about the top-$k$ positions for a fixed $k$. Yet, exceptional is Maximin where it is tractable to decide whether the maximal rank is $k$ for $k=1$ (necessary winning) but it becomes intractable for all $k>1$.
△ Less
Submitted 29 January, 2021; v1 submitted 18 May, 2020;
originally announced May 2020.
-
The Complexity of Determining the Necessary and Possible Top-k Winners in Partial Voting Profiles
Authors:
Aviram Imber,
Benny Kimelfeld
Abstract:
When voter preferences are known in an incomplete (partial) manner, winner determination is commonly treated as the identification of the necessary and possible winners; these are the candidates who win in all completions or at least one completion, respectively, of the partial voting profile. In the case of a positional scoring rule, the winners are the candidates who receive the maximal total sc…
▽ More
When voter preferences are known in an incomplete (partial) manner, winner determination is commonly treated as the identification of the necessary and possible winners; these are the candidates who win in all completions or at least one completion, respectively, of the partial voting profile. In the case of a positional scoring rule, the winners are the candidates who receive the maximal total score from the voters. Yet, the outcome of an election might go beyond the absolute winners to the top-$k$ winners, as in the case of committee selection, primaries of political parties, and ranking in recruiting. We investigate the computational complexity of determining the necessary and possible top-$k$ winners over partial voting profiles. Our results apply to general classes of positional scoring rules and focus on the cases where $k$ is given as part of the input and where $k$ is fixed.
△ Less
Submitted 21 February, 2020;
originally announced February 2020.