독립절단 문제의 난제 근사불가능성 및 MAXSNPHardness

초록

본 논문은 Bramoullé(2007)의 반협조 게임 모델에서 제기된 ‘최대 독립 절단 문제’를 정식화하고, 이 문제의 근사 난이도를 분석한다. 한 쪽 파티션이 독립 집합이어야 한다는 제약 하에 절단을 최대화하는 것이 P≠NP 가정 하에 n^{1‑ε} 수준보다 좋은 다항식 근사 알고리즘이 존재하지 않음을 증명한다. 또한, 모든 정점의 차수가 4 이하인 그래프에서도 이 문제는 MAXSNP‑hard임을 보여준다.

상세 분석

논문은 먼저 반협조 게임에서 각 플레이어가 이웃과 반대 행동을 선택하도록 유도되는 상황을 그래프 이론적 모델로 변환한다. 이때 전략 프로필은 그래프의 두 부분 집합으로 나뉘며, 한 쪽 집합은 인접 정점이 서로 연결되지 않는 독립 집합이어야 한다. 따라서 사회적 효율을 극대화하는 문제는 ‘Maximum Independent Cut Problem’(MIC)으로 귀결된다. 저자는 MIC를 기존의 MAX‑CUT 문제와 비교하면서, 전자는 후자보다 더 강한 구조적 제약을 가진다는 점을 강조한다.

근사 하한 증명에서는 먼저 알려진 ‘Maximum Independent Set’(MIS) 문제의 난이도를 이용한다. MIS는 n^{1‑ε} 이하의 근사 비율을 보장하는 다항식 알고리즘이 존재하지 않는 것으로 알려져 있다(Feige 1996). 저자는 그래프 G에 대해 각 정점 v를 두 개의 복제 정점 v₁, v₂ 로 확장하고, 이들 사이에 완전 이분 그래프를 추가하는 변환을 설계한다. 이 변환을 통해 G의 최대 독립 집합 크기가 MIC 인스턴스의 최적 절단 값과 선형적으로 연관됨을 보인다. 따라서 MIS의 근사 하한이 MIC에도 그대로 적용되어, n^{1‑ε} 보다 좋은 근사 비율을 달성하는 알고리즘이 존재한다면 P=NP 가 된다.

두 번째 주요 결과는 차수 제한이 4 이하인 경우에도 문제의 난이도가 유지된다는 점이다. 이를 위해 저자는 ‘Planar Cubic Independent Set’ 문제에서 차수 3 그래프를 이용해 L-reduction을 수행한다. 변환 과정에서 각 정점을 작은 위젯으로 교체하고, 위젯 내부에 추가적인 보조 정점을 삽입해 전체 차수를 4 이하로 만든다. 이때 위젯 설계는 절단의 한쪽이 반드시 독립 집합이 되도록 강제하면서, 원래 그래프의 독립 집합 크기와 절단 가치 사이에 상수 비율을 유지한다. 결과적으로 차수 4 이하의 그래프에서도 MIC는 MAXSNP‑hard임이 증명된다.

이러한 복잡도 결과는 반협조 게임에서 사회적 효율을 최적화하려는 정책 설계가 근본적으로 계산적으로 어려울 수 있음을 시사한다. 특히, 네트워크가 희소하거나 정점 차수가 제한된 현실적인 상황에서도 근사 알고리즘의 성능 보장이 제한적이다. 따라서 연구자는 향후 근사 가능한 특수 그래프 클래스(예: 트리, 경계가 작은 그래프)나 파라메트릭 알고리즘(예: PTAS) 탐색이 필요하다고 제언한다.