[論文レビュー] Dynamic Maintenance of Monotone Dynamic Programs and Applications

Monika Henzinger, Stefan Neumann+2 more|arXiv (Cornell University)|Jan 1, 2023

Complexity and Algorithms in Graphs被引用数 1

ひとこと要約

この論文は、動的プログラミング（DP）テーブルの各行における単調性を活用することで、静的DPではほぼ線形時間・空間計算量を達成し、動的設定では多対数時間の更新時間を実現する、新しいデータ構造を導入する。各行を単調な区分定数関数として表現することで、(min, +)-畳み込みと丸め処理を効率的に行えるようになり、k-バランスドグラフ分割と同時ソース位置特定のための、更新時間が非多項式時間未満である初めての動的アルゴリズムが得られ、今日までで最も高速な完全動的ナップサックアルゴリズムが実現される。

ABSTRACT

Dynamic programming (DP) is one of the fundamental paradigms in algorithm design. However, many DP algorithms have to fill in large DP tables, represented by two-dimensional arrays, which causes at least quadratic running times and space usages. This has led to the development of improved algorithms for special cases when the DPs satisfy additional properties like, e.g., the Monge property or total monotonicity. In this paper, we consider a new condition which assumes (among some other technical assumptions) that the rows of the DP table are monotone. Under this assumption, we introduce a novel data structure for computing $(1+\varepsilon)$-approximate DP solutions in near-linear time and space in the static setting, and with polylogarithmic update times when the DP entries change dynamically. To the best of our knowledge, our new condition is incomparable to previous conditions and is the first which allows to derive dynamic algorithms based on existing DPs. Instead of using two-dimensional arrays to store the DP tables, we store the rows of the DP tables using monotone piecewise constant functions. This allows us to store length-$n$ DP table rows with entries in $[0,W]$ using only polylog$(n,W)$ bits, and to perform operations, such as $(\min,+)$-convolution or rounding, on these functions in polylogarithmic time. We further present several applications of our data structure. For bicriteria versions of $k$-balanced graph partitioning and simultaneous source location, we obtain the first dynamic algorithms with subpolynomial update times, as well as the first static algorithms using only near-linear time and space. Additionally, we obtain the currently fastest algorithm for fully dynamic knapsack.

研究の動機と目的

• 従来の動的プログラミングが二次的サイズのテーブルに依存するため、時間的・空間的計算量が高くなるという問題に対処する。
• エントリの変更に対応して効率的に更新できる動的DPアルゴリズムを構築するが、再計算から再び開始するのではなく、元の計算を再利用する。
• 効率的なデータ構造とアルゴリズムを可能にする新しい構造的条件である、DPテーブルの各行の単調性を導入する。
• k-バランスド分割や同時ソース位置特定といった、代表的なNP困難問題に対して、非多項式時間未満の更新時間を達成する。
• 従来の研究より更新時間が向上した、最初の完全動的ナップサックアルゴリズムを提供する。

提案手法

• DPテーブルの各行を単調な区分定数関数として表現することで、各行あたりのメモリ使用量を polylog(n, W) ビットに削減する。
• これらの関数に対して (min, +)-畳み込みと丸め処理を多対数時間で行えるデータ構造を使用する。
• 動的グラフ問題のための近似カットスパーシファイアを維持するために、Räckeツリーを活用する。
• 既存の非単調なDPを、単調性を強制するように状態空間を再定義することで、単調化する技術を適用する。
• 一部のケース（例：同時ソース位置特定）では、DPの定式化を逆転させることで逆関数を扱い、単調性を達成する。
• 変更されたエントリからのパス上に存在する頂点に限って、トポロジカル順序と段階的再計算を用いて動的更新を行う。

実験結果

リサーチクエスチョン

• RQ1 DPテーブルの各行における単調性を活用することで、非多項式時間未満の更新時間を達成できる動的アルゴリズムを設計できるか？
• RQ2 Monge性や全単調性といった既存の条件とは比較不能な、動的プログラミングのための新しい構造的条件は存在するか？
• RQ3 既存の非単調なDPを、動的維持が可能な単調形式に変換できるか？
• RQ4 DP関数の逆関数を用いることで単調性を達成し、効率的な動的更新を可能にできるか？
• RQ5 このアプローチは、ナップサック、グラフ分割、ソース位置特定といった基本的問題に、実用的インパクトを与えるか？

主な発見

• 提案されたデータ構造は、静的設定において (1 + ϵ)-近似DP解をほぼ線形時間・空間でサポートする。
• 動的更新において、エントリの変更ごとに多対数時間の更新時間を達成し、従来の手法と比べて顕著に向上する。
• 二重基準k-バランスドグラフ分割と同時ソース位置特定のための、非多項式時間未満の更新時間を達成する初めての動的アルゴリズムが得られた。
• これらの問題に対して、二次的空間を必要としない、初めての静的アルゴリズムが提示され、従来の二次的空間手法を上回る。
• EberleらによるFSTTCS’21の結果を上回る、改善された完全動的ナップサックアルゴリズムが得られた。
• k-バランスド分割のFeldmannとFoschiniのDPを単調化する技術により、従来不可能だった動的維持が可能になった。