[논문 리뷰] Computing voting power in easy weighted voting games

Haris Aziz, Mike Paterson|arXiv (Cornell University)|2008. 11. 15.

Game Theory and Voting Systems참고 문헌 16인용 수 7

한 줄 요약

이 논문은 특정 구조적 제약 조건(예: 서로 다른 가중치 값의 수가 유한하거나 특수한 가중치 분포)이 있는 가중 투표 게임(WVGs)에서 Banzhaf 지수를 다항 시간 내에 계산하는 알고리즘을 제시한다. 특히, 서로 다른 가중치의 수가 $k$ 이하일 경우, Banzhaf 지수는 $O(k(n/k)^k)$ 시간에 계산 가능하며, 일반적인 경우의 NP-난이도에 비해 크게 향상된 결과를 보인다.

ABSTRACT

Weighted voting games are ubiquitous mathematical models which are used in economics, political science, neuroscience, threshold logic, reliability theory and distributed systems. They model situations where agents with variable voting weight vote in favour of or against a decision. A coalition of agents is winning if and only if the sum of weights of the coalition exceeds or equals a specified quota. The Banzhaf index is a measure of voting power of an agent in a weighted voting game. It depends on the number of coalitions in which the agent is the difference in the coalition winning or losing. It is well known that computing Banzhaf indices in a weighted voting game is NP-hard. We give a comprehensive classification of weighted voting games which can be solved in polynomial time. Among other results, we provide a polynomial ($O(k{(\frac{n}{k})}^k)$) algorithm to compute the Banzhaf indices in weighted voting games in which the number of weight values is bounded by $k$.

연구 동기 및 목표

• 일반적으로 NP-난이도임에도 불구하고, Banzhaf 지수 계산이 다항 시간 내에 가능해지는 가중 투표 게임의 클래스를 규명하는 것.
• 서로 다른 가중치의 수가 제한되어 있거나, 정수 가중치이거나, 특정 가중치 분포를 가진 WVGs를 다항 시간 내에 해결 가능한 것으로 분류하는 것.
• 정치 시스템, 주식 연합 회사, 신뢰성 이론 등 실제 적용 사례에서의 투표 능력 계산을 위한 효율적 알고리즘을 제공하는 것.

제안 방법

• 서로 다른 가중치 값이 $k$ 개인 WVGs에 대해 다항 시간 알고리즘을 제안하며, 이는 $O(k(n/k)^k)$ 시간에 실행되며, 가중치 그룹에 대한 조합적 순열을 활용한다.
• 생성 함수를 사용하여 연합 수를 인코딩하며, $\prod_{j \neq i} (1 + x^{w_j})$에서 $x^k$의 계수는 플레이어 $i$를 포함하지 않은 무게 $k$의 패배 연합의 수를 나타내며, 이를 통해 Banzhaf 지수 계산이 가능해진다.
• 순차적 WVGs에 대해 '대체 지배 조건'을 도입하여, 더 높은 가중치를 가진 플레이어가 낮은 가중치 플레이어를 지배하도록 보장하며, 이 조건을 통해 $O(n^2)$ 시간 내에 계산이 가능해진다.
• 중간 크기의 정수 가중치를 가진 WVGs에 대해 동적 프로그래밍을 적용하여, $q$가 할당 기준일 때 $O(n^2 q)$ 시간 복잡도를 달성한다.
• 생성 함수의 흐문성 분석을 통해, 비영인 계수의 수 $C$가 $n$에 대해 다항식일 경우 문제는 여전히 $P$에 속하며, 지수적 가중치가 존재하더라도 $O(n^2 C)$ 시간 복잡도로 해결 가능하다는 것을 보였다.
• 이전의 비균형적 및 순차적 WVGs에 대한 결과를 확장하여, 지배 또는 대체 지배 조건이 만족될 경우 다항 시간 내에 해결 가능하다는 것을 증명하였다.

실험 결과

연구 질문

• RQ1 가중 투표 게임에 어떤 구조적 조건이 만족될 경우, 일반적인 NP-난이도에도 불구하고 Banzhaf 지수 계산이 다항 시간 내에 가능해지는가?
• RQ2 서로 다른 가중치의 수가 상수 $k$ 이하일 경우, Banzhaf 지수 계산의 계산 복잡도는 얼마인가?
• RQ3 비영인 계수의 수가 적은 경우, 생성 함수 접근법이 큰 가중치가 존재하더라도 다항 시간 알고리즘을 도출할 수 있는가?
• RQ4 순차적 WVGs에서 지배 조건과 대체 지배 조건은 Banzhaf 지수 계산의 다항 시간 가능성에 어떤 영향을 미치는가?
• RQ5 기존 정확한 방법의 $O(n^2 2^{n/2})$ bound를 개선하는 일반 WVGs에 대한 다항 시간 알고리즘이 존재하는가?

주요 결과

• 서로 다른 가중치가 $k$ 개인 WVGs의 경우, Banzhaf 지수는 $O(k(n/k)^k)$ 시간에 계산 가능하며, $k$ 가 유한할 경우 다항 시간이다.
• 생성 함수에서 비영인 계수의 수 $C$가 $n$에 대해 다항식일 경우, Banzhaf 지수 계산은 $P$에 속하며, 시간 복잡도는 $O(n^2 C)$이다.
• 대체 지배 조건을 만족하는 WVGs는 $O(n)$ 시간 내에 해결 가능하며, 이는 기존의 지배 순서가 있는 WVGs의 결과를 확장한 것이다.
• 중간 크기의 정수 가중치를 가진 WVGs의 경우($q$가 너무 크지 않은 경우), 동적 프로그래밍 접근법을 통해 Banzhaf 지수는 $O(n^2 q)$ 시간에 계산 가능하다.
• 논문은 비균형적, 순차적, $r$-기하학적 WVGs와 같은 여러 클래스의 WVGs에서 Banzhaf 지수 계산이 다항 시간 내에 가능하다는 것을 규명하였다.
• 정확한 Banzhaf 지수 계산이 다항 시간 내에 가능해지는 WVGs의 포괄적인 분류를 제공하며, 정치 시스템, 주식 연합, 분산 시스템 등 실제 응용 분야에 실용적인 알고리즘을 제시하였다.