[논문 리뷰] Finding and Counting Patterns in Sparse Graphs

Balagopal Komarath, Anurag Pandey외 1명|arXiv (Cornell University)|2020. 11. 09.

Advanced Graph Theory Research참고 문헌 40인용 수 3

한 줄 요약

이 논문은 패턴 그래프의 트리깊이, 경로폭, 트리폭에 각각 해당하는 동형사상 다항식의 단조형 대수적 복잡도 측도—공식, ABP, 회로 복잡도—에 대해 엄밀한 특성화를 수립한다. 이는 기존의 복잡도 클래스 간 분리 결과를 통합하고, 희박한 그래프에서 부분그래프 및 유도 부분그래프 동형 문제에 대해 시간과 공간이 최적인 효율적인 알고리즘을 제공한다.

ABSTRACT

We consider algorithms for finding and counting small, fixed graphs in sparse host graphs. In the non-sparse setting, the parameters treedepth and treewidth play a crucial role in fast, constant-space and polynomial-space algorithms respectively. We discover two new parameters that we call matched treedepth and matched treewidth. We show that finding and counting patterns with low matched treedepth and low matched treewidth can be done asymptotically faster than the existing algorithms when the host graphs are sparse for many patterns. As an application to finding and counting fixed-size patterns, we discover Õ(m³)-time, constant-space algorithms for cycles of length at most 11 and Õ(m²)-time, polynomial-space algorithms for paths of length at most 10.

연구 동기 및 목표

• 패턴 그래프의 구조적 그래프 매개변수를 사용하여 동형사상 다항식의 단조형 대수적 복잡도를 특성화하기.
• 단일 프레임워크 아래에서 대수적 복잡도와 그래프 알고리즘 분야의 산발적인 결과를 통합하기.
• 부분그래프 및 유도 부분그래프 동형 문제 탐지에 대해 시간과 공간이 효율적인 알고리즘 개발하기.
• 기존에 알려진 조합 문제를 사용하여 단조형 회로, ABP, 공식 간 초다항식 분리를 수립하기.
• 상수 차수 다항식에 대한 미세한 분리 결과를 위한 새로운 통합적 접근 제공하기.

제안 방법

• 고정된 패턴 그래프 H에서 n개 정점을 가진 호스트 그래프로의 모든 동형사상을 인코딩하기 위해 동형사상 다항식을 사용한다.
• 각각 단조형 공식, ABP, 회로 복잡도에 대해 정확한 특성화로 사용되는 그래프 매개변수—트리깊이, 경로폭, 트리폭—를 적용한다.
• 홀의 정리를 통한 매칭 기반 하한 증명을 사용하여 회로의 최적성을 입증한다.
• 파싱 트리와 산술 회로의 로그 공간 구축을 활용하여 공간 효율적인 알고리즘을 달성한다.
• 선형 조합을 통한 동형사상 수세기로 유도 부분그래프 동형 문제를 감소시키며, Kk는 특수 케이스로 포함된다.
• 모듈로 수세기와 무작위 감소를 사용하여 제한된 공간에서 유도 부분그래프 탐지를 시뮬레이션한다.

실험 결과

연구 질문

• RQ1 단조형 대수적 복잡도 측도는 구조적 그래프 매개변수와 어떻게 관련이 있는가?
• RQ2 동형사상 다항식은 단조형 회로, ABP, 공식 모델 간 기존의 분리 결과를 통합할 수 있는가?
• RQ3 희박한 그래프에서 부분그래프 및 유도 부분그래프 동형 문제의 정확한 복잡도는 무엇인가?
• RQ4 동형사상 다항식 프레임워크에서 효율적인 시간-공간 알고리즘이 도출될 수 있는가?
• RQ5 다른 유도 패턴을 탐지하는 데 있어 복잡도에 본질적인 차이가 존재하는가?

주요 결과

• 동형사상 다항식의 단조형 공식 복잡도는 패턴 그래프의 트리깊이에 정확히 해당된다.
• 단조형 ABP 복잡도는 패턴 그래프의 경로폭에 정확히 해당된다.
• 단조형 회로 복잡도는 패턴 그래프의 트리폭에 정확히 해당된다.
• 이 프레임워크는 자연적인 조합 문제를 사용하여 단조형 회로, ABP, 공식 간 초다항식 분리를 도출한다.
• 임의의 k-정점 패턴 그래프 H ≠ Kk에 대해, O(n^{k-1}) 시간과 O(log²n) 공간에서 H와 동형인 부분그래프를 세는 조합 알고리즘이 존재한다.
• H에 대한 t(n)/s(n) 알고리즘이 주어지면, 임의의 k-정점 H에 대해 유도 부분그래프 동형의 수를 O(t(n) + n^{k-1}) 시간과 O(s(n) + log²n) 공간에서 계산할 수 있다.