표면 위 동형성 검사: 선형 시간 알고리즘

초록

그래프가 표면에 셀룰러하게 삽입된 상황에서, 두 폐쇄 워크 c와 d가 표면 위에서 동형인지(자유 동형 혹은 고정 기점 동형) 여부를 선형 시간에 판별한다. |G|에 대한 전처리를 O(|G|) 시간에 수행하고, 이후 각 쿼리는 O(|c|+|d|) 시간에 해결한다. 이 결과는 표면 군의 단어 문제와 공액 문제를 선형 시간에 해결하는 알고리즘을 바로 얻는다.

상세 분석

이 논문은 RAM 모델을 가정하고, 그래프 G가 표면 S에 셀룰러하게 임베딩된 경우 두 폐쇄 워크 c와 d가 동형인지 여부를 결정하는 알고리즘을 제시한다. 핵심 아이디어는 표면의 기본군을 combinatorial하게 표현하고, 이를 이용해 워크를 “표면 군의 원소”로 변환한 뒤, 그 원소들의 동치성을 검사하는 것이다. 전처리 단계에서는 임베딩 정보를 이용해 최소 절단 그래프(cut graph)와 그 이중 그래프를 구축하고, 표면의 기본 루프(system of loops)를 선택한다. 이 루프들은 표면을 다각형으로 잘라내는 역할을 하며, 각 루프는 기본군의 생성원으로 대응된다.

고정 기점 동형성 테스트에서는 기점을 하나 선택하고, 워크를 그 기점에서 시작·끝나는 경로로 본다. 워크를 기본 루프에 대한 교차 횟수와 방향을 기록한 정수 벡터(또는 자유 군의 단어)로 변환한다. 두 워크가 동일한 벡터(또는 동등한 축소된 단어)로 변환되면 동형이며, 그렇지 않으면 아니다. 이 과정은 워크 길이에 비례하는 시간, 즉 O(|c|+|d|)에 수행된다.

자유 동형성(기점이 자유로운 경우) 테스트는 추가적인 복잡성을 가진다. 여기서는 표면이 반드시 방향가능이어야 함을 증명한다. 자유 동형성을 판단하기 위해, 각 워크를 기본 루프에 대한 순환 단어로 변환한 뒤, 두 단어가 서로 순환 이동(cyclic shift)과 축소(reduction) 후 동일한지 검사한다. 이를 위해 워크를 표면의 유니버설 커버(또는 이중 커버)로 끌어올려, 최소 대표 경로를 찾고, 그 경로를 정규 형태로 변환한다. 순환 동치성 검사는 KMP와 같은 문자열 매칭 알고리즘을 이용해 선형 시간에 수행된다.

알고리즘의 복잡도는 전처리 O(|G|)와 쿼리 O(|c|+|d|)로, 기존의 지수적 또는 다항식 시간 알고리즘에 비해 크게 개선된다. 또한, 이 방법은 표면 군의 단어 문제(word problem)와 공액 문제(conjugacy problem)에 바로 적용될 수 있다. 단어 문제는 두 워크가 동일한 군 원소인지 검사하는 것이고, 공액 문제는 두 워크가 서로 공액(conjugate) 관계에 있는지를 검사하는 것이다. 논문은 이러한 문제들을 모두 동일한 프레임워크 내에서 선형 시간에 해결함을 보인다.

기술적인 핵심은 다음과 같다. (1) 셀룰러 임베딩을 이용해 그래프와 그 이중 그래프를 동시에 관리함으로써 면적과 경계 정보를 O(1) 시간에 접근한다. (2) 기본 루프 시스템을 선택할 때, 최소 절단 그래프를 이용해 루프들의 교차를 최소화하고, 이를 통해 워크를 효율적으로 정규화한다. (3) 워크를 정수 벡터 혹은 자유 군 단어로 변환하는 과정에서, 각 엣지의 방향과 표면의 로컬 회전 정보를 활용해 정확한 교차 부호를 부여한다. (4) 자유 동형성 검사 시, 유니버설 커버 상에서의 최소 경로를 찾는 과정은 “스패닝 트리와 코스패닝 트리” 구조를 이용해 선형 시간에 구현된다.

이러한 설계는 Colin de Verdière와 Erickson의 이전 연구를 기반으로 하면서, 전처리와 쿼리 단계의 복합성을 완전히 분리하고, RAM 모델에서의 실제 구현 가능성을 강조한다. 결과적으로, 표면 위 위상적 문제들을 실시간 시스템이나 대규모 그래프 처리 파이프라인에 적용할 수 있는 실용적인 도구를 제공한다.