[논문 리뷰] Graph Isomorphism in Quasipolynomial Time

László Babai|arXiv (Cornell University)|2015. 12. 11.

Complexity and Algorithms in Graphs참고 문헌 49인용 수 281

한 줄 요약

이 논문은 그래프 동형성(GI) 문제에 대해 다항식 시간보다는 느리지만 지수함수보다는 빠른 시간 복잡도를 가지는 준다항식 시간 알고리즘을 제시한다. 이는 루크스(Luks)가 1983년에 확립한 이전 최선의 bound인 $\exp(O(\sqrt{n\log n}))$ 에 비해 크게 향상된 결과이다. 이 접근법은 특히 대칭 결함을 탐지하기 위해 '국소 인증서(local certificates)'를 사용하는 군 이론적 기법들과 조합적 표준 분할 기법을 융합하여, 효율적인 동형성 테스트를 방해하는 유일한 장애물로 존슨 그래프(Johnson graphs)를 규명한다.

ABSTRACT

We show that the Graph Isomorphism (GI) problem and the related problems of String Isomorphism (under group action) (SI) and Coset Intersection (CI) can be solved in quasipolynomial ($\exp((\log n)^{O(1)})$) time. The best previous bound for GI was $\exp(O(\sqrt{n\log n}))$, where $n$ is the number of vertices (Luks, 1983); for the other two problems, the bound was similar, $\exp( ilde{O}(\sqrt{n}))$, where $n$ is the size of the permutation domain (Babai, 1983). The algorithm builds on Luks's SI framework and attacks the barrier configurations for Luks's algorithm by group theoretic "local certificates" and combinatorial canonical partitioning techniques. We show that in a well-defined sense, Johnson graphs are the only obstructions to effective canonical partitioning. Luks's barrier situation is characterized by a homomorphism ϕ that maps a given permutation group $G$ onto $S_k$ or $A_k$, the symmetric or alternating group of degree $k$, where $k$ is not too small. We say that an element $x$ in the permutation domain on which $G$ acts is affected by ϕ if the ϕ-image of the stabilizer of $x$ does not contain $A_k$. The affected/unaffected dichotomy underlies the core "local certificates" routine and is the central divide-and-conquer tool of the algorithm.

연구 동기 및 목표

• 그래프 동형성 문제의 최선의 상한 bound와 그 참값의 복잡도 사이에 있는 오랜 기간 동안의 격차를 메우는 것.
• 동형성 테스트의 핵심 과제인, 큰 대칭군 또는 대칭군 몫을 가진 순열군을 다루는 것—이러한 군들은 효율적인 표준 분할을 방해한다.
• 존슨 그래프가 동형성 알고리즘에서 효과적인 대칭 감소를 방해하는 유일한 원시 군임을 규명하는 것.
• 루크스의 프레임워크에서 유도된 군 이론적 기법들과 조합 기법들을 통합하고 확장하여 일관되고 확장 가능한 알고리즘 구조를 만드는 것.
• 히ュ리스틱 성능에 의존하지 않고 철저한 복잡도 분석을 통해 GI, SI, CI 문제에 대한 최악의 경우 상한을 제시하는 것.

제안 방법

• 순열군 $G$ 가 $S_k$ 또는 $A_k$ 로 사상되는 호모모르피즘 $\varphi$ 를 고려할 때, $A_k$ 를 포함하지 않는 안정자(stabilizer)를 가지는 원소들을 식별하기 위해 '국소 인증서'를 도입한다.
• 영향을 받는/받지 않는 이원화(dichotomy)를 기반으로 한 분할-정복 전략을 활용하여, 군 작용을 재귀적으로 정밀화하고 표준 구조를 탐지한다.
• 디자인 보조정리(Design Lemma)를 적용하여 $k$-항 관계를 이항 관계로 감소시켜, 일관된 구성에서 고차원 구성의 효율적 처리를 가능하게 한다.
• 국소 비대칭성에서 기인하는 전반적인 비정상성을 탐지하기 위해, 위스페일러-레만(Weisfeiler-Leman) 알고리즘을 표준 정밀화(subroutine)로 활용한다.
• 'Split-or-Johnson' 프레임워크를 활용: 어떤 구조가 분할에 저항한다면, 반드시 큰 표준 임베딩을 가진 존슨 그래프를 포함해야 한다.
• 영향을 받지 않은 안정자 정리(Unaffected Stabilizer Theorem)를 활용하여, 큰 대칭군 몫을 가진 원시 군에서 안정자의 구조를 제어함으로써 재귀 깊이를 유한하게 유지한다.

실험 결과

연구 질문

• RQ1 그래프 동형성 문제는 준다항식 시간 내에 해결될 수 있는가? 만약 그렇다면, 이를 위해 어떤 순열군의 구조적 성질을 활용해야 하는가?
• RQ2 존슨 그래프는 효율적인 동형성 테스트를 방해하는 데 어떤 역할을 하는가? 그리고 이들은 체계적으로 탐지되고 처리될 수 있는가?
• RQ3 국소 대칭 결함(국소 인증서를 통해)을 어떻게 집계하여 전반적인 표준 구조를 도출할 수 있으며, 이 과정이 준다항식 실행 시간을 보장할 수 있는가?
• RQ4 순열군 내의 대칭군 몫이 효율적인 동형성 테스트를 방해하는 주요 장애물인가?
• RQ5 크기가 큰 순열군의 군 이론적 구조는 어떻게 특징지어질 수 있으며, 이를 통해 효율적인 동형성 해결이 가능해지는가?

주요 결과

• 그래프 동형성 문제는 $n$ 이 정점 수일 때, $\exp((\log n)^{O(1)})$ 의 준다항식 시간 내에 해결 가능하다.
• 군 작용 하에서의 문자열 동형성 문제와 코셋 교차 문제 역시 동일한 준다항식 시간 bound 내에서 해결 가능하다.
• 존슨 그래프는 효율적인 표준 분할을 방해하는 유일한 원시 군으로 규명되었으며, 따라서 효율적인 동형성 테스트의 유일한 장애물이다.
• 알고리즘은 국소 인증서를 재귀적으로 적용하여 대칭 결함을 탐지하고, 'Split-or-Johnson' 프레임워크를 통해 분할을 수행하거나 존슨 구조를 식별함으로써 효율성을 달성한다.
• 루크스(Luks, 1983)의 $\exp(O(\sqrt{n\log n}))$ bound 를 준다항식 bound 로 대체함으로써, 30년이 넘는 복잡도 격차를 해결하였다.
• 이 방법은 원시 군에서 큰 대칭군 몫을 가진 안정자에 대한 구조적 제어를 가능하게 하는 새로운 군 이론 보조정리인 '영향을 받지 않은 안정자 정리'에 의존한다.