[論文レビュー] Elections with Few Voters: Candidate Control Can Be Easy

Jiehua Chen, Piotr Faliszewski+2 more|arXiv (Cornell University)|Nov 28, 2014

Game Theory and Voting Systems参考文献 30被引用数 36

ひとこと要約

この論文は、少数の選挙人を対象とした選挙における候補者の追加または削除による構成的・破壊的コントロールのパrameterized複雑性を調査し、Plurality、Veto、およびt-Approvalといった一般的な投票ルールにおいて、これらの問題が選挙人の数をパrameterとしてパラメータ化すると、固定パラメータ可 tractable（FPT）に帰着することを示している。驚くべきことに、全組み合わせの候補者グループを一度に追加または削除する組み合わせ的コントロールでさえ、このパラメータ化のもとで扱いやすくなる。これは、多数の選挙人が存在する古典的設定とは異なり、洗練され多様な複雑性の地図を示している。

ABSTRACT

We study the computational complexity of candidate control in elections with few voters, that is, we consider the parameterized complexity of candidate control in elections with respect to the number of voters as a parameter. We consider both the standard scenario of adding and deleting candidates, where one asks whether a given candidate can become a winner (or, in the destructive case, can be precluded from winning) by adding or deleting few candidates, as well as a combinatorial scenario where adding/deleting a candidate automatically means adding or deleting a whole group of candidates. Considering several fundamental voting rules, our results show that the parameterized complexity of candidate control, with the number of voters as the parameter, is much more varied than in the setting with many voters.

研究の動機と目的

• 選挙における候補者コントロールのパrameterized複雑性を、選挙人の数が小さい場合に分析すること。
• 選挙人の数をパラメータとしてパラメータ化した場合、コントロール問題の複雑性が候補者の数をパラメータとしてパラメータ化した場合とどのように異なるかを調査すること。
• 全組み合わせの候補者グループを一度に追加または削除する、組み合わせ的変種の候補者コントロールを検討すること。
• どの投票ルールが、少数の選挙人をパラメータとしてパラメータ化した場合にコントロール問題が扱いやすくなるかを特定すること。
• 少数の選挙人をパラメータとしてパラメータ化すると、古典的複雑性解析が示唆するよりも洗練され多様な複雑性の地図が得られることを示すこと。

提案手法

• 著者は、選挙人の数をパラメータとして選ぶパラメータ化複雑性理論を適用し、候補者コントロール問題を分析する。
• 標準的なコントロールタイプ（個々の候補者の追加または削除）を検討する。
• 全組み合わせのコントロールに分析を拡張し、一括して候補者バンドルを追加または削除する操作を扱う。
• Plurality、Veto、およびt-Approvalといった複数の投票ルールについて、少数の選挙人をパラメータとしてパラメータ化した場合の固定パラメータ可 tractable（FPT）を証明する。
• Maximin-DCACに対して、新しい証明技法を提供し、任意の「yes」インスタンスが最大2人の登録されていない候補者を含む解を持つことを示し、FPT時間内での全探索が可能であることを示す。
• MaushagenとRotheの洞察を用いて、先行研究のマルチカラークリーク証明の欠陥を是正し、FPT結果の正当性を強化する。

実験結果

リサーチクエスチョン

• RQ1 選挙人の数をパラメータとしてパラメータ化した場合、どのような条件下で候補者コントロールが固定パラメータ可 tractable（FPT）に帰着するか？
• RQ2 少数の選挙人設定と多数の選挙人設定の間で、候補者コントロールの複雑性はどのように異なるか？
• RQ3 全組み合わせの候補者コントロール（グループ追加／削除）は、選挙人の数が少ない場合に効率的に解けるか？
• RQ4 少数の選挙人が存在する場合でも、NP困難のまま残る投票ルールは存在するか？
• RQ5 構造的性質（例：候補者バンドル、スコア優位性）は、少数の選挙人をパラメータとしてパラメータ化した場合にFPTアルゴリズムを可能にする役割を果たすか？

主な発見

• Plurality、Veto、およびt-Approvalについて、候補者の追加または削除による構成的・破壊的コントロールは、選挙人の数をパラメータとしてパラメータ化すると固定パラメータ可 tractable（FPT）に帰着する。
• これらのルールについて、全組み合わせの候補者コントロール（候補者グループの一括追加・削除）も、少数の選挙人をパラメータとしてパラメータ化するとFPTに帰着する。
• Maximinコントロール問題（特にMaximin-DCAC）は、任意の「yes」インスタンスが最大2人の登録されていない候補者を含む解を持つことを示すことで、FPTであることが証明された。この性質により、FPT時間内での全探索が可能である。
• MaushagenとRotheの洞察を用いて、先行研究のマルチカラークリーク証明の欠陥を是正し、FPT結果の正当性を強化した。
• 本研究は、古典的複雑性解析が示唆するよりも、はるかに洗練され多様な複雑性の地図が、少数の選挙人をパラメータとしてパラメータ化した場合に得られることを明らかにした。
• 結果から、選挙人の数をパラメータとしてパラメータ化すると、古典的設定でNP困難である問題に対しても、扱いやすいアルゴリズムが得られることを示唆している。