[論文レビュー] A Control Dichotomy for Pure Scoring Rules

Edith Hemaspaandra, Lane A. Hemaspaandra+1 more|arXiv (Cornell University)|Apr 17, 2014

Game Theory and Voting Systems参考文献 11被引用数 14

ひとこと要約

この論文は、純スコアリングルールにおける選挙者追加による構成的コントロール（CCAV）について、初めての二分法定理を確立し、CCAVが多項式時間で解けるのはk≤3のk-承認、k≤2のk-否認、上位2名の候補者にのみスコアが付くルール、および1-承認と1-否認を組み合わせた特定のハイブリッドルールに限ることを証明している。それ以外の純スコアリングルールではCCAVはNP完全である。

ABSTRACT

Scoring systems are an extremely important class of election systems. A length-$m$ (so-called) scoring vector applies only to $m$-candidate elections. To handle general elections, one must use a family of vectors, one per length. The most elegant approach to making sure such families are "family-like" is the recently introduced notion of (polynomial-time uniform) pure scoring rules [Betzler and Dorn 2010], where each scoring vector is obtained from its precursor by adding one new coefficient. We obtain the first dichotomy theorem for pure scoring rules for a control problem. In particular, for constructive control by adding voters (CCAV), we show that CCAV is solvable in polynomial time for $k$-approval with $k \leq 3$, $k$-veto with $k \leq 2$, every pure scoring rule in which only the two top-rated candidates gain nonzero scores, and a particular rule that is a "hybrid" of 1-approval and 1-veto. For all other pure scoring rules, CCAV is NP-complete. We also investigate the descriptive richness of different models for defining pure scoring rules, proving how more rule-generation time gives more rules, proving that rationals give more rules than do the natural numbers, and proving that some restrictions previously thought to be "w.l.o.g." in fact do lose generality.

研究の動機と目的

• すべての純スコアリングルールにおける選挙者追加による構成的コントロール（CCAV）の計算複雑性を分類すること。
• 純スコアリングルールの文脈において、CCAVの多項式時間で解けるインスタンスとNP完全インスタンスの正確な境界を特定すること。
• 純スコアリングルールを定義するための異なる形式的記述の記述的豊かさを調査し、先行研究における仮定が一般性を失わずに行えるかどうかを評価すること。
• 特定のハイブリッドスコアリングルールにおける可能な勝者問題についての未解決問題を解消すること。
• 係数の相対的順序を超えて、係数の実際の値が重要であることを示し、異なる係数割り当てが異なる複雑性クラスをもたらす可能性があることを示すこと。

提案手法

• 各ベクトルが直前のベクトルに1つの新しい係数を追加することで構築される、多項式時間一様なスコアリングベクトル族として純スコアリングルールを形式化すること。
• 非自明な純スコアリングルールにおけるNP完全性を示すために、3次元マッチング（3DM）問題をCCAVインスタンスに還元すること。
• 特定の選挙インスタンスを構築し、好ましい候補者p、補助候補者、登録済みおよび利用可能な選挙者を用いて3DMの制約をシミュレートすること。
• pに対するスコア比較を用いて、3DMにおける有効なカバーにのみ対応するCCAV戦略が成功することを強制すること。
• k-承認（k≤3）、k-否認（k≤2）、上位2名スコアルール、および1-承認/1-否認ハイブリッドに対して、効率的なアルゴリズムを構築することで多項式時間解法を証明すること。
• 異なる係数生成モデルの記述的パワーを分析し、有理数係数が整数係数よりも多くのルールを生成できることを示し、先行研究における一部の仮定が一般性を失わないとは限らないことを示すこと。

実験結果

リサーチクエスチョン

• RQ1 どの純スコアリングルールに対して、選挙者追加による構成的コントロール（CCAV）が多項式時間で解けるか？
• RQ2 純スコアリングルールに関する先行研究における係数生成に関する仮定は、一般性を失わずに行えるか？
• RQ3 スコアリング係数の実際の値（相対的順序を超えて）がCCAVの複雑性に影響を与えるか？
• RQ4 1-承認/1-否認ハイブリッドルールにおける可能な勝者問題は多項式時間で解けるか？
• RQ5 係数の定義域（例：整数対有理数）の選択が、表現可能な純スコアリングルールの集合に与える影響は何か？

主な発見

• k-承認（k≤3）に対してはCCAVが多項式時間で解ける。
• 上位2名の候補者にのみ非ゼロスコアが付くすべての純スコアリングルールに対してCCAVが多項式時間で解ける。
• 上位候補者に1点、下位候補者に-1点を与える特定のハイブリッドルールに対してもCCAVが多項式時間で解ける。
• それ以外のすべての純スコアリングルールに対してCCAVはNP完全であり、完全な二分法が確立された。
• CCAVの複雑性は係数の相対的順序だけでなく、実際の係数値にも依存する——例として、係数(3,1,…,1,0)ではNP完全になるが、(2,1,…,1,0)ではそうならない。
• 純スコアリングルールを定義する際に以前は一般性を失わないと考えられていた仮定は、実際には表現可能なルールの集合を制限しており、特に係数生成が制限されている場合には顕著である。