| 研究概要 |
実世界の組合せ最適化問題に対する高速解法を構築するのが本研究の目的である.本研究では,実世界問題を和積形論理式の充足可能性問題(SAT)に変換し,SATに対するアルゴリズム局所探索法を利用して元の問題を解くというアプローチをとる.本年度は以下の結果を得た.
(1)時間割作成問題の高速解法 具体的な実世界問題として時間割作成問題を取り上げ,本手法を適用させた.使用した例題は講義数30,時間数10,教室数3,教官数13の,比較的小規模で現実に則した例題である.実験にはワークステーション70台(SGIO2 180MHz Fast Ethernetにより接続)を使用した.1台の計算機により2日間かかっても解けなかった例題を,約2時間で解くという高速化を達成できた.
(2)http通信によるアルゴリズム並列化 上記のように70台程度の計算機クラスタであれば同一組織内で構成できるが,大規模クラスタを構成しようとすると,組織に跨らなければならない.ところが,近年,インターネットの普及に伴いネットワークセキュリティの強化が叫ばれ,例えばrlogin等の通信をファイアウォールにより遮断している組織が多い.そのため新たな並列化手法が必要となった.本研究では,WWWで広く使われているhttp通信とCGIを用いることにより,安全性の高い並列化手法を開発した.上記のSAT局所探索アルゴリズムを実装し,その動作を九州大学と京都大学間で確認した.
|
