[논문 리뷰] Graph isomorphism is polynomial

Shmuel Friedland|arXiv (Cornell University)|2008. 01. 02.

Graph Theory and Algorithms인용 수 1

한 줄 요약

이 논문은 그래프 동형성 문제를 다항시간 알고리즘으로 제안하며, 이를 바탕으로 n⁴개의 음이 아닌 변수에 대한 (4n − 1)n²개의 방정식의 해가 존재하는지 여부로 환원한다. 핵심 기여는 두 그래프가 동형일 조건이 이 시스템이 음이 아닌 해를 가질 때이고, 이는 그래프 동형성이 다항시간 내에 해결 가능함을 증명한다.

ABSTRACT

We show that the graph isomorphism problem is determined in a polynomial time. This is done by showing that that two graphs on n vertices are isomorphic if and only if a corresponding system of (4n − 1)n 2 equations in n 4 nonnegative variables is solvable.

연구 동기 및 목표

• 그래프 동형성이 다항시간 내에 해결될 수 있는지 여부에 대한 오랫동안 미해결된 문제를 해결하기 위해.
• 다항방정식 시스템을 이용한 그래프 동형성의 새로운 대수적 특성화를 확립하기 위해.
• 두 그래프 간의 동형성이 특정 시스템의 해가 존재하는 것과 정확히 동치임을 보여주기 위해.
• 그래프 동형성에 대한 구축 가능하고 다항시간 결정 절차를 제공하기 위해.

제안 방법

• 두 n-정점 그래프의 인접행렬을 바탕으로 n⁴개의 음이 아닌 변수에 대한 (4n − 1)n²개의 방정식 시스템을 구성하는 방법.
• 이 방정식들은 한 그래프의 인접 구조를 다른 그래프로 매핑하는 순열행렬의 존재 조건을 캡처하는 제약을 포함한다.
• 이 시스템은 두 그래프가 동형일 때이고 오직 그 때에만 음이 아닌 해가 존재하도록 설계되어 있다.
• 실수 위에서 대수적 기법을 사용하여 이 시스템의 해가 존재하는지 다항시간 내에 판단한다.
• 변수의 음이 아닌 성질을 활용하여 순열 매핑의 조합적 일致성을 강제한다.
• 환원 과정을 통해 시스템의 크기가 n에 대해 다항식이 되어 다항시간 내의 해법이 가능해진다.

실험 결과

연구 질문

• RQ1 그래프 동형성 문제를 음이 아닌 변수를 가진 다항식 크기의 방정식 시스템의 해가 존재하는 문제로 환원할 수 있는가?
• RQ2 다항시간 결정 절차를 가능하게 하는 그래프 동형성의 특성화가 존재하는가?
• RQ3 특정 시스템의 음이 아닌 해가 존재하는 것이 정확히 그래프 동형성을 포괄하는가?
• RQ4 실수 위에서의 대수적 방법을 사용하여 그래프 동형성을 다항시간 내에 해결할 수 있는가?

주요 결과

• 그래프 동형성 문제는 n⁴개의 음이 아닌 변수에 대한 (4n − 1)n²개의 방정식 시스템의 해가 존재하는지 테스트하는 것으로 다항시간 내에 해결 가능하다.
• n개의 정점을 가진 두 그래프는 동형일 조건이 이에 대응하는 방정식 시스템이 음이 아닌 해를 가질 때이다.
• 이 시스템의 크기는 n에 대해 다항식이므로 전체 알고리즘이 다항시간 내에 실행됨을 보장한다.
• 이 방법은 음이 아닌 변수를 사용한 완전한 대수적 특성화를 제공한다.
• 결과적으로 그래프 동형성이 P에 속함을 증명하여 이론적 컴퓨터 과학 분야에서 주요 미해결 문제를 해결한다.