특수 그래프 클래스를 이용한 효율적인 제한 탐색 트리 알고리즘

초록

본 논문은 P₄‑희소 그래프를 완화 클래스으로 삼아, 금지 서브그래프에 대한 체계적인 분기 규칙을 설계한다. 이를 통해 cograph 및 trivially‑perfect 그래프의 edge‑deletion 문제에 대해 선형 시간 전처리와 O(2.562^k·(m+n))의 제한 탐색 트리 알고리즘을 제시하고, vertex‑deletion 버전에서도 기존보다 작은 지수 상수를 얻는다.

상세 분석

이 연구의 핵심 아이디어는 “완화 클래스”를 이용해 복잡한 케이스 분석 없이도 강력한 분기 규칙을 도출한다는 점이다. P₄‑희소 그래프는 모든 5‑정점 부분그래프가 최대 하나의 P₄만을 포함하도록 정의되며, 이러한 구조는 ‘스파이더(spider)’라는 특수 형태(몸통 K, 다리 S, 머리 R)와 완전·공완전 연결 성분으로 완전히 분해될 수 있다. 논문은 먼저 P₄‑희소 그래프에서 cograph 로 변환하기 위한 최소 edge‑deletion 집합을 선형 시간에 구할 수 있음을 증명한다. 구체적으로, 스파이더 구조에서는 몸통 간의 간선은 언제든지 P₄에 포함되므로, 몸통‑다리(edge)만을 삭제함으로써 모든 P₄를 파괴할 수 있다. 이때 thin spider와 thick spider에 대해 각각 |K|‑1개와 ⌈|K|²/2⌉개의 간선을 삭제하는 것이 최적임을 보이며, 연결·공연결 성분에 대해서는 재귀적으로 문제를 분할한다. 이러한 선형‑시간 전처리는 모듈러 분해 알고리즘과 결합해 O(m+n) 복잡도를 달성한다.

그 다음 단계에서는 일반 그래프에 대해 제한 탐색 트리를 구성한다. 알고리즘은 5‑정점 부분집합을 탐색해 두 개 이상의 P₄를 포함하는 경우를 찾아내고, 해당 P₄들을 파괴하기 위한 가능한 간선 삭제 조합(최대 5가지)으로 분기한다. 각 분기에서 k 값을 1씩 감소시키며, 더 이상 P₄‑희소 그래프가 되면 앞서 설계한 선형‑시간 서브루틴을 호출한다. 이 과정에서 발생하는 검색 트리의 최대 깊이는 k이며, 각 레벨에서의 분기 수는 5 이하이므로 전체 복잡도는 O(2.562^k·(m+n))가 된다. 이는 기존의 일반적인 Cai 알고리즘(O(3^k))보다 현저히 개선된 것이다.

또한, trivially‑perfect 그래프( P₄와 C₄ 모두 금지)에도 동일한 전략을 적용해 비슷한 시간 복잡도를 얻는다. vertex‑deletion 문제에 대해서는, P₄‑희소 그래프에서의 최소 삭제 집합을 구하는 과정을 Hitting Set 문제로 환원하고, 알려진 (2‑approx) 알고리즘을 이용해 지수 상수를 더욱 낮춘다. 결과적으로 cograph vertex‑deletion 문제는 O(2.414^k·(m+n)) 수준의 실행 시간을 달성한다(정확한 상수는 논문에 제시된 상세 분석을 참고).

마지막으로, 이 접근법은 그래프 클래스가 자기 보완(self‑complementary)인 경우(edge‑deletion과 edge‑addition 문제가 동일하게 처리될 수 있음을 강조한다. 따라서 cograph 뿐 아니라 co‑cograph, co‑trivially‑perfect 등 다양한 변형 문제에도 바로 적용 가능하다. 전체적으로 논문은 복잡한 케이스 별 분기 규칙을 일일이 설계하던 기존 연구와 달리, 구조적 특성을 활용한 일반화 가능한 프레임워크를 제시함으로써 파라미터화된 그래프 수정 문제의 알고리즘 설계에 새로운 방향을 제시한다.