[논문 리뷰] Graph Isomorphism for unit square graphs

Daniel Neuen|arXiv (Cornell University)|2016. 02. 26.

Advanced Graph Theory Research참고 문헌 23인용 수 4

한 줄 요약

이 논문은 평면상의 축에 평행한 단위 정사각형들의 교차 그래프인 유닛 스퀘어 그래프에 대한 그래프 이sov의 문제에 대해 다항시간 알고리즘을 제시한다. 이웃 구조에 대한 기하학적 통찰과 군론적 기법을 결합함으로써, 특히 Luks의 알고리즘을 8원형으로 제한된 자동형군에 확장하여, 정규화된 실현에 의존하지 않고도 이sov의를 검증할 수 있다. 이는 인식 문제가 NP-난해하기 때문에 불가능한 일이다.

ABSTRACT

In the past decades for more and more graph classes the Graph Isomorphism Problem was shown to be solvable in polynomial time. An interesting family of graph classes arises from intersection graphs of geometric objects. In this work we show that the Graph Isomorphism Problem for unit square graphs, intersection graphs of axis-parallel unit squares in the plane, can be solved in polynomial time. Since the recognition problem for this class of graphs is NP-hard we can not rely on standard techniques for geometric graphs based on constructing a canonical realization. Instead, we develop new techniques which combine structural insights into the class of unit square graphs with understanding of the automorphism group of such graphs. For the latter we introduce a generalization of bounded degree graphs which is used to capture the main structure of unit square graphs. Using group theoretic algorithms we obtain sufficient information to solve the isomorphism problem for unit square graphs.

연구 동기 및 목표

• 유닛 스퀘어 그래프에 대한 그래프 이sov의 문제의 복잡도를 해결하기 위해, 직사각형 교차 그래프의 자연스러운 제한된 경우를 고려한다.
• 더 쉽게 다룰 수 있는 구조적으로 유사하지만 더 잘 다뤄지는 클래스를 연구함으로써, 유닛 디스크 그래프에 대한 이sov의 문제라는 열린 문제를 해결한다.
• 인식 문제가 NP-난해하므로 정규화된 실현을 피할 수 있는 방법을 개발한다. 이를 위해 내재된 구조적 및 군론적 불변량을 사용한다.
• 유닛 격자 교차 그래프나 높은 차원의 $L_\infty$-실현과 같은 다른 기하학적 그래프 클래스에서의 이sov의 문제를 다루기 위한 기반을 마련한다.

제안 방법

• 알고리즘은 정점과 클리크 주변의 국소 기하학적 구조를 포착하는 정규화된 클리크 분할을 구성한다.
• 기하학적 성질을 사용하여 정점과 클리크 주변의 이웃들의 순환적 배열을 정규화된 순서로 추출한다. 이는 평면상의 순환 배열을 모방한다.
• 자동형군은 일반화된 차수 제한 프레임워크를 통해 분석되며, 특히 $\Gamma_8$-군이 사용된다. 이는 유닛 스퀘어 그래프에서 독립적인 이웃의 수가 제한되어 있음을 포착한다.
• 집합 안정자 계산을 포함한 군론적 알고리즘을 적용하여, 자동형군의 정규화된 분할에 대한 작용을 분석함으로써 이sov의를 결정한다.
• 정규화된 기하학적 실현을 피하기 위해, 클리프트 분할과 이웃 대칭성과 같은 이sov의 불변의 구조적 특징에 의존한다.
• 기존의 단순군 및 다항시간으로 유 bounds된 최대 순서에 대한 결과를 활용하여 다항시간 실행 시간을 보장한다.

실험 결과

연구 질문

• RQ1 유닛 스퀘어 그래프에 대해 그래프 이sov의 문제를 다항시간에 해결할 수 있는가? 인식 문제가 NP-난해하므로 이를 고려해야 한다.
• RQ2 유닛 스퀘어 그래프의 자동형군은 그 구조적 대칭성을 포착하는 $\Gamma_8$-군으로 구성된 정규화된 분해를 갖는가?
• RQ3 인식 문제가 NP-난해하므로 기하학적 실현을 구성하지 않고도 이sov의 테스트를 수행할 수 있는가?
• RQ4 이 방법은 유닛 격자 교차 그래프나 높은 차원의 $L_\infty$-실현과 같은 다른 기하학적 그래프 클래스로 확장 가능한가?
• RQ5 충분히 큰 $k$에 대해 $k$차원 Weisfeiler-Leman 알고리즘이 모든 유닛 스퀘어 그래프를 식별할 수 있는가?

주요 결과

• 유닛 스퀘어 그래프에 대한 그래프 이sov의 문제는 다항시간에 해결 가능하며, 이는 기하학적 그래프 이론 분야에서 열려 있던 문제를 해결한다.
• 알고리즘은 이sov의 불변의 클리프트 분할을 구성하고 $\Gamma_8$-군의 구조를 사용하여 자동형군을 분석함으로써 이를 달성한다.
• 정규화된 실현을 피하기 위해 내재된 기하학적 및 군론적 불변량에 의존한다. 이는 인식 문제가 NP-난해하기 때문에 필수적이다.
• 실행 시간은 다항시간이며, 주로 $\Gamma_8$-군에서의 집합 안정자 계산에 의해 지배되며, 이들의 최대 순서는 다항시간으로 유 bounds되어 있다.
• 이 방법은 특히 단일 정점이 존재할 경우 유닛 스퀘어 그래프의 자동형군에 대한 구조적 통찰을 제공한다.
• 결과는 유닛 격자 교차 그래프나 높은 차원의 $L_\infty$-실현과 같은 유사한 클래스에 대한 이sov의 문제 해결을 위한 길을 제시한다.