Condorcet method: Difference between revisions

no edit summary
No edit summary
Line 1:
{{Wikipedia}}
 
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 indicaterefer to the family of Condorcet methods as a whole.
At present, the synonymous phrase '''"[[Instant-Round-Robin Voting|Instant Round Robin Voting]]" (IRRV)''' is being coined to leverage the public's greater familiarity with [[IRV |Instant Runoff Voting]] (IRV). This phrase is currently being used in a [http://groups.yahoo.com/group/Condorcet legislative effort] to implement a Condorcet variant ([[CSSD]]) in the state of Washington.
 
'''Condorcet''' is sometimes used to indicate 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; thea mostvery 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 ==
:''See also: [[Ballot]]''
 
Each voter fills out a [[preferential voting|ranked ballot]] or [[Cardinal voting|rated ballot]]. 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 40 ⟶ 38:
|}
 
Each cell should be read as "number of votes preferring candidate on the left beat candidate on the top", so:
Cells marked "—" are logically zero, but are blank for clarity—they are not considered, as a candidate can not be defeated by himself. This binary matrix is inversely symmetric: (runner,opponent) is ¬(opponent,runner). The utility of this structure is that it may be easily added to other ballots represented the same way, to give us the number of ballots which prefer each candidate. The sum of all ballot matrixes is called the sum matrix—it is not symmetric.
 
{| 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 ||—
|}
 
Cells marked "—" are logically zero, but are blank for clarity—they are not considered, as a candidate can not be defeated by himself. This binary matrix is inversely symmetric: (runner,opponent) is ¬(opponent,runner). The utility of this structure is that it may be easily added to other ballots represented the same way, to give us the number of ballots which prefer each candidate. The sum of all ballot matrixes is called the sum matrix—it is not symmetric. Note that the voter's ranked preference among the candidates can actually be reconstructed from the matrix made for their own vote: the candidate that the voter preferred in the most matchups is their 1st choice, the next-most-preferred candidate their 2nd choice, etc. Ties can be represented by two candidates each being preferred in the most matchups yet not preferred over each other.
 
When the sum matrix is found, the contest between each candidate is considered. The number of votes for runner over opponent (runner,opponent) is compared the number of votes for opponent over runner (opponent,runner). The one-on-one winner has the most votes. If one candidate wins against all other candidates, that candidate wins the election.
 
The sum of all ballot matrices, the '''Condorcet pairwise matrix''', is the primary piece of data used to resolve majority rule cycles in [[:Category:Defeat-dropping Condorcet methods|defeat-dropping Condorcet methods]], and can be used to find the Condorcet winner and [[Smith set]] in any Condorcet method.
 
There are various ways to find the Condorcet winner from the pairwise matrix. The simplest is to look for a single candidate who has a positive margin of votes against all other candidates in each matchup (i.e. if they got 5 votes and another candidate 4 votes in the pair's matchup, then the margin is 1 vote in favor of the first candidate, indicating they won the matchup), if one exists. [[Copeland]] more generally can help find the Smith set by looking for a smallest group of candidates that have victories against all others, by starting from the candidates with the most victories in their head-to-head matchups.
 
There are various ways to find the Condorcet winner from the pairwise matrix. [[: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 ==
 
Line 57 ⟶ 75:
*# 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 ==
Line 89 ⟶ 107:
* Schulze (and variants) repeatedly removes the weakest ambiguous information until ambiguity is removed.
 
The text below describes (variants of) thesethe defeat-dropping methods in more detail.
 
== Ranked Pairs, Maximize Affirmed Majorities (MAM), and Maximum Majority Voting (MMV) ==
Line 107 ⟶ 125:
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]]
 
Other terms related to the Condorcet method are:
 
* '''[[Condorcet loser]]''': the candidate who is less preferred than every other candidate in a [[pairwise matchup]].
* '''weak [[Condorcet winnerloser]]''': athe candidate who beatsis orless tiespreferred withthan every other candidate in a [[pairwise matchup. There can be more than one weak Condorcet winner]].
* '''weak Condorcet loserwinner''': a candidate who is defeated bybeats or ties with every other candidate in a pair wisepairwise matchup. Similarly, thereThere can be more than one weak Condorcet loserwinner. Because of Condorcet cycles, it is possible for the Smith set to, for example, have one weak Condorcet winner, and three candidates that pairwise beat each other but pairwise tie with the WCW; for this reason, it is not always best to elect the weak Condorcet winner over the candidates that tie with them.
* '''[[weak Condorcet loser]]''': thea candidate who is lessdefeated preferredby thanor ties with every other candidate in a [[pairwise matchup]]. Similarly, there can be more than one weak Condorcet loser.
 
== An example ==
Line 189 ⟶ 210:
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 [[Mutual majority criterion|mutual 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 (shows the margins in each matchup by subtracting number of votes for one candidate from the votes for the other):
{| class="wikitable"
|+
Line 226 ⟶ 247:
 
== Connection to cardinal methods ==
 
See also [[Score voting#Connection to Condorcet methods]].
 
Score Voting can be thought of as a Condorcet method where a voter is allowed to give a fraction of a vote to a candidate in a pairwise matchup against other candidates, rather than a full vote or nothing. Further, the amount of a vote the voter gives in one runoff directly alters the amount they give in another; if they arrange their scores such that they give 0.4 of a vote to help one candidate beat another, this automatically means they can at best arrange their scores such that they give up to 0.6 of their vote to help the second candidate beat someone else. Assuming a voter would vote the exact same way in a Score Voting runoff between all possible pairs of candidates as they did in the original Score election, Score elects the Condorcet winner using this modified definition.<ref>https://rangevoting.org/CondDQ.html</ref>
Line 255 ⟶ 278:
 
One concern with Condorcet methods is that it is very difficult to do [[pairwise counting]] for elections with 10 of more candidates, since that is at least (0.5*10*((10-1)=9))=45 pairwise matchups to record the details of. Allowing write-in candidates makes things even more complex. One possible solution would be to have a primary beforehand using a voting method better than [[FPTP]] to pick 5 top candidates, and then only allow voters to rank those top 5. For all other candidates, they'd be able to approve or score each of them. The rated information could then be used to elect someone other than one of the top 5 when the non-top 5 candidates have significantly higher ratings, but otherwise only elect one of the top 5. The primary itself could be made slightly semi-proportional as well.
 
At presentone point, the synonymous phrase (to Condorcet voting) '''"[[Instant-Round-Robin Voting|Instant Round Robin Voting]]" (IRRV)''' iswas being coined to leverage the public's greater familiarity with [[IRV |Instant Runoff Voting]] (IRV). This phrase is currentlywas 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 ==
Line 270 ⟶ 295:
== 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