[논문 리뷰] Uniqueness Trees: A Possible Polynomial Approach to the Graph Isomorphism Problem

Jonathan Gorard|arXiv (Cornell University)|2016. 06. 21.

Graph Theory and Algorithms참고 문헌 7인용 수 6

한 줄 요약

이 논문은 유일성 트리 알고리즘을 제안하며, 그래프의 각 정점에서 루트 트리를 구성하고, 두 그래프의 대응하는 트리 간의 유일한 동형사상 여부를 검사함으로써 그래프 동형성 문제를 다항 시간 내에 해결하는 새로운 방법을 제시한다. 이 방법은 최악의 경우 O(n⁷) 시간에 작동하며, 동형성이 존재할 경우 정확하게 이를 탐지한다. 실험 결과에 따르면 무작위 그래프에서는 약 O(n⁵) 시간에 작동함을 시사하며, GI 문제에 대한 다항 시간 해법이 존재할 가능성을 강력히 뒷받침한다.

ABSTRACT

This paper presents the novel `uniqueness tree' algorithm, as one possible method for determining whether two finite, undirected graphs are isomorphic. We prove that the algorithm has polynomial time complexity in the worst case, and that it will always detect the presence of an isomorphism whenever one exists. We also propose that the algorithm will equivalently discern the lack of an isomorphism whenever one does not exist, and some initial justifications are given for this proposition, although it cannot yet be rigorously proven. Finally, we present experimental evidence for both the effectiveness and efficiency of the uniqueness tree method, using data gathered from a practical implementation of the algorithm. Some consequences and directions for further research are discussed.

연구 동기 및 목표

• 계산 복잡도 이론에서 오랫동안 미해결 문제로 남아 있던 다항 시간 내에 그래프 동형성을 판단할 수 있는 새로운 알고리즘을 개발하는 것.
• 기존의 NAUTY와 같은 기존의 정점 기반 표준화 레이블링 방법과 근본적으로 다름을 보이는, 정점별 유일성 트리를 사용한 그래프의 표준 형식을 제공하는 것.
• 알고리즘이 존재할 경우 동형성을 정확히 식별할 수 있음을 이론적이고 경험적으로 입증하고, 비동형성 탐지에 대해서는 그 정당성에 대한 추측을 제시하는 것.
• 무작위 동형 및 비동형 그래프 쌍에 대한 실험적 테스트를 통해 알고리즘의 효율성을 입증하는 것.
• 미래 작업을 위해 이 방법을 방향성 있는 그래프 및 단순하지 않은 그래프로 일반화할 기반을 마련하는 것.

제안 방법

• 그래프의 각 정점에 대해, 루트에서 같은 거리에 있는 정점들이 같은 레벨에 포함되도록 재귀적으로 루트 트리를 구성하며, 중복되는 정점(두 번 이상 나타나는 정점)은 리프가 된다.
• 레벨 내의 각 유일한 정점은 원래 그래프에서의 인접 정점에 해당하는 자식을 생성하며, 더 이상 유일한 정점이 없거나 트리가 스스로 종료될 때까지 이를 반복한다.
• 한 그래프의 유일성 트리 집합과 다른 그래프의 유일성 트리 집합 사이에 일대일이고 유일한 동형사상이 존재하는지 검사하며, 이러한 대응 관계가 존재하면 그래프가 동형임을 주장한다.
• 트리 동형성 검사는 선형 시간 O(n)에 수행되어 트리 집합 간의 효율적인 비교를 가능하게 한다.
• 최악의 경우 시간 복잡도는 유일성 트리의 깊이와 분지 수를 바탕으로 공식적으로 O(n⁷)로 증명된다.
• 경험적 검증은 크기가 1에서 100까지인 10,000개의 무작위 그래프 쌍(동형 및 비동형)을 대상으로 하며, 계산 시간을 로그 스케일로 플롯하여 다항식 차수를 유추한다.

실험 결과

연구 질문

• RQ1 정점 중심의 트리 구축 방법이 그래프의 동형성을 유일하게 식별할 수 있는 표준 형식을 제공할 수 있는가?
• RQ2 유일성 트리 알고리즘이 최악의 경우에도 다항 시간 내에 작동할 수 있으며, 이를 공식적으로 증명할 수 있는가?
• RQ3 알고리즘이 동형성이 존재하지 않을 경우를 신뢰성 있게 탐지할 수 있는가, 아니면 여전히 추측 수준인가?
• RQ4 무작위 그래프에서 알고리즘의 경험적 시간 복잡도는 무엇이며, 이론적 한계와 일치하는가?
• RQ5 이 방법은 방향성 있는 그래프 및 단순하지 않은 그래프로 일반화될 수 있는가?

주요 결과

• 유일성 트리 알고리즘은 최악의 경우 O(n⁷) 시간에 작동하며, 이 상한에 대한 공식적인 증명이 제시되었다.
• 논문에서 증명된 lin에 따라 알고리즘이 동형성이 존재할 경우 정확히 이를 탐지한다.
• 실험 결과에 따르면 큰 그래프(n ≥ 20)에서는 알고리즘의 실행 시간이 약 O(n⁵)로 스케일링되며, 동형 쌍과 비동형 쌍에 대해 각각 R² 값이 0.9959와 0.9967로 매우 높은 상관관계를 보였다.
• 작은 그래프(n < 10)에서는 소수의 가짜 양성 결과가 관찰되었지만, 모두 후속 확인 결과 실제 동형성임이 확인되어 방법에 근본적인 결함이 없음을 시사한다.
• 실행 시간과 그래프 크기의 로그 플롯에서 직선 추세가 관찰되어 渐近적 다항 효율성을 확인한다.
• 이 방법은 지수적 열악한 경우를 피함으로써 기존 알고리즘보다 최악의 경우 복잡도에서 뛰어나며, 그래프 동형성 문제에 대한 다항 시간 해법의 강력한 후보를 제공한다.