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.
== 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:
*
* '''[[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.▼
*
*[[: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▼
*
*
*
▲* '''[[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>
*
▲*
**'''[[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''':
▲*
▲*
<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).
|