2‑조인으로 푸는 완전 그래프 최적화

초록

이 논문은 균형 스큐 파티션, 보완 그래프의 2‑조인, 동질 쌍이 없는 완전 그래프와 별 절단점이 없는 짝수‑홀 없는 그래프를 대상으로, 2‑조인 분해를 이용해 최대 가중 클리크, 최대 가중 안정집합, 최적 색칠을 다항시간 내에 구하는 전형적인 조합 최적화 알고리즘을 제시한다. 또한 2‑조인으로 이분 그래프와 라인 그래프만으로 분해되는 간단한 그래프 클래스에서 최대 안정집합 문제가 NP‑hard임을 보이며, 홀의 동일한 패리티가 알고리즘 설계에 핵심적임을 강조한다.

상세 분석

본 연구는 2‑조인이라는 특수한 에지 절단집합을 활용해 그래프 구조를 재귀적으로 분해하고, 각 블록에 대해 최적화 문제를 해결하는 새로운 프레임워크를 제시한다. 먼저, 완전 그래프(베르제 그래프)의 경우 기존의 강한 절단집합(예: 별 절단점, 균형 스큐 파티션) 없이도 2‑조인만으로 충분히 분해가 가능함을 보인다. 이를 위해 저자들은 “비경로 2‑조인”(non‑path 2‑join)과 “극단 2‑조인”(extreme 2‑join)의 개념을 도입한다. 극단 2‑조인은 하나의 블록이 이미 기본 그래프(이분 그래프, 라인 그래프, 경로‑코비파트 등)인 경우를 의미하며, 이러한 블록을 루트로 삼아 분해 트리를 구성하면 트리의 모든 내부 노드가 최소 하나의 리프를 갖게 된다. 따라서 재귀적 분해 과정이 선형 깊이로 제한되어, 블록 수가 입력 그래프 크기에 비례함을 보장한다.

다음으로, 각 블록에 가중치를 부여해 최대 가중 클리크 문제를 해결한다. 기본 블록에 대해서는 기존의 다항시간 알고리즘(예: 이분 그래프의 최대 매칭, 라인 그래프의 매칭 기반 클리크)으로 해를 구하고, 2‑조인 연결 부분에서는 가중치를 적절히 조정해 두 서브그래프의 최적해를 결합한다. 이 과정에서 클리크 수와 색칠 수가 동일하게 유지되는 완전 그래프의 특성을 활용한다.

안정집합 문제는 훨씬 복잡하다. 저자들은 모든 홀의 길이가 동일한 패리티(짝수 혹은 홀수)를 갖는 그래프에서만 2‑조인과 안정집합이 특수한 겹침 구조를 이루는 것을 증명한다. 이를 기반으로 “확장 기본 블록”(extensions of basic graphs)이라는 새로운 블록 유형을 정의하고, 이러한 블록에서도 최대 가중 안정집합을 보존하면서 베르제 성질을 유지하도록 설계한다. 그러나 이러한 블록은 클래스 보존이 아니므로, 두 단계의 분해 트리를 도입한다. 첫 단계에서는 전통적인 클래스 보존 블록을 사용해 트리를 만든 뒤, 두 번째 단계에서 확장 블록을 적용해 최적해를 추출한다.

마지막으로, 2‑조인으로만 이분 그래프와 라인 그래프(사이클에 하나의 코드를 추가한 형태)로 분해되는 그래프 클래스에 대해 최대 안정집합 문제가 NP‑hard임을 증명한다. 이는 홀의 패리티가 동일하지 않은 경우 2‑조인만으로는 안정집합 최적화가 불가능함을 보여주며, 짝수‑홀 자유 그래프에서 홀 패리티 일치가 알고리즘 설계의 핵심 전제임을 강조한다. 전체적으로, 이 논문은 2‑조인 기반 분해와 가중치 조정 기법을 결합해 완전 그래프와 짝수‑홀 자유 그래프의 주요 최적화 문제를 전형적인 조합 알고리즘으로 해결하는 방법론을 제공한다.