[論文レビュー] The Shield that Never Was: Societies with Single-Peaked Preferences are More Open to Manipulation and Control

Piotr Faliszewski, Edith Hemaspaandra+2 more|arXiv (Cornell University)|Sep 17, 2009

Game Theory and Voting Systems参考文献 37被引用数 18

ひとこと要約

この論文は、政治科学で一般的な単一ピーク型選好が、選挙の操作や制御に対する計算複雑性の保護を無効にすることを示している。承認投票および順位投票の両方において、一般にNP困難とされる制御および操作問題の多くが、単一ピーク性のもとでは多項式時間で解けるようになる。これは、現実の社会的選好構造において、こうした複雑性の保護が効果を持たないことを示している。

ABSTRACT

Much work has been devoted, during the past twenty years, to using complexity to protect elections from manipulation and control. Many results have been obtained showing NP-hardness shields, and recently there has been much focus on whether such worst-case hardness protections can be bypassed by frequently correct heuristics or by approximations. This paper takes a very different approach: We argue that when electorates follow the canonical political science model of societal preferences the complexity shield never existed in the first place. In particular, we show that for electorates having single-peaked preferences, many existing NP-hardness results on manipulation and control evaporate.

研究の動機と目的

• 単一ピーク型選好を持つ社会において、選挙の操作および制御に対する計算複雑性の保護が依然として有効かどうかを調査すること。
• 特定の投票システムに対する操作および制御を防ぐNP困難性の結果が、選好が単一ピーク型である場合に無効化されるかどうかを検討すること。
• 承認投票および順位投票の両システムにおいて、単一ピーク性が制御および操作問題の計算ハードネスを軽減するかどうかを調査すること。
• 候補者の数を増やすと複雑性が低下する場合があるかどうかを特定し、問題の難易度に関する従来の仮定に挑戦すること。
• 現実世界の設定において選好がおそらく単一ピーク型であると想定される状況において、複雑性に基づく保護の頑健性を評価すること。

提案手法

• 線形な候補者順序に沿った連続する承認集合として、承認投票システムにおける単一ピーク型選好を形式化すること。
• 単一ピーク性のもとでの制御問題（例：投票者や候補者の追加・削除）を分析し、複数のシステムで多項式時間での解法を証明すること。
• 操作問題への分析を拡張し、単一ピーク性のもとで多くのNP困難な操作ケースが扱いやすくなることを示すこと。
• 単一ピーク性のもとでもNP困難のまま残る例外を同定し、還元を用いて困難性を証明すること。
• 単一ピーク型承認投票における選好の獲得のための新しいクエリ複雑性分析を導入し、一般ケースと比較して対数的改善が得られることを示すこと。
• 単一ピーク性下でのスコアリングプロトコルにおける操作の複雑性を分類するための二分法的推論を適用し、特に3候補ケースを対象とすること。

実験結果

リサーチクエスチョン

• RQ1 選挙の操作および制御に対するNP困難な複雑性の保護が、有権者が単一ピーク型選好を持つ場合にも有効に保たれるか。
• RQ2 一般設定でNP困難とされる制御および操作問題が、単一ピーク性のもとで多項式時間で解けるか。
• RQ3 候補者の数を増やすと、単一ピーク型領域内でも操作の計算複雑性が低下する場合があるか。
• RQ4 単一ピーク型選好は、スコアリングベースの投票システムにおける操作の難易度をどの程度軽減または無効にするか。
• RQ5 単一ピーク性を近似する近似特異的または多次元的選好モデルへ結果を拡張可能か。

主な発見

• 承認投票および順位投票の両方において、一般ケースでNP困難とされる多くの制御問題が、単一ピーク型選好のもとでは多項式時間で解けるようになる。
• 一般設定でNP困難とされる多くの操作問題も、選好が単一ピーク型である場合、多項式時間で解けるようになる。
• 一般に扱いやすいにもかかわらず、単一ピーク性のもとでもNP困難のまま残る操作問題が一部存在する。例えば、5人の候補者がいる3ボート選挙ではそうである。
• 3ボート選挙では、4人以下の候補者では操作はPに属し、6人以上でもPに属するが、正確に5人の候補者がいる場合にのみNP困難となる。これは非単調な複雑性を示している。
• 単一ピーク性のもとでのk-承認ベクトルの選好獲得は、一般ケースと比較して、おおよそk倍の要因でクエリ複雑性が低下する。
• 単一ピーク性のもとで3候補の場合のスコアリングプロトコルにおける操作の複雑性について、PまたはNP完全に分類する二分法定理が確立された。