분수형 헤도닉 게임: 코어 존재와 계산 복잡도

초록

분수형 헤도닉 게임(FHG)은 플레이어가 다른 플레이어에게 부여한 가치의 평균을 효용으로 삼는 협동 게임이다. 본 논문은 FHG의 핵심 해(solution concept)인 코어가 언제 비어 있지 않은지, 그리고 코어를 찾는 문제의 복잡도가 어떻게 되는지를 체계적으로 조사한다. 단순·대칭 그래프(값이 0·1인 무방향 그래프)에서 코어가 존재하지 않을 수 있음을 보이며, 코어 존재 여부 판단이 Σ₂^P‑complete임을 증명한다. 동시에, 차수 ≤2인 그래프, 포레스트, 완전 다파트ite 그래프, 완전 매칭이 존재하는 이분 그래프, 그리고 girth≥5인 그래프 등 여러 구조적 클래스에서는 코어가 항상 존재하고 다항시간 알고리즘으로 찾을 수 있음을 제시한다. 또한, 베이커‑밀러 모델(두 종류 플레이어가 서로를 상대적으로 선호)과 같은 실제 응용에서도 코어와 강코어가 항상 존재함을 보인다.

상세 분석

본 논문은 헤도닉 게임의 한 변형인 분수형 헤도닉 게임(Fractional Hedonic Games, 이하 FHG)을 정의하고, 그 구조적·계산적 특성을 깊이 있게 탐구한다. FHG는 각 플레이어 i가 다른 플레이어 j에 대해 부여한 실수값 v_i(j)를 가지고, i가 속한 코얼리션 S에 대해 효용 u_i(S)= (∑_{j∈S} v_i(j))/|S| 로 정의한다. 이때 v_i(i)=0이라고 가정함으로써 자기 자신에 대한 가치가 효용에 영향을 주지 않게 만든다. 이러한 정의는 기존의 가산형 헤도닉 게임(Additively Separable Hedonic Games)과는 달리 평균값을 사용함으로써 코얼리션 규모가 커질수록 평균 효용이 감소할 수 있는 ‘Mere Addition Paradox’를 자연스럽게 반영한다.

논문은 먼저 FHG를 가중치가 있는 유향 그래프로 모델링한다. 특히, v_i(j)∈{0,1}이며 대칭인 경우(즉, 무방향 단순 그래프)에는 “단순 대칭 FHG”라는 특수 클래스를 정의한다. 이 경우 각 플레이어는 친구(값 1)와 비친구(값 0)를 구분하고, 코얼리션 내에서 친구 비율을 최대화하려는 동기가 된다. 이러한 모델은 네트워크 클러스터링, 정치 파벌 형성, 베이커‑밀러 경제 모델 등 다양한 실제 상황에 직접 적용 가능하다.

핵심 이론적 기여는 코어의 존재 여부와 그 계산 복잡도에 있다. 코어는 어떤 파티션 π에 대해, 어떤 코얼리션 C⊆N이 존재하여 모든 i∈C가 현재 속한 코얼리션보다 C에서 더 높은 효용을 얻는 경우를 차단(coalitional deviation)이라고 정의한다. 논문은 다음과 같은 주요 결과를 제시한다.

1. 코어 비존재 사례: 단순 대칭 FHG에서도 코어가 비어 있을 수 있음을 40명 플레이어의 구체적 예시를 통해 증명한다. 이는 기존의 가산형 헤도닉 게임에서는 그와 반대로 그랜드 코얼리션이 항상 코어에 속한다는 점과 대조적이다.

2. 복잡도 상한·하한: 코어 존재 여부를 판정하는 문제는 Σ₂^P‑complete임을 보인다. 이는 “모든 코얼리션에 대해 차단이 없음을 보이는” 전역 검증이 NP‑hard이며, 동시에 “존재하는 차단 코얼리션을 찾는” NP‑complete 문제와의 정규화(reduction)를 이용한 결과이다. 또한, 주어진 파티션이 코어에 속하는지 검증하는 문제는 coNP‑complete이다.

3. 구조적 클래스에서의 코어 존재: 차수가 2 이하인 그래프(경로·사이클), 포레스트, 완전 k‑파트ite 그래프, 완전 매칭이 존재하는 이분 그래프, 그리고 girth≥5인 그래프 등에서는 코어가 항상 존재함을 증명한다. 각 경우에 대해 다항시간 알고리즘을 제시했으며, 특히 포레스트와 완전 매칭 그래프에서는 단순히 연결 성분을 기준으로 코얼리션을 형성하면 코어 안정성을 확보할 수 있다.

4. 베이커‑밀러 모델: 두 종류(베이커와 밀러) 혹은 다종류 플레이어가 서로를 상호 보완적으로 선호하는 완전 k‑파트ite 그래프에서는 코어뿐 아니라 강코어(strict core)도 항상 비어 있지 않다. 특히 그랜드 코얼리션이 항상 코어에 속하고, 파티션을 “각 파티션이 같은 종류의 플레이어 비율을 최소화하도록” 구성하면 유일한 가장 미세한 파티션을 다항시간에 찾을 수 있다.

5. 네트워크 클러스터링과의 연계: 단순 대칭 FHG는 그래프의 커뮤니티 구조를 탐색하는 새로운 게임이론적 프레임워크를 제공한다. 평균 친밀도(친구 비율)를 최대화하는 코얼리션은 고밀도 서브그래프와 일치하며, 코어 안정성은 이러한 서브그래프가 외부와의 교차 연결에 의해 방해받지 않음을 보장한다.

전반적으로 논문은 “평균 효용”이라는 작은 모델링 차이가 헤도닉 게임의 이론적 성질을 크게 바꾸는 사례를 보여준다. 코어 존재 여부가 구조에 크게 의존하고, 일반적인 경우는 고차 복잡도(Σ₂^P) 문제에 해당하지만, 실용적인 그래프 클래스에서는 효율적인 해법이 존재한다는 점은 향후 알고리즘 설계와 응용에 중요한 시사점을 제공한다.