제한된 메모리에서 풀 수 있는 트리폭 및 트리거리폭 그래프 동형성

초록

본 논문은 트리폭과 트리거리폭이 제한된 그래프들의 동형성 문제를 메모리 사용량 관점에서 새롭게 분석한다. 트리거리폭이 제한된 경우 문제는 로그스페이스(L)에서 해결 가능함을 보이며, 동시에 로그스페이스 내에서 정규형(캐논)을 계산할 수 있음을 증명한다. 트리폭이 제한된 경우에는 두 그래프가 각각 트리 분해를 제공받을 때는 L에, 한 그래프만 트리 분해를 제공받을 때는 LogCFL에 속함을 보인다. 이를 통해 기존의 TC¹ 상한을 LogCFL로 낮춘다.

상세 요약

이 연구는 그래프 동형성 문제(GI)의 복잡도 이론에 중요한 진전을 제공한다. 기존에 트리폭이 일정한 그래프에 대해 GI가 다항시간(P) 안에서 해결된다는 결과만 알려졌던 반면, 저자는 메모리 사용량을 엄격히 제한한 알고리즘을 설계한다. 먼저 트리거리폭(bounded tree‑distance width) 그래프에 대해, 그래프와 그에 대응하는 트리거리폭 분해를 동시에 읽어들이면서, 각 bag(노드 집합) 사이의 구조적 관계를 로그스페이스 내에서 순차적으로 탐색한다. 핵심 아이디어는 “bag‑wise” 매핑을 유지하면서, 각 단계에서 현재 고려 중인 bag의 내부 정점 순열을 제한된 비트수로 표현하는 것이다. 이를 통해 전체 탐색을 재귀적으로 진행해도 스택 깊이가 O(log n)으로 제한되므로 전체 알고리즘이 L에 속한다. 또한, 같은 접근법을 이용해 그래프의 정규형을 로그스페이스 내에서 구성할 수 있음을 보이며, 이 문제는 L‑complete임을 증명한다.

다음으로 트리폭(bounded treewidth) 그래프에 대해 두 경우를 구분한다. 첫 번째 경우는 두 입력 그래프가 각각 트리 분해를 제공받을 때이며, 여기서는 “분해를 존중하는(isomorphism respecting the decomposition)” 매핑만을 고려한다. 저자는 각 bag을 정점 집합으로 보는 작은 서브그래프들의 동형성을 독립적으로 검사하고, 이 검사 결과를 트리 구조에 따라 결합한다. 이 과정 역시 각 bag 내부의 가능한 매핑을 로그스페이스에 저장하고, 트리 구조를 따라 위·아래로 이동하면서 일관성을 확인함으로써 L에 머문다.

두 번째 경우는 한 그래프만 트리 분해를 제공받는 상황이다. 여기서는 제공된 분해를 이용해 해당 그래프를 “분해‑트리” 형태로 변환하고, 다른 그래프에 대해 비결정적 선택을 통해 가능한 분해를 가정한다. 이러한 비결정적 단계는 로그스페이스 비결정적 기계(LogCFL)의 특징인 “문맥 자유 언어”와 동형성을 매핑하는 과정으로 모델링된다. 결과적으로 전체 알고리즘은 LogCFL에 속한다. 마지막으로, 두 그래프 모두 트리 분해를 제공받지 않아도, 기존의 TC¹ 상한을 LogCFL로 개선함을 보이며, 이는 GI 문제의 복잡도 계층에서 중요한 하향 이동이다.

이 논문은 그래프 구조를 이용한 메모리 효율적인 동형성 검사 기법을 제시함으로써, 제한된 자원 환경(예: 스트리밍, 임베디드 시스템)에서도 실용적인 GI 해결이 가능함을 시사한다.