[論文レビュー] Where are the really hard manipulation problems? The phase transition in manipulating the veto rule

Toby Walsh|International Joint Conference on Artificial Intelligence|May 22, 2009

Game Theory and Voting Systems参考文献 27被引用数 56

ひとこと要約

この論文は、Vetoルールにおける選挙操作の計算的困難さを調査し、連合の規模が増加するに従い、操作確率に滑らかな相転移が生じることを示している。独立同分布（i.i.d.）の票が与えられた場合、操作は漸近的に容易であることが示され、臨界的な連合規模であっても同様であるが、票の相関が強くかつ選挙が「拮抗状態」にある場合にのみ計算的に困難になる。しかし、たった1人の無相関票を持つ voter さえあれば、再び操作は容易になる。

ABSTRACT

Voting is a simple mechanism to aggregate the preferences of agents. Many voting rules have been shown to be NP-hard to manipulate. However, a number of recent theoretical results suggest that this complexity may only be in the worst-case since manipulation is often easy in practice. In this paper, we show that empirical studies are useful in improving our understanding of this issue. We demonstrate that there is a smooth transition in the probability that a coalition can elect a desired candidate using the veto rule as the size of the manipulating coalition increases. We show that a rescaled probability curve displays a simple and universal form independent of the size of the problem. We argue that manipulation of the veto rule is asymptotically easy for many independent and identically distributed votes even when the coalition of manipulators is critical in size. Based on this argument, we identify a situation in which manipulation is computationally hard. This is when votes are highly correlated and the election is "hung". We show, however, that even a single uncorrelated voter is enough to make manipulation easy again.

研究の動機と目的

• 計算的複雑性が実際のVetoルールの操作を妨げる障壁となるかどうかを理解すること。
• 票の相関と連合の規模が操作の困難さに与える影響を調査すること。
• 操作確率の相転移が計算的困難さと相関するかどうかを探索すること。
• 理論的最悪ケースの複雑性結果が、現実世界の有限サイズの選挙に対してどの程度関連性を持つのかを評価すること。
• 漸近的結果がそうでないにもかかわらず、操作が計算的に困難なままである条件を特定すること。

提案手法

• 連合の規模と問題のサイズを関数として、連合がVetoルールを操作できる確率を経験的に調査すること。
• 操作確率曲線をスケーリングして、問題サイズに依存しない普遍的な形があるかをテストすること。
• 異なるレベルの票の相関を想定した選挙のシミュレーションを実施し、1人の無相関票を持つケースも含む。
• 連合が結果に影響を与える十分な規模に達している場合、操作を見つける容易さを貪欲法により評価すること。
• スコアリングルールと相転移に関する先行研究の理論的境界と結果を比較すること。
• 同点処理と重み付き票の影響が、操作の可能性と複雑性に与える影響を分析すること。

実験結果

リサーチクエスチョン

• RQ1 連合の規模が増加するに従い、Vetoルールにおける成功した操作の確率に滑らかな相転移が見られるか？
• RQ2 i.i.d.票の下で、操作確率曲線に問題サイズに依存しない普遍的な形があるか？
• RQ3 計算的複雑性が操作の障壁となる条件は何か、特に連合の規模が臨界的である場合に限るか？
• RQ4 票の相関がVetoルールにおける操作の計算的困難さにどのように影響するか？
• RQ5 1人の無相関票が、操作の計算的困難さを著しく変えることができるか？

主な発見

• 連合の規模が増加するに従い、成功した操作の確率に滑らかな相転移が生じ、明確な閾値は存在しない。
• スケーリングされた操作確率曲線は、問題サイズに依存しない単純な普遍的形を示しており、一般化可能な経験的パターンを示唆している。
• i.i.d.票の下では、連合が Θ(√n) のサイズであっても、操作は漸近的に容易であることが示され、最悪ケースのNP困難性の結果とは矛盾する。
• 操作の計算的困難さは、票が強く相関しておりかつ選挙が「拮抗状態」にある場合にのみ生じる。これは困難な領域が狭いことを示している。
• たった1人の無相関票さえあれば、再び操作は計算的に容易になることが示され、困難なインスタンスの脆さが浮き彫りになる。
• 操作確率の相転移は、充足可能性問題のような問題とは異なり、困難なインスタンスと一致しない。これは、計算的構造に根本的な違いがあることを示唆している。