알고리즘적 규칙을 갖는 자갈 게임

초록

이 논문은 유한 구조 위에서 두 명이 번갈아 가며 자갈을 놓는 게임을 일반화한 프레임워크를 제시한다. 특히 ‘가역 지도 게임(invertible‑map game)’을 정의하고, 이를 통해 그래프 동형성 문제에 대한 다항시간 근사 계열을 얻으며, 기존의 Weisfeiler‑Lehman 방법보다 강력함을 보인다. 또한 유한 변수 논리와 행렬‑계수 논리의 특수 경우들을 포함하는 여러 변형 게임을 소개하고, 가역 지도 게임이 이들 모두를 정제(refinement)한다는 관계를 증명한다.

상세 분석

논문은 먼저 “분할 게임(partition game)”이라는 추상적 구조를 도입한다. 여기서 두 플레이어는 각각 k개의 자갈을 가지고 유한 구조의 원소 집합을 일정한 규칙에 따라 파티션하고, 상대방이 만든 파티션에 대응하는 사상을 제시한다. 이 사상의 제약조건이 바로 논문이 제시하는 ‘알gebraic rule’이며, 이는 선형 변환, 가역 행렬, 혹은 카운팅 함수 등 다양한 형태로 구체화될 수 있다. 핵심 사례인 가역 지도 게임은 각 라운드에서 스포일러가 현재 파티션을 가역 행렬 M에 의해 변환한 뒤, 대립자가 동일한 파티션을 유지할 수 있는지를 검사한다. 이때 M은 정수 행렬이며, M·A·Mᵀ 형태의 동형성 검증이 핵심이 된다.

가역 지도 게임이 Weisfeiler‑Lehman( WL ) 알고리즘보다 강력함을 보이기 위해 저자는 두 단계의 비교를 수행한다. 첫째, WL‑색칠 과정은 각 라운드마다 정점의 이웃 색상 멀티셋을 기반으로 색을 재분배한다. 반면 가역 지도 게임은 전체 인접 행렬을 선형 변환으로 다루어, 색상 정보뿐 아니라 구조적 상관관계를 행렬식 수준까지 보존한다. 둘째, 저자는 특정 비동형 그래프 쌍(예: Cai‑Fürer‑Immerman(CFI) 그래프)에서 WL이 구분하지 못하지만 가역 지도 게임은 구분함을 보이는 구체적 사례를 제시한다. 이는 가역 지도 게임이 WL의 k‑라운드 한계를 초월해, 보다 높은 차원의 동형성 정보를 포착한다는 것을 의미한다.

또한 논문은 기존의 유한 변수 논리(FV)와 카운팅 논리(FV+C)에서 사용되는 전통적인 pebble 게임을 이 프레임워크 안에 포함시킨다. 여기서 각 자갈은 변수에 대응하고, 파티션은 변수 할당을 의미한다. 카운팅 논리의 경우, 파티션에 대한 크기 제한이 추가되어 ‘카운팅 규칙’이 적용된다. 저자는 이러한 게임들이 가역 지도 게임에 비해 항상 더 거친(즉, 더 큰 동등성 클래스) 관계를 만든다는 정리를 증명한다.

마지막으로 행렬‑계수 논리(matrix‑rank logic)의 유한 변수 조각을 다루는 ‘행렬 등가 게임(matrix‑equivalence game)’을 정의한다. 이 게임은 두 구조의 인접 행렬을 동일한 랭크를 갖는 행렬로 변환할 수 있는지를 검사한다. 저자는 가역 지도 게임이 이 게임을 포함함을 보이며, 따라서 가역 지도 게임이 가장 일반적인 형태의 알gebraic pebble game이라는 결론에 도달한다. 전체적으로 논문은 게임 이론적 관점에서 그래프 동형성 근사 알고리즘을 재구성하고, 기존 방법들의 한계를 명확히 규정함으로써 향후 복합 구조 비교에 대한 새로운 연구 방향을 제시한다.