[論文レビュー] Tree search algorithms for the Sequential Ordering Problem

Luc Libralesso, Abdel-Malik Bouhassoun+2 more|arXiv (Cornell University)|Nov 25, 2019

Constraint Satisfaction and Optimization参考文献 34被引用数 5

ひとこと要約

本稿では、ビームサーチと動的計画法にインspiredされたカット、および効率的な下界を組み合わせることで、順序付け問題（SOP）に対する単純だが非常に効果的な木探索アルゴリズムを提案する。標準のラップトップ上で600秒以内に、SOPLIBインスタンスの50%で最適性を証明し、残りの7つの未解決インスタンスのうち6つで新たな最良知られていた解を発見した。

ABSTRACT

We present a study of several generic tree search techniques applied to the Sequential Ordering Problem. This study enables us to propose a simple and competitive tree search algorithm. It consists of an iterative Beam Search algorithm that favors search over inference and integrates dynamic programming inspired cuts. It proves optimality on half of the SOPLIB instances and finds new best known solutions on 6 among 7 open instances of the benchmark in a small amount of time.

研究の動機と目的

• 順序付け問題（SOP）の分枝限定法における異なる探索戦略の影響を調査し、従来の深さ優先探索や最良優先探索の使用を問い直す。
• ビームサーチ、深さ優先探索、限界ずれ探索といった一般的な木探索コンポーネントを、さまざまな下界やカットと組み合わせて、その性能を評価する。
• 複雑な推論に頼るのではなく、探索に重点を置いた単純なアルゴリズムの組み合わせが、SOPの解法においてより優れた性能を発揮するかどうかを検証する。
• 深さ優先探索をビームサーチに置き換え、MST下界を無効化することで、SOPベンチマーク上での性能が顕著に向上することを示す。
• 問題定義（分岐戦略、下界、カット）と探索戦略を分離する汎用的な木探索フレームワークを構築し、組合せ最適化問題の解決に新たなパラダイムを提供することを目的とする。

提案手法

• 主な木探索手法としてビームサーチを採用し、深さよりも幅を重視することで、有望でない分枝の効率的な pruning が可能になる。
• 部分解が同値であることを統合する「接頭辞同値性（Prefix Equivalence）」を通じて、動的計画法にインspiredされたカットを統合し、状態空間の縮小を実現する。
• 計算コストの高い下界（例：MST下界）の代わりに、定数時間で計算可能な高速な下界（特に接頭辞下界、流入／流出次数下界）を採用する。
• ビームサーチと併用すると有害であることが示された最小全域木（MST）下界を無効化し、代わりに単純で高速な下界に依存する。
• 木探索と局所探索ヒューリスティクスをハイブリッドに組み合わせたアプローチを実装したが、コアとなる手法は複雑な局所改善ではなく、探索の効率性に依存している。
• 問題定義（分岐スキーム、下界、カット）と探索戦略を分離する汎用的な木探索フレームワークを開発し、異なるコンポーネントを即座に交換可能な実験的アプローチを可能にする。

実験結果

リサーチクエスチョン

• RQ1 ビームサーチと深さ優先探索の違いといった、探索戦略の選択が、順序付け問題（SOP）の分枝限定法の性能にどのように影響を与えるか？
• RQ2 さまざまな探索戦略と組み合わせた場合、接頭辞下界、流入／流出次数下界、MST下界といった異なる下界の相対的寄与度は何か？
• RQ3 ビームサーチや接頭辞同値性といった基本的コンポーネントから構築された単純な木探索アルゴリズムが、より複雑な最先端手法を上回る性能を発揮できるか？
• RQ4 MSTのような強力だが高コストな下界を無効化することで、効率的な探索戦略と組み合わせた場合、全体の性能が向上するか？
• RQ5 問題構造と探索戦略を分離する汎用的な木探索フレームワークは、組合せ最適化分野における既存のパラダイム（数学的プログラミングや制約プログラミング）の代替として、どの程度実用的か？

主な発見

• 接頭辞同値性と接頭辞下界を用いた提案されたビームサーチベースのアルゴリズムは、SOPLIBインスタンスの25件（全50件）で最適性を証明し、ベンチマーク全体で50%の成功率を達成した。
• 以前未解決だったSOPLIBインスタンスのうち6件で新たな最良知られていた解が得られ、ギャップ削減率は0.1%から183.6%まで変動した。
• 深さ優先探索をビームサーチに置き換え、MST下界を無効化することで、[32]で提示された先行の最先端手法を上回る顕著な性能向上が達成された。
• 100頂点以下のすべてのインスタンスが600秒以内に解かれた。100頂点インスタンスの100%が時間制限内に最適に解かれた。
• 100頂点インスタンス（R.500.100, R.600.100, R.700.100）では100%の成功率を達成し、25件のインスタンスを閉じた。特にビームサーチと接頭辞同値性を組み合わせた場合、最良の結果が得られた。
• アルゴリズムの性能は、さまざまなインスタンスタイプにわたり安定しており、特に小規模なインスタンスでは最良知られていた上界（T record）に到達するまでの時間が最小限に抑えられ、最適性の検証（T opt）も強く、優れた性能を示した。