[論文レビュー] Recoverable Robust Optimization with Commitment

Kobayashi, Yusuke, Terao, Tatsuya|arXiv (Cornell University)|Jun 14, 2023

Risk and Portfolio Optimization被引用数 2

ひとこと要約

本稿は、1つの要素が削除された後、元の解の初期要素を保持し、1つの置換のみを許容する、新たなモデルである「コミットメント付き回復可能ロバスト最適化」を導入する。このモデル下で重み付きマトロイド基底問題は依然として多項式時間で解けるが、マッチングや安定集合問題はNP困難になる一方、区間スケジューリングおよび区間グラフ上の重み付き安定集合問題は動的計画法により依然として tractable であることを示す。

ABSTRACT

We consider fast algorithms for monotone submodular maximization with a general matroid constraint. We present a randomized (1 - 1/e - ε)-approximation algorithm that requires Õ_{ε}(√r n) independence oracle and value oracle queries, where n is the number of elements in the matroid and r ≤ n is the rank of the matroid. This improves upon the previously best algorithm by Buchbinder-Feldman-Schwartz [Mathematics of Operations Research 2017] that requires Õ_{ε}(r² + √rn) queries. Our algorithm is based on continuous relaxation, as with other submodular maximization algorithms in the literature. To achieve subquadratic query complexity, we develop a new rounding algorithm, which is our main technical contribution. The rounding algorithm takes as input a point represented as a convex combination of t bases of a matroid and rounds it to an integral solution. Our rounding algorithm requires Õ(r^{3/2} t) independence oracle queries, while the previously best rounding algorithm by Chekuri-Vondrák-Zenklusen [FOCS 2010] requires O(r² t) independence oracle queries. A key idea in our rounding algorithm is to use a directed cycle of arbitrary length in an auxiliary graph, while the algorithm of Chekuri-Vondrák-Zenklusen focused on directed cycles of length two.

研究の動機と目的

• 障害発生後、初期解の要素を保持するというコミットメント制約下でのロバスト最適化のモデル化。
• 本モデル下での基本的組合せ最適化問題のロバスト同値問題の計算複雑性の分析。
• コミットメントおよびリカバリー制約下でも tractable なまま残る多項式時間解法可能な問題の同定。
• 特に区間スケジューリング（色付き）および区間グラフ上の重み付き安定集合問題に対する効率的アルゴリズムの開発。
• 区間スケジューリングの文脈において、制限付き後悔（bounded-regret）問題とロバスト最適化問題との関係の探求。

提案手法

• 2段階最適化モデルを提案：最初の段階で解 S が選ばれ、その後1つの要素 f が削除され、1つの要素 e が追加されて S′ = S−f+e が得られる。
• ロバスト同値問題として、破壊行動とリカバリー行動の両方の最悪ケース重みを最小化する min-max 最適化を用いて定式化する。
• 色付き区間スケジューリング問題のロバスト版を動的計画法で解き、古典的な区間スケジューリングアルゴリズムを赤・青の区間を扱えるように拡張する。
• 妥当性と後悔解析を用いて、特に制限付き後悔バージョンの動的計画法の正しさを証明する。
• 区間の構造的性質とバックアップの性質を活用して、ロバスト区間スケジューリング問題を制限付き後悔問題に還元する。
• マトロイドが、コミットメント付きロバストモデル下でも名目最適解が最適のまま保たれる唯一の問題クラスであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 コミットメント付きロバスト同値問題において、どの組合せ最適化問題が多項式時間で解けるか？
• RQ2 名目問題の最適解が、コミットメント付きロバストモデル下でも最適であることは可能か？ もし可能であれば、どのような構造的条件が必要か？
• RQ3 色付き区間スケジューリング問題の制限付き後悔版は多項式時間で解けるか？
• RQ4 マッチングおよび安定集合問題のコミットメント付きロバスト同値問題の計算複雑性は何か？
• RQ5 マトロイド基底問題のロバスト版は tractable のまま保たれるか？ また、その制限付き後悔版の複雑性は？

主な発見

• 重み付きマトロイド基底問題のロバスト同値問題において、最適解は名目最適解と一致する。また、この性質を持つのはマトロイドのみである。
• 二部グラフ上の非重み付き安定集合問題のロバスト同値問題は、動的計画法により多項式時間で解ける。
• 区間グラフ上の重み付き安定集合問題（区間スケジューリング）のロバスト同値問題は、区間の端点を用いた動的計画法により多項式時間で解ける。
• マッチングおよび安定集合問題のロバスト同値問題は、コミットメントモデル下でも、二部グラフでさえもNP困難である。
• 色付き区間スケジューリング問題の制限付き後悔版は多項式時間で解けるため、ロバスト同値問題の解法が還元によって可能である。
• マトロイド基底問題の制限付き後悔版の複雑性は未解決のままであるが、主なロバスト問題は効率的に解ける。