그래프 위 연합 구조 생성의 복잡도 분석

초록

이 논문은 무방향 그래프와 정점 집합에 대한 가치 함수가 주어졌을 때, 모든 연합이 연결된 형태로 분할되어 전체 가치를 최대화하는 문제를 다룬다. 일반 경우 NP‑complete임을 보이며, 특히 “연결되지 않은 멤버에 독립적인” 함수와 가장 단순한 형태인 엣지‑합 함수에 대해 복잡도 경계를 제시한다. 트리폭이 제한된 그래프에서는 선형 시간 알고리즘을 제공하고, 평면 그래프와 K₅‑마이너 자유 그래프에서는 여전히 NP‑hard임을 증명한다.

상세 분석

본 연구는 연합 구조 생성(Coalition Structure Generation, CSG) 문제를 그래프 이론과 결합 최적화 관점에서 재정의한다. 입력으로 무방향 그래프 G=(N,E)와 정점 부분집합 S⊆N에 대한 실수값 함수 v(S)가 주어지며, 목표는 N을 서로 겹치지 않는 연결된 부분집합들의 파티션 𝒫={C₁,…,C_k} 로 나누어 Σ_{C∈𝒫} v(C)를 최대화하는 것이다. 논문은 먼저 이 문제가 일반적으로 NP‑complete임을 기존 결과와 유사하게 증명한다. 특히, “연결되지 않은 멤버에 독립적인”(Independence of Disconnected Members, IDM) 성질을 만족하는 함수군에 대해 하드코어 사례를 구성한다. IDM 함수는 두 정점이 서로 다른 연결 성분에 있을 때, 한 정점의 한계 기여도가 다른 정점에 영향을 주지 않는 특성을 가진다. 이러한 제한에도 불구하고, 논문은 다음과 같은 주요 결과를 도출한다.

1. 일반 및 마이너‑프리 그래프에 대한 복잡도 경계

   • 모든 IDM 함수에 대해, 그래프가 일반적인 경우와 마이너‑프리(minor‑free) 경우(예: K₅‑마이너 자유)에도 문제는 여전히 NP‑hard이다.
   • 구성적 증명(construction proof)을 통해, 임의의 3‑SAT 인스턴스를 O(m²) 정점의 평면 그래프와 대응되는 CSG 인스턴스로 변환함으로써 평면 그래프에서도 NP‑completeness를 확보한다.

2. 특수 함수군: 엣지‑합(edge‑sum) 함수

   • 엣지‑합 함수는 v(S)=∑_{(u,v)∈E