[論文レビュー] False name manipulations in weighted voting games: splitting, merging and annexation

Haris Aziz, Mike Paterson|ArXiv.org|May 20, 2009

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

ひとこと要約

この論文は、重み付き投票ゲームにおける偽名操作（分割、統合、吸収）を、BanzhafおよびShapley-Shubikのパワーインデックスを用いて分析する。有益な分割や吸収が可能かどうかを判断することはNP困難であることを証明し、Banzhafインデックスにおける「吸収非単調性パラドックス」を同定し、最適な分割を求める擬似多項式時間アルゴリズムを提示する。

ABSTRACT

An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational complexity of false-name manipulation in weighted voting games which are an important class of coalitional voting games. Weighted voting games have received increased interest in the multiagent community due to their compact representation and ability to model coalitional formation scenarios. Bachrach and Elkind in their AAMAS 2008 paper examined divide and conquer false-name manipulation in weighted voting games from the point of view of Shapley-Shubik index. We analyse the corresponding case of the Banzhaf index and check how much the Banzhaf index of a player increases or decreases if it splits up into sub-players. A pseudo-polynomial algorithm to find the optimal split is also provided. Bachrach and Elkind also mentioned manipulation via merging as an open problem. In the paper, we examine the cases where a player annexes other players or merges with them to increase their Banzhaf index or Shapley-Shubik index payoff. We characterize the computational complexity of such manipulations and provide limits to the manipulation. The annexation non-monotonicity paradox is also discovered in the case of the Banzhaf index. The results give insight into coalition formation and manipulation.

研究の動機と目的

• プレイヤーが分割して部分プレイヤーを形成する、もしくは他のプレイヤーと統合することで、重み付き投票ゲームにおけるパワーを操作する方法を調査すること。
• BanzhafおよびShapley-Shubikインデックスの下で、このような操作（分割、統合、吸収）がパワーを増加させるかどうかを決定する計算の複雑性を分析すること。
• 吸収非単調性パラドックスのような構造的パラドックスを同定すること。これは、より小さなプレイヤーを吸収することで、プレイヤーのBanzhafインデックスが増加するが、プレイヤー数が減少するという状況である。
• Banzhafインデックスを最大にする最適な分割を計算するための擬似多項式時間アルゴリズムを提供すること。
• 操作の限界を探索し、マルチエージェントシステムにおける戦略的行動を抑えるための設計原則（例：非整数重み、大きな重み）を提言すること。

提案手法

• プレイヤーの影響力の評価に、BanzhafインデックスおよびShapley-Shubikインデックスをパワー指標として用いる。
• 計算複雑性理論を適用し、分割や吸収が有益かどうかを判断することは、BanzhafインデックスですらNP困難であることを示す。
• プレイヤーを部分プレイヤーに最適に分割するための擬似多項式時間アルゴリズムを提案する。このアルゴリズムは、最適な分割を返すか、有益な分割が存在しないことを特定する。
• ゲーム理論的分析を用いて、プレイヤーの吸収や統合がパワー分配に与える影響を検討し、特に完全合意ゲームおよび一般のWVGにおいて分析する。
• 反例と形式的証明を用いて、Banzhafインデックスにおける「吸収非単調性パラドックス」を実証する。これは、より小さなプレイヤーを吸収することで、プレイヤーのパワーが増加する可能性があるという事実である。
• BanzhafインデックスとShapley-Shubikインデックスの操作下での挙動を比較し、後者が吸収において単調性を示すことを示す。

実験結果

リサーチクエスチョン

• RQ1 重み付き投票ゲームにおいて、プレイヤーの分割がBanzhafインデックスを増加させるかどうかを決定することは、計算的に可能か？
• RQ2 プレイヤーが他のプレイヤーと戦略的に吸収または統合することで、パワーを増加させることができるか。そのような移動を決定するのはどの程度困難か？
• RQ3 より小さなプレイヤーを吸収することは、常にプレイヤーのBanzhafインデックスを増加させるのか、それとも逆にパラドキシカルに減少させる可能性があるのか？
• RQ4 BanzhafインデックスとShapley-Shubikインデックスは、偽名操作の下でどのように異なるか。特に単調性の観点から。
• RQ5 操作の限界は何か。非整数重みなどの設計原則（例：非整数重み）は、重み付き投票ゲームにおける戦略的行動を抑えるのに有効か？

主な発見

• 重み付き投票ゲームにおいて、プレイヤーの有益な分割が存在するかどうかを判断することは、Banzhafインデックスの下でNP困難である。
• 最適な分割を返すか、有益な分割が存在しないことを特定する、擬似多項式時間のアルゴリズムが存在する。
• 吸収はBanzhafインデックスにおいて非単調に増加する可能性がある：より小さなプレイヤーを吸収することで、プレイヤーのパワーが増加するが、より大きなプレイヤーを吸収してもその効果がない場合がある。
• Shapley-Shubikインデックスは吸収において単調である：プレイヤーが他のプレイヤーを吸収する際、報酬は低下しない。
• 完全合意ゲームでは、統合は常に連合にとって不利であるが、吸収は常に吸収プレイヤーにとって有利である。
• ダミー・プレイヤーを吸収してもBanzhafインデックスに影響はない。すべてのプレイヤーのインデックスは半分に減少するが、吸収者の相対的パワーは上昇する。