[논문 리뷰] Isomorphismes de graphes en temps quasi-polynomial (d'après Babai et Luks, Weisfeiler-Leman...)

H. A. Helfgott|arXiv (Cornell University)|2017. 01. 16.

Geometric and Algebraic Topology인용 수 3

한 줄 요약

이 논문은 그래프 이sov머피즘 문제를 준다항식 시간 내에 해결할 수 있음을 보여주는 라슬로 바바이의 돌풍 같은 결과를 요약한다. 특히, $\exp(O(\log n)^{O(1)})$ 시간에 해결 가능하며, 루크스의 유한 차수 알고리즘 기법을 확장하고, 바이스페일러-레만 정렬 및 정규 레이블링을 통합함으로써 달성된다. 이 해결책은 군 이론적 방법과 일관된 구성 및 존슨 체계를 이용한 순열군의 재귀적 분해에 기반한다.

ABSTRACT

Soient donnés deux graphes $Γ_1$, $Γ_2$ à $n$ sommets. Sont-ils isomorphes? S'ils le sont, l'ensemble des isomorphismes de $Γ_1$ à $Γ_2$ peut être identifié avec une classe $H π$ du groupe symétrique sur $n$ éléments. Comment trouver $π$ et des générateurs de $H$? Le défi de donner un algorithme toujours efficace en réponse à ces questions est resté longtemps ouvert. Babai a récemment montré comment résoudre ces questions -- et d'autres qui y sont liées -- en temps quasi-polynomial, c'est-à-dire en temps $\exp(O(\log n)^{O(1)})$. Sa stratégie est basée en partie sur l'algorithme de Luks (1980/82), qui a résolu le cas de graphes de degré borné. English translation: Graph isomorphisms in quasipolynomial time [after Babai and Luks, Weisfeiler--Leman,...]. Let $Γ_1$, $Γ_2$ be two graphs with $n$ vertices. Are they isomorphic? If any isomorphisms from $Γ_1$ to $Γ_2$ exist, they form a coset $H π$ in the symmetric group on $n$ elements. How can we find a representative $π$ and a set of generators for $H$? Finding an algorithm that answers such questions efficiently (in all cases) is a challenge that has long remained open. Babai has recently shown how to solve these problems and related ones in quasipolynomial time, i.e., time $\exp(O(\log n)^{O(1)})$. His strategy is based in part on an algorithm due to Luks (1980/82), who solved the case of graphs of bounded degree.

연구 동기 및 목표

• 그래프 이sov머피즘 문제를 해결하는 바바이의 준다항식 시간 알고리즘을 제시하고 분석하는 것.
• 군 이론적 및 조합 기법을 사용하여 루크스의 유한 차수 이sov머피즘 알고리즘을 어떻게 확장하는지 설명하는 것.
• 정규 레이블링과 바이스페일러-레만 정렬이 이sov머피즘 테스트를 더 단순한 부분 문제로 줄이는 데 어떻게 기여하는지 명확히 하는 것.
• 존슨 체계와 곱 구조를 통한 재귀적 분해가 효율적인 계산을 어떻게 가능하게 하는지 보여주는 것.
• 알고리즘이 $\exp(O(\log n)^{O(1)})$ 시간 내에 실행됨을 입증하는 것. 이는 이전에 알려진 최선의 bound인 $\exp(O(\sqrt{n \log n}))$ 보다 크게 향상된 것이다.

제안 방법

• 순열군의 작용 하에 대한 유한 알파벳 기반 문자열 이sov머피즘 문제로 그래프 이sov머피즘 문제를 환원하는 것.
• 바이스페일러-레만 알고리즘을 사용해 정점 쌍의 색상 칠하기를 정교화하여, 비이sov머피즘 그래프를 구별하는 데 도움이 되는 정규 불변량을 생성하는 것.
• 존슨 체계와 곱 구조를 이용해 순열군을 단순한 원시적 및 비원시적 구성요소로 재귀적으로 분해하는 것.
• 쿠페-오르-존슨 알고리즘을 적용하여 $\operatorname{Alt}_{s_1} \wr \operatorname{Alt}_{s_2}$ 곱 구조 또는 더 작은 대칭군으로의 환원을 식별하는 것.
• 선택 사항이 비정규적일 경우의 지수적 팽창을 방지하기 위해 정규 레이블링 기법을 적용하여 알고리즘의 선택이 일관되게 유지되도록 하는 것.
• 재귀 호출과 군 연산 비용을 고려한 재귀 관계를 이용해 실행 시간을 유도하여, 최종적으로 준다항식 시간임을 증명하는 것.

실험 결과

연구 질문

• RQ1 그래프 이sov머피즘 문제는 $\exp(O(\log n)^{O(1)})$ 시간 내에 준다항식 시간으로 해결될 수 있는가?
• RQ2 바이스페일러-레만 정렬과 정규 레이블링은 어떻게 이sov머피즘 테스트를 더 단순한 군 이론적 부분 문제로 줄일 수 있는가?
• RQ3 일관된 구성과 존슨 체계는 순열군을 효율적인 이sov머피즘 테스트를 위해 분해하는 데 어떤 역할을 하는가?
• RQ4 바바이의 알고리즘은 루크스의 유한 차수 알고리즘과 이전에 알려진 최선의 bound인 $\exp(O(\sqrt{n \log n}))$ 에 비해 어떻게 향상되었는가?
• RQ5 곱 구조와 자동군 분석을 통한 순열군의 재귀적 분해는 준다항식 시간 해법을 이끌 수 있는가?

주요 결과

• 그래프 이sov머피즘 문제는 $\exp(O(\log n)^3)$ 시간 내에 해결 가능하며, 이는 준다항식 시간에 해당한다.
• 알고리즘은 순열군 작용 하에서의 문자열 이sov머피즘 문제로 이sov머피즘 테스트를 환원하며, 정규 색상 칠과 군 작용을 활용한다.
• 바이스페일러-레만 정렬의 사용은 불변량 비교를 통해 비이sov머피즘을 효율적으로 탐지할 수 있도록 한다.
• 존슨 체계와 곱 군 분해를 기반으로 한 알고리즘의 재귀적 구조는 재귀 호출의 수가 준다항식 요소로 제한됨을 보장한다.
• 실행 시간 분석 결과, 비정규적 선택을 제어하는 데 있어 $m^{O(\log n)}$ 의 유한한 곱셈 계수를 통해 지수적 팽창을 피할 수 있음을 보여준다.
• 이 결과는 이론적 컴퓨터 과학 분야에서 오랫동안 남아있던 열린 문제를 해결하며, 최선의 알려진 시간 bound를 $\exp(O(\sqrt{n \log n}))$ 에서 $\exp(O(\log n)^3)$ 으로 개선했다.