[論文レビュー] Knapsack Problem With Cardinality Constraint: A Faster FPTAS Through the Lens of Numerical Analysis and Applications

Wenxin Li, Joohyun Lee+1 more|arXiv (Cornell University)|Feb 3, 2019

Optimization and Packing Problems被引用数 1

ひとこと要約

この論文は、時間計算量と空間計算量を向上させた新しい完全多項式時間近似スキーム（FPTAS）を、$K$-アイテムナップサック問題に対して提示する。数値解析の知見を活用することで、$\tilde{O}(n + z^2/\varepsilon^2)$ の時間と $O(n + z^2/\varepsilon)$ の空間を達成し、$z = \min\{K, 1/\varepsilon\}$ として、すべてのパrameter設定において従来の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.

研究の動機と目的

• $K$-アイテムナップサック問題に対する既存のFPTASの非効率性を解消する。特に、基数制約 $K$ や近似誤差 $\varepsilon$ に強く依存する問題を解決する。
• 従来のFPTASに内在する空間-時間トレードオフを克服する。すなわち、空間を減らすと時間計算量が増加し、逆に時間計算量を減らすと空間計算量が増加するという問題を解消する。
• 時間計算量が $K$ に依存しない（対数因子を除いて）FPTASを設計する。同時に、最適な空間使用量を維持する。
• すべてのパrameter設定、特に $K$ が大きく、$\varepsilon$ が小さい場合を含めて、元の標準FPTASを上回る時間計算量と空間計算量を達成する。
• 基数制約付き $K$-アイテムナップサック問題を解く際の理論的効率性と実用的性能のギャップを埋める。

提案手法

• 数値解析の技術を用いて、$K$-アイテムナップサック問題の動的計画法を再定式化し、計算オーバーヘッドを低減する。
• 近似保証を維持しながら、処理する状態数を最小限に抑える、新しいスケーリングと丸め戦略を導入する。
• 解空間の階層的分解を適用し、中間状態の数を $O(z^2/\varepsilon)$ に制限する。ここで $z = \min\{K, 1/\varepsilon\}$ である。
• コンパクトなデータ構造を用いて状態を効率的に表現・更新することで、$O(n + z^2/\varepsilon)$ の空間使用量を実現する。
• 優先度に基づく選択メカニズムを導入し、状態遷移プロセスを最適化することで、重複計算を回避する。
• 慎重な近似制御により、各アイテムあたりの操作回数を制限することで、$\widetilde{O}(n + z^2/\varepsilon^2)$ の時間計算量を達成する。

実験結果

リサーチクエスチョン

• RQ1 $K$-アイテムナップサック問題に対するFPTASを、基数制約 $K$ に依存しない時間計算量で設計することは可能か？
• RQ2 この問題に対して、時間計算量と空間計算量の両方を最適化したFPTASを同時に達成することは可能か？
• 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)$ の改善を達成する。
• $K$ が大きく、$\varepsilon$ が小さい場合を含め、すべてのパrameter設定において、元の標準FPTASを時間計算量と空間計算量の両面で上回る。
• これは、時間計算量と空間計算量の両方を同時に最適化する最初のFPTASであり、従来の手法に見られる空間-時間トレードオフを完全に解消する。
• 近似比 $1 - \varepsilon$ を保証する完全多項式時間近似スキームを維持しながら、計算オーバーヘッドを顕著に低減する。
• パrameter値にかかわらず、$K$-アイテムナップサック問題に対する最初の標準FPTASを上回る時間計算量と空間計算量を達成する最初のスキームである。