체스보드와 픽셀 매트릭스를 위한 그래프 기반 종이 가장자리 설계

초록

이 논문은 8×8 체스보드와 픽셀 매트릭스와 같은 복잡한 평면 종이 접기 문제를 해결하기 위해, 종이 가장자리의 연속 경로를 그래프 이론의 스패닝 트리 열거 문제로 변환한다. 브루트포스, 단계적 경로 성장, 그리고 스패닝 트리 열거 알고리즘을 순차적으로 적용해 문제의 복잡도를 크게 낮추고, 최종적으로 8×8 경우에 100 352개의 스패닝 트리 중 12 600개의 비대칭 해를 1 초 내외의 시간에 찾는다. 인간의 사전 분석이 컴퓨터 설계의 효율을 결정한다는 교훈을 제시한다.

상세 분석

본 연구는 두 가지 핵심 질문을 다룬다. 첫째, n×n 체스보드 혹은 픽셀 매트릭스를 단일 정사각형 종이에서 색을 전환할 수 있게 만들기 위해 필요한 최소 종이 크기와 가장자리 경로의 길이는 얼마인가? 둘째, 이러한 경로를 찾는 알고리즘의 계산 복잡도는 어떻게 최적화될 수 있는가?

초기 접근법은 모든 격자칸마다 두 개의 대각선 중 하나를 선택하는 2^(n²)개의 경우를 전부 검사하는 브루트포스이다. 표 2에 제시된 바와 같이 n=8일 때 경우의 수는 2^64≈1.8×10¹⁹으로 현대 컴퓨터로는 불가능하다. 이를 개선하기 위해 “경로 성장” 방식이 제안되는데, 이는 현재까지 만든 비교적 짧은 경로에 새로운 대각선을 추가하면서 백트래킹을 수행한다. 이 방법은 가능한 경로 수를 2^(n²/2−n) 정도로 감소시키지만, 여전히 8×8에서는 1.6×10⁷개의 후보가 남아 실용적이지 않다.

핵심 전환점은 경로가 닫힌 비교차 루프를 형성한다는 사실을 이용해 문제를 그래프 이론으로 재구성한 것이다. 종이 가장자리 경로는 격자 그래프의 정점(= (n/2)²)들을 연결하는 스패닝 트리와 일대일 대응한다. 스패닝 트리의 수 N은 Kirchhoff의 행렬-트리 정리를 통해 정확히 계산 가능하며, n=8일 경우 N=100 352이다. 이는 정수 수열 A007341에 해당한다.

스패닝 트리 열거는 기존의 전용 알고리즘(예: Knuth의 gray‑span)으로 O(N+ν+e) 시간에 수행될 수 있다. 여기서 ν는 정점 수, e는 그래프의 간선 수이다. 구현 결과, 100 352개의 트리 중 대칭(회전·반사)으로 중복되는 경우를 제거하면 12 600개의 고유 해만 남는다. 이는 앞선 경로 성장 방식에서 얻은 12 600개의 해와 일치해 구현의 정확성을 검증한다.

또한, 종이 접기 설계에서 필수적인 수축성(contraction) 조건을 검토한다. 모든 접점 쌍의 거리는 접히는 과정에서 감소하거나 유지되어야 하며, 특히 네 모서리의 배치가 이 조건을 위배하면 설계가 불가능하다. 논문은 이러한 조건을 만족시키는 경로를 선택함으로써 실제 종이 모델을 제작할 수 있음을 보인다.

결과적으로, 인간이 문제를 “그래프 형태”로 추상화하고 적절한 알고리즘을 선택함으로써, 원래 NP‑hard 수준의 탐색 문제를 실용적인 시간 안에 해결할 수 있음을 입증한다. 이는 복잡한 평면 기하 설계에서 컴퓨터 보조 설계(CAD)의 한계를 인간의 사전 분석이 어떻게 보완할 수 있는지를 보여주는 좋은 사례이다.