Proper Interval Graph에서 최대 카디널리티 컷 문제의 다항시간 해결

초록

본 논문은 NP‑hard로 알려진 최대 카디널리티 컷(Max‑Cut) 문제를, chordal 그래프의 하위 클래스인 proper interval graph(=unit interval graph)에서 다항 시간 알고리즘으로 해결한다. 저자들은 기존의 bubble model을 이용해 그래프를 열‑행 구조의 “버블”들로 분해하고, 각 버블에 대한 부분 문제를 동적 계획법으로 결합한다. 최종 복잡도는 O(n⁴)이며, 이는 proper interval graph에 대해 최초로 제시된 다항 시간 해법이다.

상세 분석

본 연구는 Max‑Cut 문제의 복잡도 경계에 새로운 지점을 제시한다. 기존 문헌에서는 chordal 그래프 전반에서 문제의 NP‑hard성을 보였으며, planar graph, line graph, bounded‑treewidth 그래프 등 특수 클래스에서만 다항 시간 해법이 알려져 있었다. Proper interval graph는 chordal이면서도 비평면이며, line graph도 아니기에 기존 결과를 직접 적용할 수 없었다. 저자들은 이러한 격차를 메우기 위해 bubble model이라는 2‑차원 배열 구조를 활용한다. 이 모델은 각 정점을 (i, j) 형태의 버블 B_{i,j}에 배치하고, 같은 열에 속한 버블들의 합집합이 co‑bipartite chain graph을 형성한다는 특성을 가진다. 따라서 전체 그래프는 연속적인 co‑bipartite chain 그래프들의 체인으로 볼 수 있다.

핵심 아이디어는 “열‑행” 단위로 부분 그래프 G_{i,j}를 정의하고, 해당 부분 그래프에 대해 S라는 컷이 포함하는 정점 수를 매개변수 x, x′ (각 열 j와 j+1에 속한 정점 수)로 표현한다. 재귀식 F_{i,j}(x, x′)는 G_{i,j} 내에서 x, x′를 만족하는 컷 중 최대 컷 크기를 반환한다. 이때 F_{i,j}는 이전 열 i‑1, j에 대한 값 F_{i‑1,j}와 현재 버블 B_{i,j} 내부·외부 간의 완전 연결성을 이용해 다음과 같이 전개된다.

1. 버블 내부에서 발생하는 교차(edge) 수는 s_{i,j}·\bar{s}_{i,j} 형태로 단순히 정점 배분에 의존한다.
2. 버블과 이전 열의 정점 사이의 교차는 완전 이분 그래프 구조이므로, s_{i,j}와 x‑s_{i,j} 등으로 선형식으로 계산된다.
3. 최적화는 s_{i,j}, s_{i,j+1}의 가능한 범위(L_i,j ≤ s ≤ U_i,j 등)를 모두 탐색하면서 F_{i‑1,j} 값을 보정한다.

이 재귀를 바탕으로 동적 계획법을 구현하면, 각 (i, j)와 (x, x′) 조합에 대해 O(b_{i,j}·b_{i,j+1}) 시간 안에 최적값을 구한다. 여기서 b_{i,j}=|B_{i,j}|이며, 전체 버블 수는 O(n²)이다. 따라서 전체 복잡도는 Σ_{j}c_j²·c_{j+1}² ≤ n⁴ 로 귀결된다. 알고리즘의 정확성은 F_{0,0}(0,0)이 전체 그래프 G의 최대 컷 크기와 동일함을 보이는 정리 2와 정리 3의 증명으로 보장된다.

이 논문의 주요 공헌은 다음과 같다.

• Proper interval graph에 대한 bubble model 기반의 구조적 특성을 활용, 기존 co‑bipartite chain 그래프에 대한 결과를 일반화하였다.
• Max‑Cut 문제를 정점 배분 매개변수 (x, x′)와 버블 내부 배분 (s_{i,j})로 분해함으로써, 전역적인 NP‑hard 문제를 다차원 동적 계획법으로 해결하였다.
• O(n⁴) 시간 복잡도는 현재 알려진 최선의 다항 시간 해법이며, n이 수천 수준까지도 실용적으로 적용 가능할 것으로 기대된다.
• 또한, bubble model을 O(n²) 시간에 구축할 수 있다는 점은 전체 알고리즘의 전처리 단계가 효율적임을 의미한다.

향후 연구로는 bubble 구조의 압축 표현을 이용해 O(n³) 혹은 O(n²·log n) 수준으로 시간 복잡도를 개선하거나, 동일한 모델을 다른 NP‑hard 문제(예: Max‑Bisection, Minimum Cut)에 적용하는 방안이 제시될 수 있다.