평면 그래프의 삼각분할 수축 판정 알고리즘

초록

이 논문은 평면 그래프 G가 특정 평면 삼각분할 그래프의 수축 형태 H로 변환 가능한지를, H의 크기에만 의존하는 다항 시간 알고리즘으로 판정할 수 있는 그래프 클래스 𝒞를 정의한다. 𝒞는 삼각분할 그래프들의 수축 폐쇄이며, 트리폭이 충분히 크면 반드시 𝒞에 속하는 모든 H를 포함한다는 특징과 최소 금지 수축에 대한 명시적 설명을 제공한다.

상세 분석

본 연구는 평면 그래프의 수축 문제에 대한 복잡도 경계를 한층 정밀화한다. 기존 결과에 따르면 임의의 고정된 그래프 H에 대해 평면 입력 G가 H로 수축될 수 있는지를 결정하는 알고리즘은 존재하지만, 그 다항식의 차수가 |V(H)|에 비례한다는 한계가 있었다. 저자들은 이 한계를 극복하기 위해, 삼각분할(즉, 모든 면이 삼각형인 평면 그래프)들의 수축 폐쇄인 클래스 𝒞를 정의하고, 𝒞에 속하는 모든 H에 대해 |V(G)|에 대한 다항 시간(즉, f(|V(H)|)·|V(G)|^{O(1)}) 알고리즘이 존재함을 증명한다. 핵심 아이디어는 두 가지 축을 결합하는데, 첫째는 𝒞에 속하는 그래프가 “트리폭이 충분히 큰 경우 반드시 포함된다”는 구조적 특성을 이용한다. 구체적으로, 각 H∈𝒞에 대해 상수 c_H가 존재하여, 트리폭 ≥ c_H인 모든 평면 그래프는 H를 수축 형태로 포함한다는 정리를 보인다. 이는 그래프 마이너 이론에서의 “큰 트리폭 ⇒ 특정 마이너 포함” 결과와 유사하지만, 수축이라는 연산에 특화된 새로운 증명 기법을 도입한다. 둘째는 최소 금지 수축(Forbidden Contractions)을 명시적으로 규정함으로써, 𝒞의 경계가 정확히 어떤 그래프들에 의해 정의되는지를 파악한다. 저자들은 이러한 금지 수축 집합이 유한함을 보이며, 이를 통해 𝒞가 결정 가능한 클래스임을 확인한다. 알고리즘 설계 측면에서는, 트리폭이 작은 경우 동적 계획법(DP) 기반의 전통적 수축 판정 기법을 적용하고, 트리폭이 큰 경우에는 위의 구조적 보장을 이용해 즉시 “YES”를 반환한다. 이때 f(|V(H)|)는 H의 구조(예: 삼각분할의 크기와 복잡도)에 따라 결정되는 함수이며, 실제 구현에서는 그래프 H의 트리폭과 최대 차수를 사전 계산해 상수 시간에 접근한다. 전체 복잡도는 |V(G)|에 대해 다항이며, H의 크기에 대한 의존도는 함수 f에 국한되므로, 실용적인 경우 큰 입력 G에 대해서도 효율적인 판정이 가능하다.