[논문 리뷰] Graph Isomorphism in Quasipolynomial Time Parameterized by Treewidth

Daniel Wiebking|arXiv (Cornell University)|2019. 11. 25.

Advanced Graph Theory Research참고 문헌 34인용 수 2

한 줄 요약

이 논문은 트리폭을 매개변수로 하는 그래프 이sov머피즘에 대해 $ n^{\text{polylog}(k)} $ 시간 내에 동작하는 준다항식 시간 알고리즘을 제안한다. 여기서 $ n $ 은 정점 수이고 $ k $ 는 최소 트리폭이다. 이는 바바이의 군론적 프레임워크를 확장하여, 그래프 분해를 효율적으로 조합할 수 있도록 다중코셋 이sov머피즘 문제를 도입함으로써, 트리폭이 유계인 그래프에 대해 바바이의 일반 준다항식 경계를 개선한 최초의 비자명한 매개변수화된 개선이다.

ABSTRACT

We extend Babai's quasipolynomial-time graph isomorphism test (STOC 2016) and develop a quasipolynomial-time algorithm for the multiple-coset isomorphism problem. The algorithm for the multiple-coset isomorphism problem allows to exploit graph decompositions of the given input graphs within Babai's group-theoretic framework. We use it to develop a graph isomorphism test that runs in time $n^{\operatorname{polylog}(k)}$ where $n$ is the number of vertices and $k$ is the minimum treewidth of the given graphs and $\operatorname{polylog}(k)$ is some polynomial in $\operatorname{log}(k)$. Our result generalizes Babai's quasipolynomial-time graph isomorphism test.

연구 동기 및 목표

• 트리폭이 유계인 그래프에 대해 바바이의 준다항식 시간 경계를 초월하는 매개변수화된 그래프 이sov머피즘 알고리즘을 개발하는 것.
• 군론적 프레임워크 내에서 트리 분해에 의해 정의된 그래프 성분들 간의 이sov머피즘을 효율적으로 융합하는 문제에 대응하는 것.
• 바바이의 문자열 이sov머피즘 접근법을 트리 분해와 같은 그래프 이론적 분해 구조로 일반화하는 것.
• 트리폭을 매개변수로 하는 그래프 이sov머피즘에 대해 FPT 알고리즘이 존재하는지 여부라는 열린 문제를 해결하기 위해, 트리폭에 대해 다항로그적 의존성을 가진 준다항식 시간 경계를 달성하는 것.

제안 방법

• 트리 분해에 의해 정의된 그래프 성분들 간의 이sov머피즘을 조합할 수 있는 공식적 프레임워크로 다중코셋 이sov머피즘 문제를 도입한다.
• 순열군이 성분들에 작용함으로써 유도된 레이블링 코셋 위에서의 정규화 레이블링 문제로 그래프 이sov머피즘 문제를 축소한다.
• 구성된 그래프 $ U $ 에 대해 바바이의 군론적 정규화 알고리즘(CLGraph)을 적용한다. 이 그래프 $ U $ 는 레이블링 코셋을 통해 성분들과 그 순서를 인코딩한다.
• 레이블링 코셋 $ \Delta_U\rho_U $ 는 각 성분 내부의 레이블링과 $ \prec $ 를 통한 성분 순서를 함께 인코딩한다.
• 확장된 그래프 $ G = (U, E) $ 에 대해 정규화 레이블링 절차를 적용하여 원래 정점 집합 $ V $ 에 정규화 레이블링을 유도함으로써, 이sov머피즘에 대해 불변성을 확보한다.
• 재레이블링에 대한 불변성과 원래 입력 그래프의 자동군과 정확히 일치하는 $ V $ 에 유도된 자동군을 보여줌으로써 정당성을 입증한다.

실험 결과

연구 질문

• RQ1 바바이의 준다항식 시간 이sov머피즘 알고리즘을 트리폭과 같은 그래프 분해 구조를 활용하도록 확장할 수 있는가?
• RQ2 트리폭 $ k $ 를 가진 그래프에 대해 $ n^{\text{polylog}(k)} $ 시간 내에 동작하는 그래프 이sov머피즘 알고리즘을 설계할 수 있는가? 이는 이전의 FPT 및 고정 매개변수 경계를 개선하는 것이다.
• RQ3 트리 분해에 의해 정의된 성분들 간의 이sov머피즘을 어떻게 효율적으로 융합할 수 있는가? 이 성분들의 대칭성은 순열군에 의해 인코딩된다.
• RQ4 군론적 프레임워크 내에서 다중코셋 이sov머피즘 문제를 효율적으로 해결할 수 있는가? 이를 통해 그래프 이sov머피즘에 대한 매개변수화된 속도 향상이 가능해지는가?

주요 결과

• 논문은 $ n $ 이 정점 수이고 $ k $ 가 트리폭일 때 $ n^{\text{polylog}(k)} $ 시간 내에 동작하는 그래프 이sov머피즘 알고리즘을 제시한다. 이는 이전의 FPT 경계보다 크게 향상된 결과이다.
• 이 알고리즘은 구성된 레이블링 코셋 $ \Delta_U\rho_U $ 위에서의 정규화 레이블링 문제로 그래프 이sov머피즘 문제를 축소함으로써 이를 달성한다. 이 코셋은 성분 순서와 내부 레이블링을 모두 인코딩한다.
• 알고리즘의 정당성은 재레이블링에 대한 불변성과 원래 정점 집합에 유도된 자동군이 입력 그래프의 자동군과 정확히 일치한다는 점을 통해 입증된다.
• 이 프레임워크는 바바이의 준다항식 시간 알고리즘을 트리폭이 유계인 그래프로 일반화하여, 이 분야에서 최초로 비자명한 매개변수화된 개선을 제공한다.
• 이 방법은 다중코셋 이sov머피즘 문제를 공식적으로 도입하고 군론적 정규화를 통해 이를 해결함으로써, 분해된 그래프 성분들 간의 이sov머피즘을 효율적으로 융합하는 문제를 해결한다.
• 결과적으로 트리폭을 매개변수로 하는 그래프 정규화 알고리즘은 이 프레임워크로부터 유도될 수 있으며, 바바이의 최근 정규화 작업을 확장하는 결과를 낳는다.