퇴화 그래프에서 고정 크기 지배 집합 찾기 위한 선형 시간 알고리즘

본 논문은 그래프 이론과 파라미터화 복잡도 분야에서 핵심적인 두 문제, 즉 지배 집합(Dominating Set)과 유도 사이클(Induced Cycle) 탐색을 퇴화 그래프(d‑degenerate graphs)와 마이너 제한 그래프(K_h‑minor‑free, K_h‑topological‑minor‑free)에서 선형 시간에 해결하는 알고리즘을 제시한다. 첫 번째 섹션에서는 퇴화 그래프의 정의와 기본 성질을 정리한다. d‑퇴화 그래프는 모든 부분 그래프가 최소 차수가 d 이하인 정점을 포함한다는 특성을 갖으며, 이는 그래프를 d 이하의 아웃디그리로 정렬할 수 있음을 의미한다. 논문은 이 구조를 활용해 검정‑흰색 이분 그래프 모델을 도입한다. 검정 정점 집합 B는 지배 대상이며, 흰색 정점 집합 W는 보조 역할을 한다. 정의된 ‘reduced’ 그래프는 흰색 정점이 독립 집합이고, 각 흰색 정점의 차수가 최소 2이며, 서로 다른 흰색 정점의 이웃 집합이 서로 다르다는 제약을 가진다. Lemma 1은 |B|>(4d+2)k일 때, B의 적어도 |B|/k 개를 동시에 지배할 수 있는 정점이 (4d+2)k 개 이하임을 보인다. 이를 통해 탐색 트리의 폭을 제한하고, 재귀적으로 R 집합(지배력이 큰 정점)만을 선택해 문제를 축소한다. 알고리즘 ‘DominatingSetDegenerated’는 두 경우를 구분한다. (1) |B|≤(4d+2)k이면 B를 k개의 파트로 나누어 모든 파트를 지배하는 정점을 완전 탐색(O(k·(4d+2)^k) 시간)한다. (2) |B|>(4d+2)k이면 Lemma 1에 의해 |R|≤(4d+2)k이므로, 각 v∈R에 대해 v를 선택하고 남은 그래프에서 k‑1개의 정점을 찾는 재귀 호출을 수행한다. 전체 복잡도는 k·O(dk)·n, 즉 선형‑시간에 비례한다. 다음으로 위상 소수와 마이너 자유 그래프에 대한 특수화된 결과를 제시한다. Proposition 1에 의해 K_h를 위상 소수로 포함하지 않는 그래프는 2‑퇴화이며, Proposition 2에 의해 K_h‑마이너 자유 그래프는 O(√log h)‑퇴화이다. Lemma 2는 d‑퇴화 그래프에서 크기 k의 클리크가 최대 ⌈d^{k‑1}⌉·n 개 존재한다는 상한을 제공한다. 이 상한을 이용해 Theorem 2와 3에서는 각각 (c·h)·h와 (c·log h)·h/2 이하의 차수를 가진 검정 정점을 보장한다. 이러한 저차 정점을 루트로 삼아 앞서 제시한 알고리즘을 적용하면, K_h 위상 소수 금지 그래프에서는 (O(h))^{hk}·n, K_h‑마이너 자유 그래프에서는 (O(log h))^{hk/2}·n 시간에 지배 집합을 찾을 수 있다. 또한, 가중치가 부여된 경우에도 동일한 복잡도로 최소 가중치 지배 집합을 구할 수 있음을 언급한다. 두 번째 주요 기여는 유도 사이클 탐색이다. 기존 연구(Cai·Chan·Chan)에서는 d‑퇴화 그래프에서 유도 k‑사이클을 O(n²) 기대 시간에 찾을 수 있었으나, 로그 팩터를 줄이는 것이 남은 과제였다. 논문은 random separation 기법과 colour‑coding을 결합해, H‑마이너 자유 그래프에서 고정된 k에 대해 O(n) 기대 시간, O(n log n) 최악 시간 알고리즘을 설계한다. 핵심 아이디어는 무작위 해시 함수를 사용해 정점 집합을 O(1) 확률로 k개의 파티션으로 나누고, 각 파티션에 서로 다른 색을 부여해 사이클 존재 여부를 검증하는 것이다. 해시 함수 집합을 미리 구성하면 완전한 결정론적 알고리즘으로 전환할 수 있다. 또한, 2‑퇴화 그래프에서는 길이 ≤5인 유도 사이클을 선형 시간에 찾을 수 있지만, 길이가 더 긴 사이클에 대해서는 복잡도 하한이 존재함을 증명한다(즉, 선형‑시간 알고리즘이 불가능할 가능성이 높다). 마지막으로 논문은 위 결과들을 종합해, 퇴화 그래프와 마이너 제한 그래프에서 지배 집합과 유도 사이클 문제를 선형‑시간 FPT 알고리즘으로 해결할 수 있음을 보여준다. 이는 기존에 플래너 그래프에만 알려졌던 선형‑시간 FPT 결과를 크게 일반화한 것이며, 특히 무작위‑결정론 전환 기법을 통해 실용적인 구현 가능성을 높였다. 또한, 퇴화 정도와 마이너 구조 사이의 정량적 관계를 명확히 함으로써 향후 파라미터화 복잡도 연구에 중요한 도구를 제공한다.