정확한 최대 절단 문제 해결을 위한 버블 파티션 기반 FPT 알고리즘

초록

본 논문은 기존에 주장된 적절 구간 그래프에서 최대 절단(Max‑Cut) 문제의 다항시간 해결 가능성에 대한 오류를 지적하고, 버블 파티션과 (α,β,δ)‑클리크‑폭 분해를 이용한 새로운 파라미터화된 알고리즘을 제시한다. 이 알고리즘은 파라미터 α(버블 독립수)와 폭 w에 대해 FPT 시간 O*(|V|⁴·α⁴·w)으로 최대 절단을 구할 수 있으며, 혼합 단위 구간 그래프와 그보다 넓은 그래프 클래스에도 적용 가능함을 보인다.

상세 분석

논문은 먼저 Max‑Cut 문제가 기존에 알려진 여러 그래프 클래스(평면 그래프, 라인 그래프, 제한된 클리크‑폭 그래프 등)에서는 다항시간으로 해결되지만, 적절 구간 그래프(proper interval graph)에서는 아직 해결되지 않았음을 강조한다. 두 차례 제시된 다항시간 알고리즘이 각각 결함을 가지고 있음을 구체적인 반례를 들어 설명하고, 따라서 Max‑Cut 문제의 복잡도에 대한 근본적인 질문이 남아 있음을 제시한다.

핵심 기여는 ‘버블 파티션(bubble partition)’이라는 새로운 구조적 개념이다. 버블은 트윈(twin) 정점들의 최대 집합으로 정의되며, 그래프를 버블 단위로 압축하면 트리 구조를 얻는다. 버블 파티션 V={V₁,…,V_k}에 대해 두 파라미터를 도입한다. 첫 번째는 각 파티션 부분집합 V_i 내부의 독립집합 크기의 최댓값 α(V)이며, 두 번째는 어떤 파티션에 속한 버블의 최대 개수 w(V)이다. α‑버블 폭 bw_α(G)는 α(V)≤α를 만족하는 파티션 중 최소 w(V)값으로 정의된다.

정리 2에 따르면 모든 그래프는 ‘tight’ 최대 절단을 갖는다. 즉, 최적 절단이 교차하는 버블 집합은 G⁻(버블을 하나의 정점으로 축소한 그래프)에서 독립집합을 이룬다. 이를 이용해 동적 계획법을 트리 T(V) 위에서 수행한다. 각 노드 t에 대해 가능한 버블 구성 γ∈Γ(V_t)를 열거하고, 자식 노드들의 최적값을 결합해 OPT_t(γ)를 계산한다. 이 과정에서 각 γ에 대한 경우의 수는 O(|V|·2^{α(V)}·|V⁻|) 이하이며, 전체 복잡도는 O*(|V|⁴·α⁴·w)로 제한된다(정리 3).

또한 논문은 (α,β,δ)-클리크‑폭 분해라는 일반화된 클리크‑폭 개념을 도입한다. 기존 클리크‑폭 분해는 라벨 수만을 최소화하지만, (α,β,δ)‑분해는 라벨 수 외에 버블 독립수 α, 라벨당 최대 버블 수 β, 그리고 인접 라벨 간의 버블 교차 제한 δ를 동시에 제어한다. 정리 5는 기존 XP 알고리즘(