고정 격자와 원뿔 구조의 강체 성분 분석

본 논문은 평면 바-조인트 모델에 고정 격자(periodic)와 원뿔(cone) 대칭을 부여한 두 종류의 프레임워크에 대한 알고리즘적 강체성 문제를 체계적으로 연구한다. 먼저, 고정 격자 프레임워크는 무한 구조이지만 격자 전이성을 고정시켜 색칠된 그래프( G,γ ) 형태로 모델링한다. 여기서 γ는 각 간선에 할당된 Z² 군 원소이며, 사이클에 대한 군 이미지 ρ(C)를 정의한다. Ross 그래프는 (2,2)-스파스 그래프이며, 서브그래프의 Z²‑이미지가 자명인지 비자명인지에 따라 허용되는 간선 수가 달라진다(자명: m≤2n‑3, 비자명: m≤2n‑2). Ross 그래프가 최소 강체성을 만족한다는 정리(Theorem 1)를 기반으로, 논문은 Ross 그래프를 판별하고 강체 성분을 찾는 새로운 pebble game 알고리즘을 제시한다. 핵심은 (k,ℓ)-스파스 그래프에 대한 기존 pebble game을 여러 복사본으로 동시에 실행하고, 색칠된 간선의 군 이미지 검사를 선형 시간에 수행하는 것이다. Lemma 4는 Ross 그래프 판별을 Laman 기반의 기본 회로 검증으로 환원하고, Lemma 7·8은 스패닝 트리와 LCA 질의를 이용해 서브그래프의 Γ‑이미지를 O(n+m) 시간에 판단하는 방법을 제공한다. 다음으로 원뿔 프레임워크는 Z/kZ( k≥2) 회전 대칭을 갖는 유한 구조이며, 색칠된 그래프에서 Γ‑이미지가 자명/비자명에 따라 (2,1)-스파스와 (2,2)-스파스 조건이 적용된다. Cone‑Laman 그래프는 (2,1)-스파스이며, Lemma 5는 이를 Ross 그래프와 Laman 회로 조건을 결합한 형태로 기술한다. 일반 k에 대해서는 O(n⁴) 시간 복잡도의 결정 알고리즘을 제시하지만, k=3인 경우에는 개발 그래프(각 정점을 3개 복제하고 색칠에 따라 연결) 개념을 도입해 문제를 전통적인 Laman 그래프 강체성 검사로 환원한다(Lemma 6). 따라서 기존 pebble game을 그대로 적용해 O(n²) 시간에 Decision, Extraction, Components 문제를 모두 해결한다. 알고리즘 구현은 두 단계로 구성된다. 첫 단계에서는 색칠된 그래프의 스패닝 트리를 선택하고, 각 정점에 대해 누적 색값 σ를 계산한다. 두 번째 단계에서는 비트리 간선에 대한 기본 사이클의 ρ 이미지를 LCA 질의를 통해 O(1) 시간에 얻어, 서브그래프의 Γ‑이미지가 비자명한지 판단한다. 이 과정을 통해 Ross 그래프와 cone‑Laman 그래프의 구조적 특성을 빠르게 검증한다. 전체 복잡도 표는 고정 격자와 원뿔(일반 k와 k=3) 각각에 대해 Decision, Extraction, Components 문제의 시간 복잡도를 정리한다. 고정 격자에서는 기존 Edmonds matroid union 기반 O(n⁴)·O(n⁵)·O(n⁵) 알고리즘을 크게 개선해 O(n²)·O(n³)·O(n³) 복합성을 달성하였다. 원뿔(k≠3)에서는 O(n⁴)·O(n⁵)·O(n⁵), 원뿔(k=3)에서는 O(n²)·O(n²)·O(n²) 복합성을 제공한다. 이러한 결과는 제올라이트와 같은 주기적 결정 구조나 회전 대칭을 갖는 물질의 유연성 분석에 직접적인 응용 가능성을 제공한다. 기존에 복잡도가 높은 선형 대수 기반 방법이나 무작위 가우시안 소거법에 비해 구현이 간단하고, 실제 대규모 시스템에서도 실시간으로 강체 성분을 파악할 수 있다. 또한, matroidal 특성을 이용해 greedy 알고리즘이 최적임을 보장함으로써 이론적 견고함도 확보하였다.