Condorcet method: Difference between revisions

No edit summary
Line 46:
The sum of all ballot matrices, the '''Condorcet pairwise matrix''', is the primary piece of data used to resolve majority rule cycles.
 
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 259:
== Notes ==
All Condorcet methods pass the [[Mutual majority criterion|mutual majority criterion]] when there is a Condorcet winner. This is because the CW is guaranteed to be a member of any set of candidates that can pairwise beat all candidates not in the set, and the mutual majority set is such a set, because all candidates in it are ranked by a majority over all candidates not in the set. [[Smith-efficient]] Condorcet methods always pass the [[Mutual majority criterion|mutual majority criterion]].
 
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]]. The Condorcet methods that start by eliminating all candidates not in a given set of candidates and then running 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]].
 
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. {{fromwikipedia}}