제로 일 다차원 배낭 문제 해결을 위한 해상도 탐색과 분기한계 결합

초록

본 논문은 해상도 탐색(resolution search)과 분기한계(branch‑and‑bound) 기법을 결합한 새로운 정확 알고리즘을 제시한다. 이 알고리즘은 10개의 제약조건과 500개의 변수로 구성된 OR‑Library의 강상관 인스턴스에 대해 최적값을 증명하고, 기존에 알려지지 않았던 최적값을 최초로 제공한다.

상세 분석

이 연구는 0‑1 다차원 배낭 문제(0‑1 MKP)의 난이도를 극복하기 위해 두 가지 전통적인 최적화 기법을 혁신적으로 통합한다. 첫 번째 요소인 해상도 탐색은 SAT‑solver에서 영감을 받은 절차로, 불가능한 부분공간을 효율적으로 차단하고, 탐색 트리의 깊이를 크게 얕게 만든다. 구체적으로, 현재 부분해에 대한 충돌(clash) 정보를 저장하고, 동일한 충돌이 재발생하지 않도록 제한(clause) 형태로 기록한다. 이러한 제한은 이후의 탐색 단계에서 동일한 비합리적 경로를 자동으로 배제한다는 점에서 기존의 백트래킹 기반 방법보다 탐색 효율을 크게 향상시킨다.

두 번째 요소인 분기한계는 전통적인 상한 및 하한 계산을 통해 노드의 가지치기를 수행한다. 논문에서는 강력한 상한 계산을 위해 라그랑주 승수를 이용한 라그랑주 이완(Lagrangian relaxation)과, 하한은 휴리스틱 기반의 근사 해를 활용한다. 특히, 라그랑주 승수의 동적 조정을 통해 상한의 품질을 지속적으로 개선함으로써, 탐색 트리의 폭을 최소화한다.

이 두 기법을 결합한 알고리즘은 다음과 같은 순서로 동작한다. 먼저, 현재 노드에서 해상도 탐색을 적용해 충돌 제한을 생성하고, 이를 기반으로 부분공간을 축소한다. 그 다음, 축소된 공간에 대해 분기한계의 상한·하한을 계산하여 가지치기를 수행한다. 만약 상한이 현재 최적 하한보다 낮으면 해당 노드는 완전히 폐기된다. 반대로, 상한이 충분히 높다면 새로운 분기점을 선택하고, 동일한 절차를 재귀적으로 적용한다.

실험 결과는 두드러진 성능 향상을 보여준다. 특히, 10 제약·500 변수 규모의 강상관 인스턴스 20개에 대해 기존 최고 기록을 능가하며, 모두 최적값을 증명하였다. 이는 해상도 탐색이 충돌 정보를 효과적으로 재활용함으로써 중복 탐색을 방지하고, 라그랑주 기반 상한이 탐색 공간을 강력히 제한한다는 시너지 효과를 입증한다. 또한, 알고리즘의 메모리 사용량은 제한적이며, 병렬화 가능성도 제시되어 향후 대규모 인스턴스에 대한 확장성을 기대할 수 있다.

이 논문은 0‑1 MKP와 같은 NP‑hard 문제에 대해 탐색 효율성을 극대화하는 새로운 설계 패러다임을 제시한다는 점에서 학술적·실용적 의의가 크다. 향후 연구에서는 다른 유형의 다목적 최적화 문제에 대한 적용, 충돌 제한의 자동 관리 기법 고도화, 그리고 GPU 기반 병렬 구현 등을 통해 더욱 큰 규모의 문제 해결이 가능할 것으로 전망된다.