Smith criterion: Difference between revisions

Doing some copyediting after moving this from Generalized Condorcet criterion to Smith criterion
No edit summary
(Doing some copyediting after moving this from Generalized Condorcet criterion to Smith criterion)
 
(12 intermediate revisions by 3 users not shown)
Line 1:
The{{Wikipedia|Smith '''Generalizedcriterion}}[[File:Finding_smith_set_ranking.png|thumb|513x513px|All Condorcetof criterion'''the orcandidates in 1st place (Andy, Brianna, Charles) are in the '''Smith criterion'''set. See the [[Smith set ranking]] article for more information on this image.]]For a [[voting system]] isto thatmeet the "'''Smith criterion'''", it picks''must'' pick the winner from the Smith set. The "[[Smith set]]," is the smallest set of candidates such that every member of the set is preferred to every candidate not in the set. The Smith criterion is sometimes referred to as the "'''Generalized Condorcet criterion'''". One candidate is preferred over another candidate if, in a one-on-one competition, more voters prefer the first candidate than prefer the other candidate.
{{Wikipedia|Smith criterion}}
 
Any election method that complies with the Generalized CondorcetSmith criterion also complies with the [[Condorcet criterion|Condorcet winner criterion]], since if there is a Condorcet winner, then that winner is the only member of the Smith set. Voting methods that pass the Smith criterion are called "'''Smith-efficient'''" (or often "Smith-efficient Condorcet methods"). They also pass the [[Mutual majority criterion|mutual majority criterion]], as the Smith Setset will always be a subset of the mutual majority-preferred set of candidates (each of the mutual majority-preferred candidates pairwise beats all non-mutual majority-preferred candidates by a majority, but some of them may pairwise beat each other, so the Smith Setset will at most be all of them.)
The '''Generalized Condorcet criterion''' or '''Smith criterion''' for a [[voting system]] is that it picks the winner from the [[Smith set]], the smallest set of candidates such that every member of the set is preferred to every candidate not in the set. One candidate is preferred over another candidate if, in a one-on-one competition, more voters prefer the first candidate than prefer the other candidate.
 
Any election method that complies with the Generalized Condorcet criterion also complies with the [[Condorcet criterion]], since if there is a Condorcet winner, then that winner is the only member of the Smith set. They also pass the [[Mutual majority criterion|mutual majority criterion]], as the Smith Set will always be a subset of the mutual majority-preferred set of candidates (each of the mutual majority-preferred candidates pairwise beats all non-mutual majority-preferred candidates by a majority, but some of them may pairwise beat each other, so the Smith Set will at most be all of them.)
 
== Complying Methods ==
 
Among methods that comply with the Condorcet winner criterion, [[Schulze method|Schulze]] and [[Ranked Pairs]] comply with the GeneralizedSmith Condorcet Criterioncriterion.
 
Methods that do not comply with the Condorcet winner criterion, such as [[Approval voting]], [[Cardinal Ratings]], [[Borda count]], [[Plurality voting]], and [[Instant-Runoff Voting]], also do not comply with the GeneralizedSmith Condorcet Criterioncriterion.
 
Any voting method can be made Smith-efficient by first eliminating everyone outside the Smith set and then running the voting method. Another Smith-efficient approach may be to eliminate everyone outside the Smith set, then among the remaining candidates, eliminate the candidate the voting method considers worst, and repeat. See [[Tideman's Alternative methods#Notes]] for more information.
 
== Multi-winner generalizations ==
Schulze has proposed a multi-winner generalization of the Smith criterion which can be roughly described as: "''if for a group of candidates equal to or smaller than the number of winners, a certain number of them would always win when up to that certain number of any of them and enough of the candidates not in the group face off such that there are always at most (one more than the number of winners) candidates running, and the same holds for any number smaller than the certain number, then at least that certain number of candidates from the group must be in every winner set in the Smith set, and the voting method must pick one of the Smith winner sets as the final winner set.''" <ref>https://arxiv.org/abs/1804.02973 p. 354</ref>
 
Note that this should be considered as only one of several conditions a voting methods should pass to be considered a Smith-efficient Condorcet PR method, since Bloc Score Voting passes it yet is not proportional or a Condorcet method.
 
== Notes ==
One way to argue for the Smith criterion is that not electing from the Smith set means a plurality of voters, who would presumably have the power to force their preferred candidate in the Smith set to beat whoever actually won in many voting methods, do not get their preference. In essence, it's a criterion that makes the most sense for voters who want maximal power. However, note that the Smith set itself can be made more [[Utilitarianism|utilitarian]] if voters tend to express weak preferences as equal rankings, or are allowed to express weak preferences in the head-to-head matchups. See [[Ballot#Notes]] and [[Asset voting]] for discussion on this.
 
The Smith criterion can alternatively be worded as "any time the candidates can be split into two groups such that every candidate in the first group pairwise beats every candidate in the second group, then one of the candidates in the first group must win."
Methods that do not comply with the Condorcet criterion, such as [[Approval voting]], [[Cardinal Ratings]], [[Borda count]], [[Plurality voting]], and [[Instant-Runoff Voting]], do not with the Generalized Condorcet Criterion.
 
== References ==
<references />
[[Category:Voting system criteria]]
[[Category:Condorcet-related concepts]]
 
{{fromwikipedia}}