Condorcet method: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 1:
{{Wikipedia}}
 
[[File:Finding the Condorcet winner.png|thumb|623x623px|Finding the Condorcet winner using [[pairwise counting]].]]
 
Any election method conforming to the [[Condorcet criterion]] - that is, one which always elects the [[beats-all winner]], a candidate who can beat any other candidate in a runoff, if one exists - is known as a '''Condorcet method'''. The name comes from the 18th century mathematician and philosopher [[Marquis de Condorcet]], although the method was previously described by [[Ramon Llull]] in the 13th century. Many Condorcet advocates agree that a further criterion that Condorcet methods should pass is the [[Smith criterion]], which means the Condorcet method will always elect someone from the [[Smith set]] when there is no beats-all winner (due to the [[Condorcet paradox]]).
 
'''Condorcet''' is sometimes used to refer to the family of Condorcet methods as a whole.
== 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" or cycle resolution/completion procedure; a very common 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 ==
 
:''See also: [[Ballot]]''
 
Each voter fills out a [[preferential voting|ranked ballot]] or [[Cardinal voting|rated ballot]] (i.e. they rank the candidates 1st, 2nd, 3rd, or they rate the candidates, for example, a 0 out of 5, a 3 out of 5, etc.) The voter can include less than all candidates under consideration. Usually when a candidate ''is not listed'' on the voter's ballot they are considered less preferred than listed candidates, and ranked accordingly, with the voter considered to have no preference between any of them. However, some variations allow a "no opinion" default option where no for- or against- preference is counted for that candidate. Write-ins are possible, but are somewhat more difficult to implement for automatic counting than in other election methods. This is a counting issue, but results in the frequent omission of the write-in option in ballot software.
== Counting ballots ==
 
Ballots are counted by considering all possible sets of two-candidate elections from all available candidates. That is, each candidate is considered against each and every other candidate. A candidate is considered to "win" against another on a single ballot and receive that ballot's vote in the matchup against their opponent if they are ranked or rated higher than their opponent. All the votes for candidate Alice over candidate Bob are counted, as are all of the votes for Bob over Alice. Whoever has the most votes in each one-on-one election/matchup wins the matchup.
 
If a candidate is preferred over all other candidates i.e. wins all of their matchups, that candidate is the [[Condorcet winner|Condorcet candidate]] (Condorcet winner). However, a Condorcet candidate may not exist, due to a fundamental [[Voting paradox|paradox]]: It is possible for the electorate to prefer A over B, B over C, and C over A in each head-to-head matchup simultaneously. This is called a majority rule cycle or Condorcet cycle, and it must be resolved by some other mechanism (usually either by using another voting method, or [[:Category:Defeat-dropping Condorcet methods|"dropping" weak defeats]] in order to end the cycle).
=== Counting with matrices ===
 
:''Main article: [[Pairwise counting]]''
 
Line 23 ⟶ 27:
 
{| class="wikitable" border="1"
! !! A !! B !! C !! D
|-
! A
|—|| 0 || 0 || 1
|-
! B
| 1 ||—|| 1 || 1
|-
! C
| 1 || 0 ||—|| 1
|-
! D
| 0 || 0 || 0 ||—
|}
 
Line 41 ⟶ 45:
 
{| class="wikitable" border="1"
! !! A !! B !! C !! D
|-
! A
|—|| A>B || A>C || A>D
|-
! B
| B>A ||—|| B>C || B>D
|-
! C
| C>A || C>B ||—|| C>D
|-
! D
| D>A || D>B || D>C ||—
|}
 
Line 65 ⟶ 69:
 
[[:Category:Sequential comparison Condorcet methods|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 ==
[[File:Finding_smith_set_ranking.png|thumb|487x487px|All of the candidates in 1st place (Andy, Brianna, Charles) are in the Smith set. See the [[Smith set ranking]] article for more information on this image.]]Handling cases where there is not a single Condorcet winner is called ambiguity resolution in this article, though other phrases such as "cyclic ambiguity resolution" and "Condorcet completion" are used as well.
 
Handling cases where there is not a single Condorcet winner is called ambiguity resolution in this article, though other phrases such as "cyclic ambiguity resolution" and "Condorcet completion" are used as well.
 
The following are key terms when discussing ambiguity resolution methods:
 
* '''[[Smith set]]''': the smallest set of candidates in a particular election who, when paired off in pairwise elections, can beat all other candidates outside the set.
* '''[[SchwartzSmith set]]''': the unionsmallest set of allcandidates possiblein setsa ofparticular candidateselection suchwho, thatwhen forpaired everyoff in pairwise elections, can beat all other candidates outside the set:.
*'''[[Schwartz set]]''': the union of all possible sets of candidates such that for every set:
*# 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]]
*[[Defeat strength|'''Defeat strength''']]: Different ways of measuring how "strong" a pairwise defeat is. Useful when deciding which defeats to "drop" in [[:Category:Defeat-dropping Condorcet methods|defeat-dropping Condorcet methods]].
 
== Different ambiguity resolution methods ==
 
There are a countless number of "Condorcet methods" possible that resolve such ambiguities. The fact that Marquis de Condorcet himself already spearheaded the debate of which particular Condorcet method to promote has made the term "Condorcet's method" ambiguous.
Line 83 ⟶ 87:
 
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.
*[[:Category:Condorcet-IRV hybrid methods|'''Condorcet-IRV hybrid methods''']]:
Line 99 ⟶ 104:
**'''[[Baldwin]]''' computes 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; see the [[Defeat strength|defeat strength]] article. 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).
Electionmethods.org argues that there are several disadvantages of systems that use margins instead of winning votes.
The website argues that using margins "destroys" some information about majorities, so that the method can no longer honor information about what majorities have determined and that consequently margin-based systems cannot support a number of desirable voting properties.
 
Ranked Pairs and Schulze are procedurally in some sense opposite approaches:
 
* Ranked Pairs (and variants) starts with the strongest information available and uses as much information as it can without creating ambiguity
*Ranked SchulzePairs (and variants) repeatedlystarts removeswith the weakeststrongest ambiguousinformation available and uses as much information untilas ambiguityit iscan removed.without creating ambiguity
*Schulze (and variants) repeatedly removes the weakest ambiguous information until ambiguity is removed.
 
The text below describes (variants of) the defeat-dropping methods in more detail.
 
== Ranked Pairs, Maximize Affirmed Majorities (MAM), and Maximum Majority Voting (MMV) ==
 
In the Ranked Pairs (RP) voting method, as well as the variations Maximize Affirmed Majorities (MAM) and Maximum Majority Voting (MMV), pairs of defeats are ranked (sorted) from largest majority to smallest majority. Then each pair is considered, starting with the defeat supported by the largest majority. Pairs are "affirmed" only if they do not create a cycle with the pairs already affirmed. Once completed, the affirmed pairs are followed to determine the winner.
Line 116 ⟶ 122:
 
The difference between RP and its variants is in the details of the ranking approach. Some definitions of RP use margins, while other definitions use winning votes (not margins). Both MAM and MMV are explicitly defined in terms of winning votes, not winning margins. In MAM and MMV, if two defeat pairs have the same number of votes for a victory, the defeat with the smaller defeat is ranked higher. If this still doesn't disambiguate between the two, MAM and MMV perform slightly differently. In MAM, information from a "tiebreaker" vote is used (which could be a distinguished vote such as the vote of a "speaker", but unless there is a distinguished vote, a randomly-chosen vote is used). In MMV all such conflicting matchups are ignored (though any non-conflicting matchups of that size are still included).
== Schulze method ==
 
The [[Schulze method]] resolves votes as follows:
 
# First, determine the Schwartz set (the innermost unbeaten set). If no defeats exist among the Schwartz set, then its members are the winners (plural only in the case of a tie, which must be resolved by another method).
# Otherwise, drop the weakest defeat information among the Schwartz set (i.e., where the number of votes favoring the defeat is the smallest). Determine the new Schwartz set, and repeat the procedure.
 
In other words, this procedure repeatedly throws away the narrowest defeats, until finally the largest number of votes left over produce an unambiguous decision.
== Related terms ==
 
See also [[Pairwise counting#Terminology]]
Line 134 ⟶ 140:
*'''weak Condorcet loser''': a candidate who is defeated by or ties with every other candidate in a pairwise matchup. Similarly, there can be more than one weak Condorcet loser.
 
== An example ==
 
See also: [[Pairwise_counting#Example_with_numbers]]
Line 142 ⟶ 148:
[[Image:CondorcetTennesee.png]]</div>
 
* Memphis (Shelby County): 826,330
* Nashville (Davidson County): 510,784
* Chattanooga (Hamilton County): 285,536
* Knoxville (Knox County): 335,749
 
Let's say that in the vote, the voters vote based on geographic proximity. Assuming that the population distribution of the rest of Tennessee follows from those population centers, one could easily envision an election where the percentages of votes would be as follows:
Line 183 ⟶ 189:
 
The results would be tabulated as follows:
<table BORDERborder=""><caption>Pairwise Election Results</caption>
<tr><th colspan="2"><th colspan="4" bgcolor="#c0c0ff">A</tr>
 
<tr>
<th colspan="2"><th bgcolor="#c0c0ff">Memphis
<th bgcolor="#c0c0ff">Nashville
<th bgcolor="#c0c0ff">Chattanooga
<th bgcolor="#c0c0ff">Knoxville
</tr>
<tr><th rowspan="4" bgcolor="#ffc0c0" rowspan=4>B<th bgcolor="#ffc0c0">Memphis<td><td nowrap="" bgcolor="#e0e0ff">[A] 58% <br>[B] 42% <br><td nowrap="" bgcolor="#e0e0ff">[A] 58% <br>[B] 42% <br><td nowrap="" bgcolor="#e0e0ff">[A] 58% <br>[B] 42% <br></tr>
<tr><th bgcolor="#ffc0c0">Nashville<td nowrap="" bgcolor="#ffe0e0">[A] 42% <br>[B] 58% <br><td><td nowrap="" bgcolor="#ffe0e0">[A] 32% <br>[B] 68% <br><td nowrap="" bgcolor="#ffe0e0">[A] 32% <br>[B] 68% <br></tr>
 
<tr><th bgcolor="#ffc0c0">Chattanooga<td nowrap="" bgcolor="#ffe0e0">[A] 42% <br>[B] 58% <br><td nowrap="" bgcolor="#e0e0ff">[A] 68% <br>[B] 32% <br><td><td nowrap="" bgcolor="#ffe0e0">[A] 17% <br>[B] 83% <br></tr>
<tr><th bgcolor="#ffc0c0">Knoxville<td nowrap="" bgcolor="#ffe0e0">[A] 42% <br>[B] 58% <br><td nowrap="" bgcolor="#e0e0ff">[A] 68% <br>[B] 32% <br><td nowrap="" bgcolor="#e0e0ff">[A] 83% <br>[B] 17% <br><td></tr>
<tr><th colspan="2" bgcolor="#c0c0ff">Ranking (by repeatedly removing Condorcet winner):
 
<td bgcolor="#ffffff">4th
Line 205 ⟶ 211:
</table>
 
* [A] indicates voters who preferred the candidate listed in the column caption to the candidate listed in the row caption
* [B] indicates voters who preferred the candidate listed in the row caption to the candidate listed in the column caption
 
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.
Line 216 ⟶ 222:
|+
!
! Memphis
!Nashville
!Chattanooga
Line 225 ⟶ 231:
|42 (-16 Loss)
|42 (-16 Loss)
| 42 (-16 Loss)
|-
|Nashville
Line 235 ⟶ 241:
|Chattanooga
|58 (+16 Win)
| 32 (-36 Loss)
| ---
|83 (+66 Win)
Line 242 ⟶ 248:
|58 (+16 Win)
|32 (-36 Loss)
| 17 (-66 Loss)
| ---
|}
 
== Connection to cardinal methods ==
 
See also [[Score voting#Connection to Condorcet methods]].
Line 258 ⟶ 264:
See also [[Pairwise counting#Cardinal methods]] and [[Order theory#Strength of preference]].
 
== Demonstrating pairwise counting ==
Also see: [[Pairwise counting]]
 
Line 270 ⟶ 276:
#
 
== Notes ==
Any voting method can be made a Condorcet method by simply adding a condition that a Condorcet winner will win if one exists before running the voting method. It is possible to further make a voting method [[Smith-efficient]] by taking various approaches, such as eliminating candidates one by one until there is a Condorcet winner (like in [[Benham's method]]) or eliminating all candidates not in the [[Smith set]] before running the voting method's procedure. It is common terminology for Condorcet methods that start by electing the Condorcet winner if there is one, but otherwise run some other voting method, to be named as "Condorcet//voting method". For example, [[Condorcet//Score]] is [[Score voting]] modified to elect a CW. The Condorcet methods that start by eliminating all candidates not in a given set of candidates and then run some other voting method are named as "Given set//voting method" (sometimes with only one "/"). For example, [[Smith//IRV]] is [[IRV]] run on the [[Smith set]].
 
Line 281 ⟶ 287:
At one point, the synonymous phrase (to Condorcet voting) '''"[[Instant-Round-Robin Voting|Instant Round Robin Voting]]" (IRRV)''' was being coined to leverage the public's greater familiarity with [[IRV |Instant Runoff Voting]] (IRV). This phrase was being used in a [http://groups.yahoo.com/group/Condorcet legislative effort] to implement a Condorcet variant ([[CSSD]]) in the state of Washington.
 
== Use of Condorcet voting ==
Condorcet voting is not currently used in government elections. However, it is starting to receive support in some public organizations. Organizations which currently use some variant of the Condorcet method are:
 
# The Debian project, Software in the Public Interest (SPI) project, Gentoo Linux project, and UserLinux project use the [[Schulze method]].
#
#
#
# The [[W:Free State Project|Free State Project]] used a Condorcet method for choosing its target state
# The voting procedure for the uk.* hierarchy of Usenet
# [http://www.rsabey.pwp.blueyonder.co.uk/rpc/fscc/ Five-Second Crossword Competition]
{{fromwikipedia}}
 
== External links ==
 
* [http://condorcet.ericgorr.net Condorcet Voting Calculator] by Eric Gorr (includes [[Ranked Pairs]], and [[Schulze]])
* [http://robla.net/1996/politics/condorcet.html Condorcet's Method] by Rob Lanphier
* [http://accuratedemocracy.com/ Accurate Democracy] by Rob Loring
* [http://fc.antioch.edu/~james_green-armytage/voting.htm Voting methods resource page] by James Green-Armytage
* [http://radicalcentrism.org/majority_voting.html Maximum Majority Voting] by Ernest Prabhakar
* [http://www.mcs.vuw.ac.nz/~ncj/comp303/schulze.pdf A New Monotonic and Clone-Independent Single-Winner Election Method] ([[Portable Document Format|PDF]]) by Markus Schulze ([http://www.citizensassembly.bc.ca/resources/submissions/csharman-10_0409201706-143.pdf mirror1], [http://lists.gnu.org/archive/html/demexp-dev/2003-09/pdflQW7IlpAfC.pdf mirror2]) (Schulze method)
* [http://www.OpenSTV.org/ OpenSTV] — Software for computing Condorcet methods and STV by Jeffrey O'Neill
* [http://www5.cs.cornell.edu/~andru/civs/ CIVS, a free web poll service using the Condorcet method] by Andrew Myers
* [http://www1.fee.uva.nl/creed/pdffiles/MoulinCh4Elferink.pdf Voting and Social Choice] Demonstration and commentary on Condorcet method. ([[Portable Document Format|PDF]]) By Herve Moulin
* [http://groups.yahoo.com/group/Condorcet Yahoo work group] Helping a WA state legislator to draft Condorcet election rules to replace recently nullified statute. Moderated by Jeffry R. Fisher
 
* [http://condorcet.ericgorr.net Condorcet Voting Calculator] by Eric Gorr (includes [[Ranked Pairs]], and [[Schulze]])
* [http://robla.net/1996/politics/condorcet.html Condorcet's Method] by Rob Lanphier
* [http://accuratedemocracy.com/ Accurate Democracy] by Rob Loring
* [http://fc.antioch.edu/~james_green-armytage/voting.htm Voting methods resource page] by James Green-Armytage
* [http://radicalcentrism.org/majority_voting.html Maximum Majority Voting] by Ernest Prabhakar
* [http://www.mcs.vuw.ac.nz/~ncj/comp303/schulze.pdf A New Monotonic and Clone-Independent Single-Winner Election Method] ([[Portable Document Format|PDF]]) by Markus Schulze ([http://www.citizensassembly.bc.ca/resources/submissions/csharman-10_0409201706-143.pdf mirror1], [http://lists.gnu.org/archive/html/demexp-dev/2003-09/pdflQW7IlpAfC.pdf mirror2]) (Schulze method)
* [http://www.OpenSTV.org/ OpenSTV] — Software for computing Condorcet methods and STV by Jeffrey O'Neill
* [http://www5.cs.cornell.edu/~andru/civs/ CIVS, a free web poll service using the Condorcet method] by Andrew Myers
* [http://www1.fee.uva.nl/creed/pdffiles/MoulinCh4Elferink.pdf Voting and Social Choice] Demonstration and commentary on Condorcet method. ([[Portable Document Format|PDF]]) By Herve Moulin
* [http://groups.yahoo.com/group/Condorcet Yahoo work group] Helping a WA state legislator to draft Condorcet election rules to replace recently nullified statute. Moderated by Jeffry R. Fisher
[[Category:Condorcet methods]]
 
<references />