2차원 온라인 비트 패킹 상한 한계 새로운 접근

초록

본 논문은 2차원 온라인 비트 패킹 문제의 비대칭 경쟁비율 상한을 기존 2.66013에서 2.5545로 낮추는 새로운 알고리즘을 제시한다. 핵심은 1차원 온라인 비트 패킹의 최첨단인 슈퍼 하모닉(Super Harmonic) 알고리즘을 활용하고, 이를 2차원 상황에 맞게 가중치 함수와 총 가중치 제한 기법을 새롭게 설계한 것이다.

상세 분석

2차원 온라인 비트 패킹은 입력 아이템이 순차적으로 주어지고, 각 아이템을 미리 열어볼 수 없는 상황에서 최소한의 사각형 빈에 넣는 문제이며, 비대칭 경쟁비율(asymptotic competitive ratio)은 알고리즘의 최악 성능을 평가하는 핵심 지표이다. 기존에 가장 좋은 상한을 제공한 H⊗B 알고리즘은 1차원 하모닉(Harmonic)과 개선된 하모닉(Improved Harmonic, B) 알고리즘을 결합했으며, 그 분석은 각 아이템을 크기 구간별로 나누고 구간마다 고정된 가중치를 부여해 전체 가중치가 빈 하나당 최대 2.66013을 초과하지 않음을 보이는 방식으로 진행되었다. 그러나 이 프레임워크는 Super Harmonic이 도입한 복합 구간 구조와 동적 가중치 조정 메커니즘을 그대로 적용하기에 한계가 있었다.

논문은 먼저 Super Harmonic 알고리즘의 핵심 아이디어를 재해석한다. Super Harmonic은 아이템을 여러 레벨로 계층화하고, 각 레벨마다 서로 다른 색상(그룹)으로 구분해 색상별로 별도 가중치를 부여한다. 이를 통해 기존 하모닉 계열보다 더 정교하게 빈 공간을 활용할 수 있다. 저자들은 이 구조를 2차원 상황에 맞게 확장하기 위해 새로운 가중치 함수 w_i(x) 를 정의한다. 여기서 x는 아이템의 가로·세로 비율이며, i는 Super Harmonic이 정의한 레벨 인덱스이다. 가중치 함수는 (1) 레벨별 면적 상한, (2) 색상별 가로·세로 배분 비율, (3) 빈 내부의 잔여 공간 형태를 고려해 다항식 형태로 설계되었다.

다음으로, 전체 빈에 대한 가중치 합을 제한하는 새로운 기법을 제시한다. 기존 분석에서는 각 빈에 들어간 아이템들의 가중치 합이 특정 상수 C 이하임을 보였지만, Super Harmonic의 복합 구조 때문에 C를 직접 구하기 어려웠다. 저자들은 “직사각형 분할 트리”라는 개념을 도입해 빈을 재귀적으로 작은 서브 빈으로 나누고, 각 서브 빈에 대해 가중치 상한을 단계별로 계산한다. 이 과정에서 “가중치 전파 규칙”을 정의해 상위 빈의 가중치가 하위 빈에 어떻게 분배되는지를 명시함으로써, 전체 빈의 가중치가 2.5545 이하임을 수학적으로 증명한다.

마지막으로, 제안된 알고리즘의 구현 복잡도와 실험적 평가를 논한다. 알고리즘은 입력 아이템을 실시간으로 레벨·색상에 매핑하고, 빈에 배치할 때는 현재 빈의 가중치 상태를 조회해 가장 적합한 위치를 선택한다. 이 과정은 O(log k) 시간 복잡도를 유지하며, k는 Super Harmonic이 정의한 레벨 수이다. 실험 결과는 기존 H⊗B 대비 평균 3~5%의 빈 사용량 감소를 보여, 이론적 상한 개선이 실제 성능 향상으로도 이어짐을 확인한다.

요약하면, 본 논문은 Super Harmonic 알고리즘을 2차원 온라인 비트 패킹에 성공적으로 적용함으로써 경쟁비율 상한을 2.66013에서 2.5545로 낮추는 중요한 진전을 이룬다. 새로운 가중치 함수 설계와 직사각형 분할 트리 기반의 가중치 제한 기법은 향후 고차원 온라인 패킹 문제에도 확장 가능성을 시사한다.