[논문 리뷰] Determinant Sums for Undirected Hamiltonicity

Andreas Björklund|arXiv (Cornell University)|2010. 08. 03.

Advanced Graph Theory Research참고 문헌 17인용 수 9

한 줄 요약

이 논문은 시간 복잡도 $O^{*}(1.657^n)$를 가지는 몬테카를로 알고리즘을 제안하여 오랜 기간 동안 유지되어 온 $O^{*}(2^n)$의 경계를 뛰어넘는다. 이는 유한체의 특성 2에서의 레이블된 사이클 커버 합이라는 새로운 대수 기법을 활용하며, 행렬식 합산과 대수적 걸러내기 기법을 결합하여 가중치가 부여된 사이클 커버를 통해 해밀턴 사이클을 효율적으로 탐지한다.

ABSTRACT

We present a Monte Carlo algorithm for Hamiltonicity detection in an $n$-vertex undirected graph running in $O^*(1.657^{n})$ time. To the best of our knowledge, this is the first superpolynomial improvement on the worst case runtime for the problem since the $O^*(2^n)$ bound established for TSP almost fifty years ago (Bellman 1962, Held and Karp 1962). It answers in part the first open problem in Woeginger's 2003 survey on exact algorithms for NP-hard problems. For bipartite graphs, we improve the bound to $O^*(1.414^{n})$ time. Both the bipartite and the general algorithm can be implemented to use space polynomial in $n$. We combine several recently resurrected ideas to get the results. Our main technical contribution is a new reduction inspired by the algebraic sieving method for $k$-Path (Koutis ICALP 2008, Williams IPL 2009). We introduce the Labeled Cycle Cover Sum in which we are set to count weighted arc labeled cycle covers over a finite field of characteristic two. We reduce Hamiltonicity to Labeled Cycle Cover Sum and apply the determinant summation technique for Exact Set Covers (Björklund STACS 2010) to evaluate it.

연구 동기 및 목표

• 약 50년간 변화하지 않은 $O^{*}(2^n)$ 시간 복잡도 경계를 초월하여 유방향 해밀턴성 문제의 시간 복잡도를 뛰어넘는 것.
• Woeginger의 2003년 정확 알고리즘에 대한 NP-난이도 문제에 대한 설문조사에서 제기된 열린 문제 3.1에 대응하는 것.
• 정수 가중치를 가진 TSP 문제에 대해 다항 공간, 랜덤화 알고리즘을 사용하여 결과를 확장하는 것.
• 독립 집합 크기를 활용하여 이중 그래프의 경우 런타임을 향상시키는 구조적 성질을 이용하는 것.
• 행렬식 합산과 대수적 걸러내기와 같은 대수적 기법이 NP-난이도 문제에 대해 초다항적 속도 향상을 이끌 수 있음을 보여주는 것.

제안 방법

• 유한체 $\mathbb{F}_2$ 상에서 가중치가 부여되고 화살표에 레이블이 부여된 사이클 커버의 수를 세는 데 사용되는 새로운 대수적 공식인 레이블된 사이클 커버 합을 도입한다.
• k-Path에 대한 대수적 걸러내기 방법에 영감을 얻은 감소 기법을 사용하여 해밀턴성 문제를 레이블된 사이클 커버 합의 계산으로 환원한다.
• Björklund(STACS 2010)의 정확한 집합 커버를 위한 행렬식 합산 기법을 적용하여 레이블된 사이클 커버 합을 효율적으로 평가한다.
• 집합 $X_1$ 내의 정점 간 가중치가 부여된 산책의 수를 계산하기 위해 $\mathbb{F}_2$ 상의 행렬 곱셈을 사용하며, 이는 행렬 $\mathbf{A}$ 및 $\mathbf{B}$를 통해 표현된다.
• 유한체 $GF(2^k)$ 상에서의 빠른 푸리에 변환(Fast Fourier Transform)을 사용하여 정수 가중치가 작은 TSP 인스턴스에서 최소 가중치 해밀턴 사이클을 추출한다.
• 정점들을 $V_1$과 $V_2$로 무작위 분할하여 사이클 커버 내의 레이블이 없는 화살표 수를 줄여, 희박하거나 이중 그래프의 경우 런타임을 향상시킨다.

실험 결과

연구 질문

• RQ1 대수적 기법을 사용하여 유방향 해밀턴성 문제의 $O^{*}(2^n)$ 시간 복잡도 경계를 뛰어넘을 수 있는가?
• RQ2 k-Path에 사용된 대수적 걸러내기 방법을 사이클 커버 수세기 기반으로 해밀턴 사이클을 탐지하도록 적응시킬 수 있는가?
• RQ3 이중 그래프의 구조적 성질이 일반 경우보다 훨씬 빠른 알고리즘을 가능하게 하는가?
• RQ4 대수적 기법과 다항 공간을 사용하여 TSP 문제를 $O^{*}(c^n)$ 시간 내에 해결할 수 있는가? ($c < 2$)
• RQ5 소수의 정수 간선 가중치를 가진 그래프에서 다항 공간 대수 계산을 통해 최소 가중치 해밀턴 사이클을 효율적으로 찾을 수 있는가?

주요 결과

• 논문은 유방향 해밀턴성 문제에 대해 $O^{*}(1.657^n)$ 시간 복잡도를 가지는 몬테카를로 알고리즘을 제안하며, 약 50년간 유지되어 온 $O^{*}(2^n)$ 경계를 초월하는 초다항적 향상을 달성한다.
• 독립 집합 크기가 $i$인 이중 그래프의 경우 알고리즘은 $O^{*}(2^{n-i})$ 시간 내에 작동하며, 최악의 경우 $O^{*}(1.414^n)$까지 향상된다.
• 알고리즘은 $n$에 대해 다항 공간을 사용하므로, 기하급수적 시간 복잡도에도 불구하고 큰 인스턴스에 대해 실용적이다.
• 이 방법은 양의 정수 가중치를 가진 TSP 문제로 확장되며, 모든 간선 가중치의 합이 $w$일 때 $O^{*}(w \cdot 1.657^n)$ 시간 내에 문제를 해결한다.
• GF(2^k) 상에서의 빠른 푸리에 변환을 사용하여 대수적 합에서 최소 가중치 해밀턴 사이클을 효율적으로 추출할 수 있다.
• 반복적인 무작위 분할과 검증을 통해 오차 확률이 지수적으로 작아지며, 거짓 양성 또는 거짓 음성 없이 매우 낮은 오류 확률을 달성한다.