그래프 동형성 문제를 위한 새로운 불변량

초록

본 논문은 그래프의 무작위 워크를 변형한 아이디어를 기반으로, 다항 시간 내에 계산 가능한 새로운 그래프 불변량을 제안한다. 현재까지 완전한 불변량임은 증명되지 않았지만, 기존 방법으로 구분이 어려웠던 퓨러 가젯과 고차원 유한 투영 평면의 점-선 인시던스 그래프 등에서 올바른 결과를 얻었다.

상세 분석

이 논문은 그래프 동형성 검증에 사용될 수 있는 새로운 불변량을 설계하기 위해, 기존의 무작위 워크(Random Walk) 모델을 수정한다는 핵심 아이디어를 제시한다. 전통적인 무작위 워크는 정점 간 전이 확률을 균등하게 설정하거나, 라플라시안 행렬을 이용해 스펙트럼을 분석하는 방식이 일반적이다. 그러나 이러한 접근법은 특정 대칭 구조를 가진 그래프, 예를 들어 강한 정규성이나 높은 자동동형군을 갖는 경우 구분 능력이 떨어진다. 저자들은 이를 보완하기 위해, 각 정점에서 “머무름 확률”(stay probability)을 독립적인 변수로 두고, 이 확률을 그래프 전체에 걸쳐 다르게 조정한다. 이렇게 정의된 변형 무작위 워크는 전이 행렬이 정점별로 다른 가중치를 갖는 비대칭 행렬이 되며, 이 행렬의 특성 다항식(특히 행렬식과 고유값 다항식)을 그래프의 불변량 후보로 사용한다.

알고리즘은 크게 네 단계로 구성된다. 첫째, 입력 그래프 G에 대해 각 정점 v에 대해 임의의 머무름 확률 p(v)∈(0,1) 를 할당한다. 둘째, 이 확률들을 이용해 전이 행렬 T(G,p) 를 구성한다. 여기서 T_{uv}= (1−p(u))/deg(u) 가 인접 정점 u→v 로의 전이 확률이며, T_{uu}=p(u) 로 정의된다. 셋째, T의 특성 다항식 χ_T(λ)=det(λI−T) 를 계산한다. 이 다항식은 p(v)들의 선택에 따라 달라지지만, 동일한 그래프에 대해 모든 가능한 p에 대해 얻어지는 다항식 집합은 그래프 고유의 “불변 다항식 군”을 형성한다는 가정이다. 넷째, 두 그래프 G₁, G₂ 가 동형이면 이 불변 다항식 군이 일치해야 하므로, 군이 다르면 즉시 비동형임을 판정한다.

이 방법의 장점은 전이 행렬이 매우 희소하고, 특성 다항식 계산이 기존 라플라시안 스펙트럼 분석보다 더 풍부한 정보를 제공한다는 점이다. 특히, 머무름 확률을 조절함으로써 그래프의 지역 구조(예: 특정 정점 주변의 서브그래프)와 전역 구조를 동시에 반영할 수 있다. 실험에서는 퓨러 가젯(Fürer Gadgets)과 고차원 유한 투영 평면의 점-선 인시던스 그래프와 같이 전통적인 스펙트럼 방법이나 Weisfeiler‑Lehman 색칠 알고리즘이 구분에 실패하던 사례에서, 적절한 p 설정을 통해 불변 다항식이 서로 다름을 확인하였다.

하지만 현재 논문에서는 이 불변량이 “완전 불변”(complete invariant)임을 증명하지 못했다. 즉, 서로 다른 그래프가 동일한 불변 다항식 군을 가질 가능성을 완전히 배제하지 못한다. 저자들은 이 문제를 해결하기 위해, 머무름 확률의 선택을 무작위가 아닌 체계적인 탐색(예: 전역 최적화 혹은 조합적 설계)으로 확장하거나, 다항식 외에 행렬식의 고차 항목이나 영점 구조 등을 추가적인 특징으로 활용하는 방안을 제시한다. 또한, 알고리즘의 시간 복잡도는 전이 행렬의 차원 n 에 대해 O(n³) 정도이며, 특성 다항식 계산을 위한 심볼릭 연산이 병목이 될 수 있기에, 수치적 근사 방법이나 모듈러 연산을 통한 가속화가 필요하다. 전반적으로, 이 논문은 그래프 동형성 문제에 새로운 시각을 제공하고, 기존 방법이 한계에 부딪히는 사례에서 실질적인 성과를 보여주었지만, 이론적 완전성 및 실용적 확장성에 대한 추가 연구가 요구된다.