강체 접기 가능성의 NP‑Hard성 분석

초록

본 논문은 평면 상태에서 주어진 접힌 패턴이 강체로 접히는지를 판단하는 문제가, 모든 접선을 반드시 사용해야 하는 경우에는 Partition 문제로부터 약한 NP‑Hard, 선택적 접선을 허용하는 경우에는 1‑in‑3 SAT 문제로부터 강한 NP‑Hard임을 증명한다. 핵심은 4차 평면 접이 가능 정점의 속도 계수와 폐쇄 조건을 이용해 논리 회로를 기하학적으로 구현하는 것이다.

상세 분석

논문은 먼저 강체 접기(rigid foldability)의 수학적 모델을 정의한다. 평면 다각형 M 위에 직선 그래프 G를 두고, 각 접선 ci에 대해 회전 각 ρi를 부여한다. 임의의 폐곡선 γ가 만나는 접선들의 회전 행렬 곱 R_{c1}(ρ1)…R_{cn}(ρn)=I 가 성립하면 해당 각도 집합은 강체 접기의 필요충분조건이 된다. 이를 기반으로 두 종류의 결정 문제를 제시한다. (1) 모든 접선을 사용해야 하는 경우와 (2) 일부 접선을 선택적으로 사용할 수 있는 경우이다.

핵심 기법은 ‘평면 접이 가능 4차 정점(quadrivalent flat‑foldable vertex)’을 기본 게이트로 활용하는 것이다. 각 정점은 네 개의 접선을 가지고 sector angle (α,β,π‑α,π‑β) 로 구성된다. 정점의 접힘 각 ρi는 tan(ρi/2)=ti 로 파라미터화될 수 있으며, 두 가지 모드(A, B)에서 t0,t1,t2,t3 사이에 선형 관계 t_i = p·t_j 로 연결된다. 여기서 p는 α,β에 의해 결정되는 속도 계수(p_a, p_b)이며, |p|<1이다. 정리 6과 보조 정리 7을 통해 이러한 관계가 강체 접기의 충분조건임을 증명한다.

속도 계수는 인접 접선 사이의 비율 p(e_i,e_j)=tan(ρ_i/2)/tan(ρ_j/2) 로 정의되며, 정점마다 네 가지 가능한 MV(산‑골) 할당이 존재한다. 각 할당은 고유한 1‑자유도(1‑DOF) 접힘 경로를 만든다. 따라서 전체 접힌 메쉬의 전역적인 접힘 가능성은 각 정점의 모드 선택과 속도 계수가 일관되게 맞물리는지 여부로 귀결된다.

폐쇄 조건(Corollary 11)은 각 다각형 면을 따라 속도 계수의 곱이 1이 되어야 함을 요구한다. 이는 논리 게이트를 구현할 때 ‘신호’가 보존되는 제약과 동일하다. 논문은 이 조건을 이용해 Partition 문제와 1‑in‑3 SAT 문제를 각각 ‘합산 게이트’와 ‘논리 AND/OR 게이트’ 형태로 기하학적으로 변환한다.

Partition 감소에서는 각 아이템의 무게를 α값에 매핑하고, 두 모드 사이의 속도 비율을 이용해 전체 면의 곱이 1이 되도록 설계한다. 이때 모든 접선을 사용해야 하므로 각 아이템을 반드시 포함하거나 제외하는 선택이 없으며, 해가 존재하면 원래 Partition 인스턴스도 해가 된다.

1‑in‑3 SAT 감소에서는 변수와 절을 각각 정점과 면으로 표현하고, 선택적 접선을 통해 변수의 진리값을 선택하게 만든다. 절마다 정확히 하나의 리터럴만 ‘활성’하도록 속도 계수를 조정함으로써, 절이 만족될 경우에만 전체 폐쇄 조건이 만족된다. 선택적 접선이 허용되므로 각 절에 대해 ‘활성’ 여부를 자유롭게 결정할 수 있다.

복잡도 측면에서, Partition 감소는 입력 숫자의 크기에 따라 다항시간에 비트 길이가 증가하는 ‘약한’ NP‑Hard를 제공하고, 1‑in‑3 SAT 감소는 입력 크기 자체에 대한 다항시간 변환이 가능하므로 ‘강한’ NP‑Hard를 증명한다. 또한, 유리수 좌표와 유리수 ε를 이용한 유한 정밀도 모델을 정의해 실제 컴퓨터 구현에서도 동일한 난이도가 유지됨을 보인다.

결론적으로, 강체 접기 문제는 접선의 선택 여부에 따라 약한 혹은 강한 NP‑Hard로 분류되며, 이는 평면 접이 가능성(Flat‑foldability)과는 다른, 정점 수준의 기하학적·조합적 복잡성에 기인한다. 이 결과는 자가 접이 재료, 변형 로봇, 우주 구조물 등 실용적 응용 분야에서 설계 최적화가 근본적으로 어려울 수 있음을 시사한다.