[論文レビュー] HyFlex: A Benchmark Framework for Cross-domain Heuristic Search

Edmund Burke, Tim Curtois+3 more|arXiv (Cornell University)|Jul 27, 2011

Metaheuristic Optimization Algorithms Research参考文献 2被引用数 6

ひとこと要約

HyFlex は、4 つの組合せ最適化問題において、標準化された問題固有のコンponent（インスタンス、表現、演算子）を提供することで、クロスドメインのヒューリスティック探索アルゴリズムの開発と評価を可能にする Java ベースのベンチマークフレームワークである。研究者がドメイン固有のコードを再実装することなく、適応的で自己設定可能な探索戦略の設計に集中できるようにし、第 1 回国際クロスドメインヒューリスティック探索チャレンジ（CHeSC）の開催を可能にした。43 のチームが 23 か国から参加した。

ABSTRACT

Automating the design of heuristic search methods is an active research field within computer science, artificial intelligence and operational research. In order to make these methods more generally applicable, it is important to eliminate or reduce the role of the human expert in the process of designing an effective methodology to solve a given computational search problem. Researchers developing such methodologies are often constrained on the number of problem domains on which to test their adaptive, self-configuring algorithms; which can be explained by the inherent difficulty of implementing their corresponding domain specific software components. This paper presents HyFlex, a software framework for the development of cross-domain search methodologies. The framework features a common software interface for dealing with different combinatorial optimisation problems, and provides the algorithm components that are problem specific. In this way, the algorithm designer does not require a detailed knowledge the problem domains, and thus can concentrate his/her efforts in designing adaptive general-purpose heuristic search algorithms. Four hard combinatorial problems are fully implemented (maximum satisfiability, one dimensional bin packing, permutation flow shop and personnel scheduling), each containing a varied set of instance data (including real-world industrial applications) and an extensive set of problem specific heuristics and search operators. The framework forms the basis for the first International Cross-domain Heuristic Search Challenge (CHeSC), and it is currently in use by the international research community. In summary, HyFlex represents a valuable new benchmark of heuristic search generality, with which adaptive cross-domain algorithms are being easily developed, and reliably compared.

研究の動機と目的

• 問題固有のコンponent を実装するための高い作業負荷により、適応的ヒューリスティック探索アルゴリズムのクロスドメインでのテストが限られているという課題に対処すること。
• 低レベルの問題固有の実装詳細を抽象化することで研究者の負担を軽減し、高レベルの適応的戦略に集中できるようにすること。
• 多様な問題ドメインにわたる汎用的で自己設定可能な探索手法の評価を統一されたベンチマークとして確立すること。
• 標準化されたソフトウェアインターフェースを通じて、ハイパーヒューリスティクスおよび適応的探索アルゴリズムの開発と公平な比較を支援すること。
• クロスドメインヒューリスティック探索チャレンジ（CHeSC）を通じて、国際的な研究協力と競争を促進すること。

提案手法

• HyFlex は、解の表現、目的関数の評価、探索演算子などの問題固有のコンponent を抽象化する共通のソフトウェアインターフェースを提供する。
• 最大充足可能性問題、1次元ナップザック問題、順列フローチャネルスケジューリング問題、人事情報スケジューリング問題という 4 つの難しい組合せ最適化問題をカプセル化している。
• 各問題ドメインには、実世界のインスタンスとベンチマークインスタンスが含まれており、包括的なドメイン固有のヒューリスティクスと演算子が用意されている。
• フレームワークは、ユーザーがハイパーヒューリスティックなどの高レベルの制御戦略のみを実装し、標準化された問題モジュールを再利用できるようにする。
• 適応的でリアルタイムのフィットネストレースとパフォーマンスメトリクスの自動ログ記録をサポートしており、実行中のアルゴリズム分析を可能にする。
• フレームワークは、新規ドメイン、追加のインスタンス、多目的問題、動的環境のサポートを可能とする拡張性を持つ。

実験結果

リサーチクエスチョン

• RQ1 統一されたソフトウェアフレームワークは、クロスドメインのヒューリスティック探索アルゴリズムを開発する研究者の実装負担を顕著に軽減できるか？
• RQ2 適応的探索戦略は、関係のない多様な組合せ最適化問題において、バランスの取れたパフォーマンスを達成できるか、その程度はいかほどか？
• RQ3 共通の評価基準で評価された複数の問題ドメインにおいて、異なるハイパーヒューリスティック戦略のパフォーマンスはどのように比較できるか？
• RQ4 共通のインターフェースは、競争的な研究環境において、自己設定可能なアルゴリズムの公平で信頼性の高い比較を可能にするか？
• RQ5 オンライン学習と動的演算子選択は、異種の問題ドメインにおいてパフォーマンスにどのような影響を与えるか？

主な発見

• 1 つのハイパーヒューリスティックが、4 つの問題ドメインすべてにおいて他を上回ることはなく、文脈に適応した選択戦略の必要性を示している。
• ナップザック問題ドメインでは、メタヒューリスティックが反復的局所探索やタブー探索のハイパーヒューリスティックよりも、より高い解品質をより速く達成した。
• タブー探索のハイパーヒューリスティックは当初他を上回ったが、停滞に陥ったことから、探索中における動的適応の重要性が浮き彫りになった。
• このフレームワークのおかげで、第 1 回国際クロスドメインヒューリスティック探索チャレンジ（CHeSC）が開催され、2011 年 5 月時点で 23 か国から 43 のチームが参加した。
• 2011 年 5 月までに、HyFlex は 460 回以上ダウンロードされ、そのウェブページは 11,844 回以上アクセスされ、研究コミュニティにおける広範な採用が示された。
• フィットネストレースとパフォーマンスメトリクスをリアルタイムでログ記録できる能力のおかげで、アルゴリズムの分析と比較に要する時間が顕著に短縮された。