정점 집합 수에 비례하는 초고속 튜트 다항식 계산

초록

삭제‑축소 알고리즘은 그래프 이론에서 색칠 다항식·흐름 다항식·신뢰도 다항식, 교차 링크의 존스 다항식, 그리고 통계 물리학의 이징·포트츠·포트투인‑카스텔리니 모델의 분할 함수 등 다양한 기본 그래프 불변량을 계산하는 가장 널리 쓰이는 방법이다. 이 방법은 일반적인 목적의 알고리즘 중 가장 빠른 것으로 알려져 왔으며, 실행 시간은 입력 그래프의 스패닝 트리 수에 비례한다. 본 연구에서는 이러한 한계를 크게 뛰어넘어, 임의의 그래프에 대해 튜트 다항식을 연결된 정점 집합의 개수에 다항식 정도 차이로 비례하는 시간 안에 계산할 수 있는 새로운 알고리즘을 제시한다. 이 알고리즘은 포트투인‑카스텔리니가 제시한 항등식을 활용하여 튜트 다항식의 다변량 일반화를 직접 평가한다. 또한, 다항식 공간을 사용하는 변형 버전을 제공하고, 정점 집합을 이용한 커버 다항식에 대한 유사한 결과도 얻는다. 구현 결과는 실험적으로 삭제‑축소 알고리즘보다 현저히 빠른 성능을 보인다.

상세 요약

삭제‑축소(delete‑contraction) 기법은 그래프 G의 한 변을 선택해 그 변을 삭제하거나 수축함으로써 재귀적으로 문제를 분할하는 전통적인 접근법이다. 이 방법의 시간 복잡도는 그래프의 모든 스패닝 트리를 탐색하는 과정과 동등하게, 최악의 경우 O(τ(G))·poly(n) (τ(G)는 스패닝 트리 수, n은 정점 수) 로 평가된다. 따라서 그래프가 촘촘히 연결돼 있을수록 실행 시간이 급격히 증가한다. 기존 연구에서는 이 복잡도를 개선하기 위해 트리폭, 경로폭, 혹은 매듭 폭과 같은 구조적 파라미터에 기반한 특수 케이스 알고리즘이 제안되었지만, 일반 그래프에 대해 전반적인 가속을 달성한 사례는 없었다.

본 논문은 이러한 한계를 극복하기 위해 두 가지 핵심 아이디어를 도입한다. 첫째, 튜트 다항식 T(G;x,y)의 다변량 확장인 Z(G; q, w₁,…,w_n) 를 고려한다. 여기서 q는 군의 차원, w_i는 각 정점 i에 할당된 가중치이며, 포트투인‑카스텔리니(Fortuin‑Kasteleyn) 항등식
\