[論文レビュー] New algorithms for Steiner tree reoptimization

Davide Bilò|arXiv (Cornell University)|Apr 28, 2018

Formal Methods in Verification被引用数 2

ひとこと要約

本稿では、4つの局所的変更—辺コストの変更および頂点ステータスの変更—におけるSteiner木再最適化のための最初の多項式時間近似スキーム（PTAS）を提示している。これは、従来の定数倍近似アルゴリズムに比べて著しく改善されたものである。著者らは、Connectアルゴリズム、制限付きSteiner木構築法、および経路拡張による反復的精錬の新しい組み合わせを活用し、最適解またはρ-近似解から出発する場合に(1+ϵ)-近似解を達成している。主な結果として、P=NPでない限り、これ以上の近似は不可能であることが示されている。

ABSTRACT

{\em Reoptimization} is a setting in which we are given an (near) optimal solution of a problem instance and a local modification that slightly changes the instance. The main goal is that of finding an (near) optimal solution of the modified instance. We investigate one of the most studied scenarios in reoptimization known as {\em Steiner tree reoptimization}. Steiner tree reoptimization is a collection of strongly NP-hard optimization problems that are defined on top of the classical Steiner tree problem and for which several constant-factor approximation algorithms have been designed in the last decade. In this paper we improve upon all these results by developing a novel technique that allows us to design {\em polynomial-time approximation schemes}. Remarkably, prior to this paper, no approximation algorithm better than recomputing a solution from scratch was known for the elusive scenario in which the cost of a single edge decreases. Our results are best possible since none of the problems addressed in this paper admits a fully polynomial-time approximation scheme, unless P=NP.

研究の動機と目的

• 局所的変更下でのSteiner木再最適化のための効率的近似アルゴリズムを設計するという長年の課題に取り組む。
• 従来の研究が、再計算を再び行うより良い保証を持たない定数倍近似アルゴリズムに依存していたという制限を克服する。
• 元の解が最適または近似的に最適である場合に、再最適化シナリオにおける多項式時間近似スキーム（PTAS）を可能にする一般化された技術を開発する。
• 以前は再計算より良い近似が知られていなかった、辺コストの減少という困難なケースにおける近似可能性のギャップを埋める。

提案手法

• Connectアルゴリズムを活用して、最小コストの辺でSteinerフォレストを拡張し、多項式時間で妥当なSteiner木を構築する。
• BorchersとDuによるアルゴリズム的証明を用い、任意のSteiner木を(1+ξ)-近似のf(ξ)-制限付きSteiner木に変換する。これにより、近似のトレードオフを制御可能にする。
• k-制限付きフォレストと経路集合Hを用いた、再帰的な経路ベースの拡張戦略を導入し、解を段階的に精錬する。
• ℓ = ⌈2/ϵ⌉のレベルを持つ階層的構築法を用い、中間解のコストを制限し、(1+ϵ)-近似解への収束を保証する。
• ℓ個の中間解の加重平均を用いて最終コストをバウンドし、平均コストが最適解の(1+ϵ)倍以下であるという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 単一の辺コストが減少する場合に、Steiner木再最適化のための多項式時間近似スキームを設計することは可能か？
• RQ2 元の解が最適である場合に、頂点ステータスの変更（端点からSteiner頂点、またはその逆）に対する(1+ϵ)-近似を達成することは可能か？
• RQ3 元の解の構造的性質を活用することで、定数倍を超える近似比の改善が可能か？
• RQ4 再最適化において達成可能な最良の近似比は何か？また、これは初期解の品質に依存するか？

主な発見

• 本稿では、4つの標準的Steiner木再最適化シナリオ（以前は困難視されていた辺コストの減少を含む）のための最初の多項式時間近似スキーム（PTAS）を提示している。
• 辺コストの減少および端点からSteiner頂点への変更に対して、初期解が最適（ρ=1）の場合に(1+ϵ)-近似を達成しており、これはP=NPでない限り最良の近似である。
• アルゴリズムは多項式時間で実行され、元の解がρ-近似である場合でも、変更後のインスタンスの最適解の(1+ϵ)倍以内のコストを保証する。
• 本手法は、制限付きSteiner木構築法と反復的経路ベース拡張の新しい組み合わせに依存しており、各段階でのコスト増加が有界であることを保証する。
• 解析により、ℓ個の中間解の平均コストが最適解の(1+ϵ)倍以下であることが示され、結果として(1+ϵ)-近似が得られる。
• 結果はタイトである：P=NPでない限り、これらの問題の完全に多項式時間近似スキームは存在しない。したがって、提示されたPTASはこの複雑度クラスにおいて最適である。