[논문 리뷰] Identifiability of Graphs with Small Color Classes by the Weisfeiler-Leman Algorithm

Frank Fuhlbrück, Johannes Köbler외 1명|arXiv (Cornell University)|2019. 07. 05.

Advanced Graph Theory Research인용 수 6

한 줄 요약

이 논문은 색상 다중도가 최대 4인 정점 색칠된 그래프가 2차원 Weisfeiler-Leman (2-WL) 알고리즘에 의해 식별 가능한지를 다항시간 결정 절차로 판별하는 방법을 제시한다. 이 방법은 최대 섬유 크기가 4인 일관성 구성의 구조적 분류에 기반하며, 2-WL에 의해 분리되지 않는 정확한 구성의 집합을 규명한다—이는 Cai-Fürer-Immerman 구성이 특수한 경우가 아니라 더 넓은 범주에 속하는 어려운 예제의 일부임을 드러낸다. 이는 입사 기하학에서의 (n³)-구성과 유사한 구조를 포함한다.

ABSTRACT

As it is well known, the isomorphism problem for vertex-colored graphs with color multiplicity at most 3 is solvable by the classical 2-dimensional Weisfeiler-Leman algorithm (2-WL). On the other hand, the prominent Cai-F\\"urer-Immerman construction shows that even the multidimensional version of the algorithm does not suffice for graphs with color multiplicity 4. We give an efficient decision procedure that, given a graph $G$ of color multiplicity 4, recognizes whether or not $G$ is identifiable by 2-WL, that is, whether or not 2-WL distinguishes $G$ from any non-isomorphic graph. In fact, we solve the much more general problem of recognizing whether or not a given coherent configuration of maximum fiber size 4 is separable. This extends our recognition algorithm to graphs of color multiplicity 4 with directed and colored edges. Our decision procedure is based on an explicit description of the class of graphs with color multiplicity 4 that are not identifiable by 2-WL. The Cai-F\\"urer-Immerman graphs of color multiplicity 4 distinctly appear here as a natural subclass, which demonstrates that the Cai-F\\"urer-Immerman construction is not ad hoc. Our classification reveals also other types of graphs that are hard for 2-WL. One of them arises from patterns known as $(n_3)$-configurations in incidence geometry.

연구 동기 및 목표

• 색상 다중도 4인 그래프가 2-WL 알고리즘에 의해 식별 가능한지, 즉 모든 비동형 그래프와 구분 가능한지를 판단하는 것.
• 기존에 알려진 2-WL이 색상 다중도 ≤3인 모든 그래프를 식별한다는 결과를 더 복잡한 다중도 4의 경우로 확장하는 것.
• 최대 섬유 크기가 4인 모든 일관성 구성에서 2-WL에 의해 분리되지 않는 것들을 완전히 분류하고, 이를 통해 구조적 특성의 완전한 기술을 제공하는 것.
• Cai-Fürer-Immerman 구성이 고립된 이상한 케이스가 아니라, 2-WL에 의해 분리되지 않는 그래프의 더 넓은 가족 내에서 자연스러운 예로 존재함을 보여주는 것.
• 일관성 구성의 프레임워크를 통해 방향성 있는 그래프 및 간선 색칠된 그래프에 대해 다항시간 결정 절차를 일반화하여, 색상 다중도 4인 그래프에 대한 2-WL 식별 가능성에 대한 결정 절차를 제공하는 것.

제안 방법

• 색상 다중도 4인 그래프를 최대 섬유 크기가 4인 일관성 구성으로 간주하고, 2-WL 정련 과정을 일관성 구성 이론으로 모델링하는 것.
• 섬유, 간섭공간, 연결 유형으로 분해된 구조적 분해를 통해 분리되지 않는 일관성 구성(즉, 2-WL에 의해 구분되지 않는 것들)을 특성화하는 것.
• 세 가지 주요 유형의 분리되지 않는 구성—일치하는 간섭공간, 2점 섬유, 8순환 간섭공간—을 대칭성 및 대수적 동형과 자기동형 기법을 사용해 분석하는 것.
• 불필요하지 않은 구성의 개념을 도입하고, 직접 연결의 초그래프 표현을 사용하여 세 가지 유형으로 분류하는 것: CFI형, 3조화형, 일반적인 불필요하지 않은 경우.
• Pólya 수세기 기법을 적용하여 잘라낸 정사면체 그래프 T의 비동형 블랙-화이트 색칠 수를 계산하고, 핵심 케이스에서의 분리 가능성 분석을 검증하는 것. (p(2) = 218)
• 분리되지 않는 구성의 명시적 구조적 기술에 기반한 결정 알고리즘을 구성하여, 2-WL 식별 가능한 그래프를 다항시간에 식별할 수 있도록 하는 것.

실험 결과

연구 질문

• RQ1 색상 다중도 4인 그래프 중에서 2-WL 알고리즘에 의해 식별 가능한 것은 무엇인가?
• RQ2 색상 다중도 4인 2-WL에 의해 분리되지 않는 그래프의 유일한 원천은 Cai-Fürer-Immerman 구성인가, 아니면 다른 구조적 유형이 존재하는가?
• RQ3 최대 섬유 크기가 4인 2-WL에 의해 분리되지 않는 일관성 구성의 전체 클래스를 완전히 특성화할 수 있는가?
• RQ4 CFI 구성 이외의 자연스러운 기하학적 또는 조합적 구성—예를 들어 입사 기하학에서 유래한 것들—은 본질적으로 2-WL에 의해 어려운가?
• RQ5 색상 다중도 4인 그래프에 대해 3-WL에 대한 적합성은 다항시간 내에 결정할 수 있는가?

주요 결과

• 최대 섬유 크기가 4인 일관성 구성 중에서 2-WL에 의해 분리되지 않는 모든 구성에 대한 완전한 구조적 특성 기술이 제시된다.
• 색상 다중도 4인 Cai-Fürer-Immerman 그래프가 분리되지 않는 구성의 자연스러운 부분집합임을 입증하여, 이 구성이 특수한 경우가 아님을 보여준다.
• 입사 기하학에서의 (n³)-구성에서 유래한 새로운 2-WL에 의해 분리되지 않는 그래프 유형이 나타나며, 이는 대칭적인 연결 패턴으로 인해 분리되지 않음을 입증한다.
• 잘라낸 정사면체 그래프 T의 비동형 블랙-화이트 색칠 수는 Pólya 수세기 기법을 통해 p(2) = 218로 계산되었으며, 이는 분리 가능성 분석을 뒷받침한다.
• 색상 다중도 4인 그래프가 2-WL에 의해 식별 가능한지 여부의 결정 문제는 다항시간 내에 해결 가능하며, 이는 기존의 다중도 3의 경우에 대한 결과를 확장한 것이다.
• 이 프레임워크는 방향성 있는 그래프 및 간선 색칠된 그래프로 일반화되어, 이 더 넓은 클래스에 대한 2-WL 식별 가능성에 대한 결정 절차를 제공한다.