정수 직사각형 포장 문제의 코너 점유 정리

초록

본 논문은 n개의 정수 직사각형을 정수 크기의 컨테이너에 겹치지 않게 배치할 수 있을 경우, 모든 직사각형을 “바닥‑좌측 코너”에 차례대로 놓는 방식으로도 항상 해를 찾을 수 있음을 증명한다. 이를 “코너 점유 정리”라 부르며, 정수형 2차원 포장 문제에 대한 완전한 배치 휴리스틱을 제공한다. 또한 3차원으로의 직접 확장은 불가능함을 반례를 통해 보여준다.

상세 분석

논문은 먼저 IRP(Integral Rectangle Packing) 문제를 정의하고, 각 직사각형을 (x_i, y_i, v_i) 로 표현한다. 여기서 v_i는 가로·세로 회전을 나타내며, 모든 좌표와 치수는 정수이다. 핵심 개념은 “바닥‑좌측 안정성(bottom‑left stability)”이다. 직사각형이 아래쪽이나 왼쪽으로 이동했을 때 다른 도형과 겹치면 더 이상 움직일 수 없으며, 이런 상태를 만족하는 모든 도형들의 집합을 “바닥‑좌측 안정한 포장”이라 정의한다.

Lemma 1은 임의의 충돌 없는 포장이 존재하면, 동일한 도형 순서와 회전 상태를 유지하면서도 모든 도형을 바닥‑좌측 안정하게 변형할 수 있음을 보인다. 증명은 전체 겹침 면적 O를 0으로 만드는 해집합 S₀를 정의하고, 그 중에서 Σ(x_i+y_i) 가 최소인 해를 선택함으로써 각 도형이 더 이상 아래·왼쪽으로 이동할 수 없음을 보인다. 이는 기존의 많은 알고리즘이 암묵적으로 이용해 온 가정과 일치한다.

Lemma 2, “탈출 레마(Escaping Lemma)”,는 바닥‑좌측 안정한 포장에서 컨테이너의 네 변을 제외하면 적어도 하나의 직사각형이 위·오른쪽으로 자유롭게 이동할 수 있음을 주장한다. 정렬 기준을 (x, y) 사전식으로 잡아 가장 오른쪽·위쪽에 있는 도형부터 탐색하면, 유한한 도형 수 때문에 반드시 탈출 가능한 도형을 찾을 수 있다.

Theorem 1은 Lemma 2를 이용해 도형들을 역순으로 “제거”하면서 번호를 매기면, 각 도형 i가 이전에 제거된 도형들(1…i‑1)과 컨테이너 경계만으로 이루어진 바닥‑좌측 코너에 배치될 수 있음을 증명한다. 즉, 어떤 바닥‑좌측 안정한 포장이라도 “코너 점유 행동”의 연속으로 재구성 가능하다.

Theorem 2, 즉 “코너 점유 정리”는 Lemma 1과 Theorem 1을 결합해, 원래의 일반 포장이 존재한다면 반드시 코너 점유 행동만으로 구성된 순차적 배치가 존재함을 최종적으로 선언한다. 이는 Bottom‑Left 휴리스틱이 불완전한 경우에도, 도형 순서를 적절히 조정하면 완전성을 확보할 수 있음을 의미한다.

마지막으로 3차원 확장을 시도했지만, 탈출 레마가 성립하지 않음을 보여준다. Fig.7의 반례는 모든 직육면체가 x, y, z 양의 방향으로 자유롭게 움직일 수 없는 상황을 제시한다. 따라서 현재 증명 구조를 그대로 3차원에 적용할 수 없으며, 3차원에서의 코너 점유 정리 여부는 아직 미해결 문제로 남는다.

이 논문의 주요 기여는 2차원 정수 포장 문제에 대해 “바닥‑좌측 코너에 차례대로 놓는” 전략이 언제나 해를 찾을 수 있다는 강력한 이론적 근거를 제공한 점이다. 이는 기존의 휴리스틱을 보완하거나, 정확 알고리즘의 탐색 공간을 크게 축소하는 데 활용될 수 있다. 또한, 정수 좌표라는 제한이 없을 경우(실수 좌표)에도 유사한 아이디어가 적용될 수 있는지, 그리고 3차원에서의 대안적 “탈출” 조건을 어떻게 정의할 것인지에 대한 연구 방향을 제시한다.