Wikiwand AI

シュルツ方式

選好を表す投票を用いて単一の当選者を選ぶ選挙方式 From Wikipedia, the free encyclopedia

シュルツ方式(しゅるつほうしき、英: Schulze method)は、1997年にマルクス・シュルツが開発した、選好を表す投票を用いて単一の当選者を選ぶ選挙方法である。英語ではシュルツ方式はSchwartz Sequential Dropping(SSD)、Cloneproof Schwartz Sequential Dropping(CSSD)、Beatpath Method、Beatpath Winner、Path Voting、Path Winnerとしても知られている。

シュルツ方式はコンドルセ方式である。すなわち、他のいずれの候補者と一対比較してもより好まれるような候補者がいたならば、その候補者はシュルツ方式が適用される場合に当選者となる。

(下記に定義する)シュルツ方式の出力は、候補者の順序を与える。従って議席が複数ある場合も、上位k人の候補者がkの議席を得られるようにすることで、この方式は修正することなく用いることができる。更に比例代表選挙のために、単記移譲式投票バージョンが提案されている。

現在シュルツ方式は最も広く使われるコンドルセ方式である。シュルツ方式はウィキメディア財団やDebian、Ubuntu、Gentoo、Software in the Public Interest、Free Software Foundation Europe、海賊党など多くの団体で用いられている(一覧)。

シュルツ方式に関する解説

投票用紙

シュルツ方式に対する投票形式は、他の選好投票における単議席単票制と同じである。各々の投票者は、候補者たちに対して選好の順序(同順位も認める)を付けなければならない。

典型的には、投票者は以下の通りに投票用紙に選好を明記する。投票用紙には全ての候補者が一覧になっており、投票者は番号を用いて選好順にこの一覧に番号を振る。最も好ましい候補者には「1」を、次に好ましい候補者に「2」を、以下も順に番号を付ける。投票者には次のことも許されている。

  • 複数の候補者に同じ番号を付けること。このことは、これらの候補者間に差異を付けられないことを意味する。
  • 選好を示すのに連続しない番号を用いること。番号の絶対値は重要ではなく、選好の順序のみが選挙の結果に影響するためである。
  • 何名かの候補者に順位付けしないままでいること。候補者に順位を付けないことで、投票者は以下の意見を表明したと解釈される。(i) 順位付けしていない候補者たちより、順位付けした候補者たちの方を選好する。(ii) 順位付けしていない候補者間に差異は付けない。

シュルツ方式

W候補者よりV候補者を選好する投票者の数を d[V,W] で表す。

X候補者からY候補者への強さ p の道とは、候補者 C(1), …, C(n) の列であって、以下の条件を全て満たすものである。

  1. C(1) = X かつ C(n) = Y
  2. 任意の i = 1, …, n-1 に対して、d[C(i),C(i+1)] > d[C(i+1),C(i)]
  3. 任意の i = 1, …, n-1 に対して、d[C(i),C(i+1)] ≥ p

さらに、A候補者からB候補者への道の強さの最大値を p[A,B] で表す。そのような道がなければ、p[A,B] = 0 と定義する。

p[D,E] > p[E,D] であれば、D候補者はE候補者より良いとみなす。

D候補者が他の全てのE候補者に対して p[D,E] ≥ p[E,D] であれば、D候補者は当選の可能性がある。

p[X,Y] > p[Y,X] かつ p[Y,Z] > p[Z,Y] ならば、p[X,Z] > p[Z,X] であることが証明できる[1]:§4.1。これは、上記の「より良い」という関係が推移関係であることを意味し、他の全ての候補者Eに対して p[D,E] ≥ p[E,D] を満たす候補者Dが少なくとも一人はいることが保証される。

例

45人の投票者が5人の候補者 A, B, C, D, E を順位付けする下記の例を考えてみよう。

  • 5 ACBED(5人の投票者がA > C > B > E > Dと選好することを表す。)
  • 5 ADECB
  • 8 BEDAC
  • 3 CABED
  • 7 CAEBD
  • 2 CBADE
  • 7 DCEBA
  • 8 EBADC

初めにペアに関する選好を計算する。例えば A と B を比較すると、B より A を好む投票者が 5+5+3+7 = 20 人いて、A より B を好む投票者が 8+2+7+8 = 25 人いる。よって d[A,B] = 20, d[B,A] = 25 となる。ペアに関する選好の全体像は以下のようになる。

d[*, *] の値を辺に付した有向グラフ
さらに見る d[*,A], d[*,B] ...
ペアに関する選好の表
d[*,A]d[*,B]d[*,C]d[*,D]d[*,E]
d[A,*] 20263022
d[B,*] 25163318
d[C,*] 19291724
d[D,*] 15122814
d[E,*] 23272131
閉じる

右の図式は、最強の道を視覚的に把握しやすくしたもので、X から Y への矢印に d[X,Y] の値を付した有向グラフである。d[X,Y] > d[Y,X] ならば、d[Y,X] の値は選挙の結果に影響を与えないため、図には d[X,Y] の値のみ記す。

道の強さが辺の強さの最小値であることを思い出そう。例えば、B から D への最強の道は、強さ 33 の直接の道 (B,D) であり、よって p[B,D] = 33 である。比較のため、p[A,C] も見てみよう。直接の道 (A,C) の強さは 26 であるが、より強い道 (A,D,C) がある。その強さは d[A,D] = 30, d[D,C] = 28 の最小値 28 であり、ゆえに p[A,C] = 28 である。

下記の表では、最強の道を赤で示し、辺の強さの最小値に下線を引いている。

さらに見る ... Aに, ... Bに ...
最強の道
... Aに... Bに... Cに... Dに... Eに
Aから ...
A-(30)-D-(28)-C-(29)-B
A-(30)-D-(28)-C
A-(30)-D
A-(30)-D-(28)-C-(24)-E
Aから ...
Bから ...
B-(25)-A
B-(33)-D-(28)-C
B-(33)-D
B-(33)-D-(28)-C-(24)-E
Bから ...
Cから ...
C-(29)-B-(25)-A
C-(29)-B
C-(29)-B-(33)-D
C-(24)-E
Cから ...
Dから ...
D-(28)-C-(29)-B-(25)-A
D-(28)-C-(29)-B
D-(28)-C
D-(28)-C-(24)-E
Dから ...
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
Eから ...
... Aに... Bに... Cに... Dに... Eに
閉じる
さらに見る p[*,A], p[*,B] ...
最強の道の強さ
p[*,A]p[*,B]p[*,C]p[*,D]p[*,E]
p[A,*] 28283024
p[B,*] 25283324
p[C,*] 25292924
p[D,*] 25282824
p[E,*] 25282831
閉じる

これでシュルツ方式による結果を確定できる。例えば A と B を比較すると、28 = p[A,B] > p[B,A] = 25 であるので、シュルツ方式ではA候補者はB候補者より良い。別の例では、31 = p[E,D] > p[D,E] = 24 であるので、E候補者はD候補者より良い。同様にして全ての候補者を比較すると、E > A > C > B > D となり、E が当選との結果を得る。言い方を変えれば、E は他の全てのX候補者に対して p[E,X] > p[X,E] であるがゆえに当選した。

実装

シュルツ方式を実装するにあたって唯一困難な段階は最強の道の強さを計算することである。しかしこれはグラフ理論において良く知られた問題で、widest path problemと呼ばれている。従って強さを計算する単純な一つの方法はワーシャル・フロイド法の変形である。下記の擬似コードはアルゴリズムを表している。

# Input: d[i,j](j候補者よりi候補者を好む投票者の数)
# Output: p[i,j](i候補者からj候補者への最強の道の強さ)

for i from 1 to C
   for j from 1 to C
      if (i <> j) then
         if (d[i,j] > d[j,i]) then
            p[i,j] := d[i,j]
         else
            p[i,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[j,k] := max ( p[j,k], min ( p[j,i], p[i,k] ) )

このアルゴリズムは優れていて、候補者数をCとするとO(C3)の時間計算量で解が求まる。(これにはd[*,*]を求める時間計算量を含んでおらず、最も簡単な方法で実装するなら、投票者の数をVとするとO(VC2)の時間計算量が必要である。)

同順位と別の実装

選好にあたって同順位を許す場合、d[*,*]の定義においてこの同順位をどう解釈するかによって、シュルツ方式の出力はおのずと異なってくる。d[A,B]を、厳密にBよりAを好む(A>B)投票者数を表すものとするか、(A>Bの投票者)引く(B>Aの投票者)の票差を表すのものとするかの二つの考えがある。しかし、たとえdがどう定義されても、シュルツ順位に循環は生じず、d値は一意であり同値はないと仮定できるだろう[1]。

シュルツ順位での同順位は、滅多にない[2]とはいえ、可能性がない訳ではない。シュルツの元の論文[1]は、無作為に選んだ投票者に従って同順位を解消する(必要に応じて繰り返す)ことを提案した。

シュルツ方式の勝者を選出する別のやや手間のかかる方法は次のとおりである。

  1. 全ての候補者と、候補者間のあり得る全ての線(エッジ)の完全な有向グラフを描く。
  2. [a]シュワルツ集合に含まれない候補者(たとえば他の候補者につながらない候補者)を全て除外し、[b]最弱のリンクを除外する。これらを繰り返す。
  3. 最後まで除外されなかった候補者が勝者である。

基準を満たした例と満たしていない例

満たした基準

シュルツ方式は下記の基準を満たしている。

  • 無制限領域
  • 非賦課(別名:市民主権)
  • 非独裁制
  • パレート基準[1]:§4.3
  • 単一強健基準[1]:§4.5
  • 多数派基準
  • 多数派敗北基準
  • コンドルセ基準
  • コンドルセ敗北基準
  • シュワルツ基準
  • スミス基準[1]:§4.7
  • スミスの優位選択の独立[1]:§4.7
  • 相互多数派基準
  • クローンの独立[1]:§4.6
  • 逆行調和[1]:§4.4
  • 単一付加[3]
  • 単一付加投票[3]
  • 分解性基準[1]:§4.2
  • 多項式時間[1]:§2.3"
  • 当選票がd[X,Y]に使えるなら、ウッドールの過半数基準
  • 得票差がd[X,Y]に使えるなら、相称的完成[3]

満たしていない基準

シュルツ方式はコンドルセ基準を満たしているので、自動的に下記の基準は満たしていない。

同様にシュルツ方式は独裁制ではなく満場一致の投票で一致しているので、アローの不可能性定理はこの方式が基準を満たしていないことを暗示している。

  • 無関係な選択肢の独立

比較表

下記の表は、シュルツ方式と他の選好投票の単議席単票制を比較したものである。

さらに見る Schulze, 順位づけられた組み合わせ ...
単一強健 コンドルセ 多数派 コンドルセ敗者 多数派敗者 相互多数派 スミス ISDA クローン独立 逆行対称 多項式時間 参加、一貫性]
Schulze YesYesYesYesYesYesYesYesYesYesYesNo
順位づけられた組み合わせ YesYesYesYesYesYesYesYesYesYesYesNo
ケメニー・ヤング YesYesYesYesYesYesYesYesNoYesNoNo
ナンソン NoYesYesYesYesYesYesNoNoYesYesNo
ボールドウィン NoYesYesYesYesYesYesNoNoNoYesNo
Instant-runoff voting NoNoYesYesYesYesNoNoYesNoYesNo
ボルダ YesNoNoYesYesNoNoNoNoYesYesYes
バックリン YesNoYesNoYesYesNoNoNoNoYesNo
クームズ NoNoYesYesYesYesNoNoNoNoYesNo
ミニマックス YesYesYesNoNoNoNoNoNoNoYesNo
小選挙区制 YesNoYesNoNoNoNoNoNoNoYesYes
反小選挙区制 YesNoNoNoYesNoNoNoNoNoYesYes
コンティジェント投票 NoNoYesYesYesNoNoNoNoNoYesNo
スリランカコンティジェント投票 NoNoYesNoNoNoNoNoNoNoYesNo
補足投票 NoNoYesNoNoNoNoNoNoNoYesNo
ドッジソン NoYesYesNoNoNoNoNoNoNoNoNo
閉じる

シュルツ方式と順位づけられた組み合わせの主な違いは(両方とも上記の表では同じ可否をチェックしている)、この例で見ることができる。

候補者の組み合わせXのミニマックススコアが候補者B ∈ Xに対する候補者A ∉ Xの最強の組み合わさった当選の強さと仮定する。この時シュルツ方式は(順位づけられた組み合わせではない)、当選者が常に最小のミニマックススコアで組み合わされた候補者であることを保障する[1]:§4.8。そこである意味でシュルツ方式は当選者を決定する際に覆さなければならない最強の組み合わさった当選を最小化する。

シュルツ方式の歴史

シュルツ方式は1997年にマルクス・シュルツにより開発された。初めて公のメーリングリストで1997年-1998年と[4]2000年に[5]討論された。その後シュルツ方式はSoftware in the Public Interest(2003年)[6]、Debian(2003年)[7]、Gentoo(2005年)[8]、TopCoder(2005年)[9]、ウィキメディア(2008年)[10]、KDE(2008年)[11]、Free Software Foundation Europe(2008年)[12]、スウェーデン海賊党(2009年)[13]、ドイツ海賊党(2010年)[14]などで用いられている。フランス語版ウィキペディアではシュルツ方式は2005年に多数決で賛成された二つの候補者が多数いる場合の方式の一つであり[15]、数回用いられている[16]。

2011年、シュルツは学術誌Social Choice and Welfareでこの方式を発表した[1]。

シュルツ方式の利用

ウィキメディア理事会選挙用の投票用紙見本

シュルツ方式は現在議会選挙では使われていない。しかしスウェーデンの海賊党の代議員予備選挙で用いられている。他の公的機関でも支援を受け始めている。シュルツ方式を現在採用している機関は、次の通りである。

脚注

外部リンク

Related Articles

Timelines

Top Qs

Fact Checks