최소 조각 수 분해는 NP‑하드이며 근사까지도 어려움

초록

이 논문은 단순 직교 다각형을 같은 면적의 다른 직교 다각형으로 변환할 때, 조각 수를 제한하면 문제 자체가 NP‑하드이며, 최적 조각 수를 1 + 1/1080 − ε 이하로 근사하는 것도 NP‑하드임을 증명한다.

상세 분석

본 연구는 두 가지 주요 결과를 제시한다. 첫 번째는 k‑Piece Dissection 문제, 즉 주어진 두 단순 직교 다각형 P와 Q가 동일 면적을 가질 때, P를 정확히 k개의 조각으로 자른 뒤 평행 이동·회전·반사를 허용하여 Q로 재배열할 수 있는지를 묻는 결정 문제를 NP‑하드임을 보인다. 이를 위해 저자들은 고전적인 NP‑완전 문제인 5‑Partition(정수 집합을 다섯 개씩 묶어 동일 합을 만드는 문제)으로부터 다각형 분해 문제로 다항식 시간 환원을 구성한다. 환원 과정에서 P는 각각의 정수를 폭으로 갖는 얇은 직사각형(높이 1)들을 일정 간격 ds 로 배치하고, 이들을 하나의 긴 바(bar)와 연결한 형태로 만든다. Q는 목표 합 p(전체 합을 m으로 나눈 값)를 폭으로 갖는 n/5개의 큰 직사각형을 동일 간격 dt 로 배치하고, 동일한 바와 연결한다. k는 n(정수 개수)로 설정한다. 핵심은 바와 간격을 충분히 크게 잡아, 어떤 조각이 두 개 이상의 원소 직사각형을 포함하면 목표 직사각형 안에 들어갈 수 없게 만드는 것이다. 이때 Lemma 1을 이용해 각 조각이 “trimmed element rectangle”(원소 직사각형의 상단 1‑4δ 부분)와 최대 하나만 겹치도록 보인다. 이렇게 하면 조각 하나당 정확히 하나의 원소 직사각형이 대응되며, 조각들을 Q의 큰 직사각형에 배치하는 과정이 바로 5‑Partition의 해를 구성한다. 반대로 5‑Partition의 해가 존재하면, 위와 같은 절차로 P를 n개의 조각으로 나누어 Q에 맞출 수 있다. 따라서 k‑Piece Dissection은 5‑Partition과 동치이며 NP‑하드임이 증명된다.

두 번째 결과는 Min Piece Dissection(조각 수 최소화) 문제의 근사 난이도이다. 여기서는 5‑Partition의 최적 해의 크기를 구분하는 Gap‑5‑Partition 문제를 이용한다. 기존 연구에서 4‑Uniform 4‑Dimensional Matching(4DM) 문제의 근사 난이도가 알려져 있는데, 이를 통해 Gap‑Max‑5‑Partition이 일정 상수 α > 1에 대해 NP‑하드임을 보인다. 이후 위와 동일한 다각형 환원을 적용하면, Max‑5‑Partition의 최적값이 큰 경우 Min Piece Dissection의 최적값도 크게 (≈α·n) 되며, 작은 경우는 작게 (≈n) 된다. 즉, 두 경우를 구분하는 것이 곧 Min Piece Dissection을 1 + ε(≈1/1080) 이하로 근사하는 것을 NP‑하드하게 만든다. 논문은 구체적인 상수 ε₍MPD₎ = 1/1080 − ε를 도출하고, 이를 통해 “최소 조각 수를 1 + 1/1080 − ε 이하로 근사하는 것은 NP‑하드”임을 증명한다.

기술적인 핵심은 (1) 정수 분할 문제를 기하학적 조각 문제에 정확히 매핑하는 정교한 다각형 설계, (2) 바와 간격을 조절해 조각이 원소 직사각형을 넘어서 겹치지 못하도록 강제하는 기하학적 제한, (3) trimmed element rectangle 개념을 도입해 조각‑원소 대응 관계를 엄격히 증명한 점이다. 또한, 회전·반사를 허용하거나 금지하는 다양한 변형에도 동일한 난이도 결과가 유지된다는 점을 논문 말미에서 논의한다.

이러한 결과는 전통적인 “다각형을 다른 다각형으로 분해한다”는 고전 문제에 대해, 조각 수를 최소화하거나 제한된 조각 수로 가능한지를 판단하는 것이 근본적으로 계산적으로 어려운 문제임을 최초로 체계적으로 밝힌 것이다.