Condorcet method: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 8:
== Simple explanation ==
 
If one candidate is preferred by more voters than all other candidates (when [[pairwise counting|compared one-on-one]]), that candidate is the [[Condorcet Criterion|Condorcet Winner]], abbreviated as CW. This can be determined through use of ranked or rated ballots (i.e. if a voter ranks or rates one candidate higher than another). On rare occasions, there is no Condorcet winner (because of either [[pairwise counting#Terminology|ties]] in the head-to-head matchups or the [[Condorcet paradox]]. In that case it is necessary to use some tiebreaking procedure; the most common minimum standard for a Condorcet method's tiebreaking procedure is that it should be [[Smith-efficient]], that is, always elect someone from the [[Smith set]], the smallest group of candidates that win all their [[head-to-head matchup|head-to-head matchups]] against all candidates not in the group.
 
== Casting ballots ==
Line 46:
The sum of all ballot matrices, the '''Condorcet pairwise matrix''', is the primary piece of data used to resolve majority rule cycles.
 
SequentialThere comparisonare isvarious the fastest wayways to determinefind the Condorcet winner, when one exists, from the pairwise matrix. Sequential comparison is one such way: order all of the candidates in any manner desired, pairwise compare the first two, eliminate the loser of the matchup, and repeat until only one candidate remains. This requires ((number of candidates) - 1) pairwise comparisons, since for each comparison one candidate is eliminated, and all but one candidate must be eliminated. To check whether a Condorcet winner exists in a given election, do the previous procedure and then check whether the remaining candidate wins all of their pairwise matchups; this requires ((number of candidates) - 2) pairwise comparisons in the worst case, though if the ordering of the candidates in the procedure is done in such a way as to put candidates more likely to be Condorcet winners higher in the ordering, then in the best case 0 pairwise comparisons are required, since if the first candidate in the ordering turns out to be the Condorcet winner, all of their pairwise comparisons have already been done. Condorcet winners may often have a lot of 1st choice votes, especially in less contested elections, so it may be best to order the candidates descending by order of 1st choice votes, then 2nd choice votes, etc. These procedures can be used even for Condorcet PR methods by considering each winner set to be a candidate.
== Key terms in ambiguity resolution ==
 
Line 56:
*# every candidate inside the set is pairwise unbeatable by any other candidate outside the set, i.e., ties are allowed
*# no proper (smaller) subset of the set fulfills the first property
* '''[[Independence of clone alternatives|Cloneproof]]''': a method that is immune to the presence of '''clones''' (candidates which are essentially identical to each other). In some voting methods, a party can increase its odds of selection if it provides a large number of "identical" options. A cloneproof voting method prevents this attack. See [[strategic nomination]].
 
== Different ambiguity resolution methods ==
Line 64:
 
Examples of Condorcet methods include:
* '''[[Copeland's method|Copeland]]''' selects the candidate that wins the most pairwise matchups minus the number of matchups it loses (or simply, wins the most matchups). Note that if there is no Condorcet winner, Copeland will often still result in a tie.
* '''[[Black]]''' chooses the Condorcet winner when it exists and otherwise the [[Borda count|Borda winner]]. It is named after Duncan Black.
*[[:Category:Condorcet-IRV hybrid methods|'''Condorcet-IRV hybrid methods''']]:
* '''[[Baldwin]]''' Computes the [[Borda count]] for all candidates, then iteratively deletes the candidate with the lowest count.
* *'''[[Smith/IRV]]''' is [[instant-runoff voting]] with the candidates restricted to the Smith set.
*[[:Category:Defeat-dropping Condorcet methods|'''Defeat-dropping Condorcet methods''']]:
* '''[[Copeland's method|Copeland]]''' selects the candidate that wins the most pairwise matchups. Note that if there is no Condorcet winner, Copeland will often still result in a tie.
**'''[[Minmax|Minimax]]''' (also called '''Simpson''' or '''Simpson-Kramer''') chooses the candidate whose worst pairwise defeat is less bad than that of all other candidates.<sup>1</sup>
* '''[[Llull-Approval Voting]]'''- Elects the member of the [[Schwartz set]] with the greatest number of approvals
* **'''[[MinmaxSmith//Minimax|Smith/Minimax]]''' (also called '''Simpson''') choosesrestricts the candidateMinimax whosealgorithm worstto pairwisethe defeat[[Smith is less bad than that of all other candidatesset]].<sup>1</sup>
* *'''[[Ranked Pairs]]''' (RP) or '''Tideman''' (named after [[w:Nicolaus Tideman|Nicolaus Tideman]]) with variations such as '''[[Maximize Affirmed Majorities]]''' (MAM) and '''[[Maximum Majority Voting]]''' (MMV).<sup>1</sup>
* '''Smith/Minimax''' restricts the Minimax algorithm to the Smith set.<sup>1</sup>
* *'''[[Schulze method|Schulze]]''' with several reformulations/variations, including '''Schwartz Sequential Dropping (SSD)''' and '''Cloneproof Schwartz Sequential Dropping (CSSD)'''<sup>1</sup>. Also see its [[Schulze method#Smith set-based variant|Smith set-based variant]].
* '''[[Ranked Pairs]]''' (RP) or '''Tideman''' (named after [[w:Nicolaus Tideman|Nicolaus Tideman]]) with variations such as '''[[Maximize Affirmed Majorities]]''' (MAM) and '''[[Maximum Majority Voting]]''' (MMV)<sup>1</sup>
*[[:Category:Condorcet-cardinal hybrid methods|'''Condorcet-cardinal hybrid methods''']]:
* '''[[Schulze method|Schulze]]''' with several reformulations/variations, including '''Schwartz Sequential Dropping (SSD)''' and '''Cloneproof Schwartz Sequential Dropping (CSSD)'''<sup>1</sup>
* *'''[[Approval-Condorcet Hybrids]]''', such as '''[[Definite Majority Choice]]''', use an [[Approval Cutoff]] to augment the Condorcet pair wise array. Many believe that such a method would make a good first-round public proposal.
* **'''[[Llull-Approval Voting]]'''- Elects the member of the [[Schwartz set]] with the greatest number of approvals.
**'''[[Smith//Score]]''' chooses the candidate with the highest summed or average score in the Smith Set. '''[[Condorcet//Score]]''' chooses the [[Utilitarian winner|Score winner]] when no Condorcet winner exists. (These can only be done with rated ballots, or with ranked/rated ballots modified to include approval thresholds).
*'''Condorcet-Borda hybrids''':
* *'''[[Black]]''' chooses the Condorcet winner when it exists and otherwise the [[Borda count|Borda winner]]. It is named after Duncan Black.
* *'''[[Baldwin]]''' Computescomputes the [[Borda count]] for all candidates, then iteratively deletes (eliminates) the candidate with the lowest count.
 
<sup>1</sup> There are different ways to measure the strength of each defeat in some methods. Some use the margin of defeat (the difference between votes for and votes against), while others use winning votes (the votes favoring the defeat in question).
Line 109 ⟶ 113:
 
== An example ==
 
See also: [[Pairwise_counting#Example_with_numbers]]
 
Imagine an election for the capital of Tennessee, a state in the United States that is over 500 miles east-to-west, and only 110 miles north-to-south. Let's say the candidates for the capital are Memphis (on the far west end), Nashville (in the center), Chattanooga (129 miles southeast of Nashville), and Knoxville (on the far east side, 114 northeast of Chattanooga). Here's the population breakdown by metro area (surrounding county):
Line 181 ⟶ 187:
 
In this election, Nashville is the Condorcet winner (Nashville beats Memphis 58 to 42, and Chattanooga and Knoxville 68 to 32) and thus the winner under all possible Condorcet methods.
 
An alternative way of demonstrating this (using [[ISDA]]-based logic) is that a majority of voters prefer any city other than Memphis, so that knocks Memphis out of contention. When looking at Memphis voter's new 1st choice among the candidates, it is Nashville, resulting in Nashville having a 68% majority of 1st choices and thus pairwise beating all others.
 
Alternative formatting of the pairwise matrix:
{| class="wikitable"
|+
!
!Memphis
!Nashville
!Chattanooga
!Knoxville
|-
|Memphis
| ---
|42 (-16 Loss)
|42 (-16 Loss)
|42 (-16 Loss)
|-
|Nashville
|58 (+16 Win)
| ---
|68 (+36 Win)
|68 (+36 Win)
|-
|Chattanooga
|58 (+16 Win)
|32 (-36 Loss)
| ---
|83 (+66 Win)
|-
|Knoxville
|58 (+16 Win)
|32 (-36 Loss)
|17 (-66 Loss)
| ---
|}
 
== Connection to cardinal methods ==
Line 193 ⟶ 235:
 
== Demonstrating pairwise counting ==
Also see: [[Pairwise counting]]
 
Condorcet winners and the Smith Set in general are often the equilibrium outcomes of iterated voting methods. The CW in particular is the Nash Equilibrium of Score Voting. Here are demonstrations of equilibrium convergence using Asset Voting (in the sidebar to the right).