스패닝 연결 게임

초록

스패닝 연결 게임(SCG)은 무방향 멀티그래프의 간선을 플레이어로 보는 단순 협동 게임이다. 논문은 SCG에서 Banzhaf 지수와 Shapley‑Shubik 지수를 계산하는 문제가 #P‑complete임을 증명하고, 반면 Holler 지수와 Deegan‑Packel 지수는 다항시간에 구할 수 있음을 보인다. 또한 트리폭이 제한된 그래프에서는 Banzhaf 지수를 효율적으로 계산할 수 있음을 제시한다. 마지막으로, 단순 게임의 어떤 합리적인 표현에서도 Shapley‑Shubik 지수를 다항시간에 구할 수 있다면 Banzhaf 지수도 다항시간에 구할 수 있음을 보이며, 이를 통해 최소 승리 연합, 임계 네트워크 흐름 게임, 정점 연결 게임, 협동 기술 게임 등 여러 게임 클래스에서 Shapley 값 계산이 #P‑complete임을 도출한다.

상세 분석

본 논문은 그래프 이론과 협동 게임 이론을 융합한 새로운 게임 모델인 스패닝 연결 게임(SCG)을 정의하고, 그 위에서 전통적인 투표력 지수들의 계산 복잡도를 체계적으로 분석한다. SCG에서 플레이어는 그래프의 간선이며, 승리 연합은 선택된 간선 집합이 그래프 전체를 연결하는 스패닝 트리를 형성할 때 성립한다. 이러한 정의는 그래프의 연결성이라는 구조적 특성을 투표력 지수와 직접 연결시켜, 기존의 추상적인 게임 모델보다 현실적인 네트워크 상황을 모델링하는 데 유리하다. 논문은 먼저 Banzhaf 값과 Shapley‑Shubik 지수의 계산이 #P‑complete임을 증명한다. 이를 위해 SCG를 #SAT 문제와 정밀하게 귀환시켜, 승리 연합의 개수를 세는 것이 본질적으로 #P‑hard임을 보인다. 특히, Banzhaf 값은 각 간선이 스패닝 트리를 형성하는 데 기여하는 경우의 수를 세는 문제와 동치이며, Shapley‑Shubik 지수는 모든 순열에 대한 피봇(핵심) 위치를 평균하는 과정이므로 동일한 복잡도 클래스로 귀속된다. 반면, Holler 지수와 Deegan‑Packel 지수는 최소 승리 연합의 크기와 개수에만 의존하므로, 그래프의 연결성 검증을 BFS/DFS로 수행하면 다항시간에 정확히 계산할 수 있음을 보여준다. 이는 두 지수가 구조적 최소성에 초점을 맞추어, 복잡한 순열 계산을 회피하기 때문이다. 또 다른 중요한 기여는 트리폭이 제한된 그래프(예: 트리, 시리즈‑패러렐 구조)에서 Banzhaf 값을 동적 계획법으로 효율적으로 구할 수 있음을 증명한 점이다. 트리분해를 이용해 부분 그래프마다 승리 연합의 개수를 저장하고, 이를 결합함으로써 전체 그래프의 Banzhaf 값을 다항시간에 산출한다. 마지막으로, 논문은 “합리적인” 게임 표현(예: 최소 승리 연합 집합)에서 Shapley‑Shubik 지수를 다항시간에 구할 수 있다면, 동일한 알고리즘을 변형해 Banzhaf 값을도 다항시간에 구할 수 있음을 보이는 복귀 관계를 제시한다. 이를 통해 최소 승리 연합, 임계 네트워크 흐름, 정점 연결, 협동 기술 게임 등 다양한 기존 게임 모델에서도 Shapley 값 계산이 #P‑complete임을 즉시 도출한다. 전체적으로 이 연구는 투표력 지수의 계산 복잡도를 그래프 구조와 연결성 특성에 매핑함으로써, 네트워크 기반 협동 게임의 이론적 한계와 가능한 효율적 알고리즘의 경계를 명확히 제시한다.