[논문 리뷰] An Asymptotically Fast Polynomial Space Algorithm for Hamiltonicity Detection in Sparse Directed Graphs

Andreas Björklund|arXiv (Cornell University)|2020. 09. 24.

Markov Chains and Monte Carlo Methods참고 문헌 22인용 수 1

한 줄 요약

이 논문은 희박한 방향성 그래프에서 해밀턴 사이클을 2ⁿ⁻Ω(ⁿ/δ) 시간에 다항수준 공간을 사용해 탐지하는 다항수준 공간 몬테카를로 알고리즘을 제시한다. 이는 가장 빠른 알려진 지수수준 공간 알고리즘의 점근적 속도 향상과 일치한다. 이는 라플라시안 포함배제를 통한 지문 기반 기법과 Z₂ 선형 시스템 체계 걸러내기 기법을 조합하여 지수수준 공간을 사용하지 않고도 비영항을 효율적으로 나열함으로써, 이전의 다항수준 공간 방법보다 뚜렷한 런타임 향상을 달성한다.

ABSTRACT

We present a polynomial space Monte Carlo algorithm that given a directed graph on $n$ vertices and average outdegree $δ$, detects if the graph has a Hamiltonian cycle in $2^{n-Ω(\frac{n}δ)}$ time. This asymptotic scaling of the savings in the running time matches the fastest known exponential space algorithm by Björklund and Williams ICALP 2019. By comparison, the previously best polynomial space algorithm by Kowalik and Majewski IPEC 2020 guarantees a $2^{n-Ω(\frac{n}{2^δ})}$ time bound. Our algorithm combines for the first time the idea of obtaining a fingerprint of the presence of a Hamiltonian cycle through an inclusion--exclusion summation over the Laplacian of the graph from Björklund, Kaski, and Koutis ICALP 2017, with the idea of sieving for the non-zero terms in an inclusion--exclusion summation by listing solutions to systems of linear equations over $\mathbb{Z}_2$ from Björklund and Husfeldt FOCS 2013.

연구 동기 및 목표

• 희박한 방향성 그래프에서 해밀턴 사이클 탐지에 대해 지수수준 공간 알고리즘과 다항수준 공간 알고리즘 간 격차를 해소하기 위해.
• 가장 빠른 알려진 지수수준 공간 알고리즘과 동일한 점근적 런타임 향상(2ⁿ⁻Ω(ⁿ/δ))을 달성하면서도 다항수준 공간만을 사용하기 위해.
• 표를 사용하는 대신 Z₂에서의 효율적 항 나열 기법을 도입하여 지수수준 공간 방법의 실용적이고 병렬 처리 가능한 대안을 제공하기 위해.
• 해밀턴 사이클 탐지의 속도 향상이 지수수준 공간 사용에 본질적으로 의존하지 않는다는 것을 보여주기 위해.

제안 방법

• 해밀턴 사이클의 존재 여부를 탐지하기 위해 라플라시안 행렬에 대한 포함배제 합산 기반의 지문 기반 기법을 사용한다.
• 포함배제 합산 내에서 비영항 기여를 식별하기 위해 Z₂에서 선형방정식 시스템을 푸는 체계 걸러내기 기법을 적용한다.
• 합산 내에서 비자명한 항을 확률적으로 분리하기 위해 점 z와 부호 벡터 q의 무작위 표본을 추출한다.
• 정점 부분집합과 부호 제약 조건에서 유도된 선형 시스템 E(y*, p)를 풀어 y: V\{t} → {0,1}의 기여할 수 있는 할당을 생성한다.
• 전체 목록을 저장하지 않고 하나씩 해답을 나열하는 스트리밍 방식을 사용하여 다항수준 공간 사용을 보장한다.
• 생성된 항의 수가 기대값의 n 배를 초과할 경우 거부 기법을 구현하여 기대 런타임이 유한하게 유지되도록 한다.

실험 결과

연구 질문

• RQ1 해밀턴 사이클 탐지에 대해 2ⁿ⁻Ω(ⁿ/δ) 런타임 향상이 다항수준 공간만을 사용해 달성될 수 있는가?
• RQ2 이전의 빠른 알고리즘에서 지수수준 공간 요구가 이 속도 향상 달성에 본질적으로 필수적인가?
• RQ3 라플라시안에 대한 포함배제 지문 기반 기법과 Z₂ 선형 시스템 나열 기법을 조합하여 다항수준 공간 계산을 가능하게 할 수 있는가?
• RQ4 이를 바탕으로 얻어진 알고리즘이 실용적으로 효율적이고 병렬 처리 가능한가?
• RQ5 난수화를 통해 공간 복잡도를 크게 줄일 수 있으며 이로 인해 점근적 런타임 성능이 손상되지 않는가?

주요 결과

• 알고리즘은 다항수준 공간 사용으로 2ⁿ⁻Ω(ⁿ/δ) 시간에 실행되며, 가장 빠른 알려진 지수수준 공간 알고리즘과 점근적 런타임이 일치한다.
• 기여하는 항 할당의 기대 수는 2ⁿ⁻Ω(ⁿ/δ) 이하로 제한되며, 이는 알고리즘의 런타임을 지배한다.
• 거짓 음성 확률는 최대 2/n이며, 이는 100 log n회의 독립적 반복을 통해 무시할 수준으로 낮아진다.
• 모든 해답을 표로 저장하는 대신 Z₂ 선형 시스템의 스트리밍 및 실시간 나열 기법을 사용함으로써 지수수준 공간을 피한다.
• 알고리즘이 매우 병렬 처리 가능하며, 합산의 독립적인 부분은 병렬로 계산하고 최종적으로 결합할 수 있다.
• 기존 알고리즘에서 표 기반 처리가 필요 없어지도록, 포함배제와 Z₂에서의 선형대수 기법의 새로운 조합을 성공적으로 구현하였다.