認定投票

認定投票あるいは二分型投票、承認投票、是認投票（approval voting）は、多数決の手続きの一種である。投票者は各選択肢について是認するか否認するかの判断を別々に行う。一般的に、小選挙区制選挙で用いられるが、大選挙区制に適用することもできる。
用語.
“approval voting”という用語の初出は による。また、1978年には政治学者の と数学者の によって数理的な定義と基本的な性質に関する論文が発表された。
日本語においては、「認定投票」をはじめ、いくつかの直訳と意訳が存在する。早稲田大学教授で経済政策が専門の松本保美はその著書『新しい選挙制度』のなかで、「二分型投票」という訳語を当てている。また慶應義塾大学教授の小林良彰は『公共選択』のなかで、「承認投票」という訳語を当てている。
手順.
各々の投票者は、好きな人数の候補者に投票できるが、候補者1人当り最大1票しか投票できない。これは、候補者毎に1票入れるか否かによって「是認」か「否認」かを表明するのと同等であり、審査員が各々の候補者に与えることの出来る点数が0か1かのどちらかしかない range voting と同等である。
各候補者に投ぜられた票は候補者毎に加算され、最も多く票を得た候補が当選する。
例.
アメリカ合衆国の州であるテネシー州の住民がその州都の位置をめぐる投票をしたとする。テネシーの人口はその4つの主要都市に集中していて、州全体に広がっている。この例では、すべての選挙民がこれら4つの都市に住んでいて、できるだけ彼らが住む都市の近くに州都が置かれるのを好むとする。
州都の候補は：
有権者の優先順位は以下のように分けられる：
有権者が、2つの好みの候補に投票し、テネシーの住民が100人だとすると、結果は次のようになる： 
性質.
クローン独立性.
単記非移譲式投票では似通った候補（）が複数いると票が分散し不利になったり、ボルタ式では逆に有利に働く場合がある等、一般には各候補者の得票は他の候補者に影響を受ける。一方、approval voting では投票者は各々の候補者毎に独立に投票投票を行うので、余計な候補者が立候補しても他の候補者の得票数に影響が出ない。
戦略投票との関連.
ギバード・サタースウェイトの定理によると、投票者の選好（候補者に関する好みの順序）を集計して1名の当選者を決めるルールは、全候補者に当選の可能性がありかつ特定の1名の投票者の選好のみによって結果が来まるようなものでない限り、戦略投票が有効になる可能性を排除できない。
一方、approval voting においては、承認できる候補をあえて承認しなかったり、承認できない候補をあえて承認することによって投票者にとってより望ましい結果が生まれることはない。すなわち、正直に投票することが各投票者とって常に最善の戦略となる。
投票者にかかる負担を最小限に抑える.
approval voting では、1人の投票者が各候補者に行う投票(是認か否認か)の選択は、候補者毎に独立している。つまり、別の候補者で自分が投票した内容を考慮せずに行うことが出来る。よって、投票者にかかる負担は候補者数に比例する。
各候補者を一覧するだけでも候補者数に比例する手間はかかるため、 approval voting は、投票者への負担が最も少ない選挙制度の1つであるといえる。
使用.
実際に、approval votingを取り入れた投票方式は歴史上利用され、また現在も使用されている。
比例代表への拡張.
approval voting は、当選人数が複数の場合にも応用できる。もっとも単純なのは是認票を得た数が多い順に当選とする方法であるが、これは完全連記制と同様に、各党が定数分のクローン候補を擁立する事によって比例代表ではなく多数代表の性質を持つ。比例的な選挙結果を実現するために幾つかの拡張方法がある。
2001年にForest Simmonsによって提案された。選挙結果に対する投票者の「満足度」を定義し、各投票者の「満足度」の総和を最大化する候補者の集合として当選者を決定する。
是認した候補者のうち formula_1人が当選した投票者の「満足度」は formula_2と定義される。formula_2は任意の増加列にとれるが、Simmonsの提案では
であった。これはドント方式の類推であると見なせる。
PAVの当選者決定はNP困難である。
つまり、大規模な選挙においては現実的な時間で当選者の決定を行うことが不可能であると予想されている。
PAVの例を次に示す。候補者はA,B,C,Dの4人でこのうち2人が当選するとする。
満足度は formula_5 によって定義されるとし、投票は次のようであったとする。
当選者の組み合わせとしてありうるのはAB,AC,AD,BC,BD,CDの6通りで、
それぞれについて「満足度」の総和は次の表のようになる。
よってBとCが当選となる。
トルバルド・ティエレが20世紀初頭に発明し、スウェーデンで1909年以降の短期間だけ使用されていた選挙制度である。
この方式だと票の重さは当選を出す度に formula_6 で逓減されいくと定義される。
Sequential PAVの例を次に示す。候補者はA,B,C,Dの4人でこのうち2人が当選するとし、投票は次のようであったとする。
1人目の当選を決めるスコアはA, B, C, Dそれぞれ
であるから、最初に当選するのはAである。2人目の当選を決めるスコアはB, C, Dそれぞれ
であるから、2人目の当選はBである。よってAとBが当選となる。
またこの手続きはOWAを用いた分析によると、前項のPAVにおける「満足度」の総和を最大化する問題の近似アルゴリズムになっていて、近似比は formula_7 であるとする見解もある。
Satisfaction approval voting (SAV).
2010年にとMarc Kilgourによって提案された方法である。
これはPAVとは異なる方法で「満足度」を定義する。各投票者が是認した候補者が1人当選することで得られる満足度は1/n(nは投票者が是認した候補者の人数)と等しくなると考える。これによりPAVよりも当選の決定が簡略化される。
SAVの例を次に示す。候補者はA,B,C,Dの4人でこのうち2人が当選するとする。
本項にあるPAVを応用した表にすると、それぞれ次のようになる。 
よってBとCが当選となる。
また「満足度」の相加について、このような表にすることもできる。
投票用紙の種類.
approval voting に用いる投票用紙の形式はいくつかのバリエーションがある。 もっとも単純な形式は白紙の投票用紙で、支持する候補者の氏名をすべて自書する。また、あらかじめ候補者の氏名が記載されており、氏名に隣接する空欄にYes/Noのような単語を書き込む形式や、マークシート形式の投票用紙とすることも考えられる。