[논문 리뷰] False name manipulations in weighted voting games: splitting, merging and annexation

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

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-난이도임을 증명한다.
• 플레이어를 하위 플레이어로 최적의 방식으로 분할하여 Banzhaf 지수를 최대화하기 위한 의사다항식 시간 알고리즘을 제안한다.
• 게임 이론적 분석을 활용하여 플레이어의 병합 또는 융합이 권력 분포에 미치는 영향을 분석하며, 특히 단결합 게임과 일반적인 WVG에서의 영향을 고려한다.
• 반례와 형식적 증명을 사용하여, 더 작은 플레이어를 병합함으로써 플레이어의 권력이 증가할 수 있는 Banzhaf 지수에서의 병합 비단조화 모순을 입증한다.
• Banzhaf 지수와 Shapley-Shubik 지수의 조작에 대한 행동을 비교하여, 후자가 병합에 대해 단조롭다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 가중 투표 게임에서 플레이어의 분할이 Banzhaf 지수를 증가시키는지 여부를 판단하는 것은 계산적으로 가능할까?
• RQ2 플레이어가 다른 플레이어와 전략적으로 병합하거나 융합함으로써 자신의 권력을 증가시킬 수 있으며, 그러한 조치를 취할 수 있는지 여부를 판단하는 데 얼마나 어려운가?
• RQ3 더 작은 플레이어를 병합하면 항상 플레이어의 Banzhaf 지수가 증가하는가, 아니면 역설적인 감소가 발생할 수 있는가?
• RQ4 Banzhaf 지수와 Shapley-Shubik 지수의 조작에 대한 행동은 어떻게 다르며, 특히 단조성 측면에서 어떤가?
• RQ5 조작의 한계는 무엇이며, 비정수 가중치와 같은 설계 원칙(예: 비정수 또는 큰 가중치)은 가중 투표 게임에서의 전략적 행동을 억제하는 데 어떻게 기여하는가?

주요 결과

• Banzhaf 지수 하에서 가중 투표 게임에서 플레이어의 유리한 분할 여부를 판단하는 것은 NP-난이도이다.
• 최적의 분할을 반환하거나 유리한 분할이 존재하지 않음을 판단하는 의사다항식 시간 알고리즘이 존재한다.
• 병합은 Banzhaf 지수에 비단조화적인 증가를 초래할 수 있다: 더 작은 플레이어를 병합하면 플레이어의 권력이 증가할 수 있지만, 더 큰 플레이어를 병합하면 그렇지 않을 수 있다.
• Shapley-Shubik 지수는 병합에 대해 단조롭다: 플레이어가 다른 플레이어를 병합할수록 자신의 보상이 감소하지 않는다.
• 단결합 게임에서는 융합이 항상 연합에 불리하며, 병합은 항상 병합자에게 유리하다.
• 도우미 플레이어를 병합하는 것은 Banzhaf 지수에 영향을 주지 않으며, 모든 플레이어의 지수가 반으로 줄어들지만, 병합자의 상대적 권력은 증가한다.