3연결 평면 그래프 동형성 로그 공간 해결

본 논문은 3‑연결 평면 그래프 동형성(Planar‑3‑Conn‑GI) 문제를 결정론적 로그 공간(L) 알고리즘으로 해결한다는 새로운 결과를 제시한다. 기존 연구에서는 Thierauf와 Wagner가 UL∩coUL에 속한다는 상한을 보였으며, 그들의 방법은 그래프의 최단 경로를 구해 스패닝 트리를 만든 뒤, 그 트리를 순회해 정규 형태를 얻는 방식이었다. 최단 경로 계산 자체가 UL∩coUL에 머물러 전체 복잡도가 그 수준에 머물렀다. 본 논문은 이 병목을 우회하기 위해 보편 탐색 시퀀스(Universal Exploration Sequence, UXS)를 활용한다. Reingold가 로그‑공간에서 UXS를 생성할 수 있음을 보였으며, UXS는 정규 차수(d) 그래프를 일정한 길이의 시퀀스로 순회해 모든 정점을 방문하도록 보장한다. 이를 이용해 그래프를 체계적으로, 그리고 임베딩에 의존하지 않는 방식으로 탐색하고 정규 코드를 만든다. 알고리즘은 크게 세 단계로 구성된다. 1. **평면 임베딩 찾기**: 3‑연결 평면 그래프는 구면에 두 개(거울 이미지)만의 임베딩을 가진다(Whitney 정리). Allender와 Mahajan의 로그‑공간 평면성 검사 알고리즘을 이용해 임베딩 ρ를 로그‑공간 내에서 구한다. 2. **3‑정규 색‑그래프로 변환**: 각 정점 v의 차수 d(v)를 기준으로 v를 d(v)개의 정점으로 이루어진 사이클로 대체한다. 원래 v와 인접한 간선은 사이클의 각 정점에 하나씩 연결하고, 사이클 간선은 색 1, 원래 간선은 색 2로 색칠한다. 이 변환은 그래프의 위상 구조와 임베딩을 보존하면서 차수를 3으로 고정한다. Lemma 2는 변환 전후 그래프가 색을 보존하는 동형사상에 의해 동등함을 증명한다. 3. **UXS 기반 정규 코드 생성**: 차수가 3인 색‑그래프 G′와 임베딩 ρ′에 대해 (n,3)‑UXS U를 로그‑공간에서 만든다. 시작 정점 v와 시작 간선 e를 지정하고, U와 ρ′에 따라 그래프를 순회한다. 순회 과정에서 정점이 처음 등장하는 순서대로 라벨을 부여하고, 라벨링된 정점 쌍 (i,j)에 대해 간선 존재 여부와 색을 출력한다. 이렇게 얻은 문자열 σ는 G′의 정규 코드가 된다. Lemma 3은 σ₁=σ₂이면 G′₁≅G′₂이며, 동형인 경우 적절한 시작점·시작 간선을 선택하면 σ₁=σ₂가 된다는 것을 보인다. 정규 코드를 원래 그래프 G에 되돌리기 위해 색 2인 간선을 따라 색 1 사이클을 탐색해 같은 원래 정점에 해당하는 사이클 정점들의 최소 라벨을 찾아 원래 정점의 라벨을 결정한다. 최종적으로 n개의 라벨과 n×n 인접 행렬(색 포함)으로 구성된 문자열 σ′를 얻으며, 이는 G의 정규 코드이다. 모든 단계는 로그‑공간에서 수행 가능하므로 전체 알고리즘이 L에 속한다. 복잡도 분석 측면에서, 단계 1은 Allender‑Mahajan 결과에 의해 O(log n) 공간, 단계 2는 정점·간선 복제와 색 부여가 순차적으로 이루어져 O(log n) 공간, 단계 3은 UXS 생성과 순회, 라벨링, 출력이 모두 로그‑공간 트레드에 의해 구현된다. 따라서 전체 알고리즘은 결정론적 로그 공간에 머무른다. 논문은 또한 기존 UL∩coUL 알고리즘과 비교해 두드러진 차이를 강조한다. 기존 방법은 최단 경로 계산에 UL∩coUL 의존성을 갖고 있었지만, 본 방법은 UXS라는 보편적인 탐색 메커니즘을 이용해 직접적인 정규 순회를 수행함으로써 복잡도 경계를 L까지 낮춘다. 이는 3‑연결 평면 그래프가 갖는 임베딩의 유일성(두 개만 존재)과 차수 정규화가 가능하다는 구조적 특성을 효과적으로 활용한 결과이다. 마지막으로, 논문은 향후 연구 과제로 (i) 일반 그래프 동형성 문제의 복잡도 규명, (ii) 일반 평면 그래프 동형성에 대한 AC¹ 상한을 개선하는 문제를 제시한다. 현재 일반 평면 그래프 동형성은 AC¹에 속하지만, 3‑연결 경우와 같이 더 낮은 복잡도 클래스로 끌어내는 것이 가능할지에 대한 탐구가 남아 있다.