[논문 리뷰] Graph isomorphisms in quasi-polynomial time

H. A. Helfgott, Jitendra Bajpai외 1명|arXiv (Cornell University)|2017. 10. 12.

Advanced Graph Theory Research참고 문헌 8인용 수 21

한 줄 요약

이 논문은 군 이론적 기법과 정규 색칠법을 활용하여 그래프 이sov머피즘 문제를 quasi-polynomial 시간 내에 해결하는 알고리즘을 제시한다. 이는 exp(O((log n)^O(1)))의 실행 시간을 달성한다. 이 해결책은 루크스의 유한 차수 알고리즘을 바탕으로 하며, 정규 레이블링과 국소 대칭성 감소의 새로운 프레임워크를 사용하여 돌파구를 달성한다.

ABSTRACT

Let us be given two graphs $Γ_1$, $Γ_2$ of $n$ vertices. Are they isomorphic? If they are, the set of isomorphisms from $Γ_1$ to $Γ_2$ can be identified with a coset $H\cdotπ$ inside the symmetric group on $n$ elements. How do we find $π$ and a set of generators of $H$? The challenge of giving an always efficient algorithm answering these questions remained open for a long time. Babai has recently shown how to solve these problems -- and others linked to them -- in quasi-polynomial time, i.e. in time $\exp\left(O(\log n)^{O(1)} ight)$. His strategy is based in part on the algorithm by Luks (1980/82), who solved the case of graphs of bounded degree.

연구 동기 및 목표

• 모든 그래프에 대해 효율적인 알고리즘을 찾는 오랜 동안 미해결된 문제를 해결하기 위해.
• 유한 차수 그래프에 대한 루크스의 다항식 시간 알고리즘을 일반 그래프로 확장하기 위해.
• 군 작용을 통한 효율적인 이sov머피즘 테스트를 가능하게 하는 정규 레이블링 프레임워크를 개발하기 위해.
• 대칭군 작용을 사용하여 그래프 이sov머피즘 문제를 문자열 이sov머피즘 문제로 환원하기 위해.
• 이전의 exp(O(√(n log n)))에서 exp(O((log n)^O(1)))로 실행 시간 개선을 이루기 위해.

제안 방법

• 모서리 쌍에 대한 군 작용을 통해 그래프 이sov머피즘 문제를 문자열 이sov머피즘 문제로 환원한다.
• 비등형성을 탐지하고 검색 공간을 줄이기 위해 정점과 간선의 정규 색칠법을 적용한다.
• 이웃 구조에 기반한 색칠을 반복적으로 개선하기 위해 Weisfeiler-Leman 정련 과정을 사용한다.
• 안정자 체인과 국소 대칭성 감소를 사용한 분할 정복 전략을 적용한다.
• 자기동치군의 구조와 궤도 유형에 기반한 재귀적 분해를 구현한다.
• 고차수 정점 처리를 위해 그래프의 '접기'와 '분할'이라는 새로운 개념을 도입하여 quasi-polynomial 시간을 유지한다.

실험 결과

연구 질문

• RQ1 모든 그래프에 대해 그래프 이sov머피즘 문제를 quasi-polynomial 시간 내에 해결할 수 있는가?
• RQ2 정규 색칠법은 이sov머피즘의 검색 공간을 효율적으로 제한하는 데 어떻게 활용될 수 있는가?
• RQ3 순열군의 어떤 구조적 성질이 효율적인 이sov머피즘 테스트를 가능하게 하는가?
• RQ4 이전의 exp(O(√(n log n))) 기반을 초월하여 그래프 이sov머피즘 문제의 시간 복잡도를 향상시킬 수 있는가?
• RQ5 군 이론적 도구를 사용하여 루크스의 유한 차수 알고리즘을 임의의 그래프로 일반화할 수 있는가?

주요 결과

• 그래프 이sov머피즘 문제는 구체적으로 exp(O((log n)^O(1))) 시간 내에 quasi-polynomial 시간에 해결될 수 있다.
• 알고리즘은 간선 집합에 대한 대칭군 작용을 통해 그래프 이sov머피즘 문제를 문자열 이sov머피즘 문제로 환원한다.
• 이웃 구조와 거리 정보에 기반한 정규 색칠법은 이sov머피즘 후보의 효과적인 제거를 가능하게 한다.
• 루크스의 이전 최선의 기준인 exp(O(√(n log n)))에 비해 상당한 향상이 이루어졌다.
• 알고리즘은 재귀적 분해와 안정자 체인을 사용하여 모든 그래프 유형에서 효율성을 유지한다.
• 초기 시간 분석 오류 이후 알고리즘의 정확성이 검증되고 수정되었으며, quasi-polynomial 실행 시간이 확인되었다.