평면 3 연결 그래프 동형성 문제, 비모호 로그공간으로 해결

초록

본 논문은 평면 3‑연결 그래프의 동형성 검사를 기존 AC¹ 알고리즘에서 비모호 로그공간(UL ∩ coUL)으로 낮추고, 이를 이용해 방향 그래프 동형성은 NL에 속함을 보이며, 또한 해당 문제의 L‑hardness도 증명한다.

상세 분석

논문은 평면 3‑연결 그래프(G)의 동형성을 판별하기 위해 “정규 코드”를 구성한다는 전통적인 접근을 유지하되, 모든 단계가 로그공간 내에서 수행될 수 있도록 설계하였다. 핵심 아이디어는 세 단계로 이루어진 코딩 파이프라인이다. 첫 번째 단계에서는 주어진 회전 스키마(ρ)와 지정된 시작 간선(s,t)를 이용해 정규 스패닝 트리(T) 를 만든다. 기존의 BFS/DFS는 방문한 정점을 저장해야 하므로 로그공간에 부적합하지만, 저자들은 두 정점 사이의 최단거리 정보를 UL ∩ coUL 알고리즘으로 계산하고, 회전 스키마에 따라 첫 번째 가능한 간선을 선택함으로써 비모호하게 트리를 확장한다. 거리 계산 자체는 평면 유향 그래프의 재활용 가능성 문제(reachability) 결과를 활용해 UL ∩ coUL 안에서 수행된다.

두 번째 단계에서는 위에서 만든 트리를 기반으로 정규 간선 리스트(L) 를 생성한다. 여기서는 트리의 깊이 우선 순회와 회전 스키마에 따른 “왼쪽·오른쪽” 선택 규칙을 결합해 모든 무방향 간선을 두 번씩(양방향) 방문한다. 이 과정은 현재 활성 간선만을 기억하면 되므로 순수 로그공간(L) 안에서 구현 가능하다.

세 번째 단계는 리스트 L에 등장하는 정점들을 첫 등장 순서에 따라 1,2,… 로 재명명 하는 단계이다. 이는 리스트를 한 번 스캔하면서 이미 본 정점을 해시 없이도 순차적으로 번호 매기는 방식으로, 역시 로그공간에 머물면서 수행된다. 최종적으로 얻어진 문자열은 (s,t)와 ρ에 의존하지만 그래프 자체에 대한 정규 코드가 된다. 두 그래프 G와 H가 동형이면, 적절한 (s,t,ρ) 선택에 따라 동일한 코드를 생성하고, 반대의 경우는 코드가 달라진다.

전체 알고리즘은 외부 루프에서 H의 모든 간선을 시작점으로, 두 가능한 회전 스키마를 시도해 G와 H의 코드를 비교한다. 외부 루프는 단순히 반복문이므로 로그공간에 포함된다. 따라서 전체 동형성 검사는 UL ∩ coUL에 속한다.

추가적으로, 회전 스키마가 주어진 방향 그래프의 경우, 동일한 코딩 절차를 적용하면 비모호성이 필요 없으며 NL 알고리즘으로 구현 가능함을 보인다. 마지막으로, 평면 3‑연결 그래프 동형성 문제가 L‑hard임을 보이며, 이는 기존에 알려진 DET‑hardness와는 별도로 로그공간 하위 복잡도 경계를 명확히 한다.

이 논문은 평면 그래프 구조와 회전 스키마의 조합을 활용해 거리 계산과 트리 구축을 비모호하게 처리함으로써, 기존에 병렬 복잡도(AC¹) 수준에 머물렀던 문제를 로그공간 수준으로 끌어내린 중요한 공헌을 한다.