[논문 리뷰] Linear Time Subgraph Counting, Graph Degeneracy, and the Chasm at Size Six

Suman K. Bera, Noujan Pashanasangi외 1명|arXiv (Cornell University)|2019. 11. 13.

Advanced Graph Theory Research인용 수 14

한 줄 요약

이 논문은 유계 분해성 그래프에서 선형 시간 내에 부분그래프 세기 문제에 대해 부분그래프 크기 6에서 날카로운 임계점이 존재함을 규명한다. k ≤ 5인 경우, 분해성 기반 알고리즘을 사용해 모든 k-정점 부분그래프를 선형 시간 내에 세는 것이 가능하며, k ≥ 6인 경우, 삼각형 탐지 추측을 가정하면 near-linear 시간 알고리즘이 존재하지 않음을 증명한다. 이는 k=6에서 본질적인 격차가 존재함을 드러낸다.

ABSTRACT

We consider the problem of counting all $k$-vertex subgraphs in an input graph, for any constant $k$. This problem (denoted sub-cnt$_k$) has been studied extensively in both theory and practice. In a classic result, Chiba and Nishizeki (SICOMP 85) gave linear time algorithms for clique and 4-cycle counting for bounded degeneracy graphs. This is a rich class of sparse graphs that contains, for example, all minor-free families and preferential attachment graphs. The techniques from this result have inspired a number of recent practical algorithms for sub-cnt$_k$. Towards a better understanding of the limits of these techniques, we ask: for what values of $k$ can sub-cnt$_k$ be solved in linear time? We discover a chasm at $k=6$. Specifically, we prove that for $k < 6$, sub-cnt$_k$ can be solved in linear time. Assuming a standard conjecture in fine-grained complexity, we prove that for all $k \\geq 6$, sub-cnt$_k$ cannot be solved even in near-linear time.

연구 동기 및 목표

• 유계 분해성 그래프에서 모든 k-정점 부분그래프를 세는 문제(sub-cnt_k)가 어떤 부분그래프 크기 k에 대해 선형 시간 내에 해결 가능한지 규명하는 것.
• Chiba-Nishizeki 방식의 알고리즘에 대한 한계를 이해하는 것. 이 알고리즘들은 실용적인 부분그래프 세기 방법의 영감을 주었다.
• k=5를 초월하는 부분그래프 세기 문제에 이론적 장벽이 존재하는지 확인하는 것.
• 미세 복잡도 가정 하에, 유계 분해성 그래프에서 부분그래프 세기 문제의 가용성과 비가용성의 경계를 규명하는 것.

제안 방법

• 분해성 기반 분해와 깊이 제한 트리 구조(DRTS)를 사용하는 Chiba-Nishizeki 프레임워크를 활용한다.
• 삼각형 탐지 문제에서 k ≥ 6인 부분그래프 세기 문제로의 감소를 적용하며, 삼각형을 더 큰 부분그래프에 통합하는 그래프 구성 기법을 사용한다.
• 부분그래프의 순환 방향을 이용해 DRTS 구축을 시작하는 소스 정점을 식별함으로써, 계층적 매칭을 통한 효율적 세기 알고리즘을 가능하게 한다.
• 삼각형 탐지 추측을 조건부 하한 가정으로 사용하여, k ≥ 6인 경우 o(m^{1+γ}f(κ)) 알고리즘이 존재하지 않음을 증명한다.
• 특정 부분그래프(예: C_k 사이클, K_6, 기타 6-정점 그래프)를 구성하여, 이 격차가 항상 성립하는 것은 아니며, 부분그래프의 구조에 따라 달라짐을 보여준다.
• 일부 6-정점 부분그래프(예: 클리크 또는 크기가 ≥4인 DRTS를 가진 그래프)는 k≥6의 일반적인 비가용성에도 불구하고 여전히 선형 시간 내에 세는 것이 가능함을 증명한다.

실험 결과

연구 질문

• RQ1 유계 분해성 그래프에서 부분그래프 세기(sub-cnt_k) 문제가 어떤 k 값에 대해 선형 시간 내에 해결 가능한가?
• RQ2 Chiba-Nishizeki 프레임워크는 k ≥ 6까지 확장 가능한가, 아니면 본질적인 장벽이 존재하는가?
• RQ3 삼각형 탐지 추측을 사용하여 k ≥ 6에 대한 조건부 하한을 확립할 수 있는가?
• RQ4 일부 6-정점 부분그래프는 일반적인 비가용성에도 불구하고 여전히 선형 시간 내에 세는 것이 가능한가?
• RQ5 부분그래프의 어떤 구조적 특성이 sub-cnt_H가 유계 분해성 그래프에서 선형 시간 알고리즘을 가질 수 있는지를 결정하는가?

주요 결과

• 모든 k ≤ 5에 대해, 유계 분해성 그래프에서 sub-cnt_k는 기대 시간 복잡도 O(mκ^{k-2}) 내에 해결 가능하며, κ가 상수일 경우 선형 시간이다.
• 모든 k ≥ 6에 대해, 삼각형 탐지 추측을 가정하면 sub-cnt_k에 대해 o(m^{1+γ}f(κ)) 알고리즘이 존재하지 않으며, 이는 near-linear 시간 알고리즘이 거의 불가능함을 시사한다.
• k=6에서의 격차는 날카롭다: 문제는 정확히 크기 6에서 가용성에서 비가용성으로 전환된다.
• 조건부 하한은 모든 6-정점 부분그래프에 적용되지 않는다. 일부(예: K_6 또는 크기가 ≥4인 DRTS를 가진 그래프)는 여전히 선형 시간 내에 세는 것이 가능하다.
• k=8인 경우, 구조적 모호성이 발생하여 하한이 실패함을 보여, 하한이 모든 k≥6에 대해 균일하게 확장되지 않음을 확인한다.
• 클리크가 아닌 6-정점 부분그래프 중에서도 선형 시간 내에 세는 것이 가능한 경우가 존재함을 보여, 격차가 절대적이지 않으며 부분그래프의 구조에 따라 달라진다.