기하 그래프에서의 비차원성 활용과 새로운 EPTAS·서브지수 알고리즘

초록

본 논문은 비차원성 이론을 확장하여 지도 그래프와 단위 원판 그래프에서 피드백 정점 집합·정점 커버·연결 정점 커버·다이아몬드 히팅 집합·사이클 패킹·최소 정점 피드백 엣지 집합 등에 대한 EPTAS와 서브지수 시간 파라미터화 알고리즘을 제시한다. 또한 3차원 단위 구 그래프에서는 피드백 정점 집합이 PTAS와 서브지수 알고리즘을 허용하지 않음을 증명한다.

상세 분석

비차원성 이론은 원래 H‑소소 그래프에서 트리폭 기반 분해를 이용해 하드 문제의 서브지수 FPT와 EPTAS를 얻는 프레임워크이다. 저자들은 이 핵심 아이디어를 지도 그래프와 단위 원판 그래프라는 마이너 폐쇄가 아닌 기하적 구조를 가진 클래스에 적용한다. 핵심 난관은 이들 그래프가 임의의 큰 클리크를 포함할 수 있어 ‘진정한 서브선형 트리폭’ 속성을 직접 만족하지 못한다는 점이다. 이를 해결하기 위해 저자는 ‘클리크 정리’ 절차를 도입한다. 먼저 입력 그래프에서 일정 크기 이상의 클리크를 탐지하고, 해당 클리크를 제거하거나 별도 처리함으로써 그래프를 K_t‑프리 상태로 만든다. K_t‑프리 지도·단위 원판 그래프는 최대 차수가 O(t) 로 제한되고, 이때 트리폭은 클리크 크기의 λ(0<λ<1) 제곱에 비례하는 서브선형 성장 특성을 보인다. 이러한 구조적 결과를 바탕으로 기존 비차원성 논문에서 사용된 ‘트리폭 제한 → CMSO‑문제 해결 → 근사·파라미터화 알고리즘’ 파이프라인을 그대로 적용할 수 있다. 구체적으로, 피드백 정점 집합, 정점 커버, 연결 정점 커버, 다이아몬드 히팅 집합은 모두 마이너‑비차원성(minor‑bidimensional) 문제이며, 분리성(separability)과 가환성(reducibility) 조건을 만족한다. 따라서 트리폭이 O(k) 이하인 부분 그래프에 대해 동적 프로그래밍을 수행하면 파라미터 k에 대해 2^{O(√k)}·n^{O(1)} 시간의 서브지수 FPT를 얻고, 트리폭을 ε·n 수준으로 제한하면 (1+ε) 근사 비율을 보장하는 EPTAS를 설계한다. 반면, 3차원 단위 구 그래프는 클리크 정리만으로는 트리폭을 제어할 수 없으며, 저자들은 피드백 정점 집합이 K_{4}‑프리라도 트리폭이 선형으로 커짐을 보인다. 이를 이용해 PTAS 존재가 P=NP를 함축하고, 서브지수 알고리즘 존재가 ETH를 위배함을 증명한다. 또한 디스크 그래프는 클리크를 제외해도 진정한 서브선형 트리폭을 갖지 않으므로 현재 기법을 그대로 확장할 수 없으며, 새로운 분해 이론이 필요함을 강조한다.