클로프프리 그래프에서 지배집합 문제는 FPT

초록

클로프( K₁,₃ )를 포함하지 않는 그래프에서, 해의 크기 k 로 매개변수화한 지배집합 문제는 2^{O(k²)}·n^{O(1)} 시간과 다항식 공간으로 해결 가능함을 보였다. 반면 t‑클로프(K₁,ₜ, t≥4)를 제외한 그래프에서는 W

상세 분석

이 논문은 지배집합(Dominating Set) 문제를 매개변수 k(해의 크기) 로 제한했을 때, 클로프( K₁,₃ )를 금지한 그래프 클래스에서 FPT 알고리즘이 존재함을 최초로 증명한다. 기존 연구에서는 K_{i,j}‑free 그래프(특정 완전 이분 그래프를 제외한 그래프)에서만 FPT 결과가 알려졌으며, 클로프‑프리 그래프와 K_{i,j}‑free 그래프는 포함 관계가 서로 교차한다는 점에서 이 결과는 새로운 영역을 연다. 핵심 아이디어는 클로프가 없는 그래프가 구조적으로 ‘라인 그래프’ 혹은 ‘스플라인’ 형태에 가깝다는 점을 이용해, 정점들을 작은 수의 ‘패턴’으로 묶고, 각 패턴 내에서 가능한 지배 후보들을 제한함으로써 전체 탐색 공간을 k² 차원에 한정한다. 구체적으로, 저자들은 먼저 클로프‑프리 그래프를 ‘거대 클리크와 그 주변의 독립 집합’으로 분해하고, 각 클리크에 대해 부분 지배집합을 동적 계획법으로 계산한다. 이후, 서로 겹치는 클리크 사이의 상호작용을 2^{O(k²)}개의 경우로 압축한다. 이 과정에서 사용되는 핵심 정리는 “클로프‑프리 그래프는 최대 차수가 2k인 부분 그래프들로 구성될 수 있다”는 것이며, 이를 통해 전체 알고리즘의 시간 복잡도를 2^{O(k²)}·n^{O(1)} 로 제한한다. 또한, 알고리즘은 정점 수 n 에 대해 다항식 메모리만을 사용하므로 실용적인 구현이 가능하다. 반대 방향의 난이도 결과에서는 t≥4인 t‑클로프(K₁,ₜ)를 제외한 그래프에서도 지배집합 문제는 W