[論文レビュー] Experiment Study of Entropy Convergence of Ant Colony Optimization

Chao-Yang Pang, Chong-Bao Wang+1 more|ArXiv.org|May 12, 2009

Metaheuristic Optimization Algorithms Research参考文献 13被引用数 8

ひとこと要約

本稿では、アンチコロニー最適化（ACO）のための新しいデータ駆動型終了基準としてエントロピー収束を提案する。解の分布のエントロピーがアルゴリズムの収束と同時にまたはそれより前に安定化することを示している。反復間のエントロピーの相対的変化をモニタリングすることで、ACO-エントロピーは標準的なACOと比較して2–6倍の高速化を達成しながらも、解の品質を維持する。これは、制限のない条件下で実用的で汎用性の高いACOの収束マーカーを提供する。

ABSTRACT

Ant colony optimization (ACO) has been applied to the field of combinatorial optimization widely. But the study of convergence theory of ACO is rare under general condition. In this paper, the authors try to find the evidence to prove that entropy is related to the convergence of ACO, especially to the estimation of the minimum iteration number of convergence. Entropy is a new view point possibly to studying the ACO convergence under general condition. Key Words: Ant Colony Optimization, Convergence of ACO, Entropy

研究の動機と目的

• 通常の条件下で動作する一般化可能で制限のないACOの収束マーカーを同定すること。
• 解の分布の不確実性を表す統計的指標であるエントロピーが、ACOの収束を示す指標として機能するかを検討すること。
• 固定反復回数ではなくエントロピーに基づく終了基準を用いた新しいACO変種、ACO-エントロピーの開発と検証すること。
• エントロピー収束がアルゴリズムの収束と解の安定性と相関することを実証的根拠で示すこと。

提案手法

• 各反復における解の分布のエントロピーを H_t = -Σ p_i(t) log₂ p_i(t) として定義する。ここで p_i(t) は反復 t におけるルート i の選択確率である。
• 収束基準としてエントロピーの相対的変化 |H_t - H_{t-1}| / H_{t-1} を用い、しきい値 ε = 0.001 を設定する。
• 反復間のエントロピー変化が ε より小さくなるとループを終了するように変更したACO-エントロピーを実装する。
• 標準的なTSPインスタンス（TSPLIBから取得）にアルゴリズムを適用し、比較の基準として標準ACO（Ant-Cycle）を用いる。
• 性能向上を評価するために、解の品質、実行時間、反復回数を追跡する。
• 統計的分析を用いて、エントロピー収束がアルゴリズムの収束と解の安定性とどのように相関するかを検証する。

実験結果

リサーチクエスチョン

• RQ1 エントロピー収束は、制限のない条件下でACOに一般化可能な信頼性の高い収束マーカーとして機能するか？
• RQ2 反復間のエントロピーの相対的変化は、ACOにおけるアルゴリズムの収束行動と相関するか？
• RQ3 エントロピーに基づく終了基準は、ACOが安定した解に到達するまでの反復回数を削減できるか？
• RQ4 ACO-エントロピーは、標準ACOと比較して解の品質と計算効率の点で優れているか？

主な発見

• ACO-エントロピーは、全テスト対象TSPインスタンスにおいて標準ACOと比較して2–6倍の高速な収束を達成し、解の品質は同一またはそれ以上であった。
• ACO-エントロピーの平均解のコストは、標準ACOと1%以内の差に留まり、解の品質の低下は認められなかった。
• 例えば、pr107ではACO-エントロピーが163.08秒（189反復）で解決したが、標準ACOでは431.50秒（500反復）を要した。
• エントロピー収束基準は解の分布の安定化を的確に検出でき、|H_t - H_{t-1}| / H_{t-1} < 0.001 が意味のある探索の終了を示した。
• pr107、pr136、d198、pr226、d493など多様なTSP問題に対して、一貫した性能向上を示し、ロバスト性を確認した。
• エントロピー収束はACO収束の必要条件であることが判明し、アルゴリズムの安定性を示す根本的な統計的マーカーとしての可能性を示唆した。