[논문 리뷰] The fast intersection transform with applications to counting paths

Andreas Björklund, Thore Husfeldt외 2명|ArXiv.org|2008. 09. 15.

Advanced Graph Theory Research참고 문헌 25인용 수 14

한 줄 요약

이 논문은 입력 및 출력 함수 지지집합의 내림닫힘에 비례하는 시간 복잡도로 부분집합 레이티스 위에서 선형 변환을 계산하는 빠른 교차 변환(fast intersection transform)을 소개한다. 이는 방향성 있는 그래프에서 주어진 길이와 무게를 가진 경로를 $ O^*(\exp(n \cdot H(\ell/(2n)))) $ 시간 내에 세는 데에 사용되며, 긴 경로에 대해 고전적인 $ O^*(2^n) $ 장벽을 뛰어넘는다. 해밀턴 경로와 계수적 맥락에서의 TSP에의 적용이 가능하다.

ABSTRACT

We present an algorithm for evaluating a linear ``intersection transform'' of a function defined on the lattice of subsets of an $n$-element set. In particular, the algorithm constructs an arithmetic circuit for evaluating the transform in ``down-closure time'' relative to the support of the function and the evaluation domain. As an application, we develop an algorithm that, given as input a digraph with $n$ vertices and bounded integer weights at the edges, counts paths by weight and given length $0\leq\ell\leq n-1$ in time $O^*(\exp(n\cdot H(\ell/(2n))))$, where $H(p)=-p\log p-(1-p)\log(1-p)$, and the notation $O^*(\cdot)$ suppresses a factor polynomial in $n$.

연구 동기 및 목표

• n원소 집합의 부분집합 레이티스 위에서 선형 교차 변환을 효율적으로 계산하는 알고리즘을 개발하기 위해.
• 긴 경로에 대해 고전적인 $ O^*(2^n) $ 경계를 뛰어넘어 방향 그래프에서 길이와 무게에 따라 경로를 세는 데에 소요되는 시간 복잡도를 감소시키기 위해.
• 조합 최적화 분야에서 부분집합 질의 문제와 정확한 알고리즘에 대한 새로운 도구를 제공하기 위해.
• 긴 경로에 집중할 경우, $ O^*(2^n) $ 보다 더 빠르게 경로를 세는 것이 가능하다는 것을 보여주기 위해. 이는 엔트로피 기반의 시간 복잡도 경계를 활용한다.

제안 방법

• 알고리즘은 모든 $ Y \in \mathcal{G} $ 와 $ j \in \{0,\dots,n\} $ 에 대해 $ f\iota_j(Y) = \sum_{X \subseteq U, |X \cap Y| = j} f(X) $ 를 계산하는 산술 회로를 구축한다.
• 입력 함수 지지집합의 내림닫힘 $ \downarrow\mathcal{F} $ 과 출력 도메인의 내림닫힘 $ \downarrow\mathcal{G} $ 을 사용하여 관련이 있는 부분집합들로 계산 범위를 제한한다.
• 핵심 기법은 입력이 희박한 경우에 적합하도록 얀스의 알고리즘을 변형하여 시간 복잡도 $ O^*(|\downarrow\mathcal{F}| + |\downarrow\mathcal{G}|) $ 를 달성한다.
• 경로 세기의 경우, 경로를 중간점에서 분할하고, 부분경로에 대한 생성 다항식을 계산한 후, 교차 변환을 사용하여 정확히 한 개의 공통 정점을 가지는 경로를 세는 방식으로 조합한다.
• 알고리즘은 간선 무게를 변수에 인코딩한 생성 다항식을 사용하며, 크기가 $ \lfloor \ell/2 \rfloor + 1 $ 과 $ \lceil \ell/2 \rceil + 1 $ 인 부분집합에 대해 합을 평가한다.
• 최종 경로 수는 중간 정점 $ a $ 에 대해 합을 구하며, $ |S \cap T| = 1 $ 인 조건을 만족하는 부분경로 수를 교차 변환을 통해 조합한다.

실험 결과

연구 질문

• RQ1 긴 경로에 대해 방향 그래프에서 경로를 세는 데에 고전적인 $ O^*(2^n) $ 경계를 뛰어넘을 수 있는가?
• RQ2 입력 및 출력 지지집합의 희박성을 활용하는 부분집합 레이티스 위에서 선형 변환을 효율적으로 계산할 수 있는 알고리즘이 존재하는가?
• RQ3 교차 변환을 사용하여 $ \ell \ll n $ 인 경우, $ n $ 에 대해 지수적으로 더 작은 시간 복잡도로 길이와 무게가 주어진 경로를 세는 것이 가능한가?
• RQ4 엔트로피 함수 $ H(\ell/(2n)) $ 의 사용이 희박한 경우의 경로 세기 복잡도를 정확하게 기술하는 데에 기여하는가?

주요 결과

• 빠른 교차 변환은 $ \mathcal{F} $ 와 $ \mathcal{G} $ 가 각각 입력 및 출력 함수의 지지집합일 때, 시간 복잡도 $ O^*(|\downarrow\mathcal{F}| + |\downarrow\mathcal{G}|) $ 로 교차 변환을 계산한다.
• 가중 방향 그래프에서 정점 $ s $ 에서 $ t $ 로 가는 길이 $ \ell $ 인 경로를 세는 데에 알고리즘은 시간 복잡도 $ O^*(\exp(n \cdot H(\ell/(2n)))) $ 로 실행되며, 여기서 $ H $ 는 이진 엔트로피 함수이다.
• $ \ell = 0.5n $ 인 경우 실행 시간은 $ O(1.7548^n) $ 으로 고전적인 $ O^*(2^n) $ 경계보다 크게 낮다.
• $ \ell = 0.9999n $ 인 경우 실행 시간은 $ O(1.999999999^n) $ 으로 $ O^*(2^n) $ 에 가까워지지만 이를 초과하지는 않는다.
• 이 알고리즘은 동일한 시간 복잡도 범위 내에서 주어진 길이의 사이클을 세는 데에도 사용할 수 있으며, 자기 환원성에 의해 같은 시간 복잡도로 이러한 경로들을 나열할 수도 있다.
• 이 방법은 $ \epsilon > 0 $ 이 $ n $ 과 독립적인 경우, $ \ell \gg n/2 $ 인 모든 경로를 $ O((2 - \epsilon)^n) $ 시간 내에 구성하는 것은 현재의 도구로는 불가능하다는 것을 암시하며, 이는 TSP에 대한 돌풍을 일으킬 것이다.