[논문 리뷰] A Polynomial Time Algorithm for Graph Isomorphism

Reiner Czerwinski|arXiv (Cornell University)|2007. 11. 13.

Algorithms and Data Compression참고 문헌 2인용 수 7

한 줄 요약

이 논문은 그래프 이sov머피즘을 위한 다항식 시간 알고리즘으로 주장된 알고리즘을 비판하며, 이 알고리즘이 인접 행렬의 고유값이 동일한지 여부만 검사하기 때문에 잘못되었다고 밝힌다. 저자들은 비이sov머픽 그래프—특히 SRG(36,14,4,6)에 속하는 강한 정규 그래프—가 동일한 고유값을 가질 수 있음을 보여주며, 이는 알고리즘의 핵심 전제를 무너뜨린다.

ABSTRACT

We claimed that there is a polynomial algorithm to test if two graphs are isomorphic. But the algorithm is wrong. It only tests if the adjacency matrices of two graphs have the same eigenvalues. There is a counterexample of two non-isomorphic graphs with the same eigenvalues.

연구 동기 및 목표

• 다항식 시간 알고리즘으로 주장된 그래프 이sov머피즘에 대한 유효성을 평가하기 위해.
• 알고리즘이 고유값 비교에 의존하는 핵심 결함을 규명하기 위해.
• 반례를 제시하여 고유값 동치성이 그래프 이sov머피즘을 위한 충분조건이 되지 않음을 입증하기 위해.
• 비이sov머픽 그래프를 구분하는 데 있어 스펙트럼 불변량의 한계를 부각하기 위해.

제안 방법

• 이sov머픽 그래프는 반드시 동일한 고유값을 가져야 한다는 원래 알고리즘의 주장 분석.
• 강한 정규 그래프(SRG) 이론을 적용하여 동일한 고유값을 가진 반례를 구성.
• SRG(n,k,a,c) 매개변수화를 사용하여 고정된 매개변수를 가진 그래프 정의: n=36, k=14, a=4, c=6.
• 모든 그래프가 동일한 고유값을 가진다는 알려진 수학적 결과를 활용.
• SRG(36,14,4,6)에 속하는 180개의 쌍별 비이sov머픽 그래프가 존재하며, 모두 동일한 스펙트럼을 가짐을 확인.
• 고유값 동치성이 이sov머피즘을 의미하지 않음을 입증함으로써, 알고리즘의 기초가 무너짐을 규명.

실험 결과

연구 질문

• RQ1 두 개의 비이sov머픽 그래프가 동일한 인접 행렬 고유값을 가질 수 있는가?
• RQ2 고유값 비교는 그래프 이sov머피즘을 위한 충분조건인가?
• RQ3 강한 정규 그래프는 스펙트럼 이sov머피즘 테스트에 대한 반례를 구성하는 데 어떤 역할을 하는가?
• RQ4 SRG(36,14,4,6) 클래스 내에서 동일한 스펙트럼을 가진 비이sov머픽 그래프는 몇 개인가?
• RQ5 이sov머피즘의 필요 조건을 올바르게 식별하고도 원래 알고리즘이 실패하는 이유는 무엇인가?

주요 결과

• 제안된 알고리즘은 고유값 비교에만 의존하기 때문에 잘못되었다. 이는 그래프 이sov머피즘을 위한 충분조건이 아니기 때문이다.
• 동일한 고유값을 가진 비이sov머픽 그래프가 존재하며, 이는 알고리즘의 핵심 가정을 반박한다.
• 구체적으로, SRG(36,14,4,6) 클래스 내에 180개의 쌍별 비이sov머픽 그래프가 존재하며, 모두 동일한 고유값을 가진다.
• 고유값 스펙트럼은 그래프 이sov머피즘을 위한 필요 조건이지만 충분 조건은 아니다.
• 같은 매개변수(n,k,a,c)를 가진 강한 정규 그래프는 이sov머피즘 여부와 관계없이 반드시 동일한 고유값을 가진다.
• 반례는 일반적인 그래프에서 스펙트럼 불변량만으로는 이sov머피즘을 구분할 수 없음을 보여준다.