평면 그래프 정규화의 로그 공간 알고리즘

초록

이 논문은 평면 그래프 동형성 문제와 그 정규화 문제를 로그 공간(L) 안에서 해결할 수 있음을 보인다. 기존에 알려진 AC¹ 상한을 넘어, 연결·이중연결·삼중연결 구조를 단계적으로 분해하고, Lindell의 트리 정규화 기법을 확장·수정하여 전체 알고리즘을 로그 공간으로 구현한다.

상세 분석

본 연구는 평면 그래프 동형성(GI) 문제를 로그-공간(L) 복잡도 클래스로 정확히 위치시키는 데 성공하였다. 핵심 아이디어는 그래프를 계층적 구조—연결성 → 이중연결성 → 삼중연결성—로 분해하고, 각 단계마다 이미 알려진 로그-공간 알고리즘을 재활용하거나 새롭게 설계한다는 점이다.

첫 번째 단계에서는 연결 평면 그래프를 이중연결 성분 트리(biconnected component tree)로 변환한다. 이 과정은 ADK08에서 제시된 로그-공간 트리 구축 기법을 그대로 적용한다. 두 번째 단계에서는 각 이중연결 성분을 삼중연결 성분 트리(triconnected component tree)로 세분화한다. 여기서는 Hopcroft‑Tarjan의 순차적 분해 알고리즘을 로그-공간으로 병렬화하는 새로운 구현을 제시한다. 핵심은 3‑연결 분리쌍(separating pair)을 찾고, 이를 가상 간선으로 연결해 가상 트리를 형성하는 과정에서, 모든 탐색과 검증을 로그-공간 내에서 수행할 수 있다는 점이다.

삼중연결 성분에 대해서는 기존에 Datta‑Limaye‑Nimbhorkar가 제시한 로그-공간 정규화 알고리즘을 그대로 이용한다. 이 알고리즘은 평면 임베딩(회전 스키마)을 활용해 삼중연결 평면 그래프의 고유한 코돈(canonical form)을 생성한다.

가장 혁신적인 부분은 이중연결 성분 트리와 삼중연결 성분 트리를 결합해 전체 그래프를 정규화하는 단계이다. Lindell의 트리 정규화 알고리즘을 그대로 적용하면 트리 구조만을 비교하게 되지만, 여기서는 각 노드가 내부적으로 삼중연결 성분의 코돈을 가지고 있기 때문에 “노드 레이블”이 복잡하게 얽힌다. 저자들은 이를 해결하기 위해 두 가지 주요 기법을 도입한다. 첫째, 트리 정규화 과정에서 각 노드의 레이블을 비교할 때, 레이블 길이가 로그-공간에 적합하도록 압축된 형태(예: 해시값)로 변환한다. 둘째, 색칠된 삼중연결 평면 그래프의 자동동형군(automorphism group)의 크기를 제한하는 군론적 보조정리(Lemma 5.3)를 증명한다. 이 보조정리는 색이 지정된 삼중연결 그래프가 가질 수 있는 자동동형의 수가 다항식 이하임을 보이며, 따라서 정규화 과정에서 가능한 경우의 수를 로그-공간 내에서 탐색 가능하게 만든다.

전체 알고리즘은 재귀적으로 여러 레벨에서 호출되지만, 각 재귀 단계는 “짧은 설명”만을 스택에 보관하고, 필요 시 그래프 구조를 다시 계산함으로써 메모리 사용을 로그-공간으로 제한한다. 특히, 분리쌍을 제거한 뒤 남는 연결 성분을 재구성할 때는, 분리쌍의 두 정점을 기준으로 “가상 간선”을 삽입하고, 이 가상 간선의 존재 여부를 로그-공간에서 판단한다.

결과적으로, 평면 그래프 동형성 문제는 L‑hard임이 알려져 있었지만, 이 논문은 그 상한을 L까지 끌어올리며, 정규화 문제까지 로그-공간 내에서 해결 가능함을 증명한다. 이는 평면 그래프가 갖는 특수한 위상 구조와 회전 스키마를 효율적으로 활용한 최초의 완전 로그-공간 알고리즘이다.