HOME

TheInfoList



OR:

The Schulze method () is an
electoral system An 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 m ...
developed in 1997 by Markus Schulze that selects a single winner using votes that express
preferences In psychology, economics and philosophy, preference is a technical term usually used in relation to choosing between wikt:alternative, alternatives. For example, someone prefers A over B if they would rather choose A than B. Preferences are centra ...
. 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. The Schulze method is a
Condorcet method A Condorcet method (; ) is an election method that elects the candidate who wins a majority rule, 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 oth ...
, which means that if there is a candidate who is preferred by a majority over every other candidate in pairwise comparisons, then this candidate will be the winner when the Schulze method is applied. The output of the Schulze method gives an ordering of candidates. Therefore, if several positions are available, the method can be used for this purpose without modification, by letting the ''k'' top-ranked candidates win the ''k'' available seats. Furthermore, for
proportional representation Proportional representation (PR) refers to a type of electoral system under which subgroups of an electorate are reflected proportionately in the elected body. The concept applies mainly to geographical (e.g. states, regions) and political divis ...
elections, a
single transferable vote Single transferable vote (STV) is a multi-winner electoral system in which voters cast a single vote in the form of a ranked-choice ballot. Voters have the option to rank candidates, and their vote may be transferred according to alternate p ...
(STV) variant known as Schulze STV has been proposed. The Schulze method is used by several organizations including Wikimedia,
Debian Debian (), also known as Debian GNU/Linux, is a Linux distribution composed of free and open-source software, developed by the community-supported Debian Project, which was established by Ian Murdock on August 16, 1993. The first version of De ...
, Ubuntu, Gentoo,
Pirate Party Pirate Party is a label adopted by political parties around the world. Pirate parties support civil rights, direct democracy (including e-democracy) or alternatively participation in government, reform of copyright and patent law, free sharin ...
political parties and many others.


Description of the method


Ballot

The input for the Schulze method is the same as for other ranked single-winner electoral systems: each voter must furnish an ordered preference list on candidates where ties are allowed ( a strict weak order). One typical way for voters to specify their preferences on a
ballot A ballot is a device used to cast votes in an election and may be found as a piece of paper or a small ball used in secret voting. It was originally a small ball (see blackballing) used to record decisions made by voters in Italy around the 16 ...
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.


Computation

Let d ,W/math> be the number of voters who prefer candidate V to candidate W. A ''path'' from candidate X to candidate Y is a
sequence In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is called ...
of candidates C(1),\cdots,C(n) with the following properties: # C(1) = X and C(n) = Y. # For all i = 1,\cdots,(n-1): d (i),C(i+1)> d
(i+1),C(i) I, or i, is the ninth letter and the third vowel letter of the Latin alphabet, used in the modern English alphabet, the alphabets of other western European languages and others worldwide. Its name in English is ''i'' (pronounced ), plural ...
/math>. In other words, in a pairwise comparison, each candidate in the path will beat the following candidate. The ''strength'' p of a path from candidate X to candidate Y is the smallest number of voters in the sequence of comparisons: : For all i = 1,\cdots,(n-1): d (i),C(i+1)\ge p. For a pair of candidates A and B that are connected by at least one path, the ''strength of the strongest path'' p ,B/math> is the maximum strength of the path(s) connecting them. If there is no path from candidate A to candidate B at all, then p ,B= 0. Candidate D is ''better'' than candidate E if and only if p ,E> p ,D/math>. Candidate D is a ''potential winner'' if and only if p ,E\ge p ,D/math> for every other candidate E. It can be proven that p ,Y> p ,X/math> and p ,Z> p ,Y/math> together imply p ,Z> p ,X/math>. Therefore, it is guaranteed (1) that the above definition of "''better''" really defines a
transitive relation In mathematics, a relation on a set is transitive if, for all elements , , in , whenever relates to and to , then also relates to . Each partial order as well as each equivalence relation needs to be transitive. Definition A hom ...
and (2) that there is always at least one candidate D with p ,E\ge p ,D/math> for every other candidate E.


Example

In the following example 45 voters rank 5 candidates. :\begin \text & \text \\ \hline 5 & ACBED \\ 5 & ADECB \\ 8 & BEDAC \\ 3 & CABED \\ 7 & CAEBD \\ 2 & CBADE \\ 7 & DCEBA \\ 8 & EBADC \end 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 d
, B The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
= 20 and d
, A The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline ...
= 25. The full set of pairwise preferences is: The cells for d
, Y The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
have a light green background if d
, Y The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
> d
, X The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
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 In mathematics, and more specifically in graph theory, a directed graph (or digraph) is a graph that is made up of a set of vertices connected by directed edges, often called arcs. Definition In formal terms, a directed graph is an ordered pai ...
. An arrow from the node representing a candidate X to the one representing a candidate Y is labelled with d
, Y The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
To avoid cluttering the diagram, an arrow has only been drawn from X to Y when d
, Y The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
> d
, X The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
(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
, D The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline ...
= 33: the strongest path from B to D is the direct path (B, D) which has strength 33. But when computing p
, C The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline ...
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 (28 =) p ,B> p ,A(= 25), for the Schulze method candidate is ''better'' than candidate . Another example is that (31 =) p ,D> p ,E(= 24), so candidate E is ''better'' than candidate D. Continuing in this way, the result is that the Schulze ranking is E > A > C > B > D, and wins. In other words, wins since p ,X\ge p ,E/math> for every other candidate X.


Implementation

The 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 In graph algorithms, the widest path problem is the problem of finding a path between two designated vertices in a weighted graph, maximizing the weight of the minimum-weight edge in the path. The widest path problem is also known as the maximum ...
. One simple way to compute the strengths, therefore, is a variant of the
Floyd–Warshall algorithm In computer science, the Floyd–Warshall algorithm (also known as Floyd's algorithm, the Roy–Warshall algorithm, the Roy–Floyd algorithm, or the WFI algorithm) is an algorithm for finding shortest paths in a directed weighted graph with p ...
. The following
pseudocode In computer science, pseudocode is a plain language description of the steps in an algorithm or another system. Pseudocode often uses structural conventions of a normal programming language, but is intended for human reading rather than machine re ...
illustrates the algorithm. # Input: d ,j the number of voters who prefer candidate i to candidate j. # Output: p ,j the strength of the strongest path from candidate i to candidate j. for i from 1 to C for j from 1 to C if i ≠ j then if d ,j> d ,ithen p ,j:= d ,j else p ,j:= 0 for i from 1 to C for j from 1 to C if i ≠ j then for k from 1 to C if i ≠ k and j ≠ k then p ,k:= max (p ,k min (p ,i p ,k) This algorithm is efficient and has running time O(''C''3) where ''C'' is the number of candidates.


Ties and alternative implementations

When 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
, B The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline o ...
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 delete all candidates not in the
Schwartz set In voting systems, the Schwartz set is the union of all Schwartz set components. A Schwartz set component is any non-empty set ''S'' of candidates such that # Every candidate inside the set ''S'' is pairwise unbeaten by every candidate outside '' ...
(i.e. any candidate ''x'' which cannot reach all others who reach ''x'') and 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 a human goes 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 is a candidate with no red on their line, they win. # Otherwise, draw a square box around the Schwartz set in the upper left corner. It can be described 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 is 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 outside 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 the table is remade in such a way that one can conveniently and reliably rearrange the order of the candidates on both the row and the column, with the same order used on both at all times.


Satisfied and failed criteria


Satisfied criteria

The Schulze method satisfies the following criteria: * Unrestricted domain * Non-imposition (
a.k.a. Aka, AKA or a.k.a. may refer to: * "Also known as", used to introduce an alternative name Languages * Aka language (Sudan) * Aka language, in the Central African Republic * Hruso language, in India, also referred to as Aka * a prefix in the nam ...
citizen sovereignty) * Non-dictatorship * Pareto criterion *
Monotonicity criterion The monotonicity criterion is a voting system criterion used to evaluate both single and multiple winner ranked voting systems. A ranked voting system is monotonic if it is neither possible to prevent the election of a candidate by ranking them ...
* Majority criterion * Majority loser criterion * Condorcet criterion * Condorcet loser criterion * Schwartz criterion *
Smith criterion The Smith criterion (sometimes generalized Condorcet criterion, but this can have other meanings) is a voting systems criterion defined such that it's satisfied when a voting system always elects a candidate that is in the Smith set, which is th ...
*
Independence of Smith-dominated alternatives Independence of Smith-dominated alternatives (ISDA, also known as Smith- IIA or Weak independence of irrelevant alternatives) is a voting system criterion defined such that its satisfaction by a voting system occurs when the selection of the winn ...
* Mutual majority criterion *
Independence of clones In voting systems theory, the independence of clones criterion measures an election method's robustness to strategic nomination. Nicolaus Tideman was the first to formulate this criterion, which states that the winner must not change due to the ...
*
Reversal symmetry Reversal symmetry is a voting system criterion which requires that if candidate A is the unique winner, and each voter's individual preferences are inverted, then A must not be elected. Methods that satisfy reversal symmetry include Borda count, ...
* Mono-appendDouglas R. Woodall
Properties of Preferential Election Rules
''Voting Matters'', issue 3, pages 8-15, December 1994
* Mono-add-plump * Resolvability criterion * Polynomial runtime * prudence * MinMax sets * Woodall's plurality criterion if winning votes are used for d ,Y* Symmetric-completion if
margins Margin may refer to: Physical or graphical edges *Margin (typography), the white space that surrounds the content of a page *Continental margin, the zone of the ocean floor that separates the thin oceanic crust from thick continental crust *Leaf ...
are used for d ,Y


Failed criteria

Since the Schulze method satisfies the Condorcet criterion, it automatically fails the following criteria: * Participation *
Consistency In classical deductive logic, a consistent theory is one that does not lead to a logical contradiction. The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a theory is consistent ...
* Invulnerability to compromising * Invulnerability to burying * 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 independence of irrelevant alternatives (IIA), also known as binary independence or the independence axiom, is an axiom of decision theory and various social sciences. The term is used in different connotation in several contexts. Although it a ...
The Schulze method also fails *
Peyton Young Hobart Peyton Young (born March 9, 1945) is an American game theorist and economist known for his contributions to evolutionary game theory and its application to the study of institutional and technological change, as well as the theory of lear ...
's criterion
Local Independence of Irrelevant Alternatives The independence of irrelevant alternatives (IIA), also known as binary independence or the independence axiom, is an axiom of decision theory and various social sciences. The term is used in different connotation in several contexts. Although it a ...
.


Comparison table

The following table compares the Schulze method with other
preferential In psychology, economics and philosophy, preference is a technical term usually used in relation to choosing between alternatives. For example, someone prefers A over B if they would rather choose A than B. Preferences are central to decision theo ...
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.


History

The Schulze method was developed by Markus Schulze in 1997. It was first discussed in public mailing lists in 1997–1998 and in 2000. In 2011, Schulze published the method in the academic journal '' Social Choice and Welfare''.Markus Schulze

Social Choice and Welfare, volume 36, number 2, page 267–303, 2011. Preliminary version in ''Voting Matters'', 17:9-19, 2003.


Usage


Government

The Schulze method is used by the city of Silla, Valencia, Silla for all referendums. It is also used by the cities of
Turin Turin ( , Piedmontese: ; it, Torino ) is a city and an important business and cultural centre in Northern Italy. It is the capital city of Piedmont and of the Metropolitan City of Turin, and was the first Italian capital from 1861 to 1865. Th ...
and San Donà di Piave and by the
London Borough of Southwark The London Borough of Southwark ( ) in South London forms part of Inner London and is connected by bridges across the River Thames to the City of London and London Borough of Tower Hamlets. It was created in 1965 when three smaller council ar ...
through their use of the WeGovNow platform, which in turn uses the
LiquidFeedback LiquidFeedback is free software for political opinion formation and decision making, combining aspects of representative and direct democracy. Its most important feature is the implementation of a delegated voting system ("liquid democracy") wh ...
decision tool.


Political parties

Schulze was adopted by the Pirate Party of Sweden (2009),See:
Inför primärvalen
October 2009
Dags att kandidera till riksdagen
October 2009
Råresultat primärvalet
January 2010
and the Pirate Party of Germany (2010).11 of the 16 regional sections and the federal section of the Pirate Party of Germany are usin
LiquidFeedback
for unbinding internal opinion polls. In 2010/2011, the Pirate Parties of
Neukölln Neukölln () is one of the twelve boroughs of Berlin. It is located in the southeastern part from the city centre towards Berlin Schönefeld Airport. It was part of the former American sector under the Four-Power occupation of the city. It fea ...

link
, Mitte
link
, Steglitz-Zehlendorf
link
, Lichtenberg
link
, and
Tempelhof-Schöneberg Tempelhof-Schöneberg () is the seventh borough of Berlin, formed in 2001 by merging the former boroughs of Tempelhof and Schöneberg. Situated in the south of the city it shares borders with the boroughs of Mitte and Friedrichshain-Kreuzberg in t ...

link
adopted the Schulze method for its primaries. Furthermore, the Pirate Party of
Berlin Berlin is Capital of Germany, the capital and largest city of Germany, both by area and List of cities in Germany by population, by population. Its more than 3.85 million inhabitants make it the European Union's List of cities in the European U ...
(in 2011)
link
and the Pirate Party of Regensburg (in 2012)
link
adopted this method for their primaries.
The newly formed
Boise, Idaho Boise (, , ) is the capital and most populous city of the U.S. state of Idaho and is the county seat of Ada County. On the Boise River in southwestern Idaho, it is east of the Oregon border and north of the Nevada border. The downtown ...
chapter of the
Democratic Socialists of America The Democratic Socialists of America (DSA) is a Left-wing politics, left-wing Democratic Socialists of America#Tendencies within the DSA, multi-tendency Socialism, socialist and Labour movement, labor-oriented political organization. Its roots ...
in February chose this method for their first special election held in March 2018. * Five Star Movement of
Campobasso Campobasso (, ; nap, label= Campobassan, Cambuàsce ) is a city and ''comune'' in southern Italy, the capital of the region of Molise and of the province of Campobasso. It is located in the high basin of the Biferno river, surrounded by Sann ...
,