원 포장 문제, 종이접기 설계의 난제

초록

이 논문은 원을 직사각형·정삼각형·단위 정사각형에 넣는 포장 문제가 3‑Partition 문제로부터 다항식 시간에 환원될 수 있음을 보이며 NP‑hard임을 증명한다. 또한 전체 면적이 1인 원 집합은 변의 길이가 4/√π ≈ 2.2567인 정사각형에 항상 포장될 수 있다는 상한도 제시한다.

상세 분석

본 연구는 종이접기 설계 알고리즘 중 하나인 ‘원‑강(리버) 방법’이 실제로는 원 포장 문제와 동등함을 보이고, 이 문제의 계산 복잡도가 NP‑hard임을 엄밀히 증명한다. 핵심 아이디어는 3‑Partition 문제의 인스턴스를 ‘대칭 3‑포켓’이라는 특수한 형태의 컨테이너와 플러그·쉼(plug·shim) 원들로 구성된 포장 인스턴스로 변환하는 것이다. 각 포켓은 세 개의 접촉하는 단위 원이 이루는 삼각형 영역이며, 그 안에 하나의 중간 크기 플러그 원과 세 개의 작은 쉼 원을 배치한다. 쉼 원의 반지름은 3‑Partition 입력값에 따라 미세하게 조정되며, 모든 쉼 원이 포켓에 들어갈 경우에만 플러그 원을 놓을 수 있는 여유가 남는다. 이때 플러그가 들어갈 수 있는지 여부는 해당 삼중합이 1 이하인지와 정확히 일치한다. 따라서 3‑Partition이 해를 갖는 경우에만 전체 원 집합을 목표 도형(정사각형·직사각형·정삼각형) 안에 비충돌적으로 배치할 수 있다.

논문은 먼저 삼각형 종이 위에서의 포장 구조를 설명한다. Graham의 결과를 이용해 정삼각형의 변 길이가 2k인 경우 (k+2)(k+1)/2개의 단위 원을 격자 형태로 고정적으로 배치할 수 있음을 보이고, 이 배치가 정확히 k²개의 대칭 3‑포켓을 만든다. 그런 다음 각 포켓에 플러그·쉼 원을 삽입해 3‑Partition 인스턴스를 구현한다. 직사각형과 정사각형에 대해서는 포켓을 적절히 회전·배열하고, 불필요한 빈 공간을 채우는 ‘록’ 원들을 추가함으로써 동일한 환원을 달성한다.

복잡도 분석에서는 좌표값이 무리수일 가능성을 다루기 위해 N을 충분히 크게 잡아 ε=1/N 수준의 오차를 허용하고, 모든 연산이 입력 크기의 다항식 안에 머무름을 보인다. 따라서 원 포장 문제는 NP에 속하고, 위와 같은 환원으로 NP‑hard임이 증명된다.

긍정적인 결과로는 전체 면적이 1인 원 집합을 변의 길이가 4/√π인 정사각형에 언제든 포장할 수 있음을 제시한다. 이는 원의 면적과 정사각형 면적의 비율을 이용한 간단한 밀도 상한을 기반으로, 재귀적 격자 분할 기법을 통해 구성 가능함을 보인다. 이 상한은 기존 알려진 최적값보다 약간 큰 값이지만, 다항식 시간 알고리즘으로 구현 가능하다는 점에서 실용적 의미가 있다.

결론적으로, 종이접기 설계에서 핵심적인 최적화 단계인 원‑강 방법은 본질적으로 NP‑hard 문제이며, 일반적인 원 포장 문제 역시 동일한 난이도를 가진다. 동시에 전체 면적 제한 하에선 효율적인 근사 포장이 가능함을 보여준다.