순서형 동형성의 복잡도와 최적 O(n^d) 알고리즘

초록

본 논문은 점 집합의 순서형(isomorphism) 판별 문제를 다루며, 기존의 O(n^{⌊3d/2⌋}) 알고리즘을 개선해 O(n^d) 시간에 해결할 수 있음을 보인다. 알고리즘은 순서형 질의만을 사용하고, 실현 가능한 점 집합뿐 아니라 추상적인 순서형(비순환 지향 매트로이드)에도 적용 가능하다. 또한, 질의 수에 대한 정보이론적 하한과 적대적 사례를 이용해 제시된 알고리즘이 최적임을 증명한다.

상세 분석

논문은 먼저 순서형(order type)의 정의와 그래프 동형성 문제와의 유사성을 제시한다. 순서형은 (d+1)‑튜플에 대한 방향(시계/반시계 혹은 부호) 정보를 담은 함수이며, 두 점 집합 X, Y가 동형이라는 것은 어떤 순열 π에 대해 ∇_X(i₀,…,i_d)=∇_Y(π(i₀),…,π(i_d))가 모든 튜플에 대해 성립함을 의미한다. 기존 연구인 Goodman‑Pollack(1983)는 O(n^{⌊3d/2⌋}) 시간 복잡도의 알고리즘을 제시했으며, 이는 convex‑hull flag 수 h=O(n^{⌊d/2⌋})와 O(n^d) 길이의 순서형 문자열을 비교하는 방식이었다.

본 논문의 핵심 기여는 “order‑type query only” 모델에서 O(n^d) 시간에 순서형 동형성을 판별하고, 동시에 정규 라벨링(canonical labeling)과 자동군(automorphism group)까지 구할 수 있는 알고리즘을 설계한 것이다. 알고리즘은 다음과 같은 두 단계로 구성된다.

1. Canonical flag enumeration: d‑차원에서 convex‑hull flag는 (d‑1)‑차원 면에 대한 순서형 정보를 의미한다. 저자는 모든 flag를 O(n^{d‑1}) 시간에 열거하고, 각 flag에 대해 해당 (d‑1)‑tuple의 방향을 조사한다. 이 과정에서 순서형 질의만 사용한다.
2. Lexicographic minimal encoding: 각 flag에 대해 얻은 (d‑1)‑tuple 방향 집합을 정렬하고, 전체 점 집합에 대한 인코딩 E(∇)을 만든다. 그 후 사전식 최소 문자열을 찾는 과정은 단순히 비교 연산이므로 O(n^d) 안에 끝난다. 최소 문자열을 생성하는 순열이 바로 정규 라벨링이며, 동일한 문자열을 갖는 두 점 집합은 동형이다.

알고리즘의 최적성은 두 가지 관점에서 증명된다. 첫째, 추상 순서형(차원 2)의 경우 가능한 순서형의 수가 Ω(n²)임을 이용해 정보이론적 하한이 Ω(n^d)임을 보인다. 둘째, Ericson‑Seidel가 제시한 적대적 논증을 확장해, 실현 가능한 경우에도 순서형 질의만으로는 최소 Ω(n^d)번의 질의가 필요함을 증명한다. 따라서 제시된 O(n^d) 알고리즘은 상한과 하한이 일치하는 최적 알고리즘이다.

또한, 정규 라벨링을 이용해 자동군을 구하는 방법도 제시한다. 정규 라벨링 ρ를 구한 뒤, 모든 순열 σ에 대해 E(∇∘σ)=E(∇∘ρ)인지 검사하면 자동군을 얻을 수 있다. 이 검사는 O(n^d) 시간 안에 수행되므로, 자동군 계산 역시 최적이다.

마지막으로, 알고리즘은 비순환 지향 매트로이드(acyclic oriented matroid)에도 그대로 적용 가능함을 보인다. 매트로이드의 기본 연산인 covector composition과 CV-axioms을 이용해 순서형 질의와 동일한 역할을 수행하도록 설계했으며, 차원 d+1의 매트로이드에 대해 동일한 복잡도를 유지한다.

전반적으로 논문은 순서형 동형성 문제를 기존보다 크게 가속화하고, 정규 라벨링·자동군까지 포괄하는 통합 프레임워크를 제공함으로써 이산 기하학, 컴퓨터 그래픽스, 그리고 추상적인 조합 구조 연구에 중요한 도구가 된다.