단순 게임에서 플레이어 영향력 비교 복잡도 분석

초록

이 논문은 단순 게임을 다양한 표현 방식(승리 연합, 최소 승리 연합, 가중 투표 게임, 다중 가중 투표 게임)으로 나타낼 때, 플레이어의 영향력을 측정하는 여러 기준(플레이어 유형, 바람직성 관계, 샤플리‑슈비크, 반샤프, 홀러, 디건‑패켈 지수 및 Chow 파라미터) 사이의 비교 복잡도를 체계적으로 규명한다. 주요 결과로는 최소 승리 연합 형태에서 Banzhaf 값을 구하는 것이 #P‑complete이며, 다중 가중 투표 게임에서 선형성 여부를 판정하는 것이 NP‑hard임을 보인다. 또한 최소 승리 연합을 이용해 선형성을 O(n·|W^m|+n²log n) 시간에 검증하고, 다양한 변환 문제의 복잡도도 조사한다.

상세 분석

본 논문은 단순 게임(simple game)의 구조적 특성을 기반으로 플레이어 영향력 비교 문제의 계산 복잡성을 다각도로 탐구한다. 먼저 게임을 네 가지 대표적 형태로 정의한다. (1) 승리 연합(W) 형태는 모든 승리 연합을 명시적으로 나열하는 전통적 표현이며, (2) 최소 승리 연합(W^m) 형태는 각 연합에서 어느 한 명이라도 탈퇴하면 패배하게 되는 최소 집합만을 저장함으로써 입력 크기를 크게 줄일 수 있다. (3) 가중 투표 게임(WVG)은 각 플레이어에 정수 가중치를 부여하고, 총 가중치가 정해진 문턱값 q 이상이면 승리하는 형태이며, (4) 다중 가중 투표 게임(MWVG)은 m개의 WVG를 논리곱(∧)으로 결합해 보다 복잡한 임계 함수를 구현한다.

플레이어 영향력 측정 기준은 크게 세 축으로 나뉜다. 첫 번째는 기본 플레이어 유형(더미, 패서, 베토, 독재자)으로, 이는 게임 정의만으로 다항 시간에 식별 가능함을 보인다. 두 번째는 바람직성 관계(D‑relation)와 그 완전성(선형성) 여부이다. 선형 게임은 모든 플레이어 쌍이 비교 가능하도록 완전 순서를 갖으며, 이는 게임이 swap‑robust 혹은 trade‑robust와 동치임을 이용해 검증한다. 논문은 Makino의 알고리즘을 적용해 최소 승리 연합 형태에서 O(n·|W^m|) 시간에 선형성을 판정할 수 있음을 제시한다. 세 번째는 전통적인 파워 지수들이다. 특히 Banzhaf 값은 최소 승리 연합 입력에서도 #P‑complete임을 증명함으로써, 단순히 “플레이어가 0 또는 1의 파워를 갖는지”는 쉽게 판단할 수 있지만, 정확한 값 계산은 계산적으로 매우 어려운 문제임을 강조한다. 반면 Shapley‑Shubik 지수와 Chow 파라미터는 기존 문헌에 따라 다항 시간에 계산 가능하나, 이 논문은 그 복잡도 경계가 표현 방식에 따라 어떻게 변하는지를 체계적으로 정리한다.

특히 다중 가중 투표 게임에서 선형성 판정이 NP‑hard임을 보인 점이 주목할 만하다. 저자는 PARTITION 문제를 정밀히 변환해, 두 WVG의 가중치를 적절히 조정함으로써 플레이어 쌍이 비교 불가능한 상황을 만들고, 이는 선형성이 깨지는 경우와 정확히 일치한다는 논증을 전개한다. 이 결과는 MWVG가 다른 표현 방식에 비해 구조적 복잡성이 현저히 높으며, 선형성 검증 자체가 근본적인 NP‑hard 문제와 동치임을 의미한다.

또한 변환 문제에 대한 복잡도 분석도 포함한다. WVG‑Realizable 문제는 최소 승리 연합이나 승리 연합 입력에서는 다항 시간에 해결 가능하지만, MWVG 입력에서는 차원(dimension) 계산이 NP‑hard이므로 실용적인 변환이 어려움을 강조한다. 전체적으로 논문은 게임 이론, 컴퓨터 과학, 사회 선택 이론 사이의 교차점에서 복잡도 이론을 적용해, 다양한 영향력 측정 방법의 계산적 한계를 명확히 제시한다.