그래프 동형성 문제와 근사 범주

초록

그래프 동형성 문제를 대수적 군의 궤도 문제로 변환하고, 각 차원 d에 대해 정의되는 근사 범주 C_d(V)를 이용해 다항 시간 알고리즘을 설계한다. 기존 d‑차원 Weisfeiler‑Lehman 알고리즘이 구분하지 못하던 Cai‑Furer‑Immerman 그래프쌍도 이 방법으로 효율적으로 구별할 수 있음을 증명한다.

상세 분석

본 논문은 그래프 동형성 문제를 “군 궤도 문제”라는 새로운 관점으로 재구성한다. 구체적으로, 주어진 두 그래프를 인접 행렬 형태로 표현하고, 이를 대수적 군 G의 표현 V에 매핑한다. 두 그래프가 동형이면 해당 표현의 두 원소 v₁, v₂가 같은 G‑궤도에 속한다는 사실을 이용해, 동형성 검증을 “v₁과 v₂가 같은 궤도에 있는가?”라는 질문으로 환원한다. 이 문제를 직접 해결하는 대신, 저자들은 차수 d에 따라 정의되는 근사 범주 C_d(V)를 도입한다. C_d(V)의 객체는 V의 원소이며, 사상은 다항식 제한을 가진 G‑불변 함수들로 구성된다. 두 원소가 C_d(V)에서 동형이면, 그들은 d‑차원 Weisfeiler‑Lehman 알고리즘이 구분할 수 있는 수준의 구조적 차이를 보이지 않는다. 반대로, 어떤 d에 대해 C_d(V)에서 동형이 아니면, 그 두 원소는 서로 다른 궤도에 속함이 보장된다. 따라서 알고리즘은 d를 순차적으로 증가시키며 C_d(V)에서의 동형 여부를 검사하고, 최초로 비동형을 발견한 d를 반환한다. 이 과정은 각 d마다 다항 시간에 수행될 수 있다. 중요한 점은 C_d(V) 구조가 WL‑알고리즘보다 엄격한 분류 능력을 갖는다는 것이다. 저자들은 C_d(V)와 WL‑알고리즘 사이의 포함 관계를 정리하고, 특히 Cai‑Furer‑Immerman(CFI) 그래프쌍에 대해 C_d(V)에서는 충분히 작은 d(예: d=3)만으로도 비동형을 판별함을 보인다. 이는 기존 WL‑알고리즘이 CFI 그래프를 구별하지 못하는 한계를 극복한 첫 사례라 할 수 있다. 또한, 논문은 C_d(V) 기반 알고리즘이 기존 WL‑알고리즘으로 환원될 수 없음을 증명함으로써, 두 접근법이 서로 독립적인 계산 모델임을 강조한다. 이론적 기여 외에도, 저자들은 실제 구현을 위한 구체적인 사상 구성 방법과 복잡도 분석을 제공하여, 향후 실용적인 그래프 동형성 솔버 개발에 직접적인 영향을 미칠 수 있는 기반을 마련한다.