다면체의 면 해밀턴 순환: 새로운 시계열과 복잡도 분석

초록

**
본 논문은 다면체의 스켈레톤에서 모든 면을 정확히 한 번씩 방문하는 “면-해밀턴 사이클”(facet‑Hamiltonian cycle)을 정의하고, 퍼뮤테이션다오라, 일반화된 어소시아드라, 그래프 어소시아드라 등 주요 다면체에 대해 존재성을 증명한다. 또한 이러한 사이클을 리듬형 그레이 코드와 리엄빅 스트립으로 해석하고, 단순 3차원 다면체에 대한 존재 판단 문제가 NP‑complete임을 보인다.

**

상세 분석

**
논문은 먼저 “면‑해밀턴 사이클”이라는 개념을 도입한다. 이는 n‑차원 단순 다면체 P의 1‑차원 스켈레톤(정점·간선) 위에 존재하는 폐곡선 C로, 각 (n‑1)‑차원 면 f에 대해 f∩C가 비공집합이며 연결된다는 조건을 만족한다. 이 정의는 전통적인 정점‑해밀턴 사이클을 면‑수준으로 일반화한 것으로, 다면체 표면을 완벽히 감시하는 “완전 감시자 경로(perfect watchman route)”와 동형이다.

단순 다면체에서는 각 정점이 n개의 면에 인접하므로, 새로운 정점을 방문할 때마다 새로운 면이 들어오고 기존 면이 빠져나간다. 따라서 면‑해밀턴 사이클의 길이는 면의 개수 k와 일치하거나, 모든 면에 인접한 ‘보편 면(universal facet)’이 존재할 경우 k‑s(보편 면의 수)보다 짧을 수 있다. 이 관찰은 논문의 Observation 1에 정리된다.

다음으로 퍼뮤테이션다오라(permutahedron)에 대한 결과를 제시한다. (n‑1)‑차원 퍼뮤테이션다오라의 정점은