[論文レビュー] Near Optimality of Greedy Strategies for String Submodular Functions with Forward and Backward Curvature Constraints

Zhenliang Zhang, Edwin K. P. Chong+2 more|arXiv (Cornell University)|Mar 12, 2013

Complexity and Algorithms in Graphs被引用数 2

ひとこと要約

本稿は、文字列部分加法的関数に対する貪欲戦略の近似保証を向上させるために、曲率制約（全後向き曲率σおよび全前向き曲率ε）を導入する。全後向き曲率σの下で、貪欲アルゴリズムは少なくとも1/σ(1−e⁻σ)-近似を達成することが証明され、全前向き曲率εの下では(1−ε)-近似を達成する。これは標準的な(1−e⁻¹)-近似を著しく改善する。

ABSTRACT

The problem of objectively choosing a string of actions to optimize an objective function that is string submodular has been considered in [1]. There it is shown that the greedy strategy, consisting of a string of actions that only locally maximizes the step-wise gain in the objective function achieves at least a (1-e^{-1})-approximation to the optimal strategy. This paper improves this approximation by introducing additional constraints on curvatures, namely, total backward curvature, total forward curvature, and elemental forward curvature. We show that if the objective function has total backward curvature \sigma, then the greedy strategy achieves at least a \frac{1}{\sigma}(1-e^{-\sigma})-approximation of the optimal strategy. If the objective function has total forward curvature \epsilon, then the greedy strategy achieves at least a (1-\epsilon)-approximation of the optimal strategy. Moreover, we consider a generalization of the diminishing-return property by defining the elemental forward curvature. We also consider the problem of maximizing the objective function subject to general a string-matroid constraint. We investigate an applications of string submodular functions with curvature constraints.

研究の動機と目的

• 文字列部分加法的関数に対する貪欲戦略の近似比を、標準的な(1−e⁻¹)の境界を上回るように向上させること。
• 全後向き曲率σおよび全前向き曲率εという曲率制約が、貪欲近似性能に与える影響を分析すること。
• 要素的前向き曲率を用いて、帰納的減少利得性の性質を一般化し、関数のモデル化をより洗練された形で行うこと。
• ストリングマトロイド制約への分析を拡張し、制約付き最適化問題への応用範囲を広げること。
• 文字列部分加法的関数と曲率制約を組み合わせた実用的応用を通じて、その実用的意義を示すこと。

提案手法

• 全後向き曲率σを、文字列シーケンス全体における限界利得の減少度を測る指標として導入する。
• 全前向き曲率εを、シーケンス全体における限界利得の最大相対的増加を定量化する指標として定義する。
• 要素的前向き曲率を、帰納的減少利得性の一般化として提唱し、各ステップにおける局所的利得行動を捉える。
• σおよびεを用いて、貪欲戦略の性能に関する理論的境界を導出し、改善された近似比を示す。
• 曲率に基づく分析をストリングマトロイド制約に適用し、組合せ的構造における実行可能性を保証する。
• 数学的帰納法および部分加法的性質を用いて、曲率制約下での近似保証を証明する。

実験結果

リサーチクエスチョン

• RQ1 文字列部分加法的関数に対する貪欲戦略の標準的(1−e⁻¹)-近似が、曲率制約のもとで改善可能か。
• RQ2 目的関数が全後向き曲率σを有する場合、貪欲アルゴリズムが達成可能な最もきつい近似比は何か。
• RQ3 全前向き曲率εが、文字列部分加法的最適化における貪欲戦略の性能保証にどのように影響するか。
• RQ4 帰納的減少利得性を、要素的前向き曲率を用いて、局所的利得行動をより正確に捉える形で一般化可能か。
• RQ5 曲率制約は、ストリングマトロイド制約下での貪欲アルゴリズムの性能にどのように影響するか。

主な発見

• 目的関数が全後向き曲率σを有する場合、貪欲戦略は1/σ(1−e⁻σ)-近似を達成する。σ < 1の下では、標準的な(1−e⁻¹)の境界を上回る。
• 目的関数が全前向き曲率εを有する場合、貪欲戦略は(1−ε)-近似を達成する。ε < 1−e⁻¹の下では、(1−e⁻¹)よりもきつい。
• 要素的前向き曲率の導入により、限界利得行動の洗練された特徴付けが可能となり、部分加法的関数のより正確な分析が可能になる。
• 近似保証は一般のストリングマトロイド制約のもとでも成立し、結果の構造的最適化問題への応用範囲が拡張される。
• 与えられた曲率仮定のもとで理論的境界がタイトであることが示され、最悪ケースにおける最適性が確認される。