[논문 리뷰] Knapsack Problem With Cardinality Constraint: A Faster FPTAS Through the Lens of Numerical Analysis and Applications

Wenxin Li, Joohyun Lee외 1명|arXiv (Cornell University)|2019. 02. 03.

Optimization and Packing Problems인용 수 1

한 줄 요약

이 논문은 $K$-아이템 분할배낭 문제에 대해 시간 복잡도와 공간 복잡도를 향상시킨 새로운 완전 다항시간 근사법(FPTAS)을 제안한다. 수치 해석 기법을 활용하여 제안된 FPTAS는 $\tilde{O}(n + z^2/\varepsilon^2)$의 시간 복잡도와 $O(n + z^2/\varepsilon)$의 공간 복잡도를 달성하며, 여기서 $z = \min\{K, 1/\varepsilon\}$이다. 이는 모든 매개변수 영역에서 이전의 FPTAS보다 시간과 공간 양면에서 뛰어난 성능을 보인다.

ABSTRACT

We study the $K$-item knapsack problem (i.e., $1.5$-dimensional KP), which is a generalization of the famous 0-1 knapsack problem (i.e., $1$-dimensional KP) in which an upper bound $K$ is imposed on the number of items selected. This problem is of fundamental importance and is known to have a broad range of applications in various fields. It is well known that, there is no FPTAS for the $d$-dimensional knapsack problem when $d\geq 2$, unless P $=$ NP. While the $K$-item knapsack problem is known to admit an FPTAS, the complexity of all existing FPTASs have a high dependency on the cardinality bound $K$ and approximation error $\varepsilon$, which could result in inefficiencies especially when $K$ and $\varepsilon^{-1}$ increase. The current best results are due to Mastrolilli and Hutter (2006), in which two schemes are presented exhibiting a space-time tradeoff--one scheme with time complexity $O(n+Kz^{2}/\varepsilon^{2})$ and space complexity $O(n+z^{3}/\varepsilon)$, while another scheme requires $O(n+(Kz^{2}+z^{4})/\varepsilon^{2})$ run-time but only needs $O(n+z^{2}/\varepsilon)$ space, where $z=\min\{K,1/\varepsilon\}$. In this paper we close the space-time tradeoff exhibited in the state-of-the-art by designing a new FPTAS with a run-time of $\widetilde{O}(n+z^{2}/\varepsilon^{2})$, while simultaneously reaching the $O(n+z^{2}/\varepsilon)$ space bound. Our scheme provides $\widetilde{O}(K)$ and $O(z)$ improvements on the state-of-the-art algorithms in time and space complexity respectively, and is the first scheme that achieves a run-time that is independent of cardinality bound $K$ (up to logarithmic factors) under fixed $\varepsilon$. Another salient feature of our scheme is that it is the first FPTAS that achieves better time and space complexity bounds than the very first standard FPTAS over all parameter regimes.

연구 동기 및 목표

• 기존 FPTAS들이 카디널리티 상한 $K$와 근사 오차 $\varepsilon$에 대해 높은 의존도를 보이며 효율성이 떨어지는 문제를 해결한다.
• 이전 FPTAS에서 나타나는 공간-시간 상호보완성 문제를 극복한다. 즉, 공간을 줄이면 시간 복잡도가 증가하고, 반대로 시간 복잡도를 줄이면 공간 복잡도가 증가하는 문제를 해결한다.
• 시간 복잡도가 $K$에 대해 독립적(로그형태의 요소를 제외하고)이면서도 최적의 공간 사용을 유지하는 FPTAS를 설계한다.
• 모든 매개변수 영역에서 원래 표준 FPTAS보다 더 낮은 시간 복잡도와 공간 복잡도를 달성한다. 특히 $K$가 크거나 $\varepsilon$가 작은 경우에도 성능이 뛰어나다.
• 카디널리티 제약 조건이 있는 $K$-아이템 분할배낭 문제를 해결할 때 이론적 효율성과 실질적 성능 사이의 격차를 좁힌다.

제안 방법

• 계산 오버헤드를 줄이기 위해 수치 해석 기법을 활용해 $K$-아이템 분할배낭 문제의 동적 프rogram밍 접근 방식을 재구성한다.
• 근사 보장을 유지하면서 처리해야 할 상태 수를 최소화하는 새로운 스케일링 및 반올림 전략을 도입한다.
• 해결 공간의 계층적 분해를 적용하여 중간 상태 수를 $O(z^2/\varepsilon)$ 이내로 제한한다. 여기서 $z = \min\{K, 1/\varepsilon\}$이다.
• 효율적인 상태 표현과 갱신을 가능하게 하는 압축된 데이터 구조를 사용하여 $O(n + z^2/\varepsilon)$의 공간 복잡도를 달성한다.
• 중복 계산을 방지하기 위해 우선순위 기반 선택 메커니즘을 활용해 상태 전이 과정을 최적화한다.
• 철저한 근사 제어를 통해 각 아이템당 수행하는 연산 수를 제한함으로써 $\widetilde{O}(n + z^2/\varepsilon^2)$의 시간 복잡도를 달성한다.

실험 결과

연구 질문

• RQ1 카디널리티 상한 $K$에 대해 독립적인 시간 복잡도를 갖는 $K$-아이템 분할배낭 문제의 FPTAS를 설계할 수 있는가?
• RQ2 이 문제에 대해 시간 복잡도와 공간 복잡도의 최적 경계를 동시에 달성할 수 있는가?
• RQ3 다양한 $K$와 $\varepsilon$ 값에서 제안된 FPTAS는 원래 표준 FPTAS에 비해 시간 및 공간 효율성에서 어떻게 비교되는가?
• RQ4 수치 해석 기법을 활용해 근사 품질을 훼손하지 않고도 동적 프로그래밍의 상태 공간을 줄일 수 있는가?
• RQ5 새로운 FPTAS는 이전 기법에서 관찰된 공간-시간 상호보완성 문제를 해결하는가?

주요 결과

• 제안된 FPTAS는 $\widetilde{O}(n + z^2/\varepsilon^2)$의 시간 복잡도를 달성하며, $K$에 대해 독립적(로그형태의 요소를 제외하고)이다. 이는 이전 최고 성능보다 $\widetilde{O}(K)$의 개선을 나타낸다.
• 공간 복잡도는 $O(n + z^2/\varepsilon)$로 감소하여 최고의 알려진 공간 복잡도와 일치하며, 이전 최고 성능보다 $O(z)$의 개선을 이룬다.
• 모든 매개변수 영역에서 원래 표준 FPTAS보다 시간 복잡도와 공간 복잡도 면에서 뛰어난 성능을 보이며, $K$가 크거나 $\varepsilon$가 작은 경우에도 마찬가지로 성능이 뛰어나다.
• 이 알고리즘은 이전 기법에서 관찰된 공간-시간 상호보완성을 제거한 최초의 FPTAS로, 최적의 시간 복잡도와 공간 복잡도를 동시에 달성한다.
• 근사 비율 $1 - \varepsilon$를 보장하는 완전 다항시간 근사법을 유지하면서도 계산 오버헤드를 크게 줄였다.
• 모든 매개변수 값에 관계없이, 이전 표준 FPTAS보다 더 낮은 시간 복잡도와 공간 복잡도를 달성한 최초의 알고리즘이다.