種々の投票ルール(多数決ルール、ボルダルール、点数式投票ルール、コープランドルール、シンプソンルール)による勝者(と敗者)を求める。存在すれば、コンドルセ勝者(と敗者)も求める。投票ルールについては、私の講義(「意思決定論」)を参考にして下さい。
データ入力
データの「Input」タブでは、まず、(必要ならば)候補者(Candidates)の人数と投票者(Voters)のタイプの数をコンボボックスを利用して新しい値を指定し、「Change」ボタンを押す。この時、「Renew」がチェックされていないならば、変更前の各タイプの人数と候補者間の優先順位をなるべく利用して新しい候補者の人数と投票者のタイプの数が設定される。次に、投票者の各タイプ毎の人数、各タイプ毎の候補者間の優先順位、点数式投票ルールの重み(SC)を入力する。
解
「Solution」タブを押すと、多数決ルール(Plurality rule)、ボルダルール(Borda rule)、点数式投票ルール(Scoring voting rule)、コープランドルール(Copeland rule)、シンプソンルール(Simpson rule)の解を求めるタブが左側に現れる。存在すれば、コンドルセ(Condorcet)勝者と敗者を求めるタブ、解のまとめを表示するまとめ(Summary)タブ、投票行列と過半数行列を表示する(Vote Matrix)タブもある。
例
次の問題を解く。
候補者の人数はabcdeの5人、投票者のタイプの数は4で、タイプ1の人数は5人、タイプ2の人数は4人、タイプ3の人数は6人、タイプ4の人数は4人である。タイプ1の候補者間の優先順位は1位から5位までa>b>c>d>e、タイプ2はb>e>d>a>c、タイプ3はc>e>a>b>d、タイプ4はd>b>c>a>eである。点数式投票ルールの優先順位が1位から5位までの点数を、2,1,1,1,0とする。
「Input」タブで、「Number of Candidates」を「5」人にし「Change」ボタンを押す。Type 1から4までの人数を、各々、5,4,6,4と入力する。Type 1から4までの候補者間の優先順位を「Type ?」と書いてある部分を左クリックし、現れるテキストボックスに入力し、「リターン」キーを押す。優先順位が1位の点数を2に変更するために、「1st, SC=1」と書いてあるセルをクリックし「2」を入力し「リターン」キーを押す。「Solutions」タブを押すと、左側に「Vote Matrix」、「Plurality」、「Borda」、「Scoring voting rule」、「(s) Condorcet」、「(w) Condorcet」、「Copeland」、「Simpson」、「Summary」の9個のタブがある。「Vote Matirx」タブは投票行列と過半数行列を表示し、「Plurality」タブから「Simpson」タブでは勝者と敗者を求めるためのScoreが表示され、「Summary」タブでは各ルールの勝者と敗者がまとめられている。
以上の結果を得るために必要なのが投票行列と過半数行列であり、