직사각형 포장 하단좌측 배치 정리

초록

본 논문은 n개의 임의의 직사각형을 겹치지 않게 직사각형 용기에 배치할 수 있다면, 모든 직사각형을 차례대로 “하단‑좌측 코너”에 놓는 방식만으로도 항상 해를 찾을 수 있음을 증명한다. 이를 “하단‑좌측 배치 정리”라 부르며, 실수 파라미터를 갖는 일반적인 2차원 포장 문제에서도 유한한 횟수의 배치 동작만으로 해결 가능함을 보인다. 정리는 향후 효율적인 휴리스틱 및 정확 알고리즘 설계의 이론적 기반이 된다.

상세 분석

논문은 먼저 직사각형 포장 문제(RP)를 정의하고, 기존 연구에서 사용된 두 가지 접근법—정수 격자 기반 전열과 후보 위치를 제한하는 휴리스틱—의 한계를 지적한다. 특히 하단‑좌측 휴리스틱이 완전하지 않다는 기존 반례를 언급하면서, 일반 RP 문제에 대해 완전성을 보장하는 배치 규칙이 아직 없었음을 강조한다.

핵심 기여는 “하단‑좌측 배치 정리”와 그 증명이다. 이를 위해 저자는 다음과 같은 개념을 도입한다.

1. 하단‑좌측 안정성: 배치된 직사각형이 왼쪽이나 아래쪽으로 이동했을 때 다른 사각형과 겹치면 더 이상 움직일 수 없는 상태.
2. 하단‑좌측 코너: 현재 배치된 직사각형들과 용기 경계가 만든 빈 공간 중, 새로운 직사각형을 놓았을 때 자동으로 하단‑좌측 안정성을 만족하는 위치.
3. 위치 탈출 보조정리(Escaping Lemma): 어떤 배치에서도 최소 한 개의 직사각형은 위쪽·오른쪽으로 자유롭게 이동할 수 있음을 보인다. 이는 전체 배치를 역순으로 “제거”할 수 있음을 의미한다.

Lemma 1은 임의의 충돌 없는 배치를 동일한 직사각형 방향을 유지하면서 모든 사각형을 하단‑좌측 안정 상태로 변환할 수 있음을 연속 함수와 최소값 존재 원리를 이용해 증명한다. 여기서 정의한 목적 함수 L = Σ(x_i + y_i)는 각 사각형의 좌하단 좌표 합을 최소화하는 배치를 찾는 것이며, 최소점에서는 어느 사각형도 왼쪽·아래로 이동할 수 없으므로 하단‑좌측 안정성을 만족한다.

Lemma 2는 위에서 언급한 탈출 보조정리로, 사각형들의 오른쪽·위쪽 코너를 사전식 순서로 정렬하고 역추적하면서 “위·오른쪽으로 자유롭게 움직이는” 사각형을 반드시 찾을 수 있음을 보인다. 이는 배치를 역으로 제거하는 과정에서 항상 가능한 사각형이 존재한다는 강력한 구조적 특성을 제공한다.

Theorem 1은 Lemma 2를 이용해 배치를 역순으로 제거한 순서를 뒤집어 “삽입 순서”를 만든다. 이 순서에 따라 i번째 사각형을 삽입하면, 이전에 삽입된 1…i‑1개의 사각형과 용기 경계가 만든 하단‑좌측 코너에 정확히 놓일 수 있다. 따라서 모든 하단‑좌측 안정 배치는 순차적인 하단‑좌측 배치 동작으로 재구성 가능함을 증명한다.

Theorem 2는 Lemma 1과 Theorem 1을 결합해, 임의의 실수 파라미터를 갖는 RP 문제에 대해 “가능한 배치가 존재한다면, 하단‑좌측 배치 동작만으로도 반드시 찾을 수 있다”는 결론을 도출한다.

마지막으로 Theorem 3은 가능한 배치 탐색에 필요한 경우의 수를 n!·2ⁿ·θⁿ (θ는 코너 후보 상한) 이하로 제한함으로써, 유한한 연산만으로 문제를 해결할 수 있음을 보인다. 이는 실제 알고리즘 설계 시 탐색 공간을 명확히 제한해 주는 이론적 근거가 된다.

이 정리는 기존에 알려진 하단‑좌측 휴리스틱의 불완전성을 극복하고, 일반적인 2차원 직사각형 포장 문제에 대해 완전성을 보장하는 최초의 배치 규칙으로 평가할 수 있다. 또한, 정리 자체가 “하단‑좌측 코너”라는 구조적 개념을 도입함으로써, 향후 3차원 확장이나 복합 제약(예: 무게, 우선순위)과 결합한 고급 휴리스틱 설계에 활용될 가능성을 열어준다.