[논문 리뷰] Logarithmic Weisfeiler-Leman Identifies All Planar Graphs

Martin Grohe, Sandra Kiefer|arXiv (Cornell University)|2021. 01. 01.

Advanced Graph Theory Research참고 문헌 24인용 수 3

한 줄 요약

이 논문은 k차원 Weisfeiler-Leman (WL) 알고리즘이 어떤 상수 k에 대해 모든 평면 그래프를 O(log n) 반복 내에 식별함을 증명한다. 이는 평면 그래프에 대해 로그 단위 반복 수를 확보한 것이다. 증명은 평면 그래프를 3-연결 성분으로 분해하는 새로운 로그 깊이의 트리 분해를 활용하며, Ck+1 논리에서의 논리적 정의 가능성으로 각 평면 그래프가 양자 깊이 O(log n)인 문장으로 유일하게 기술 가능하다는 것을 보여준다.

ABSTRACT

The Weisfeiler-Leman (WL) algorithm is a well-known combinatorial procedure for detecting symmetries in graphs and it is widely used in graph-isomorphism tests. It proceeds by iteratively refining a colouring of vertex tuples. The number of iterations needed to obtain the final output is crucial for the parallelisability of the algorithm. We show that there is a constant k such that every planar graph can be identified (that is, distinguished from every non-isomorphic graph) by the k-dimensional WL algorithm within a logarithmic number of iterations. This generalises a result due to Verbitsky (STACS 2007), who proved the same for 3-connected planar graphs. The number of iterations needed by the k-dimensional WL algorithm to identify a graph corresponds to the quantifier depth of a sentence that defines the graph in the (k+1)-variable fragment C^{k+1} of first-order logic with counting quantifiers. Thus, our result implies that every planar graph is definable with a C^{k+1}-sentence of logarithmic quantifier depth.

연구 동기 및 목표

• 3-연결 평면 그래프에 대한 Verbitsky의 결과를 모든 평면 그래프로 확장함으로써 오랫동안 미해결이었던 문제를 해결한다.
• 상수 차원을 가진 Weisfeiler-Leman 알고리즘이 어떤 평면 그래프라도 O(log n) 반복 내에 식별할 수 있음을 확립한다.
• 모든 평면 그래프가 계수 기호가 있는 일阶 논리 문장으로 표현 가능하며, 그 문장의 양자 깊이가 O(log n)임을 보여준다.
• WL 알고리즘의 반복 복잡도를 통해 평면 그래프 식별의 논리적 특성화를 제공한다.
• 평면 그래프 및 관련 그래프 계열에 대해 WL 차원과 반복 수 사이의 상호 교환 관계를 탐색한다.

제안 방법

• n개 정점으로 구성된 임의의 평면 그래프에 대해 로그 깊이와 최대 6인 부착도를 가진 루트 기반 트리 분해를 구성한다.
• 분해의 각 백에 최대 네 개의 3-연결 성분 또는 블록 분리자들이 포함되도록 보장한다.
• 각 트리 노드에서 하위 그래프의 동형 유형을 Ck+1 논리의 논리 공식으로 인도적으로 표현한다.
• 중첩된 존재 기호 양자와 동형 유형 공식을 도입하여 백에 연결된 연결 성분의 구조를 포착한다.
• WLk 반복과 Ck+1 논리에서의 양자 깊이 사이의 대응을 활용하여 식별 문장의 깊이를 제한한다.
• 동형 유형 제약 조건을 사용하여 성분 간 공식을 결합함으로써 전체 그래프를 유일하게 식별하는 글로벌 문장을 구축한다.

실험 결과

연구 질문

• RQ1 상수 차원을 가진 Weisfeiler-Leman 알고리즘이 모든 평면 그래프를 O(log n) 반복 내에 식별할 수 있는가?
• RQ2 모든 평면 그래프가 양자 깊이 O(log n)인 Ck+1 문장으로 표현 가능한 상수 k가 존재하는가?
• RQ3 3-연결 성분으로 분해된 평면 그래프에 대해 로그 깊이의 트리 분해가 반복 수가 유계인 WL 식별을 가능하게 하는가?
• RQ4 평면 그래프 및 관련 계열에 대해 WL 차원과 반복 수 사이의 상호 교환 관계는 무엇인가?
• RQ5 이 결과는 유계 성질을 가진 그래프나 기타 미니처 닫힘 계열로 확장될 수 있는가?

주요 결과

• 어떤 상수 k에 대해 k차원 Weisfeiler-Leman 알고리즘이 모든 n-정점 평면 그래프를 O(log n) 반복 내에 식별한다.
• 모든 평면 그래프는 Ck+1 조각의 계수 기호가 있는 일阶 논리 문장으로 유일하게 기술 가능하며, 그 문장의 양자 깊이는 O(log n)이다.
• 증명은 로그 깊이와 유계 부착도(최대 6)를 가진 평면 그래프의 트리 분해를 구성하며, 각 백에는 최대 네 개의 3-연결 성분 또는 블록 분리자가 포함된다.
• 각 그래프에 대한 논리 공식은 하위 그래프의 동형 유형을 인코딩하고, 중첩된 존재 기호를 사용하여 성분의 구조를 포착함으로써 인도적으로 구축된다.
• 이 결과는 Verbitsky의 3-연결 평면 그래프에 대한 이전 결과를 모든 평면 그래프로 일반화하여 14년 전 연구 프로그램을 완성한다.
• 이 구성은 그래프 이somorphism 문제에 대해 평면 그래프가 복잡도 클래스 AC1에 속한다는 것을 암시한다. 이는 로그 반복 수의 유계성 때문이기 때문이다.