[論文レビュー] ILP formulations for the two-stage stochastic Steiner tree problem

Bernd Zey|arXiv (Cornell University)|Nov 14, 2016

VLSI and FPGA Design Techniques参考文献 29被引用数 3

ひとこと要約

本稿は、2段階のステージ的ステインナー木問題（SSTP）のための複数の整数線形計画法（ILP）定式化を提示し、比較している。主にカットに基づく、フローに基づく、および有向定式化を対象としている。主な定式化の理論的同等性を確立し、有向フロー定式化がより強い線形計画緩和をもたらすことを示しており、不確実性下でのネットワーク設計問題における解の質を著しく向上させている。

ABSTRACT

We give an overview of new and existing cut- and flow-based ILP formulations for the two-stage stochastic Steiner tree problem and compare the strength of the LP relaxations.

研究の動機と目的

• 2段階のステージ的ステインナー木問題（SSTP）のための新しいおよび既存のILP定式化（カットに基づく、フローに基づく、有向定式化を含む）を開発し、比較すること。
• 異なる定式化における線形計画緩和の強さを分析し、実際の性能向上に寄与する tighter 界を提供する定式化を特定すること。
• 特に有向フローや有向カット定式化の間の理論的同等性を確立し、解の一貫性を保証すること。
• 根付きの第一段階木を要件とするような構造的制約が、定式化設計および解の質に与える影響を調査すること。
• 強い、スケーラブルなILPモデルを用いて、不確実性下でのステージ的ネットワーク設計問題を解く包括的なフレームワークを提供すること。

提案手法

• 第一段階および各シナリオにおいて、有向カットを用いて接続性をモデル化する新しい有向カット定式化（rSSTP_dc2）を提案する。
• 根ノードから各ターミナルへの接続性をフロー変数を用いてモデル化する有向フロー定式化（rSSTP_df）を導入する。
• 射影を用いた証明により、有向フロー定式化と第二の有向カット定式化の間の同等性を確立し、両者が同じ線形計画緩和の強度をもたらすことを証明する。
• 最大フロー最小カット双対性を用いて、フローに基づく解の妥当性を検証し、カット制約が満たされていることを保証する。
• 変数変換および射影技術を用いて定式化を比較し、容量制約や接続性制約などの制約が保持されていることを検証する。
• 根付き型と非根付き型のSSTPの文脈において、辺コストの仮定（例：c_e^0 < c_e^*）の影響を分析し、根付きバージョンではこのような仮定が成り立たないことがあることを示す。

実験結果

リサーチクエスチョン

• RQ1 2段階のステージ的ステインナー木問題における異なるILP定式化は、線形計画緩和の強さの観点でどのように比較できるか？
• RQ2 根付きステージ的ステインナー木問題の文脈において、有向フローと有向カット定式化の理論的関係は何か？
• RQ3 有向定式化は、無向または半有向定式化よりも、ステージ的ネットワーク設計においてより強い線形計画緩和界を提供できるか？
• RQ4 なぜ標準的な仮定（例：c_e^0 < c_e^*）は根付きステージ的ステインナー木問題では成立しなくなるのか？
• RQ5 構造的制約（例：第一段階の木の要件）は、ILP定式化の設計および強度にどの程度影響を及えるか？

主な発見

• 有向フロー定式化（rSSTP_df）と第二の有向カット定式化（rSSTP_dc2）は、射影された解空間に関して数学的に同等であることが、互いの射影の包含関係を示すことで証明された。
• 有向フロー定式化は、無向カットおよびフロー定式化よりも厳密に強い線形計画緩和をもたらすことが示され、分枝限定法における境界品質の向上を示している。
• 有向カット定式化（rSSTP_dc2）は、フローのルーティングと最大フロー最小カット双対性を用いた構成的証明により、有向フロー定式化と同等であることが示された。
• c_e^0 < c_e^* の仮定は根付きSSTPでは成り立たないことが、第一段階でエッジを無効化すると最適解が得られない反例により示された。
• 本稿は、根付きSSTPが非根付きバージョンとは異なるモデリングアプローチを要することが確認された。特に第一段階の接続性とコスト仮定の取り扱いにおいて顕著である。
• 理論的結果により、容量、接続性、変数の境界といった定式化のすべての制約が、変数変換および射影の下でも保持されていることが示された。