글로벌 라벨 최소 절단의 준다항식 복잡도는 최적임을 증명

초록

본 논문은 라벨(색)로 구분된 간선들을 한 번에 제거하는 비용이 1인 Global Label Min‑Cut 문제의 정확한 복잡도 경계를 제시한다. 최근 알려진 $n^{O(\log\text{OPT})}$ 시간 알고리즘이 최선임을 보이며, $ (np)^{o(\log n/(\log\log n)^2)}$ 이하의 시간으로 해결할 수 있다는 가정은 ETH를 위배한다. 핵심은 “잘라내지 않아도 되는 라벨 수” $a=p-k$ 를 매개변수로 한 W

상세 분석

논문은 먼저 Global Label Min‑Cut을 기존의 Global Min‑Cut과 구별한다. 여기서는 각 간선에 라벨이 붙어 있으며, 동일 라벨의 모든 간선을 동시에 삭제하는 비용이 1이다. $st$‑버전은 NP‑hard이지만, 전역 버전은 2017년 Ghaffari·Karger·Panigrahi가 $n^{O(\log\text{OPT})}$ 시간의 무작위 알고리즘을 제시하면서 “P에 속할 가능성이 높다”는 의견이 지배적이었다. 저자들은 이 의견에 반박한다.

핵심 기법은 문제의 듀얼을 고려하는 것이다. 라벨을 제거하지 않는 색의 개수 $a=p-k$ 를 매개변수로 두고, “$a$개의 라벨을 선택했을 때 그 라벨들의 간선 집합이 그래프를 끊는가?”를 묻는 Dual Global Label Min‑Cut을 정의한다. 이 듀얼 문제는 $a$가 작을 때, 즉 거의 모든 라벨을 잘라야 할 때 어려워짐을 보인다.

첫 번째 주요 정리는 Dual 문제가 $a$에 대해 W