„Schulze-Methode“ – Versionsunterschied
[ungesichtete Version] | [gesichtete Version] |
K - Cloneproof Schwartz Sequential Dropping wurde nach Schulze-Methode verschoben |
fixed link |
||
(307 dazwischenliegende Versionen von mehr als 100 Benutzern, die nicht angezeigt werden) | |||
Zeile 1: | Zeile 1: | ||
Die '''Schulze-Methode''' (nach Markus Schulze) ist |
Die '''Schulze-Methode''' (nach Markus Schulze) ist ein [[Wahlsystem|Wahlverfahren]] aus der Familie der [[Vorzugswahl]]en, mit dem ein einzelner Sieger bestimmt wird. Es ist die derzeit verbreitetste Methode, um Wahlen durchzuführen, bei welchen der Wähler Kandidaten nach Rang ordnet. |
||
Die Schulze-Methode ist eine [[Condorcet-Methode]], d. h., dass sie einen Kandidaten, der im paarweisen Vergleich jeden anderen Kandidaten besiegen würde, als Sieger auswählt, sofern ein solcher existiert. |
|||
== Definition == |
|||
Markus Schulze hat die Methode 1997 entwickelt. Die ersten Veröffentlichungen datieren von 2003 und 2006.<ref>[http://lists.electorama.com/pipermail/election-methods-electorama.com/1997-October/001570.html Condorcet sub-cycle rule], Election-Methods-Mailingliste, 3. Oktober 1997</ref><ref>Markus Schulze: [http://www.votingmatters.org.uk/ISSUE17/I17P3.PDF ''A new monotonic and clone-independent single-winner election method''.] (PDF; 75 kB) In: ''Voting Matters'', issue 17, 2003, S. 9–19</ref><ref>Nicolaus Tideman: ''Collective Decisions and Voting: The Potential for Public Choice''. Ashgate Publishing, 2006. Saul Stahl, Paul E. Johnson: ''Understanding Modern Mathematics''. Jones & Bartlett Publishing, 2006</ref> Verwendet wurde die Schulze-Methode erstmals 2003 (von [[Software in the Public Interest]]), 2003 (von [[Debian]]) und 2005 (von [[Gentoo Linux]]). |
|||
=== Anzahl der Wähler === |
|||
== Erklärung == |
|||
Die Anzahl der Wähler, die den Kandidat A dem Kandidat B vorziehen, wird durch d[A,B] ausgedrückt. Der Ausdruck d[A,B] ist nicht kommutativ, denn mit d[B,A] ist die Anzahl der Wähler gemeint, die den Kandidat B dem Kandidat A vorziehen. |
|||
Jeder Wähler erhält eine komplette Liste aller [[Kandidat]]en. Er reiht die Kandidaten, indem er ihnen Zahlen zuordnet. Eine kleine Zahl ist besser als eine größere, jedoch zählt nur die Reihenfolge. Kandidaten mit gleicher Zahl sind an gleicher Stelle gereiht. Kandidaten ohne Zahl sind gemeinsam an letzter Stelle – so als ob der Wähler ihnen jeweils die größtmögliche Zahl zugeschrieben hätte. |
|||
=== Anzahl der Wähler === |
|||
:d[A,B] <math>\ne </math> d[B,A] |
|||
Die Anzahl der Wähler, die den Kandidaten <math>A</math> dem Kandidaten <math>B</math> vorziehen (d. h. die bei <math>A</math> eine kleinere Zahl als bei <math>B</math> vermerkt haben), wird durch <math>d[A,B]</math> ausgedrückt. |
|||
Der Wert von <math>d</math> wird aus den Stimmabgaben gezählt |
|||
=== Der Concordet-Sieger === |
|||
* <math>d[A,B]</math> ist die Zahl der Wähler, die Kandidaten <math>A</math> besser als <math>B</math> finden. |
|||
* <math>d[B,A]</math> ist die Zahl der Wähler, die Kandidaten <math>B</math> besser als <math>A</math> finden. |
|||
Für diese Werte ist es unerheblich, ob noch andere Kandidaten existieren und ob diese besser oder schlechter als <math>A</math> und <math>B</math> oder zwischen beiden eingestuft werden. |
|||
=== Definition === |
|||
Existieren mehrere Kandidaten, und gibt es einen Kandidaten y der allen anderen Kandidaten y vorgezogen wird, so ist dieser ein Concordet-Sieger. |
|||
Die Schulze-Methode ist folgendermaßen definiert: |
|||
: Ein ''Weg'' ({{enS|path}}) vom Kandidaten <math>X</math> zum Kandidaten <math>Y</math> der Stärke <math>z</math> ist eine Sequenz von Kandidaten <math>C_1,\dots,C_n</math> mit den folgenden Eigenschaften: |
|||
:d[x,y] > d[y,x] für jeden zu Kandidat x unterscheidbaren Kandidat y |
|||
:# <math>C_1 = X</math>, d. h. der Weg beginnt bei <math>X</math>. |
|||
Gegenbeispiel: |
|||
:# <math>C_n = Y</math>, d. h. der Weg endet bei <math>Y</math>. |
|||
:# <math>\forall i < n.\ d[C_i,C_{i+1}] > d[C_{i+1},C_i]</math>, d. h. jeder Kandidat auf dem Weg gewinnt den paarweisen Vergleich gegen den auf ihn folgenden Kandidaten. |
|||
:# <math>\forall i < n.\ d[C_i,C_{i+1}] \geq z</math>, d. h. jeder Kandidat auf dem Weg wird gegenüber dem auf ihn folgenden Kandidaten von mindestens <math>z</math> Wählern bevorzugt. |
|||
:# <math>\exists i < n.\ d[C_i,C_{i+1}] = z</math>, d. h. wenigstens einer dieser Vergleiche wird von (nur) genau <math>z</math> Wählern gestützt. |
|||
: Hat ein Weg <math>C_1,\dots,C_n</math> die Stärke <math>z</math>, so werden die Bögen dieses Weges, für die <math>d[C_i,C_{i+1}] = z</math> gilt, ''kritische Siege'' genannt. Bei ihnen handelt es sich um die schwächsten Siege auf dem Weg. |
|||
{| border=1 |
|||
| ||Kandidat A ||Kandidat B ||Kandidat C |
|||
|- |
|||
|Kandidat A || - || 70 || 33 |
|||
|- |
|||
|Kandidat B || 27 || - || 60 |
|||
|- |
|||
|Kandidat C || 64 || 35 || - |
|||
|} |
|||
: <math>p[A,B]</math>, die ''Stärke des stärksten Weges'' vom Kandidaten <math>A</math> zum Kandidaten <math>B</math>, ist der größte Wert, so dass es einen Weg dieser Stärke vom Kandidaten <math>A</math> zum Kandidaten <math>B</math> gibt. Falls es überhaupt keinen Weg von <math>A</math> nach <math>B</math> gibt, wird <math>p[A,B] = 0</math> gesetzt. |
|||
Wie man der Tabelle entnehmen kann, wird in dem Beispiel jedem Kandidaten ein anderer Kandidat vorgezogen. Es existiert in diesem Beispiel also kein ''Concordet-Sieger'' |
|||
: Kandidat <math>A</math> ist ''besser'' als Kandidat <math>B</math> genau dann, wenn <math>p[A,B] > p[B,A]</math> ist. |
|||
=== Stärke eines Sieges === |
|||
: Kandidat <math>A</math> ist ein ''potentieller Sieger'' genau dann, wenn <math>p[A,B] \ge p[B,A]</math> ist für jeden anderen Kandidaten <math>B</math>. |
|||
Angenommen, S[X,Y] ist die ''Stärke'' des Sieges von Kandidat X über Kandidat Y. |
|||
Es lässt sich zeigen, dass die ''besser''-Relation [[Transitive Relation|transitiv]] ist. Es existiert somit stets mindestens ein potentieller Sieger. |
|||
Beispiel 1 (''margin''): |
|||
=== Beispiel 1 === |
|||
:S[C,D] > S[E,F], dann und nur dann wenn d[C,D] - d[D,C] > d[E,F] - d[F,E]. |
|||
{| class="wikitable hintergrundfarbe-basis" style="border: 0; text-align: center;" |
|||
Beispiel 2 (''ratio''): |
|||
|- |
|||
! 1 |
|||
| <math>A</math> |
|||
| <math>A</math> |
|||
| <math>B</math> |
|||
| <math>C</math> |
|||
| <math>C</math> |
|||
| <math>C</math> |
|||
| <math>D</math> |
|||
| <math>E</math> |
|||
|- |
|||
! 2 |
|||
| <math>C</math> |
|||
| <math>D</math> |
|||
| <math>E</math> |
|||
| <math>A</math> |
|||
| <math>A</math> |
|||
| <math>B</math> |
|||
| <math>C</math> |
|||
| <math>B</math> |
|||
|- |
|||
! 3 |
|||
| <math>B</math> |
|||
| <math>E</math> |
|||
| <math>D</math> |
|||
| <math>B</math> |
|||
| <math>E</math> |
|||
| <math>A</math> |
|||
| <math>E</math> |
|||
| <math>A</math> |
|||
|- |
|||
! 4 |
|||
| <math>E</math> |
|||
| <math>C</math> |
|||
| <math>A</math> |
|||
| <math>E</math> |
|||
| <math>B</math> |
|||
| <math>D</math> |
|||
| <math>B</math> |
|||
| <math>D</math> |
|||
|- |
|||
! 5 |
|||
| <math>D</math> |
|||
| <math>B</math> |
|||
| <math>C</math> |
|||
| <math>D</math> |
|||
| <math>D</math> |
|||
| <math>E</math> |
|||
| <math>A</math> |
|||
| <math>C</math> |
|||
|- |
|||
|style="border-bottom:0; border-left:0;"| |
|||
! style="width:30px"| <math>5</math> |
|||
! style="width:30px"| <math>5</math> |
|||
! style="width:30px"| <math>8</math> |
|||
! style="width:30px"| <math>3</math> |
|||
! style="width:30px"| <math>7</math> |
|||
! style="width:30px"| <math>2</math> |
|||
! style="width:30px"| <math>7</math> |
|||
! style="width:30px"| <math>8</math> |
|||
|} |
|||
==== Paarweise Matrix ==== |
|||
:S[C,D] > S[E,F], dann und nur dann wenn mindestens eine der folgenden Bedingungen erfüllt ist: |
|||
Tabelle, die jeden Kandidaten mit jedem anderen vergleicht. Die rot markierten Felder werden weiter benutzt. Z. B. wurde Kandidat <math>B</math> von <math>25</math> Stimmen gegenüber <math>A</math> bevorzugt. |
|||
{| class="wikitable hintergrundfarbe-basis" style="border:0; text-align:center;" |
|||
::# d[C,D] d[F,E] > d[D,C] d[E,F]. |
|||
|- |
|||
::# d[C,D] = 0 und d[E,F] = 0 und d[D,C] < d[F,E]. |
|||
|style="border-top:0; border-left:0;"| |
|||
::# d[D,C] = 0 und d[F,E] = 0 und d[C,D] > d[E,F]. |
|||
|class="hintergrundfarbe5"| <math>d[\ast,A]</math> |
|||
::# d[C,D] = 0 und d[D,C] = 0 und d[E,F] < d[F,E]. |
|||
|class="hintergrundfarbe5"| <math>d[\ast,B]</math> |
|||
::# d[E,F] = 0 und d[F,E] = 0 und d[C,D] > d[D,C]. |
|||
|class="hintergrundfarbe5"| <math>d[\ast,C]</math> |
|||
|class="hintergrundfarbe5"| <math>d[\ast,D]</math> |
|||
|class="hintergrundfarbe5"| <math>d[\ast,E]</math> |
|||
|- |
|||
|class="hintergrundfarbe5"| <math>d[A,\ast]</math> |
|||
|class="hintergrundfarbe5"| || 20 ||style="background:#FEDBCA; color:#202122;"| 26 ||style="background:#FEDBCA; color:#202122;"|30 || 22 |
|||
|- |
|||
|class="hintergrundfarbe5"| <math>d[B,\ast]</math> |
|||
|style="background:#FEDBCA; color:#202122;"| 25 ||class="hintergrundfarbe5"| || 16 ||style="background:#FEDBCA; color:#202122;"|33 || 18 |
|||
|- |
|||
|class="hintergrundfarbe5"| <math>d[C,\ast]</math> |
|||
| 19 ||style="background:#FEDBCA; color:#202122;"| 29 ||class="hintergrundfarbe5"| || 17 ||style="background:#FEDBCA; color:#202122;"| 24 |
|||
|- |
|||
|class="hintergrundfarbe5"| <math>d[D,\ast]</math> |
|||
| 15 || 12 ||style="background:#FEDBCA; color:#202122;"| 28 ||class="hintergrundfarbe5"| || 14 |
|||
|- |
|||
|class="hintergrundfarbe5"| <math>d[E,\ast]</math> |
|||
|style="background:#FEDBCA; color:#202122;"| 23 ||style="background:#FEDBCA; color:#202122;"| 27 || 21 ||style="background:#FEDBCA; color:#202122;"|31 ||class="hintergrundfarbe5"| |
|||
|} |
|||
==== Paarweiser Graph ==== |
|||
Beispiel 3 (''winning votes''): |
|||
Graph mit gewichteten Pfeilen aus der Tabelle von oben. Man sieht den Pfeil von Kandidat <math>B</math> zu Kandidat <math>A</math> mit dem Gewicht von <math>25</math> aus der obigen Tabelle. |
|||
[[Datei:Schulze method example1.svg|rahmenlos|hochkant=1.1|klasse=skin-invert|Paarweiser Graph]] |
|||
:S1[X,Y] : = d[X,Y], falls d[X,Y] > d[Y,X]. |
|||
:S1[X,Y] : = 0, falls d[X,Y] ≤ d[Y,X]. |
|||
:S2[X,Y] : = d[X,Y] - d[Y,X]. |
|||
==== Die stärksten Wege ==== |
|||
:S[C,D] > S[E,F], dann und nur dann wenn mindestens eine der folgenden Bedingungen erfüllt ist: |
|||
Von den Verbindungen zwischen Kandidaten wird diejenige gesucht, bei der das schwächste Glied am stärksten ist. Bildlich gesprochen wird die stärkste Kette gesucht. Wie kommt man von <math>A</math> nach <math>B</math>? |
|||
* Bei <math>A</math> über <math>C</math> nach <math>B</math> ist das schwächste Glied von <math>A</math> nach <math>C</math> mit <math>26</math>. |
|||
* Bei <math>A</math> über <math>D</math> und <math>C</math> nach <math>B</math> ist das schwächste Glied <math>D</math> nach <math>C</math> mit <math>28</math>. Diese Kette ist stärker und <math>28</math> wird nachfolgend verwendet. |
|||
Man kann sich den Vorgang beispielsweise aus Sicht eines Transportunternehmens vorstellen, das möglichst viele Pakete ''auf einmal'' von einer Stadt in die andere transportieren möchte (egal wie ''lang'' der Weg ist). Ohne Zwischenlager kann natürlich nur so viel transportiert werden wie das Fassungsvermögen des kleinsten Transportmittels, das am Weg verwendet wird: Wenn die Pakete zuerst per [[Fähre]], dann per [[Lastwagen]] und zuletzt per [[Güterzug]] transportiert werden, dann ist wahrscheinlich der Lastwagen am kleinsten. Im Vergleich zu einer anderen Route (die z. B. einen [[Pick-up|Pickup-Truck]] enthält) ist der Lastwagen damit das '''schwächste Glied der stärksten Kette'''. |
|||
::# S1[C,D] > S1[E,F]. |
|||
::# S1[C,D] = S1[E,F] und S2[C,D] > S2[E,F]. |
|||
Oft wird dieses schwächste Glied der stärksten Kette auch ''kritischer Sieg'' genannt. Die kritischen Siege der stärksten Wege sind <u>unterstrichen</u>. |
|||
=== Formulierung 1 === |
|||
{| class="wikitable hintergrundfarbe-basis skin-invert-image" style="border: 0; text-align: center;" |
|||
Die Schulze-Methode ist folgendermaßen definiert: |
|||
|- |
|||
|style="border-top:0; border-left:0;"| |
|||
|class="hintergrundfarbe5"| … nach <math>A</math> |
|||
|class="hintergrundfarbe5"| … nach <math>B</math> |
|||
|class="hintergrundfarbe5"| … nach <math>C</math> |
|||
|class="hintergrundfarbe5"| … nach <math>D</math> |
|||
|class="hintergrundfarbe5"| … nach <math>E</math> |
|||
|- |
|||
|class="hintergrundfarbe5"| von <math>A</math> … |
|||
|class="hintergrundfarbe5"| |
|||
| [[Datei:Schulze method example1 AB.svg|ohne|150px|A–(30)–D–<u>(28)</u>–C–(29)–B]] |
|||
<math>A\overset{30}\longrightarrow D\overset{\underline{28}}\longrightarrow C\overset{29}\longrightarrow B</math> |
|||
| [[Datei:Schulze method example1 AC.svg|ohne|150px|A–(30)–D–<u>(28)</u>–C]] |
|||
<math>A\overset{30}\longrightarrow D\overset{\underline{28}}\longrightarrow C</math> |
|||
| [[Datei:Schulze method example1 AD.svg|ohne|150px|A–<u>(30)</u>–D]] |
|||
<math>A\overset{\underline{30}}\longrightarrow D</math> |
|||
| [[Datei:Schulze method example1 AE.svg|ohne|150px|A–(30)–D–(28)–C–<u>(24)</u>–E]] |
|||
<math>A\overset{30}\longrightarrow D\overset{28}\longrightarrow C\overset{\underline{24}}\longrightarrow E</math> |
|||
|- |
|||
|class="hintergrundfarbe5"| von <math>B</math> … |
|||
| [[Datei:Schulze method example1 BA.svg|ohne|150px|B–<u>(25)</u>–A]] |
|||
<math>B\overset{\underline{25}}\longrightarrow A</math> |
|||
|class="hintergrundfarbe5"| |
|||
| [[Datei:Schulze method example1 BC.svg|ohne|150px|B–(33)–D–<u>(28)</u>–C]] |
|||
<math>B\overset{33}\longrightarrow D\overset{\underline{28}}\longrightarrow C</math> |
|||
| [[Datei:Schulze method example1 BD.svg|ohne|150px|B-<u>(33)</u>-D]] |
|||
<math>B\overset{\underline{33}}\longrightarrow D</math> |
|||
| [[Datei:Schulze method example1 BE.svg|ohne|150px|B-(33)-D-(28)-C-<u>(24)</u>-E]] |
|||
<math>B\overset{33}\longrightarrow D\overset{28}\longrightarrow C\overset{\underline{24}}\longrightarrow E</math> |
|||
|- |
|||
|class="hintergrundfarbe5"| von <math>C</math> … |
|||
| [[Datei:Schulze method example1 CA.svg|ohne|150px|C-(29)-B-<u>(25)</u>-A]] |
|||
<math>C\overset{29}\longrightarrow B\overset{\underline{25}}\longrightarrow A</math> |
|||
| [[Datei:Schulze method example1 CB.svg|ohne|150px|C-<u>(29)</u>-B]] |
|||
<math>C\overset{\underline{29}}\longrightarrow B</math> |
|||
|class="hintergrundfarbe5"| |
|||
| [[Datei:Schulze method example1 CD.svg|ohne|150px|C-<u>(29)</u>-B-(33)-D]] |
|||
<math>C\overset{\underline{29}}\longrightarrow B\overset{33}\longrightarrow D</math> |
|||
| [[Datei:Schulze method example1 CE.svg|ohne|150px|C-<u>(24)</u>-E]] |
|||
<math>C\overset{\underline{24}}\longrightarrow E</math> |
|||
|- |
|||
|class="hintergrundfarbe5"| von <math>D</math> … |
|||
| [[Datei:Schulze method example1 DA.svg|ohne|150px|D-(28)-C-(29)-B-<u>(25)</u>-A]] |
|||
<math>D\overset{28}\longrightarrow C\overset{29}\longrightarrow B\overset{\underline{25}}\longrightarrow A</math> |
|||
| [[Datei:Schulze method example1 DB.svg|ohne|150px|D-<u>(28)</u>-C-(29)-B]] |
|||
<math>D\overset{\underline{28}}\longrightarrow C\overset{29}\longrightarrow B</math> |
|||
| [[Datei:Schulze method example1 DC.svg|ohne|150px|D-<u>(28)</u>-C]] |
|||
<math>D\overset{\underline{28}}\longrightarrow C</math> |
|||
|class="hintergrundfarbe5"| |
|||
| [[Datei:Schulze method example1 DE.svg|ohne|150px|D-(28)-C-<u>(24)</u>-E]] |
|||
<math>D\overset{28}\longrightarrow C\overset{\underline{24}}\longrightarrow E</math> |
|||
|- |
|||
|class="hintergrundfarbe5"| von <math>E</math> … |
|||
| [[Datei:Schulze method example1 EA.svg|ohne|150px|E-(31)-D-(28)-C-(29)-B-<u>(25)</u>-A]] |
|||
<math>E\overset{31}\longrightarrow D\overset{28}\longrightarrow C\overset{29}\longrightarrow B\overset{\underline{25}}\longrightarrow A</math> |
|||
| [[Datei:Schulze method example1 EB.svg|ohne|150px|E-(31)-D-<u>(28)</u>-C-(29)-B]] |
|||
<math>E\overset{31}\longrightarrow D\overset{\underline{28}}\longrightarrow C\overset{29}\longrightarrow B</math> |
|||
| [[Datei:Schulze method example1 EC.svg|ohne|150px|E-(31)-D-<u>(28)</u>-C]] |
|||
<math>E\overset{31}\longrightarrow D\overset{\underline{28}}\longrightarrow C</math> |
|||
| [[Datei:Schulze method example1 ED.svg|ohne|150px|E-<u>(31)</u>-D]] |
|||
<math>E\overset{\underline{31}}\longrightarrow D</math> |
|||
|class="hintergrundfarbe5"| |
|||
|} |
|||
==== Die Stärken der stärksten Wege ==== |
|||
:Ein ''Weg'' (''path'') von Kandidat X nach Kandidat Y der Stärke p ist ein geordneter Set von Kandidaten C(1),...,C(n) mit den folgenden Eigenschaften: |
|||
Das schwächste Glied der stärksten Verbindung, wie oben gefunden, wird in eine Tabelle eingetragen. Dann wird wieder paarweise verglichen, wer wen schlägt, in der Tabelle unten wieder rot markiert. |
|||
{| class="wikitable hintergrundfarbe-basis" style="border: 0; text-align: center;" |
|||
::# C(1) ist identisch mit X. |
|||
|- |
|||
::# C(n) ist identisch mit Y. |
|||
|style="border-top:0;border-left:0;"| |
|||
::# Für i = 1,...,(n-1): S[C(i),C(i+1)] ≥ p. |
|||
|class="hintergrundfarbe5"| <math>p[\ast,A]</math> |
|||
|class="hintergrundfarbe5"| <math>p[\ast,B]</math> |
|||
:Gibt es einen Weg vom Kandidaten A zum Kandidaten B der Stärke p und gibt es '''keinen''' Weg vom Kandidaten B zum Kandidaten A der Stärke p, dann wird Kandidat B mit der Wahrscheinlichkeit 0 gewählt. |
|||
|class="hintergrundfarbe5"| <math>p[\ast,C]</math> |
|||
|class="hintergrundfarbe5"| <math>p[\ast,D]</math> |
|||
Es läßt sich zeigen, daß die Stärken der Wege stets transitiv sind. Das heißt: Es existiert stets mindestens ein Kandidat, der nicht gemäß der obigen Regel disqualifiziert wird. |
|||
|class="hintergrundfarbe5"| <math>p[\ast,E]</math> |
|||
|- |
|||
Ferner läßt sich zeigen, daß, sofern es keine paarweisen Siege CD und EF mit exakt gleicher Stärke S[C,D] = S[E,F] gibt, es stets exakt einen Kandidaten gibt, der gemäß der obigen Regel nicht disqualifiziert wird. |
|||
|class="hintergrundfarbe5"| <math>p[A,\ast]</math> |
|||
|class="hintergrundfarbe5"| ||style="background:#FEDBCA; color:#202122;"| 28 ||style="background:#FEDBCA; color:#202122;"| 28 ||style="background:#FEDBCA; color:#202122;"|30 || 24 |
|||
=== Formulierung 2 === |
|||
|- |
|||
|class="hintergrundfarbe5"| <math>p[B,\ast]</math> |
|||
Alternativ läßt sich die Schulze-Methode folgendermaßen beschreiben: |
|||
| 25 ||class="hintergrundfarbe5"| || 28 ||style="background:#FEDBCA; color:#202122;"|33 || 24 |
|||
|- |
|||
|class="hintergrundfarbe5"| <math>p[C,\ast]</math> |
|||
| 25 ||style="background:#FEDBCA; color:#202122;"| 29 ||class="hintergrundfarbe5"| ||style="background:#FEDBCA; color:#202122;"| 29 || 24 |
|||
|- |
|||
|class="hintergrundfarbe5"| <math>p[D,\ast]</math> |
|||
| 25 || 28 || 28 ||class="hintergrundfarbe5"| || 24 |
|||
|- |
|||
|class="hintergrundfarbe5"| <math>p[E,\ast]</math> |
|||
|style="background:#FEDBCA; color:#202122;"| 25 ||style="background:#FEDBCA; color:#202122;"| 28 ||style="background:#FEDBCA; color:#202122;"| 28 ||style="background:#FEDBCA; color:#202122;"|31 ||class="hintergrundfarbe5"| |
|||
|} |
|||
==== Ergebnis ==== |
|||
:Ein ''Weg'' (''path'') von Kandidat X nach Kandidat Y ist ein geordneter Set von Kandidaten C(1),...,C(n) mit den folgenden Eigenschaften: |
|||
Sieger nach der Schulze-Methode ist Kandidat <math>E</math>, da <math>p[E,X] \ge p[X,E]</math> ist für jeden anderen Kandidaten <math>X</math>. |
|||
::# C(1) ist identisch mit X. |
|||
::# C(n) ist identisch mit Y. |
|||
* Wegen <math>25 = p[E,A] > p[A,E] = 24</math> ist Kandidat <math>E</math> ''besser'' als Kandidat <math>A</math>. |
|||
:Die ''Stärke'' des Weges C(1),...,C(n) ist min { S[C(i),C(i+1)] | i = 1,...,(n-1) }. |
|||
* Wegen <math>28 = p[E,B] > p[B,E] = 24</math> ist Kandidat <math>E</math> ''besser'' als Kandidat <math>B</math>. |
|||
* Wegen <math>28 = p[E,C] > p[C,E] = 24</math> ist Kandidat <math>E</math> ''besser'' als Kandidat <math>C</math>. |
|||
* Wegen <math>31 = p[E,D] > p[D,E] = 24</math> ist Kandidat <math>E</math> ''besser'' als Kandidat <math>D</math>. |
|||
* Wegen <math>28 = p[A,B] > p[B,A] = 25</math> ist Kandidat <math>A</math> ''besser'' als Kandidat <math>B</math>. |
|||
* Wegen <math>28 = p[A,C] > p[C,A] = 25</math> ist Kandidat <math>A</math> ''besser'' als Kandidat <math>C</math>. |
|||
* Wegen <math>30 = p[A,D] > p[D,A] = 25</math> ist Kandidat <math>A</math> ''besser'' als Kandidat <math>D</math>. |
|||
* Wegen <math>29 = p[C,B] > p[B,C] = 28</math> ist Kandidat <math>C</math> ''besser'' als Kandidat <math>B</math>. |
|||
* Wegen <math>29 = p[C,D] > p[D,C] = 28</math> ist Kandidat <math>C</math> ''besser'' als Kandidat <math>D</math>. |
|||
* Wegen <math>33 = p[B,D] > p[D,B] = 28</math> ist Kandidat <math>B</math> ''besser'' als Kandidat <math>D</math>. |
|||
Das Schulze-Ranking ist somit <math>E > A > C > B > D</math>. |
|||
:Mit anderen Worten: Die Stärke eines Weges ist die Stärke seines schwächsten Sieges. |
|||
=== Beispiel 2 === |
|||
:p[A,B] : = max { min { S[C(i),C(i+1)] | i = 1,...,(n-1) } | C(1),...,C(n) ist ein Weg von Kandidat A nach Kandidat B }. |
|||
{| class="wikitable hintergrundfarbe-basis" style="border: 0; text-align: center;" |
|||
:Mit anderen Worten: p[A,B] ist die Stärke des stärksten Weges von Kandidat A nach Kandidat B. |
|||
:Kandidat A ist ein ''potentieller Sieger'', dann und nur dann wenn p[A,B] ≥ p[B,A] ist für jeden anderen Kandidaten B. |
|||
Es läßt sich zeigen, daß es stets mindestens einen potentiellen Sieger gibt. |
|||
Ferner läßt sich zeigen, daß, sofern es keine paarweisen Siege CD und EF mit exakt gleicher Stärke S[C,D] = S[E,F] gibt, es stets exakt einen potentiellen Sieger gibt. |
|||
Ferner läßt sich zeigen, daß mit Hilfe des [[Algorithmus von Dijkstra|Dijkstra-Algorithmus']] oder des [[Algorithmus von Floyd und Warshall|Floyd-Warshall-Algorithmus']] in einer Laufzeit von O(N^3) sämtliche p[X,Y] berechnet werden können, wobei N die Anzahl der Kandidaten ist. |
|||
== Beispiele == |
|||
=== Beispiel 1 === |
|||
Beispiel (45 Wähler; 5 Kandidaten): |
|||
:5 ACBED |
|||
:5 ADECB |
|||
:8 BEDAC |
|||
:3 CABED |
|||
:7 CAEBD |
|||
:2 CBADE |
|||
:7 DCEBA |
|||
:8 EBADC |
|||
{| {{prettytable}} |
|||
|- |
|- |
||
! 1 |
|||
! !!bgcolor=#ddffdd| d[*,A] !!bgcolor=#ddffdd| d[*,B] !!bgcolor=#ddffdd| d[*,C] !!bgcolor=#ddffdd| d[*,D] !!bgcolor=#ddffdd| d[*,E] |
|||
| <math>A</math> |
|||
| <math>D</math> |
|||
| <math>D</math> |
|||
| <math>C</math> |
|||
|- |
|- |
||
! 2 |
|||
!bgcolor=#ddffdd| d[A,*] |
|||
| <math>B</math> |
|||
| || 20 || 26 || 30 || 22 |
|||
| <math>A</math> |
|||
| <math>B</math> |
|||
| <math>B</math> |
|||
|- |
|- |
||
! 3 |
|||
!bgcolor=#ddffdd| d[B,*] |
|||
| <math>C</math> |
|||
| 25 || || 16 || 33 || 18 |
|||
| <math>B</math> |
|||
| <math>C</math> |
|||
| <math>D</math> |
|||
|- |
|- |
||
! 4 |
|||
!bgcolor=#ddffdd| d[C,*] |
|||
| <math>D</math> |
|||
| 19 || 29 || || 17 || 24 |
|||
| <math>C</math> |
|||
| <math>A</math> |
|||
| <math>A</math> |
|||
|- |
|- |
||
|style="border-bottom:0;border-left:0;"| |
|||
!bgcolor=#ddffdd| d[D,*] |
|||
! style="width:30px"| <math>3</math> |
|||
| 15 || 12 || 28 || || 14 |
|||
! style="width:30px"| <math>2</math> |
|||
|- |
|||
! style="width:30px"| <math>2</math> |
|||
!bgcolor=#ddffdd| d[E,*] |
|||
! style="width:30px"| <math>2</math> |
|||
| 23 || 27 || 21 || 31 || |
|||
|- |
|||
|+Die paarweise Matrix sieht folgendermaßen aus: |
|||
|} |
|} |
||
==== Paarweise Matrix ==== |
|||
Wenn alle Wähler ein komplettes Ranking abgeben, sind alle Definitionen für die Stärke eines paarweisen Sieges äquivalent. Wir können also [[O. B. d. A.|o.B.d.A.]] annehmen, daß die Stärke eines paarweisen Sieges über ''winning votes'' definiert ist. |
|||
{| class="wikitable hintergrundfarbe-basis" style="border: 0; text-align: center;" |
|||
{| {{prettytable}} |
|||
|- |
|- |
||
|style="border-top:0;border-left:0;"| |
|||
! !!bgcolor=#ddffdd| ... nach A !!bgcolor=#ddffdd| ... nach B !!bgcolor=#ddffdd| ... nach C !!bgcolor=#ddffdd| ... nach D !!bgcolor=#ddffdd| ... nach E |
|||
|class="hintergrundfarbe5"| <math>d[\ast,A]</math> |
|||
|class="hintergrundfarbe5"| <math>d[\ast,B]</math> |
|||
|class="hintergrundfarbe5"| <math>d[\ast,C]</math> |
|||
|class="hintergrundfarbe5"| <math>d[\ast,D]</math> |
|||
|- |
|- |
||
|class="hintergrundfarbe5"| <math>d[A,\ast]</math> |
|||
!bgcolor=#ddffdd| von A ... |
|||
|class="hintergrundfarbe5"| ||style="background:#FEDBCA; color:#202122;"| 5 ||style="background:#FEDBCA; color:#202122;"| 5 || 3 |
|||
| || A-(30)-D-(28)-C-(29)-B || A-(30)-D-(28)-C || A-(30)-D || A-(30)-D-(28)-C-(24)-E |
|||
|- |
|- |
||
|class="hintergrundfarbe5"| <math>d[B,\ast]</math> |
|||
!bgcolor=#ddffdd| von B ... |
|||
| 4 ||class="hintergrundfarbe5"| ||style="background:#FEDBCA; color:#202122;"| 7 ||style="background:#FEDBCA; color:#202122;"| 5 |
|||
| B-(25)-A || || B-(33)-D-(28)-C || B-(33)-D || B-(33)-D-(28)-C-(24)-E |
|||
|- |
|- |
||
|class="hintergrundfarbe5"| <math>d[C,\ast]</math> |
|||
!bgcolor=#ddffdd| von C ... |
|||
| 4 || 2 ||class="hintergrundfarbe5"| ||style="background:#FEDBCA; color:#202122;"| 5 |
|||
| C-(29)-B-(25)-A || C-(29)-B || || C-(29)-B-(33)-D || C-(24)-E |
|||
|- |
|- |
||
|class="hintergrundfarbe5"| <math>d[D,\ast]</math> |
|||
!bgcolor=#ddffdd| von D ... |
|||
|style="background:#FEDBCA; color:#202122;"| 6 || 4 || 4 ||class="hintergrundfarbe5"| |
|||
| D-(28)-C-(29)-B-(25)-A || D-(28)-C-(29)-B || D-(28)-C || || D-(28)-C-(24)-E |
|||
|- |
|||
!bgcolor=#ddffdd| von E ... |
|||
| E-(31)-D-(28)-C-(29)-B-(25)-A || E-(31)-D-(28)-C-(29)-B || E-(31)-D-(28)-C || E-(31)-D || |
|||
|- |
|||
|+Die stärksten Wege sind: |
|||
|} |
|} |
||
==== Paarweiser Graph ==== |
|||
{| {{prettytable}} |
|||
[[Datei:Schulze method example4.svg|rahmenlos|klasse=skin-invert|ohne|210px]] |
|||
==== Die stärksten Wege ==== |
|||
Die kritischen Siege der stärksten Wege sind <u>unterstrichen</u>. |
|||
{| class="wikitable hintergrundfarbe-basis skin-invert-image" style="border: 0; text-align: center;" |
|||
|- |
|- |
||
|style="border-top:0;border-left:0;"| |
|||
! !!bgcolor=#ddffdd| p[*,A] !!bgcolor=#ddffdd| p[*,B] !!bgcolor=#ddffdd| p[*,C] !!bgcolor=#ddffdd| p[*,D] !!bgcolor=#ddffdd| p[*,E] |
|||
|class="hintergrundfarbe5"| … nach <math>A</math> |
|||
|class="hintergrundfarbe5"| … nach <math>B</math> |
|||
|class="hintergrundfarbe5"| … nach <math>C</math> |
|||
|class="hintergrundfarbe5"| … nach <math>D</math> |
|||
|- |
|- |
||
|class="hintergrundfarbe5"| von <math>A</math> … |
|||
!bgcolor=#ddffdd| p[A,*] |
|||
|class="hintergrundfarbe5"| |
|||
| || 28 || 28 || 30 || 24 |
|||
| [[Datei:Schulze method example4 AB.svg|ohne|120px]] |
|||
<math>A\overset{\underline{5}}\longrightarrow B</math> |
|||
| [[Datei:Schulze method example4 AC.svg|ohne|120px]] |
|||
<math>A\overset{\underline{5}}\longrightarrow C</math> |
|||
| [[Datei:Schulze method example4 AD.svg|ohne|120px]] |
|||
<math>A\overset{\underline{5}}\longrightarrow B\overset{\underline{5}}\longrightarrow D</math> |
|||
|- |
|||
|class="hintergrundfarbe5"| von <math>B</math> … |
|||
| [[Datei:Schulze method example4 BA.svg|ohne|120px]] |
|||
<math>B\overset{\underline{5}}\longrightarrow D\overset{6}\longrightarrow A</math> |
|||
|class="hintergrundfarbe5"| |
|||
| [[Datei:Schulze method example4 BC.svg|ohne|120px]] |
|||
<math>B\overset{\underline{7}}\longrightarrow C</math> |
|||
| [[Datei:Schulze method example4 BD.svg|ohne|120px]] |
|||
<math>B\overset{\underline{5}}\longrightarrow D</math> |
|||
|- |
|||
|class="hintergrundfarbe5"| von <math>C</math> … |
|||
| [[Datei:Schulze method example4 CA.svg|ohne|120px]] |
|||
<math>C\overset{\underline{5}}\longrightarrow D\overset{6}\longrightarrow A</math> |
|||
| [[Datei:Schulze method example4 CB.svg|ohne|120px]] |
|||
<math>C\overset{\underline{5}}\longrightarrow D\overset{6}\longrightarrow A\overset{\underline{5}}\longrightarrow B</math> |
|||
|class="hintergrundfarbe5"| |
|||
| [[Datei:Schulze method example4 CD.svg|ohne|120px]] |
|||
<math>C\overset{\underline{5}}\longrightarrow D</math> |
|||
|- |
|||
|class="hintergrundfarbe5"| von <math>D</math> … |
|||
| [[Datei:Schulze method example4 DA.svg|ohne|120px]] |
|||
<math>D\overset{\underline{6}}\longrightarrow A</math> |
|||
| [[Datei:Schulze method example4 DB.svg|ohne|120px]] |
|||
<math>D\overset{6}\longrightarrow A\overset{\underline{5}}\longrightarrow B</math> |
|||
| [[Datei:Schulze method example4 DC.svg|ohne|120px]] |
|||
<math>D\overset{6}\longrightarrow A\overset{\underline{5}}\longrightarrow C</math> |
|||
|class="hintergrundfarbe5"| |
|||
|} |
|||
==== Die Stärken der stärksten Wege ==== |
|||
Das schwächste Glied der stärksten Verbindung wie oben gefunden, wird in eine Tabelle eingetragen. Dann wird wieder paarweise verglichen, wer wen schlägt, in der Tabelle unten wieder rot markiert. Violett markiert ist jeder Gleichstand. |
|||
{| class="wikitable hintergrundfarbe-basis" style="border: 0; text-align: center;" |
|||
|- |
|- |
||
|style="border-top:0;border-left:0;"| |
|||
!bgcolor=#ddffdd| p[B,*] |
|||
|class="hintergrundfarbe5"| <math>p[\ast,A]</math> |
|||
| 25 || || 28 || 33 || 24 |
|||
|class="hintergrundfarbe5"| <math>p[\ast,B]</math> |
|||
|class="hintergrundfarbe5"| <math>p[\ast,C]</math> |
|||
|class="hintergrundfarbe5"| <math>p[\ast,D]</math> |
|||
|- |
|- |
||
|class="hintergrundfarbe5"| <math>p[A,\ast]</math> |
|||
!bgcolor=#ddffdd| p[C,*] |
|||
|class="hintergrundfarbe5"| ||style="background:#DBCAFE; color:#202122;"| 5 ||style="background:#DBCAFE; color:#202122;"| 5 || 5 |
|||
| 25 || 29 || || 29 || 24 |
|||
|- |
|- |
||
|class="hintergrundfarbe5"| <math>p[B,\ast]</math> |
|||
!bgcolor=#ddffdd| p[D,*] |
|||
|style="background:#DBCAFE; color:#202122;"| 5 ||class="hintergrundfarbe5"| ||style="background:#FEDBCA; color:#202122;"| 7 ||style="background:#DBCAFE; color:#202122;"| 5 |
|||
| 25 || 28 || 28 || || 24 |
|||
|- |
|- |
||
|class="hintergrundfarbe5"| <math>p[C,\ast]</math> |
|||
!bgcolor=#ddffdd| p[E,*] |
|||
|style="background:#DBCAFE; color:#202122;"| 5 || 5 ||class="hintergrundfarbe5"| ||style="background:#DBCAFE; color:#202122;"| 5 |
|||
| 25 || 28 || 28 || 31 || |
|||
|- |
|- |
||
|class="hintergrundfarbe5"| <math>p[D,\ast]</math> |
|||
|+Die Stärken der stärksten Wege sind: |
|||
|style="background:#FEDBCA; color:#202122;"| 6 ||style="background:#DBCAFE; color:#202122;"| 5 ||style="background:#DBCAFE; color:#202122;"| 5 ||class="hintergrundfarbe5"| |
|||
|} |
|} |
||
==== Ergebnis ==== |
|||
Sieger nach der Schulze-Methode ist Kandidat E, da p[E,X] ≥ p[X,E] ist für jeden anderen Kandidaten X. |
|||
Potentielle Sieger nach der Schulze-Methode sind somit Kandidat <math>B</math> und Kandidat <math>D</math>, da |
|||
== Eigenschaften == |
|||
:<math>p[B,X] \ge p[X,B]</math> ist für jeden anderen Kandidaten <math>X</math> und |
|||
:<math>p[D,Y] \ge p[Y,D]</math> ist für jeden anderen Kandidaten <math>Y</math>. |
|||
Wegen <math>7 = p[B,C] > p[C,B] = 5</math> ist Kandidat <math>B</math> ''besser'' als Kandidat <math>C</math>. |
|||
Die Schulze-Methode erfüllt die folgenden Kriterien: |
|||
Wegen <math>6 = p[D,A] > p[A,D] = 5</math> ist Kandidat <math>D</math> ''besser'' als Kandidat <math>A</math>. |
|||
# [[:en:Majority criterion|Majority criterion]] |
|||
# [[:en:Mutual majority criterion|Mutual majority criterion]] |
|||
# [[:en:Monotonicity criterion|Monotonicity criterion]] ([[Aka|a.k.a.]] mono-raise) |
|||
# [[:en:Pareto efficiency|Pareto criterion]] |
|||
# [[Condorcet-Methode|Condorcet criterion]] ([[Aka|a.k.a.]] [[Condorcet-Methode|Condorcet winner criterion]]) |
|||
# [[:en:Condorcet loser criterion|Condorcet loser criterion]] |
|||
# [[:en:Smith set|Smith criterion]] ([[Aka|a.k.a.]] [[:en:Generalized Condorcet criterion|Generalized Condorcet criterion]]) |
|||
# [[:en:Independence of irrelevant alternatives|Local independence from irrelevant alternatives]] |
|||
# [[:en:Schwartz set|Schwartz criterion]] |
|||
# [[:en:Strategy-Free criterion|Strategy-Free criterion]] |
|||
# [[:en:Generalized Strategy-Free criterion|Generalized Strategy-Free criterion]] |
|||
# [[:en:Strong Defensive Strategy criterion|Strong Defensive Strategy criterion]] |
|||
# [[:en:Weak Defensive Strategy criterion|Weak Defensive Strategy criterion]] |
|||
# [[:en:Summability criterion|Summability criterion]] |
|||
# [[:en:Strategic nomination|Independence of clones]] (Siehe [[:en:Clone (voting)|clones]]!) |
|||
# [[Arrow-Theorem|nicht-diktatorisch]] |
|||
# [[Arrow-Theorem|Universalität]] |
|||
# [http://wiki.electorama.com/wiki/Plurality_criterion Woodall's plurality criterion] |
|||
# [http://wiki.electorama.com/wiki/CDTT Woodall's CDTT criterion] |
|||
# [http://wiki.electorama.com/wiki/Minimal_Defense_criterion Minimal Defense criterion] |
|||
# Resolvability (Siehe Kapitel 5.3 dieses [http://www.citizensassembly.bc.ca/resources/submissions/csharman-10_0409201706-143.pdf Papers] ([[PDF]])!) |
|||
# Reversal symmetry (Siehe Kapitel 5.5 dieses [http://www.citizensassembly.bc.ca/resources/submissions/csharman-10_0409201706-143.pdf Papers] ([[PDF]])!) |
|||
# [http://www.mcdougall.org.uk/VM/ISSUE3/P5.HTM mono-append] |
|||
# [http://www.mcdougall.org.uk/VM/ISSUE3/P5.HTM mono-add-plump] |
|||
Mögliche Schulze-Rankings sind somit |
|||
Die Schulze-Methode verletzt die folgenden Kriterien: |
|||
* <math>B > C > D > A</math>, |
|||
* <math>B > D > A > C</math>, |
|||
* <math>B > D > C > A</math>, |
|||
* <math>D > A > B > C</math>, |
|||
* <math>D > B > A > C</math> und |
|||
* <math>D > B > C > A</math>. |
|||
== Implementierung == |
|||
# alle Kriterien, die mit dem [[Condorcet-Methode|Condorcet-Kriterium]] unvereinbar sind (z.B. [[Arrow-Theorem|independence from irrelevant alternatives]], [[:en:Participation criterion|participation]], [[:en:Consistency criterion for voting systems|consistency]], [[:en:Tactical voting|invulnerability to compromising]], [[:en:Tactical voting|invulnerability to burying]], [[:en:Favorite Betrayal criterion|Favorite Betrayal criterion]], [http://wiki.electorama.com/wiki/Later-no-harm_criterion later-no-harm]) |
|||
Sei <code>C</code> die Anzahl der Kandidaten. Dann lassen sich die Stärken der stärksten Wege mit Hilfe des [[Algorithmus von Floyd und Warshall]] berechnen. |
|||
== Unterschiedliche Heuristiken == |
|||
Input: <code>d[i,j]</code> ist die Anzahl der Wähler, die den Kandidaten <code>i</code> dem Kandidaten <code>j</code> strikt vorziehen. |
|||
Es existieren zahlreiche Heuristiken für die Schulze-Methode. Aus Gründen der Einfachheit wird in diesem Artikel jedoch nur die Wege-Heuristik benutzt. |
|||
Output: <code>p[i,j]</code> ist die Stärke des stärksten Weges vom Kandidaten <code>i</code> zum Kandidaten <code>j</code>. |
|||
Angenommen, d[X,Y] ist die Anzahl der Wähler, die den Kandidaten X dem Kandidaten Y strikt vorziehen. In der graphentheoretischen Interpretation von Wahlen ist dann S(d[X,X],d[Y,X]) das Gewicht des Bogens vom Knoten X zum Knoten Y. |
|||
=== Beispiel einer Implementierung in Pascal === |
|||
=== Wege-Heuristik === |
|||
<syntaxhighlight lang="pascal"> |
|||
Grundidee der Wege-Heuristik ("beatpath method", "beatpath winner", "path voting", "path winner", "strong immunity from binary arguments") ist, daß die ''Stärke'' des indirekten Vergleiches "Kandidat A vs. Kandidat B" die ''Stärke'' p[A,B] des stärksten gerichteten Weges A = C(1), ..., C(n) = B vom Kandidaten A zum Kandidaten B ist und daß die ''Stärke'' eines Weges die ''Stärke'' seines ''schwächsten Sieges'' ist. |
|||
for i := 1 to C do |
|||
begin |
|||
for j := 1 to C do |
|||
begin |
|||
if ( i <> j ) then |
|||
begin |
|||
if ( d[i,j] > d[j,i] ) then |
|||
begin |
|||
p[i,j] := d[i,j] |
|||
end |
|||
else |
|||
begin |
|||
p[i,j] := 0 |
|||
end |
|||
end |
|||
end |
|||
end |
|||
for i := 1 to C do |
|||
=== Schwartz-Heuristik === |
|||
begin |
|||
for j := 1 to C do |
|||
begin |
|||
if ( i <> j ) then |
|||
begin |
|||
for k := 1 to C do |
|||
begin |
|||
if ( i <> k ) then |
|||
begin |
|||
if ( j <> k ) then |
|||
begin |
|||
p[j,k] := max ( p[j,k], min ( p[j,i], p[i,k] ) ) |
|||
end |
|||
end |
|||
end |
|||
end |
|||
end |
|||
end |
|||
</syntaxhighlight> |
|||
== Heuristiken und Eigenschaften == |
|||
Bei der Schwartz-Heuristik ("Schwartz Sequential Dropping", "Cloneproof Schwartz Sequential Dropping") werden in jedem Schritt zunächst der [[:en:Schwartz set|Schwartz-Set]] berechnet und alle Kandidaten, die sich nicht in diesem Set befinden, eliminiert und anschließend der schwächste paarweise Sieg durch eine paarweise Stimmengleichheit ersetzt. Dies wird so lange wiederholt, bis entweder nur noch ein einziger Kandidat übriggeblieben ist oder alle paarweisen Siege durch paarweise Stimmengleichheiten ersetzt worden sind. |
|||
Spezielle [[Heuristik]]en der Schulze-Methode sind auch bekannt unter den Namen ''Beatpath'', ''Beatpaths'', ''Beatpath Method'', ''Beatpath Winner'', ''Path Voting'', ''Path Winner'', ''Schwartz Sequential Dropping'' (SSD) und ''Cloneproof Schwartz Sequential Dropping'' (CSSD). |
|||
Die Schulze-Methode erfüllt die folgenden Kriterien<ref>Markus Schulze: [http://m-schulze.9mail.de/schulze1.pdf ''A new monotonic, clone-independent, reversal symmetric, and Condorcet-consistent single-winner election method''.] (PDF; 1,4 MB) Juli 2007 (englisch)</ref><ref>D. R. Woodall: [http://www.votingmatters.org.uk/ISSUE3/P5.HTM ''Properties of Preferential Election Rules''.] Dezember 1994 (englisch)</ref> (Zur Erläuterung der wichtigsten Kriterien siehe [[Sozialwahltheorie#Qualitätskriterien|Abschnitt Qualitätskriterien]] im Artikel ''Sozialwahltheorie''): |
|||
=== Baum-Heuristik === |
|||
# Majority criterion |
|||
# Mutual majority criterion |
|||
# Monotonicity criterion (auch bezeichnet als non-negative responsiveness, mono-raise) |
|||
# Pareto criterion |
|||
# [[Condorcet-Methode#Condorcet-Kriterium|Condorcet-Kriterium]] |
|||
# [[Condorcet-Methode#Condorcet-Verliererkriterium|Condorcet-Verlierer-Kriterium]] |
|||
# Smith criterion (auch bezeichnet als Generalized Condorcet criterion) |
|||
# Local independence from irrelevant alternatives |
|||
# [[Schwartz-Menge|Schwartz-Kriterium]] |
|||
# Strategy-Free criterion |
|||
# Generalized Strategy-Free criterion |
|||
# Strong Defensive Strategy criterion |
|||
# Weak Defensive Strategy criterion |
|||
# Summability criterion |
|||
# Independence of clones |
|||
# [[Arrow-Theorem|nicht-diktatorisch]] |
|||
# [[Arrow-Theorem|Universalität]] |
|||
# Woodall’s plurality criterion |
|||
# Woodall’s CDTT criterion |
|||
# Minimal Defense criterion |
|||
# Resolvability |
|||
# Reversal symmetry |
|||
# mono-append |
|||
# mono-add-plump |
|||
Die Schulze-Methode verletzt |
|||
Bei der Baum-Heuristik ("sequential dropping towards a spanning tree") wird der gerichtete spannende Baum (''arborescence'') berechnet, bei dem der Vektor, in dem die Gewichte der Bögen in aufsteigender Reihenfolge sortiert worden sind, lexikographisch maximal ist. Der Sieger ist die Wurzel dieses gerichteten Baumes. |
|||
# das [[Majority Judgment#Konsistenzkriterium|Konsistenzkriterium]], |
|||
# das Partizipationskriterium, |
|||
# die Unabhängigkeit von irrelevanten Alternativen |
|||
# sowie das Favorite-betrayal-Kriterium. |
|||
== Anwendungen == |
== Anwendungen == |
||
[[Datei:Voting2.png|mini|klasse=skin-invert-image|Muster für die elektronischen Stimmzettel für die Wahlen zum Kuratorium der Wikimedia Foundation]] |
|||
Die Schulze-Methode wird derzeit nicht in öffentlichen Wahlen angewandt. Sie findet jedoch mehr und mehr Anwendung in Privatorganisationen. |
|||
Die Schulze-Methode wird derzeit nicht in staatlichen Wahlen angewandt. Sie findet jedoch mehr und mehr Anwendung in Privatorganisationen. Sie ist u. a. in folgenden Organisationen benutzt worden: |
|||
* [[Wikimedia|Wikimedia Foundation]]<ref>[https://lists.wikimedia.org/pipermail/foundation-l/2008-May/043134.html Board election to use preference voting, Mai 2008]</ref> |
|||
* [[Piratenpartei Deutschland]]<ref>{{Webarchiv |url=http://bremen.piratenpartei.de/Blog/2010-8-13/piraten-starten-grossversuch-zu-direkter-demokratie/ |text=Presseerklärung der Piratenpartei Deutschland |wayback=20110529194940 |archiv-bot=2019-05-12 22:14:03 InternetArchiveBot}}, August 2010</ref> |
|||
* [[Piratpartiet|Piratenpartei Schweden]]<ref>[http://viktualiebrodern.wordpress.com/2010/01/26/probewahl-der-schwedischen-piraten-ergebnis/ Probewahl der schwedischen Piraten], Januar 2010</ref> |
|||
* [[Piratenpartei Österreichs]]<ref>[https://wiki.piratenpartei.at/wiki/BGV2013-01/Protokoll/Wahlergebnisse wiki.piratenpartei.at]</ref> |
|||
* [[Debian]]<ref>[http://www.debian.org/devel/constitution Verfassung für das Debian-Projekt, Anhang A6]</ref> |
|||
* [[Ubuntu (Betriebssystem)|Ubuntu]]<ref>[https://lists.ubuntu.com/archives/ubuntu-irc/2012-May/001538.html Ubuntu IRC Council Position], Mai 2012</ref> |
|||
* [[Software in the Public Interest]]<ref>[http://www.spi-inc.org/corporate/resolutions/2003/2003-01-06.wta.1/ Process for adding new board members, Januar 2003]</ref> |
|||
* [[Gentoo Linux|Gentoo Foundation]] |
|||
* [[Sender Policy Framework]]<ref>{{Webarchiv |url=http://www.openspf.org/Council_Election |text=Council Election Procedures |wayback=20110716065154}}</ref> |
|||
* [[Free Software Foundation Europe|Free Software Foundation Europe (FSFE)]]<ref>§ 6 Absatz 3 der [http://www.fsfeurope.org/about/legal/Constitution.de.pdf Satzung] (PDF; 112 kB)</ref> |
|||
* [[K Desktop Environment|KDE]]<ref>Artikel 3.4.1 der [http://ev.kde.org/rules/online_voting.php Rules of Procedures for Online Voting]</ref> |
|||
* Kingman Hall<ref>[http://zestyping.livejournal.com/111588.html Kingman adopts Condorcet voting, April 2005]</ref> |
|||
* TopCoder |
|||
* [[GNU Privacy Guard]]<ref>{{Webarchiv |url=http://logo-contest.gnupg.org/results.html |text=GnuPG Logo Vote, November 2006 |wayback=20061216125859 |archiv-bot=2019-05-12 22:14:03 InternetArchiveBot}}</ref> |
|||
* Golden Geek Award<ref>[http://boardgamegeek.com/thread/851248/2012-golden-geek-awards-nominations-open-for-boa Golden Geek Awards]</ref> |
|||
* Studierendenrat der [[Albert-Ludwigs-Universität Freiburg]]<ref>{{Internetquelle |autor= |url=https://www.stura.uni-freiburg.de/gremien/studierendenrat/go/at_download/file/Stura-GO_Stand_06_06_2019.pdf |titel=Geschäftsordnung des Studierendenrats der Albert-Ludwigs-Universität Freiburg |werk=stura.uni-freiburg.de |hrsg= |datum=2019-06-06 |format=PDF FDP; 55 kB |offline= |abruf=2025-05-22}}</ref> |
|||
* [[Berufsverband der Kinder- und Jugendärzte]]<ref>[http://www.bvkj.de/der-bvkj/satzung/ Satzung des BVKJ]</ref> |
|||
* [[Deutsche SchülerAkademie#Alumniorganisation|Club der Ehemaligen der Deutschen SchülerAkademien e. V.]]<ref>[https://db.cde-ev.de/doc/Realm_Assembly_Voting-Details.html#id2 Voting Details]</ref> |
|||
== Siehe auch == |
|||
* [[Ranked Pairs]] |
|||
* [[Sozialwahltheorie]] |
|||
* [[Condorcet-Paradoxon]] |
|||
* [[LiquidFeedback]] |
|||
== Literatur == |
|||
* Christoph Börgers: [http://books.google.de/books?id=dccBaphP1G4C&pg=PA37 ''Mathematics of Social Choice: Voting, Compensation, and Division''.] SIAM 2009, ISBN 0-89871-695-0. |
|||
* Saul Stahl, Paul E. Johnson: [http://books.google.de/books?id=CMLL9sVGLb8C&pg=PA119 ''Understanding Modern Mathematics''.] Jones & Bartlett Publishing, London u. a. 2007, ISBN 0-7637-3401-2, S. 119 ff. |
|||
* [[Nicolaus Tideman]]: [http://books.google.de/books?id=RN5q_LuByUoC&pg=PA228 ''Collective Decisions and Voting: The Potential for Public Choice''.] Ashgate Publishing, 2006, ISBN 0-7546-4717-X, S. 228 ff. |
|||
== Weblinks == |
== Weblinks == |
||
{{Commons|Schulze method}} |
|||
Artikel (alle englisch): |
|||
* Rosa Camps, Xavier Mora, Laia Saumell: [http://mat.uab.cat/~xmora/articles/crating.pdf ''A Continuous Rating Method for Preferential Voting''.] (PDF; 1,76 MB) |
|||
# [http://www.mcs.vuw.ac.nz/~ncj/comp303/schulze.pdf A New Monotonic and Clone-Independent Single-Winner Election Method] ([[PDF]]) von Markus Schulze |
|||
* Paul E. Johnson: [http://pj.freefaculty.org/Ukraine/PJ3_VotingSystemsEssay.pdf ''Voting Systems''.] (PDF; 324 kB) |
|||
# [http://cec.wustl.edu/~rhl1/rbvote/desc.html Descriptions of ranked-ballot voting methods] von Rob LeGrand |
|||
* Rob LeGrand: [https://rob-legrand.github.io/ranked-ballot-voting-calculator/old/desc.html ''Descriptions of ranked-ballot voting methods''.] |
|||
# [http://www.condorcet.org/emr/index.shtml Election Methods Resource] von Blake Cretney |
|||
* Rob Loring: [http://accuratedemocracy.com/voting_rules.htm ''Accurate Democracy''.] |
|||
# [http://nodesiege.tripod.com/elections/ Election Methods and Criteria] von Kevin Venzke |
|||
* James D. McCaffrey: [http://msdn.microsoft.com/de-de/magazine/dd148646.aspx ''Testlauf: Gruppenentscheidungen bei Softwaretests''.] MSDN |
|||
# [http://www.ghg.net/redflame/peter/swuusi.pdf Election Systems] ([[PDF]]) von Peter A. Taylor |
|||
* Tommi Meskanen, Hannu Nurmi: [https://www.researchgate.net/profile/Hannu_Nurmi/publication/31597053_Distance_from_Consensus_A_Theme_and_Variations/links/09e415085728bc86ba000000/Distance-from-Consensus-A-Theme-and-Variations.pdf ''Distance from Consensus: a Theme and Variations''.] (PDF; 170 kB) In: Bruno Simeone, Friedrich Pukelsheim (Hrsg.): ''Mathematics and democracy'': recent advances in voting systems and collective choice. Studies in choice and welfare. Springer, Berlin u. a. 2006, ISBN 3-540-35603-7, S. 117–132, hier S. 120 ff. |
|||
# [http://lark.cc.ku.edu/~pauljohn/Ukraine/PJ3_VotingSystemsEssay.pdf Voting Systems] ([[PDF]]) von Paul E. Johnson |
|||
* Massimo Narizzano, Luca Pulina, Armando Tacchella: [https://www.researchgate.net/publication/221153297_Ranking_and_Reputation_Systems_in_the_QBF_Competition ''Ranking and Reputation Systems in the QBF Competition''.] (PDF; 455 kB) In: ''AI*IA ’07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence'' on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing. Springer, Berlin / Heidelberg 2007, ISBN 978-3-540-74781-9. |
|||
# [http://www.alumni.caltech.edu/~seppley The Maximize Affirmed Majorities voting procedure (MAM)] von Steve Eppley (wo die Methode "path winner" genannt wird) |
|||
* Markus Schulze: [http://m-schulze.9mail.de/ Schulze-Methode FAQ] |
|||
* Markus Schulze: [http://www.votingmatters.org.uk/ISSUE17/I17P3.PDF ''A New Monotonic and Clone-Independent Single-Winner Election Method''.] (PDF; 74 kB) In: ''Voting Matters'', 17, 2003, S. 9–19. |
|||
# [http://fc.antioch.edu/~james_green-armytage/vm/survey.htm A Survey of Basic Voting Methods] by James Green-Armytage (wo die Methode "SSD", "CSSD" und "beatpath" genannt wird) |
|||
* Kevin Venzke: [http://nodesiege.tripod.com/elections/ ''Election Methods and Criteria''.] |
|||
# [http://www.barnsdle.demon.co.uk/vote/sing.html Single-Winner Methods] von Mike Ossipoff (wo die Methode "SSD", "CSSD" und "beatpath winner" genannt wird) |
|||
* Jochen Voss: [https://www.seehuhn.de/pages/vote.html ''The Debian Voting System''.] |
|||
# [http://accuratedemocracy.com/voting_rules.htm Accurate Democracy] von Rob Loring (wo die Methode "SSD" and "beatpath" genannt wird) |
|||
* Barry Wright: [https://services.math.duke.edu/~bray/Courses/49s/Senior%20Theses/Barry%20Wright/Barry%20Wright%27s%20Thesis.pdf ''Objective Measures of Preferential Ballot Voting Systems''.] (PDF; 289 kB) Abschlussarbeit Duke University, Durham NC 2009. |
|||
# [http://www-ifm.math.uni-hannover.de/preprints/pr304.pdf Social Choice Under Incomplete, Cyclic Preferences] ([[PDF]]) von Jobst Heitzig (wo die Methode "strong immunity from binary arguments" genannt wird) |
|||
== Einzelnachweise == |
|||
Software: |
|||
<references /> |
|||
# [http://www5.cs.cornell.edu/~andru/civs/ Condorcet Internet Voting Service (CIVS)] von Andrew Myers (wo die Methode "beatpath winner" genannt wird) |
|||
# [http://condorcet.ericgorr.net/ Condorcet Voting Calculator] von Eric Gorr (wo die Schulze-Methode "beatpath winner" genannt wird) |
|||
# [http://betterpolls.com/ BetterPolls.com] von Brian Olson (wo die Methode "beatpath" genannt wird) |
|||
# [http://www.masquilier.org/republic/election/ A different way to vote] von Anguo Ma (wo die Methode "beatpath" genannt wird) |
|||
# [http://vote.sourceforge.net/ Voting Software Project] von Blake Cretney |
|||
# [http://condorcet-dd.sourceforge.net/ Condorcet with Dual Dropping Perl Scripts] von Mathew Goldstein |
|||
[[Kategorie:Wahlverfahren]] |
[[Kategorie:Wahlverfahren]] |
||
[[en:Schulze method]] |
Aktuelle Version vom 23. Mai 2025, 14:33 Uhr
Die Schulze-Methode (nach Markus Schulze) ist ein Wahlverfahren aus der Familie der Vorzugswahlen, mit dem ein einzelner Sieger bestimmt wird. Es ist die derzeit verbreitetste Methode, um Wahlen durchzuführen, bei welchen der Wähler Kandidaten nach Rang ordnet.
Die Schulze-Methode ist eine Condorcet-Methode, d. h., dass sie einen Kandidaten, der im paarweisen Vergleich jeden anderen Kandidaten besiegen würde, als Sieger auswählt, sofern ein solcher existiert.
Markus Schulze hat die Methode 1997 entwickelt. Die ersten Veröffentlichungen datieren von 2003 und 2006.[1][2][3] Verwendet wurde die Schulze-Methode erstmals 2003 (von Software in the Public Interest), 2003 (von Debian) und 2005 (von Gentoo Linux).
Erklärung
[Bearbeiten | Quelltext bearbeiten]Jeder Wähler erhält eine komplette Liste aller Kandidaten. Er reiht die Kandidaten, indem er ihnen Zahlen zuordnet. Eine kleine Zahl ist besser als eine größere, jedoch zählt nur die Reihenfolge. Kandidaten mit gleicher Zahl sind an gleicher Stelle gereiht. Kandidaten ohne Zahl sind gemeinsam an letzter Stelle – so als ob der Wähler ihnen jeweils die größtmögliche Zahl zugeschrieben hätte.
Anzahl der Wähler
[Bearbeiten | Quelltext bearbeiten]Die Anzahl der Wähler, die den Kandidaten dem Kandidaten vorziehen (d. h. die bei eine kleinere Zahl als bei vermerkt haben), wird durch ausgedrückt.
Der Wert von wird aus den Stimmabgaben gezählt
- ist die Zahl der Wähler, die Kandidaten besser als finden.
- ist die Zahl der Wähler, die Kandidaten besser als finden.
Für diese Werte ist es unerheblich, ob noch andere Kandidaten existieren und ob diese besser oder schlechter als und oder zwischen beiden eingestuft werden.
Definition
[Bearbeiten | Quelltext bearbeiten]Die Schulze-Methode ist folgendermaßen definiert:
- Ein Weg (englisch path) vom Kandidaten zum Kandidaten der Stärke ist eine Sequenz von Kandidaten mit den folgenden Eigenschaften:
- , d. h. der Weg beginnt bei .
- , d. h. der Weg endet bei .
- , d. h. jeder Kandidat auf dem Weg gewinnt den paarweisen Vergleich gegen den auf ihn folgenden Kandidaten.
- , d. h. jeder Kandidat auf dem Weg wird gegenüber dem auf ihn folgenden Kandidaten von mindestens Wählern bevorzugt.
- , d. h. wenigstens einer dieser Vergleiche wird von (nur) genau Wählern gestützt.
- Hat ein Weg die Stärke , so werden die Bögen dieses Weges, für die gilt, kritische Siege genannt. Bei ihnen handelt es sich um die schwächsten Siege auf dem Weg.
- , die Stärke des stärksten Weges vom Kandidaten zum Kandidaten , ist der größte Wert, so dass es einen Weg dieser Stärke vom Kandidaten zum Kandidaten gibt. Falls es überhaupt keinen Weg von nach gibt, wird gesetzt.
- Kandidat ist besser als Kandidat genau dann, wenn ist.
- Kandidat ist ein potentieller Sieger genau dann, wenn ist für jeden anderen Kandidaten .
Es lässt sich zeigen, dass die besser-Relation transitiv ist. Es existiert somit stets mindestens ein potentieller Sieger.
Beispiel 1
[Bearbeiten | Quelltext bearbeiten]1 | ||||||||
---|---|---|---|---|---|---|---|---|
2 | ||||||||
3 | ||||||||
4 | ||||||||
5 | ||||||||
Paarweise Matrix
[Bearbeiten | Quelltext bearbeiten]Tabelle, die jeden Kandidaten mit jedem anderen vergleicht. Die rot markierten Felder werden weiter benutzt. Z. B. wurde Kandidat von Stimmen gegenüber bevorzugt.
20 | 26 | 30 | 22 | ||
25 | 16 | 33 | 18 | ||
19 | 29 | 17 | 24 | ||
15 | 12 | 28 | 14 | ||
23 | 27 | 21 | 31 |
Paarweiser Graph
[Bearbeiten | Quelltext bearbeiten]Graph mit gewichteten Pfeilen aus der Tabelle von oben. Man sieht den Pfeil von Kandidat zu Kandidat mit dem Gewicht von aus der obigen Tabelle.
Die stärksten Wege
[Bearbeiten | Quelltext bearbeiten]Von den Verbindungen zwischen Kandidaten wird diejenige gesucht, bei der das schwächste Glied am stärksten ist. Bildlich gesprochen wird die stärkste Kette gesucht. Wie kommt man von nach ?
- Bei über nach ist das schwächste Glied von nach mit .
- Bei über und nach ist das schwächste Glied nach mit . Diese Kette ist stärker und wird nachfolgend verwendet.
Man kann sich den Vorgang beispielsweise aus Sicht eines Transportunternehmens vorstellen, das möglichst viele Pakete auf einmal von einer Stadt in die andere transportieren möchte (egal wie lang der Weg ist). Ohne Zwischenlager kann natürlich nur so viel transportiert werden wie das Fassungsvermögen des kleinsten Transportmittels, das am Weg verwendet wird: Wenn die Pakete zuerst per Fähre, dann per Lastwagen und zuletzt per Güterzug transportiert werden, dann ist wahrscheinlich der Lastwagen am kleinsten. Im Vergleich zu einer anderen Route (die z. B. einen Pickup-Truck enthält) ist der Lastwagen damit das schwächste Glied der stärksten Kette.
Oft wird dieses schwächste Glied der stärksten Kette auch kritischer Sieg genannt. Die kritischen Siege der stärksten Wege sind unterstrichen.
Die Stärken der stärksten Wege
[Bearbeiten | Quelltext bearbeiten]Das schwächste Glied der stärksten Verbindung, wie oben gefunden, wird in eine Tabelle eingetragen. Dann wird wieder paarweise verglichen, wer wen schlägt, in der Tabelle unten wieder rot markiert.
28 | 28 | 30 | 24 | ||
25 | 28 | 33 | 24 | ||
25 | 29 | 29 | 24 | ||
25 | 28 | 28 | 24 | ||
25 | 28 | 28 | 31 |
Ergebnis
[Bearbeiten | Quelltext bearbeiten]Sieger nach der Schulze-Methode ist Kandidat , da ist für jeden anderen Kandidaten .
- Wegen ist Kandidat besser als Kandidat .
- Wegen ist Kandidat besser als Kandidat .
- Wegen ist Kandidat besser als Kandidat .
- Wegen ist Kandidat besser als Kandidat .
- Wegen ist Kandidat besser als Kandidat .
- Wegen ist Kandidat besser als Kandidat .
- Wegen ist Kandidat besser als Kandidat .
- Wegen ist Kandidat besser als Kandidat .
- Wegen ist Kandidat besser als Kandidat .
- Wegen ist Kandidat besser als Kandidat .
Das Schulze-Ranking ist somit .
Beispiel 2
[Bearbeiten | Quelltext bearbeiten]1 | ||||
---|---|---|---|---|
2 | ||||
3 | ||||
4 | ||||
Paarweise Matrix
[Bearbeiten | Quelltext bearbeiten]5 | 5 | 3 | ||
4 | 7 | 5 | ||
4 | 2 | 5 | ||
6 | 4 | 4 |
Paarweiser Graph
[Bearbeiten | Quelltext bearbeiten]
Die stärksten Wege
[Bearbeiten | Quelltext bearbeiten]Die kritischen Siege der stärksten Wege sind unterstrichen.
… nach | … nach | … nach | … nach | |
von … | ![]()
|
![]()
|
![]()
| |
von … | ![]()
|
![]()
|
![]()
| |
von … | ![]()
|
![]()
|
![]()
| |
von … | ![]()
|
![]()
|
![]()
|
Die Stärken der stärksten Wege
[Bearbeiten | Quelltext bearbeiten]Das schwächste Glied der stärksten Verbindung wie oben gefunden, wird in eine Tabelle eingetragen. Dann wird wieder paarweise verglichen, wer wen schlägt, in der Tabelle unten wieder rot markiert. Violett markiert ist jeder Gleichstand.
5 | 5 | 5 | ||
5 | 7 | 5 | ||
5 | 5 | 5 | ||
6 | 5 | 5 |
Ergebnis
[Bearbeiten | Quelltext bearbeiten]Potentielle Sieger nach der Schulze-Methode sind somit Kandidat und Kandidat , da
- ist für jeden anderen Kandidaten und
- ist für jeden anderen Kandidaten .
Wegen ist Kandidat besser als Kandidat .
Wegen ist Kandidat besser als Kandidat .
Mögliche Schulze-Rankings sind somit
- ,
- ,
- ,
- ,
- und
- .
Implementierung
[Bearbeiten | Quelltext bearbeiten]Sei C
die Anzahl der Kandidaten. Dann lassen sich die Stärken der stärksten Wege mit Hilfe des Algorithmus von Floyd und Warshall berechnen.
Input: d[i,j]
ist die Anzahl der Wähler, die den Kandidaten i
dem Kandidaten j
strikt vorziehen.
Output: p[i,j]
ist die Stärke des stärksten Weges vom Kandidaten i
zum Kandidaten j
.
Beispiel einer Implementierung in Pascal
[Bearbeiten | Quelltext bearbeiten]for i := 1 to C do
begin
for j := 1 to C do
begin
if ( i <> j ) then
begin
if ( d[i,j] > d[j,i] ) then
begin
p[i,j] := d[i,j]
end
else
begin
p[i,j] := 0
end
end
end
end
for i := 1 to C do
begin
for j := 1 to C do
begin
if ( i <> j ) then
begin
for k := 1 to C do
begin
if ( i <> k ) then
begin
if ( j <> k ) then
begin
p[j,k] := max ( p[j,k], min ( p[j,i], p[i,k] ) )
end
end
end
end
end
end
Heuristiken und Eigenschaften
[Bearbeiten | Quelltext bearbeiten]Spezielle Heuristiken der Schulze-Methode sind auch bekannt unter den Namen Beatpath, Beatpaths, Beatpath Method, Beatpath Winner, Path Voting, Path Winner, Schwartz Sequential Dropping (SSD) und Cloneproof Schwartz Sequential Dropping (CSSD).
Die Schulze-Methode erfüllt die folgenden Kriterien[4][5] (Zur Erläuterung der wichtigsten Kriterien siehe Abschnitt Qualitätskriterien im Artikel Sozialwahltheorie):
- Majority criterion
- Mutual majority criterion
- Monotonicity criterion (auch bezeichnet als non-negative responsiveness, mono-raise)
- Pareto criterion
- Condorcet-Kriterium
- Condorcet-Verlierer-Kriterium
- Smith criterion (auch bezeichnet als Generalized Condorcet criterion)
- Local independence from irrelevant alternatives
- Schwartz-Kriterium
- Strategy-Free criterion
- Generalized Strategy-Free criterion
- Strong Defensive Strategy criterion
- Weak Defensive Strategy criterion
- Summability criterion
- Independence of clones
- nicht-diktatorisch
- Universalität
- Woodall’s plurality criterion
- Woodall’s CDTT criterion
- Minimal Defense criterion
- Resolvability
- Reversal symmetry
- mono-append
- mono-add-plump
Die Schulze-Methode verletzt
- das Konsistenzkriterium,
- das Partizipationskriterium,
- die Unabhängigkeit von irrelevanten Alternativen
- sowie das Favorite-betrayal-Kriterium.
Anwendungen
[Bearbeiten | Quelltext bearbeiten]
Die Schulze-Methode wird derzeit nicht in staatlichen Wahlen angewandt. Sie findet jedoch mehr und mehr Anwendung in Privatorganisationen. Sie ist u. a. in folgenden Organisationen benutzt worden:
- Wikimedia Foundation[6]
- Piratenpartei Deutschland[7]
- Piratenpartei Schweden[8]
- Piratenpartei Österreichs[9]
- Debian[10]
- Ubuntu[11]
- Software in the Public Interest[12]
- Gentoo Foundation
- Sender Policy Framework[13]
- Free Software Foundation Europe (FSFE)[14]
- KDE[15]
- Kingman Hall[16]
- TopCoder
- GNU Privacy Guard[17]
- Golden Geek Award[18]
- Studierendenrat der Albert-Ludwigs-Universität Freiburg[19]
- Berufsverband der Kinder- und Jugendärzte[20]
- Club der Ehemaligen der Deutschen SchülerAkademien e. V.[21]
Siehe auch
[Bearbeiten | Quelltext bearbeiten]Literatur
[Bearbeiten | Quelltext bearbeiten]- Christoph Börgers: Mathematics of Social Choice: Voting, Compensation, and Division. SIAM 2009, ISBN 0-89871-695-0.
- Saul Stahl, Paul E. Johnson: Understanding Modern Mathematics. Jones & Bartlett Publishing, London u. a. 2007, ISBN 0-7637-3401-2, S. 119 ff.
- Nicolaus Tideman: Collective Decisions and Voting: The Potential for Public Choice. Ashgate Publishing, 2006, ISBN 0-7546-4717-X, S. 228 ff.
Weblinks
[Bearbeiten | Quelltext bearbeiten]- Rosa Camps, Xavier Mora, Laia Saumell: A Continuous Rating Method for Preferential Voting. (PDF; 1,76 MB)
- Paul E. Johnson: Voting Systems. (PDF; 324 kB)
- Rob LeGrand: Descriptions of ranked-ballot voting methods.
- Rob Loring: Accurate Democracy.
- James D. McCaffrey: Testlauf: Gruppenentscheidungen bei Softwaretests. MSDN
- Tommi Meskanen, Hannu Nurmi: Distance from Consensus: a Theme and Variations. (PDF; 170 kB) In: Bruno Simeone, Friedrich Pukelsheim (Hrsg.): Mathematics and democracy: recent advances in voting systems and collective choice. Studies in choice and welfare. Springer, Berlin u. a. 2006, ISBN 3-540-35603-7, S. 117–132, hier S. 120 ff.
- Massimo Narizzano, Luca Pulina, Armando Tacchella: Ranking and Reputation Systems in the QBF Competition. (PDF; 455 kB) In: AI*IA ’07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing. Springer, Berlin / Heidelberg 2007, ISBN 978-3-540-74781-9.
- Markus Schulze: Schulze-Methode FAQ
- Markus Schulze: A New Monotonic and Clone-Independent Single-Winner Election Method. (PDF; 74 kB) In: Voting Matters, 17, 2003, S. 9–19.
- Kevin Venzke: Election Methods and Criteria.
- Jochen Voss: The Debian Voting System.
- Barry Wright: Objective Measures of Preferential Ballot Voting Systems. (PDF; 289 kB) Abschlussarbeit Duke University, Durham NC 2009.
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ Condorcet sub-cycle rule, Election-Methods-Mailingliste, 3. Oktober 1997
- ↑ Markus Schulze: A new monotonic and clone-independent single-winner election method. (PDF; 75 kB) In: Voting Matters, issue 17, 2003, S. 9–19
- ↑ Nicolaus Tideman: Collective Decisions and Voting: The Potential for Public Choice. Ashgate Publishing, 2006. Saul Stahl, Paul E. Johnson: Understanding Modern Mathematics. Jones & Bartlett Publishing, 2006
- ↑ Markus Schulze: A new monotonic, clone-independent, reversal symmetric, and Condorcet-consistent single-winner election method. (PDF; 1,4 MB) Juli 2007 (englisch)
- ↑ D. R. Woodall: Properties of Preferential Election Rules. Dezember 1994 (englisch)
- ↑ Board election to use preference voting, Mai 2008
- ↑ Presseerklärung der Piratenpartei Deutschland ( des vom 29. Mai 2011 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis. , August 2010
- ↑ Probewahl der schwedischen Piraten, Januar 2010
- ↑ wiki.piratenpartei.at
- ↑ Verfassung für das Debian-Projekt, Anhang A6
- ↑ Ubuntu IRC Council Position, Mai 2012
- ↑ Process for adding new board members, Januar 2003
- ↑ Council Election Procedures ( vom 16. Juli 2011 im Internet Archive)
- ↑ § 6 Absatz 3 der Satzung (PDF; 112 kB)
- ↑ Artikel 3.4.1 der Rules of Procedures for Online Voting
- ↑ Kingman adopts Condorcet voting, April 2005
- ↑ GnuPG Logo Vote, November 2006 ( des vom 16. Dezember 2006 im Internet Archive) Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.
- ↑ Golden Geek Awards
- ↑ Geschäftsordnung des Studierendenrats der Albert-Ludwigs-Universität Freiburg. (PDF FDP; 55 kB) In: stura.uni-freiburg.de. 6. Juni 2019, abgerufen am 22. Mai 2025.
- ↑ Satzung des BVKJ
- ↑ Voting Details