[논문 리뷰] Fast Approximate Counting of Cycles

Censor-Hillel, Keren, Even, Tomer외 1명|arXiv (Cornell University)|2023. 07. 29.

Complexity and Algorithms in Graphs인용 수 2

한 줄 요약

이 논문은 정점 집합에서 k-클리크를 나열하는 데 있어 조건부 최적의 런타임을 달성하는 새로운 출력에 민감한 알고리즘을 제시한다. 이는 Exact-k-Clique 가설 하에 k ≥ 3일 때 처음으로 달성된 결과이다. ℓ < k에 대해 ℓ-클리크의 수(∆ℓ)를 런타임의 파라미터로 사용함으로써, ω = 2일 때 Õ(min{m^{1/(k−2)} t^{1−2/(k(k−2))}, n^{2/(k−1)} t^{1−2/(k(k−1))}})의 시간 복잡도를 확보하였으며, 이는 삼각형 나열 기존 연구를 일반화하고 19년 전의 4-클리크 및 5-클리크 탐지에 대한 기존의 상한선을 향상시킨다.

ABSTRACT

We consider the problem of approximate counting of triangles and longer fixed length cycles in directed graphs. For triangles, Tětek [ICALP'22] gave an algorithm that returns a (1±ε)-approximation in Õ(n^ω/t^{ω-2}) time, where t is the unknown number of triangles in the given n node graph and ω < 2.372 is the matrix multiplication exponent. We obtain an improved algorithm whose running time is, within polylogarithmic factors the same as that for multiplying an n× n/t matrix by an n/t × n matrix. We then extend our framework to obtain the first nontrivial (1± ε)-approximation algorithms for the number of h-cycles in a graph, for any constant h ≥ 3. Our running time is Õ(MM(n,n/t^{1/(h-2)},n)), the time to multiply n × n/(t^{1/(h-2)}) by n/(t^{1/(h-2)) × n matrices. Finally, we show that under popular fine-grained hypotheses, this running time is optimal.

연구 동기 및 목표

• 출력에 민감한 k-클리크 나열 알고리즘을 개발하여, 출력에 포함된 k-클리크의 수에 따라 효율적으로 확장되도록 한다.
• n과 m 외에 더 작은 클리크 수(∆ℓ)를 파라미터로 사용하여 기존 클리크 나열 프레임워크의 의존성을 확장한다.
• 모든 상수 k ≥ 3에 대해 Exact-k-Clique 가설 하에 조건부 최적의 런타임을 달성한다.
• 최근의 행렬 곱셈 기법을 활용하여 19년 전의 4-클리크 및 5-클리크 탐지에 대한 런타임 상한선을 향상시킨다.

제안 방법

• 1 ≤ ℓ < k에 대해 ℓ-클리크 수(∆ℓ)를 파라미터로 사용하는 일반적인 k-클리크 나열 프레임워크를 도입하여, 더 세밀한 런타임 분석이 가능하도록 한다.
• 밀도 높은 부분그래프에서의 차수에 기반해 정점을 분할하는 재귀적 분해 전략을 사용하며, 가벼운 간선과 밀도 높은 간선, 클리크에 집중한다.
• 특히 (4,2)- 및 (5,1)-클리크-나열 서브루틴에서 빠른 행렬 곱셈(MM)을 활용하여 (k, ℓ)-클리크 탐지를 수행한다.
• 홀더 부등식과 조합론적 상한선을 적용하여 재귀적 레벨 간의 차수 합과 클리크 수의 합을 제어한다.
• t(출력 클리크 수)의 다양한 범위에 최적화된 두 가지 별도의 알고리즘(알고리즘 I 및 II)을 제안하여 6-클리크 나열 문제를 해결한다.
• 행렬 곱셈의 효율성을 활용하기 위해 (2,1)-클리크-나열이 아닌 (4,2)-클리크-나열로 문제를 축소시켜, 더 높은 수준의 클리크 분해의 이점을 입증한다.

실험 결과

연구 질문

• RQ1 모든 k ≥ 3에 대해 조건부 최적의 런타임을 달성하는 출력에 민감한 k-클리크 나열 알고리즘을 설계할 수 있는가? 이는 기존 삼각형에 대한 최적 결과를 확장하는가?
• RQ2 런타임을 n과 m 외에 더 작은 클리크 수 ∆ℓ(ℓ < k)로도 파라미터화할 수 있는가?
• RQ3 최근의 행렬 곱셈 기법을 활용하여 19년 전의 4-클리크 및 5-클리크 탐지에 대한 런타임 상한선을 향상시킬 수 있는가?
• RQ4 Exact-k-Clique 가설과 같은 표준적인 세밀한 복잡도 가정 하에 k-클리크 나열의 가장 날카로운 가능한 런타임은 무엇인가?
• RQ5 클리크 밀도와 차수 임계값에 기반한 재귀적 분해가 다양한 출력 크기 t에 맞춰 최적의 적응형 알고리즘을 도출할 수 있는가?

주요 결과

• ω = 2이고 t가 충분히 클 경우, 제안된 알고리즘은 Exact-k-Clique 가설 하에 조건부 최적의 Õ(min{m^{1/(k−2)} t^{1−2/(k(k−2))}, n^{2/(k−1)} t^{1−2/(k(k−1))}}) 런타임을 달성한다.
• 4-클리크 및 5-클리크 탐지의 경우, 현재의 행렬 곱셈 상한선 하에 각각 O(m^{1.66}) 및 O(m^{2.06})의 시간 복잡도를 확보하며, Eisenbrand 및 Grandoni(2004)의 이전 O(m^{2}) 및 O(m^{2.2}) 상한선을 향상시킨다.
• 모든 ℓ ∈ [1, k−1]에 대해, 런타임이 Õ(∆^{2ℓ(k−ℓ)/ℓ}_ℓ · ∆^{1−2/(k(k−ℓ))}_k)로 표현되며, 이는 Exact-k-Clique 가설 하에 모든 ℓ에 대해 최적이다.
• 두 가지 서로 다른 알고리즘을 제안하여 (6,1)-클리크-나열 문제를 해결한다: 하나는 Õ(n^4 + n^{5/2}t^{1/2} + n^{2/5}t^{14/15})을 달성하고, 다른 하나는 Õ(n^4 + n^{15/7}t^{4/7} + n^{37/21}t^{2/3} + n^{29/25}t^{4/5} + n^{9/10}t^{17/20})을 달성하며, 각각 다른 t의 범위에서 최적이다.
• Bj"orklund 등(2014)의 삼각형 나열 연구를 일반화하여, 그들의 Õ(n^2 + nt^{2/3}) 결과를 k ≥ 3로 확장한다.
• 재귀 단계에서 (2,1)-클리크-나열 대신 (4,2)-클리크-나열을 사용함으로써, 행렬 곱셈의 효율성을 활용하여 더 뛰어난 성능을 달성함을 보여주며, 더 높은 수준의 클리크 분해의 이점이 입증된다.