[論文レビュー] Faster 0-1-Knapsack via Near-Convex Min-Plus-Convolution

Karl Bringmann, Alejandro Cassis|arXiv (Cornell University)|Jan 1, 2023

Optimization and Search Problems被引用数 5

ひとこと要約

本稿では、新しい近凸最小加法畳み込みアルゴリズムを導入することで、0-1ナップサック問題に対するより高速な擬多項式時間アルゴリズムを提示する。著者らは、$ ilde{O}(n w_{ ext{max}} p_{ ext{max}}^{2/3})$ および $ ilde{O}(n p_{ ext{max}} w_{ ext{max}}^{2/3})$ の改善された時間計算量を達成し、$p_{ ext{max}} \approx w_{ ext{max}} \approx n$ の場合に $n^3$ の壁を破った。主な革新点は、$ ilde{O}((n+m) abla)$ 時間で動作する近凸最小加法畳み込みアルゴリズムであり、これは複雑な予測技術を置き換え、より高速なナップサック解法を可能にする。

ABSTRACT

We revisit the classic 0-1-Knapsack problem, in which we are given $n$ items with their weights and profits as well as a weight budget $W$, and the goal is to find a subset of items of total weight at most $W$ that maximizes the total profit. We study pseudopolynomial-time algorithms parameterized by the largest profit of any item $p_{\max}$, and the largest weight of any item $w_{\max}$. Our main result are algorithms for 0-1-Knapsack running in time $ ilde{O}(n\,w_\max\,p_\max^{2/3})$ and $ ilde{O}(n\,p_\max\,w_\max^{2/3})$, improving upon an algorithm in time $O(n\,p_\max\,w_\max)$ by Pisinger [J. Algorithms '99]. In the regime $p_\max \approx w_\max \approx n$ (and $W \approx \mathrm{OPT} \approx n^2$) our algorithms are the first to break the cubic barrier $n^3$. To obtain our result, we give an efficient algorithm to compute the min-plus convolution of near-convex functions. More precisely, we say that a function $f \colon [n] \mapsto \mathbf{Z}$ is $Δ$-near convex with $Δ\geq 1$, if there is a convex function $\breve{f}$ such that $\breve{f}(i) \leq f(i) \leq \breve{f}(i) + Δ$ for every $i$. We design an algorithm computing the min-plus convolution of two $Δ$-near convex functions in time $ ilde{O}(nΔ)$. This tool can replace the usage of the prediction technique of Bateni, Hajiaghayi, Seddighin and Stein [STOC '18] in all applications we are aware of, and we believe it has wider applicability.

研究の動機と目的

• $p_{\text{max}} \approx w_{\text{max}} \approx n$ の場合に、0-1ナップサック問題の擬多項式時間アルゴリズムで $n^3$ の壁を破ること。
• Bateni らの予測技術を一般化・置き換える新しい、効率的な $ abla$-近凸関数の最小加法畳み込みアルゴリズムの設計。
• 動的計画法および細粒度計算複雑性における構造的最小加法畳み込み問題に、より単純かつ広く適用可能なツールの提供。
• 動的計画法の状態遷移における近凸性を活用し、標準的な $O(n p_{ ext{max}} w_{ ext{max}})$ の境界を上回る高速なアルゴリズムの実現。

提案手法

• 関数が凸関数から $\nabla$ 以内に収まるという $\nabla$-近凸関数の概念を導入する。
• 定義域を互いに素な二進ボックスに分割する再帰的アルゴリズムを設計し、最小加法畳み込みが非自明となる領域にのみ注目する。
• 凸近似 $\hat{f}, \hat{g}$ を用いて、真の最小加法畳み込みが発生する可能性が高い構造的領域 $R_{2\nabla}$ を特定する。
• $R_{2\nabla}$ 内での近線形性を活用：関数は加法誤差 $O(\nabla)$ を伴う線形関数のように振る舞い、和集合のサイズが小さくなることを保証する。
• 補題21を適用して、一辺の長さが $s$ の各ボックスに対して、$\tilde{O}(\nabla s)$ 時間で小さな和集合を効率的に計算し、$\tilde{h}$ の高速計算を可能にする。
• 再帰的コストを親ボックスに割り当て、幾何級数を用いて全レベルにおける総時間を評価し、全体で $\tilde{O}((n+m)\nabla)$ 時間を達成する。

実験結果

リサーチクエスチョン

• RQ1 $p_{\text{max}}$ と $w_{\text{max}}$ が $n$ に対して小さい場合に、0-1ナップサック問題のより高速なアルゴリズムを設計できるか？
• RQ2 Bateni らの複雑な予測技術を避ける、構造的最小加法畳み込みのための汎用的ツールは存在するか？
• RQ3 動的計画法の状態に近凸性が存在する場合、標準的な $O(n p_{\text{max}} w_{\text{max}})$ の境界を上回る高速なアルゴリズムを達成できるか？
• RQ4 $\nabla$-近凸関数の最小加法畳み込みの最適時間計算量は何か？ そして、それを効率的に達成できるか？

主な発見

• 本稿では、$\tilde{O}(n w_{\text{max}} p_{\text{max}}^{2/3})$ 時間で動作する 0-1ナップサック問題のランダム化アルゴリズムを提示し、Pisinger の $O(n p_{ ext{max}} w_{\text{max}})$ の境界を改善した。
• 対称的なアルゴリズムにより、$\tilde{O}(n p_{\text{max}} w_{\text{max}}^{2/3})$ 時間で動作し、二重パラメータ最適化を実現した。
• 著者らは、$\nabla$-近凸関数の最小加法畳み込みを $\tilde{O}((n+m)\nabla)$ 時間で実行する新しいアルゴリズムを導入した。
• この新しいアルゴリズムは、Bateni らの予測技術をすべての既知の応用で置き換えられ、より明快に記述・適用可能である。
• この手法により、$p_{\text{max}} \approx w_{\text{max}} \approx n$ の場合に $n^3$ の壁を破り、立方より小さい性能を達成した。
• 主な洞察は、近凸関数が $O(\nabla)$ の誤差を伴う線形関数のように振る舞い、和集合のサイズが小さくなることである。