Electoral systemAn electoral system or voting system is a set of rules that determine how elections and referendums are conducted and how their results are determined. Electoral systems are used in politics to elect governments, while non-political elections may take place in business, non-profit organisations and informal organisations. These rules govern all aspects of the voting process: when elections occur, who is allowed to vote, who can stand as a candidate, how ballots are marked and cast, how the ballots are counted, how votes translate into the election outcome, limits on campaign spending, and other factors that can affect the result.
Mutual majority criterionThe mutual majority criterion is a criterion used to compare voting systems. It is also known as the majority criterion for solid coalitions and the generalized majority criterion. The criterion states that if there is a subset S of the candidates, such that more than half of the voters strictly prefer every member of S to every candidate outside of S, this majority voting sincerely, the winner must come from S. This is similar to but stricter than the majority criterion, where the requirement applies only to the case that S contains a single candidate.
Condorcet loser criterionIn single-winner voting system theory, the Condorcet loser criterion (CLC) is a measure for differentiating voting systems. It implies the majority loser criterion but does not imply the Condorcet winner criterion. A voting system complying with the Condorcet loser criterion will never allow a Condorcet loser to win. A Condorcet loser is a candidate who can be defeated in a head-to-head competition against each other candidate.
Minimax Condorcet methodIn voting systems, the Minimax Condorcet method (often referred to as "the Minimax method") is one of several Condorcet methods used for tabulating votes and determining a winner when using ranked voting in a single-winner election. It is sometimes referred to as the Simpson–Kramer method, and the successive reversal method. Minimax selects as the winner the candidate whose greatest pairwise defeat is smaller than the greatest pairwise defeat of any other candidate: or, put another way, "the only candidate whose support never drops below [N] percent" in any pairwise contest, with N as high as possible.
Smith setIn voting systems, the Smith set, named after John H. Smith, but also known as the top cycle, or as Generalized Top-Choice Assumption (GETCHA), is the smallest non-empty set of candidates in a particular election such that each member defeats every candidate outside the set in a pairwise election. The Smith set provides one standard of optimal choice for an election outcome. Voting systems that always elect a candidate from the Smith set pass the Smith criterion and are said to be 'Smith-efficient' or to satisfy the Smith criterion.
Nanson's methodThe Borda count electoral system can be combined with an instant-runoff procedure to create hybrid election methods that are called Nanson method and Baldwin method (also called Total Vote Runoff or TVR). Both methods are designed to satisfy the Condorcet criterion, and allow for incomplete ballots and equal rankings. The Nanson method is based on the original work of the mathematician Edward J. Nanson in 1882.
Schulze methodThe Schulze method (ˈʃʊltsə) is an electoral system developed in 1997 by Markus Schulze that selects a single winner using votes that express preferences. The method can also be used to create a sorted list of winners. The Schulze method is also known as Schwartz Sequential dropping (SSD), cloneproof Schwartz sequential dropping (CSSD), the beatpath method, beatpath winner, path voting, and path winner.
Condorcet paradoxThe Condorcet paradox (also known as the voting paradox or the paradox of voting) in social choice theory is a situation noted by the Marquis de Condorcet in the late 18th century, in which collective preferences can be cyclic, even if the preferences of individual voters are not cyclic. This is paradoxical, because it means that majority wishes can be in conflict with each other: Suppose majorities prefer, for example, candidate A over B, B over C, and yet C over A.
Condorcet winner criterionAn electoral system satisfies the Condorcet winner criterion (pronkɒndɔrˈseɪ) if it always chooses the Condorcet winner when one exists. The candidate who wins a majority of the vote in every head-to-head election against each of the other candidates - that is, a candidate preferred by more voters than any others - is the Condorcet winner, although Condorcet winners do not exist in all cases. It is sometimes simply referred to as the "Condorcet criterion", though it is very different from the "Condorcet loser criterion".
Ranked pairsRanked pairs (sometimes abbreviated "RP") or the Tideman method is an electoral system developed in 1987 by Nicolaus Tideman that selects a single winner using votes that express preferences. The ranked-pairs procedure can also be used to create a sorted list of winners. If there is a candidate who is preferred over the other candidates, when compared in turn with each of the others, the ranked-pairs procedure guarantees that candidate will win. Because of this property, the ranked-pairs procedure complies with the Condorcet winner criterion (and is a Condorcet method).