[論文レビュー] Dichotomy for Voting Systems

Edith Hemaspaandra, Lane A. Hemaspaandra|ArXiv.org|Apr 15, 2005

Game Theory and Voting Systems参考文献 15被引用数 6

ひとこと要約

この論文は、スコアプロトコル投票システムの操作の計算複雑性について完全な二分法を確立している：操作は、最愛でない候補者に少なくとも2つの異なる点数が割り当てられている場合にかつその場合にのみ NP完全である。それ以外の場合は、多項式時間で解ける。この結果は、『嫌いの多様性』—最上位でない候補者に複数の異なるスコアが存在すること—が、このクラスの投票システムにおける操作の難易度を決定する鍵要因であることを特定している。

ABSTRACT

Scoring protocols are a broad class of voting systems. Each is defined by a vector $(α_1,α_2,...,α_m)$, $α_1 \geq α_2 \geq >... \geq α_m$, of integers such that each voter contributes $α_1$ points to his/her first choice, $α_2$ points to his/her second choice, and so on, and any candidate receiving the most points is a winner. What is it about scoring-protocol election systems that makes some have the desirable property of being NP-complete to manipulate, while others can be manipulated in polynomial time? We find the complete, dichotomizing answer: Diversity of dislike. Every scoring-protocol election system having two or more point values assigned to candidates other than the favorite--i.e., having $||\{α_i \condition 2 \leq i \leq m\}||\geq 2$--is NP-complete to manipulate. Every other scoring-protocol election system can be manipulated in polynomial time. In effect, we show that--other than trivial systems (where all candidates alway tie), plurality voting, and plurality voting's transparently disguised translations--\emph{every} scoring-protocol election system is NP-complete to manipulate.

研究の動機と目的

• この論文の目的は、スコアプロトコル投票システムが操作に対して NP完全であるかどうかを決定づける正確な構造的条件を特定することである。
• 長年の未解決問題である、スコアルールのどの構造的特徴が操作の複雑性を P から NP完全に変化させるかを解明することである。
• この目的は、プラリュリティ、ボーダ、ヴィートといった特定のシステムに関する先行研究を一般化し、完全な分類を構築することにある。
• 研究は、自明なシステムと、効率的に操作可能または計算的に困難な非自明なシステムを区別することを目的としている。
• また、固定候補者数と非固定候補者数の両設定において、候補者のスコア多様性が操作の複雑性に与える影響を調査している。

提案手法

• この論文は、スコアベクトル (α1, α2, ..., αm) で定義されるスコアプロトコル選挙システムを分析している。ここで α1 ≥ α2 ≥ ... ≥ αm である。
• 固定された m に対して、重み付き投票者による操作をモデル化するための重み付き操作問題 (MPα) を導入している。
• 主な技術的アプローチは、集合 {αi | 2 ≤ i ≤ m} に2つ以上の異なる値が存在する場合に、3分割問題からの還元を用いて NP完全性を証明することである。
• P のケースでは、スコアベクトルを動的計算し、有効な操作戦略を決定する多項式時間アルゴリズムを構築している。
• 非固定候補者数設定への拡張は、任意の m に対してスコアベクトルを生成する一般スコア関数 f を用いて行われている。
• スコア関数が最愛でない位置に多様な値を割り当てる場合、GMPf および GUMPf について、固定 m の NP完全なインスタンスからの還元により NP完全性を証明している。

実験結果

リサーチクエスチョン

• RQ1 スコアプロトコル選挙システムのどの構造的性質が、操作が P か NP完全かを決定づけるか？
• RQ2 どのような条件下でスコアルールの操作が計算的に困難になり、どのような条件下で容易になるか？
• RQ3 すべてのスコアルールについて、操作の複雑性に基づいた完全で二分的な分類が可能か？
• RQ4 最愛でない候補者に複数の異なるスコアが存在することは、操作の難易度にどのように影響するか？
• RQ5 この二分法の結果は、候補者数が非固定のシステムへと拡張可能か？

主な発見

• スコアプロトコル選挙システムが操作に対して NP完全であるのは、最愛でない候補者に少なくとも2つの異なる点数が割り当てられている場合にかつその場合にのみである。
• すべての最愛でない候補者が同じスコアを受ける場合（すなわち ||{αi | 2 ≤ i ≤ m}|| = 1）、操作は多項式時間で解ける。
• 唯一の例外は、すべての候補者が常に同点になる自明なシステムであり、また、プラリュリティ投票およびその同型変種も同様に P に属する。
• この結果は、固定候補者数と非固定候補者数の両方で成り立ち、一般スコア関数 f へと拡張可能である。
• NP完全性の結果は頑健である：固定された候補者数であっても、スコアベクトルに最愛でない位置での多様性が存在する限り、操作は NP完全である。
• この二分法は完全かつ包括的であり、いかなるスコアルールもこの2つのクラスのいずれにも属さないことはない。