最適化に基づくアルゴリズムの発見
1994 年 11 巻 4 号 p. 4_276-4_299
詳細
1994 年 11 巻 4 号 p. 4_276-4_299
先に構造帰納法に基づくアルゴリズムの系統的な発見法を提案し,宣言的な仕様(集合論仕様)から多くのアルゴリズムを系統的に導出することができることを示した[11].しかし,複雑なアルゴリズムについては,仕様から直接導出することができない場合もあり,さらに強力な方法が必要になる.そのような方法として,本論文では,最適化に基づくアルゴリズムの系統的な発見法を提案する.その基本的な考えは,複雑なアルゴリズムを仕様から直接導出しようとせずに,まず,上記発見法によって単純なアルゴリズムを導出しておき,次に,いくつかの最適化手法を使って,これを複雑なアルゴリズムに変換するというものである.これによって,従来困難とされていた複雑なアルゴリズムの発見が可能になるだけでなく,単純なアルゴリズムと複雑なアルゴリズムの関係,すなわち,アルゴリズムの系統的な発生の様子が明らかになる.
