Description of the method
BallotThe input for the Schulze method is the same as for other Ranked voting, ranked single-winner electoral systems: each voter must furnish an ordered preference list on candidates where Tie (draw), ties are allowed (Weak ordering, a strict weak order). One typical way for voters to specify their preferences on a Ranked voting#Ballot variations, ballot is as follows. Each ballot lists all the candidates, and each voter ranks this list in order of preference using numbers: the voter places a '1' beside the most preferred candidate(s), a '2' beside the second-most preferred, and so forth. Each voter may optionally: * give the same preference to more than one candidate. This indicates that this voter is indifferent between these candidates. * use non-consecutive numbers to express preferences. This has no impact on the result of the elections, since only the order in which the candidates are ranked by the voter matters, and not the absolute numbers of the preferences. * keep candidates unranked. When a voter doesn't rank all candidates, then this is interpreted as if this voter (i) strictly prefers all ranked to all unranked candidates, and (ii) is indifferent among all unranked candidates.
ComputationLet be the number of voters who prefer candidate to candidate . A ''path'' from candidate to candidate is a sequence of candidates with the following properties: # and . # For all . In other words, in a pairwise comparison each candidate in the path will beat the following candidate. The ''strength'' of a path from candidate to candidate is the smallest number of voters in the sequence of comparisons: : For all . For a pair of candidates and that are connected by at least one path, the ''strength of the strongest path'' is the maximum strength of the path(s) connecting them. If there is no path from candidate to candidate at all, then . Candidate is ''better'' than candidate if and only if . Candidate is a ''potential winner'' if and only if for every other candidate . It can be proven that and together imply . Therefore, it is guaranteed (1) that the above definition of "''better''" really defines a transitive relation and (2) that there is always at least one candidate with for every other candidate .
ExampleIn the following example 45 voters rank 5 candidates. : The pairwise preferences have to be computed first. For example, when comparing and pairwise, there are voters who prefer to , and voters who prefer to . So and . The full set of pairwise preferences is: labeled with pairwise preferences d[*, *] The cells for d[X, Y] have a light green background if d[X, Y] > d[Y, X], otherwise the background is light red. There is no undisputed winner by only looking at the pairwise differences here. Now the strongest paths have to be identified. To help visualize the strongest paths, the set of pairwise preferences is depicted in the diagram on the right in the form of a directed graph. An arrow from the node representing a candidate X to the one representing a candidate Y is labelled with d[X, Y]. To avoid cluttering the diagram, an arrow has only been drawn from X to Y when d[X, Y] > d[Y, X] (i.e. the table cells with light green background), omitting the one in the opposite direction (the table cells with light red background). One example of computing the strongest path strength is p[B, D] = 33: the strongest path from B to D is the direct path (B, D) which has strength 33. But when computing p[A, C], the strongest path from A to C is not the direct path (A, C) of strength 26, rather the strongest path is the indirect path (A, D, C) which has strength min(30, 28) = 28. The ''strength'' of a path is the strength of its weakest link. For each pair of candidates X and Y, the following table shows the strongest path from candidate X to candidate Y in red, with the weakest link underlined. Now the output of the Schulze method can be determined. For example, when comparing and , since , for the Schulze method candidate is ''better'' than candidate . Another example is that , so candidate E is ''better'' than candidate D. Continuing in this way, the result is that the Schulze ranking is , and wins. In other words, wins since for every other candidate X.
ImplementationThe only difficult step in implementing the Schulze method is computing the strongest path strengths. However, this is a well-known problem in graph theory sometimes called the widest path problem. One simple way to compute the strengths, therefore, is a variant of the Floyd–Warshall algorithm. The following pseudocode illustrates the algorithm.
Ties and alternative implementationsWhen allowing users to have ties in their preferences, the outcome of the Schulze method naturally depends on how these ties are interpreted in defining d[*,*]. Two natural choices are that d[A, B] represents either the number of voters who strictly prefer A to B (A>B), or the ''margin'' of (voters with A>B) minus (voters with B>A). But no matter how the ''d''s are defined, the Schulze ranking has no cycles, and assuming the ''d''s are unique it has no ties. Although ties in the Schulze ranking are unlikely, they are possible. Schulze's original paper proposed breaking ties in accordance with a voter selected at random, and iterating as needed. An alternative way to describe the winner of the Schulze method is the following procedure: # draw a complete directed graph with all candidates, and all possible edges between candidates # iteratively [a] delete all candidates not in the Schwartz set (i.e. any candidate ''x'' which cannot reach all others who reach ''x'') and [b] delete the graph edge with the smallest value (if by margins, smallest margin; if by votes, fewest votes). # the winner is the last non-deleted candidate. There is another alternative way to ''demonstrate'' the winner of the Schulze method. This method is equivalent to the others described here, but the presentation is optimized for the significance of steps being ''visually apparent'' as you go through it, not for computation. # Make the results table, called the "matrix of pairwise preferences," such as used above in the example. If using margins rather than raw vote totals, subtract it from its transpose. Then every positive number is a pairwise win for the candidate on that row (and marked green), ties are zeroes, and losses are negative (marked red). Order the candidates by how long they last in elimination. # If there's a candidate with no red on their line, they win. # Otherwise, draw a square box around the Schwartz set in the upper left corner. You can describe it as the minimal "winner's circle" of candidates who do not lose to anyone outside the circle. Note that to the right of the box there is no red, which means it's a winner's circle, and note that within the box there is no reordering possible that would produce a smaller winner's circle. # Cut away every part of the table that isn't in the box. # If there is still no candidate with no red on their line, something needs to be compromised on; every candidate lost some race, and the loss we tolerate the best is the one where the loser obtained the most votes. So, take the red cell with the highest number (if going by margins, the least negative), make it green—or any color other than red—and go back step 2. Here is a margins table made from the above example. Note the change of order used for demonstration purposes. The first drop (A's loss to E by 1 vote) doesn't help shrink the Schwartz set. So we get straight to the second drop (E's loss to C by 3 votes), and that shows us the winner, E, with its clear row. This method can also be used to calculate a result, if you make the table in such a way that you can conveniently and reliably rearrange the order of the candidates on both row and column (use the same order on both at all times).
Satisfied and failed criteria
Satisfied criteriaThe Schulze method satisfies the following criteria: * Unrestricted domain * Arrow's impossibility theorem, Non-imposition (Aka (initialism), a.k.a. Arrow's impossibility theorem, citizen sovereignty) * Non-dictatorship * Pareto efficiency, Pareto criterion * Monotonicity criterion * Majority criterion * Majority loser criterion * Condorcet criterion * Condorcet loser criterion * Schwartz set, Schwartz criterion * Smith criterion * Independence of Smith-dominated alternatives * Mutual majority criterion * Independence of clones criterion, Independence of clones * Reversal symmetry * Mono-appendDouglas R. Woodall
Failed criteriaSince the Schulze method satisfies the Condorcet criterion, it automatically fails the following criteria: * Participation criterion, Participation * Consistency criterion, Consistency * Tactical voting#Compromising, Invulnerability to compromising * Tactical voting#Burying, Invulnerability to burying * Later-no-harm criterion, Later-no-harm Likewise, since the Schulze method is not a dictatorship and agrees with unanimous votes, Arrow's Theorem implies it fails the criterion * Independence of irrelevant alternatives The Schulze method also fails * Peyton Young's criterion Local independence of irrelevant alternatives, Local Independence of Irrelevant Alternatives.
Comparison tableThe following table compares the Schulze method with other Ranked voting, preferential single-winner election methods: The main difference between the Schulze method and the ranked pairs method can be seen in this example: Suppose the MinMax score of a set X of candidates is the strength of the strongest pairwise win of a candidate A ∉ X against a candidate B ∈ X. Then the Schulze method, but not Ranked Pairs, guarantees that the winner is always a candidate of the set with minimum MinMax score. So, in some sense, the Schulze method minimizes the largest majority that has to be reversed when determining the winner. On the other hand, Ranked Pairs minimizes the largest majority that has to be reversed to determine the order of finish, in the minlexmax sense. In other words, when Ranked Pairs and the Schulze method produce different orders of finish, for the majorities on which the two orders of finish disagree, the Schulze order reverses a larger majority than the Ranked Pairs order.
HistoryThe Schulze method was developed by Markus Schulze in 1997. It was first discussed in public mailing lists in 1997–1998 and in 2000. Subsequently, Schulze method users included Debian (2003),See:
UsersImage:Voting2.png, sample ballot for Wikimedia Foundation, Wikimedia's Board of Trustees elections The Schulze method is used by the city of Silla, Valencia, Silla for all referendums. It is used by the Institute of Electrical and Electronics Engineers, by the Association for Computing Machinery, and by USENIX through their use of the HotCRP decision tool. The Schulze method is used by the cities of Turin and San Donà di Piave and by the London Borough of Southwark through their use of the WeGovNow platform, which in turn uses the LiquidFeedback decision tool. Organizations which currently use the Schulze method include: * Association des États Généraux des Étudiants de l'Europe, AEGEE - European Students' Forum * Annodex, Annodex Association * Northwestern University, Associated Student Government at Northwestern University * Associated Student Government at University of Freiburg * Associated Student Government at the Computer Sciences Department of the University of Kaiserslautern * :de:Berufsverband der Kinder- und Jugendärzte, Berufsverband der Kinder- und Jugendärzte (BVKJ) * BoardGameGeek