[논문 리뷰] Faster algorithms for counting subgraphs in sparse graphs

Marco Bressan|arXiv (Cornell University)|2018. 05. 05.

Graph Theory and Algorithms인용 수 5

한 줄 요약

이 논문은 그래프의 비가역성(degeneracy)을 활용하는 새로운 트리 구조 분해를 도입하여 희박한 그래프에서 부분그래프를 세는 데 더 빠른 알고리즘을 제시한다. 이 방법은 비가역성 제한 그래프에 대해 2^O(k²) · O(n^{0.25k+2} log n)의 시간 복잡도로 부분그래프를 세며, 평균 차수 제한 그래프에 대해서는 2^O(k²) · O(n^{0.625k+2} log n)의 시간 복잡도를 달성한다—희박성이 존재할 경우 고전적인 Nešetřil-Poljak bound인 O(n^{0.791k+2})보다 향상된 결과이다. 이 방법은 지수적 시간 가설(Exponential Time Hypothesis) 하에서 최적임을 입증받았다.

ABSTRACT

Given a $k$-node pattern graph $H$ and an $n$-node host graph $G$, the subgraph counting problem asks to compute the number of copies of $H$ in $G$. In this work we address the following question: can we count the copies of $H$ faster if $G$ is sparse? We answer in the affirmative by introducing a novel tree-like decomposition for directed acyclic graphs, inspired by the classic tree decomposition for undirected graphs. This decomposition gives a dynamic program for counting the homomorphisms of $H$ in $G$ by exploiting the degeneracy of $G$, which allows us to beat the state-of-the-art subgraph counting algorithms when $G$ is sparse enough. For example, we can count the induced copies of any $k$-node pattern $H$ in time $2^{O(k^2)} O(n^{0.25k + 2} \log n)$ if $G$ has bounded degeneracy, and in time $2^{O(k^2)} O(n^{0.625k + 1} \log n)$ if $G$ has bounded average degree. These bounds are instantiations of a more general result, parameterized by the degeneracy of $G$ and the structure of $H$, which generalizes classic bounds on counting cliques and complete bipartite graphs. We also give lower bounds based on the Exponential Time Hypothesis, showing that our results are actually a characterization of the complexity of subgraph counting in bounded-degeneracy graphs.

연구 동기 및 목표

• 그래프의 희박성을 활용하여 부분그래프 세기에서 n^{Θ(k)} 런타임 장벽을 극복하고자 한다.
• 비가역성을 활용하기 위해 방향 비순환 그래프에 특화된 새로운 트리 유사 분해를 개발하고자 한다.
• 비가역성 또는 평균 차수 제한 희박한 그래프에 대해 Nešetřil-Poljak 알고리즘보다 더 빠른 런타임을 달성하고자 한다.
• 지수적 시간 가설(ETH)을 사용하여 비가역성 제한 그래프에서 부분그래프 세기의 정확한 복잡도를 규명하고자 한다.

제안 방법

• 비가역성을 활용하기 위해 무방향 트리 분해를 영감으로 삼은 새로운 트리 유사 분해를 도입한다.
• 분해 구조 위에서 동적 프로그래밍을 사용하여 주어진 k개 정점의 패턴 H에 대한 호모모르피즘, 발생 횟수, 유도 복사본을 세는 데 사용한다.
• G의 비가역성 d와 패턴 H의 폭 측정값 τ(H)를 매개변수로 설정하여 f(k) · O(d^{k−τ(H)} n^{τ(H)} log n)의 시간 복잡도를 도출한다.
• 유도 및 비유도 부분그래프 세기의 양측에 대해 분해를 적용하며, 호모모르피즘과 유도 복사본을 별도로 처리한다.
• 지수적 시간 가설을 활용하여 하한을 도출하고, 비가역성 제한 그래프에 대해 알고리즘이 최적임을 입증한다.
• 클리크 및 완전 이분 그래프 부분그래프 세기의 고전적 결과를 통합하는 단일 프레임워크로 일반화한다.

실험 결과

연구 질문

• RQ1 호스트 그래프 G가 희박할 경우, 특히 G의 비가역성이 제한될 경우 부분그래프 세기를 가속화할 수 있는가?
• RQ2 패턴 그래프 H의 구조적 분해 중 비가역성 G를 활용해 빠른 세기를 가능하게 하는 것은 존재하는가?
• RQ3 비가역성 제한 그래프에서 유도 부분그래프 세기의 정확한 복잡도는 무엇이며, 이를 특성화할 수 있는가?
• RQ4 희박한 그래프에서 Nešetřil-Poljak 바운드를 초월하는 런타임을 달성할 수 있으며, 그 조건은 무엇인가?

주요 결과

• 논문은 비가역성 제한 그래프에서 임의의 k개 정점 패턴 H의 유도 복사본을 세는 데 2^O(k²) · O(n^{0.25k+2} log n)의 런타임을 달성하였으며, Nešetřil과 Poljak의 O(n^{0.791k+2}) 바운드를 향상시켰다.
• 평균 차수 r이 제한된 그래프의 경우 런타임은 2^O(k²) · O(r^{1/2(k−⌊k/4⌋)−1} n^{1/2(k+⌊k/4⌋)+1} log n)이며, r이 n에 대해 비선형일 경우 n의 지수를 감소시킨다.
• 지수적 시간 가설 하에서 알고리즘의 성능은 최적이다. 비가역성 2인 그래프에 대해 n^{Ω(τ(H)/log τ(H))}의 하한과 일치하기 때문이다.
• 제안된 트리 유사 분해는 희박한 환경에서 클리크 및 완전 이분 그래프를 세는 기존 결과를 일반화하고 통합한다.
• 비가역성이 제한될 경우 n의 다항식 지수를 0.25k+2로 크게 감소시켜, 충분히 희박한 그래프에 대해 현재 최고 성능을 뛰어넘는다.