트리폭 제한 하위 그래프 동형 탐색과 카운팅을 위한 초고속 알고리즘

본 논문은 두 그래프 F(k vertices)와 G(n vertices) 사이의 서브그래프 동형(Subgraph Isomorphism) 문제와 그 카운팅 버전(#SUBGRAPH ISOMORPHISM)을, 패턴 그래프 F의 트리폭(treewidth) t 혹은 경로폭(pathwidth) p가 제한된 경우에 대해 새로운 알고리즘적 해법을 제시한다. 1. **배경 및 기존 연구** - k‑Path와 k‑Tree는 각각 F가 경로·트리인 특수한 경우이며, Williams(2014)의 무작위 O\*(2^k) 알고리즘이 현재 최고 성능이다. - 색깔 코딩(color‑coding) 기법은 O\*(c^k n^{t}) 수준의 결정적·무작위 알고리즘을 제공했지만, 상수 c가 크고 메모리·시간 효율이 떨어졌다. - 최근 Koutis·Williams(2009)는 그룹 대수 기반 무작위 기법을 k‑Tree에 확장했으며, Amini·et al.(2015)는 트리폭 제한 하에 O\*(5.4^k n^{t}) 알고리즘을 제시했다. 2. **주요 기여** - **동형 다항식 정의**: P_G(x₁,…,x_n)=∏_{Φ∈Hom(F,G)}∑_{u∈V(F)} x_{Φ(u)} 로, 차수가 k이며 각 단항식은 동형 사상 Φ에 대응한다. - **산술 회로 구성**: F의 좋은 트리분해(D, t)를 이용해 P_G를 크기 O\*( (n t)^t ) 인 회로(실제로는 공식)로 계산한다. - **무작위 탐색**: Williams의 다항식 다항식(multilinear term) 검증 기법을 적용해, 회로 크기가 n^{O(t)} 이므로 전체 검증 시간은 O\*(2^k n^{2t})가 된다. 이는 기존 O\*(2^k n^{t})보다 t에 대한 차수 승을 하나 더 추가했지만, 실제 상수는 작아 실용적이다. - **결정적 동형 사상 카운팅**: 회로가 공식이므로, 동적 프로그래밍 방식으로 모든 동형 사상을 O\*(n^{O(t)}) 시간에 정확히 셀 수 있다. 메모리는 다항 공간으로 제한된다. - **#SUBGRAPH ISOMORPHISM 알고리즘**: * **Meet‑in‑the‑middle + 포함‑배제**: F를 두 부분(F₁,F₂)으로 나누고, 각각에 대해 동형 사상 집합을 구한 뒤, DISJOINT‑SUM 연산을 통해 겹치지 않는 조합을 합산한다. * **복잡도**: 경로폭 p에 대해 O\*(\(\binom{n}{k/2}\) n^{2p}) 혹은 트리폭 t에 대해 O\*(\(\binom{n}{k/2}\) n^{O(t log k)}) 시간·다항 공간을 달성한다. * **무작위화된 변형**: 무작위 검증을 다시 도입하면 O\*(2^k \(\binom{n}{k/2}\) n^{5p}) 시간에 다항 공간만 사용한다. - **비교 및 한계**: #k‑Path는 #W