組合せ探索のためのBeta-Prologの並列化

1994 Fiscal Year Annual Research Report

• Project/Area Number: 06750395
• Research Institution: Kyushu Institute of Technology
• Principal Investigator: 周 能法 九州工業大学, 情報工学部, 助教授 (00235699)
• Keywords: 組合せ探索 / 並列処理 / 論理プログラミング / コニパイラ / グラフ問題 / 制約充足問題 / プラニング問題 / prolog

Research Abstract

1.ネットワーク上でBeta-Prologの並列化及びそれの応用を行ないました.Beta-Prologでは,状態を表すデータ構造として状態表が装備されています.並列化は,状態表に対する選択演算(select)に対して行ないました.まず,通信を必要としない並列実行モデル及びスケジューリング戦略を考案しました.スケジューリング関数を定めるためのパラメータとして状態表の大きさ,探索に参加するマシンの個数,及び一回毎に考慮する組の数などについて考えた.
2.つぎに,並列実行モデルをVLSI設計における配線問題に応用しました.実験の結果,Beta-Prologのプログラムは,特殊な配線プログラムより質のよい結果が得られました.この応用は,今年のICLP´95で発表される予定です.
3.今後の課題として,通信ライブラリのBeta-Prologへの導入及び通信コストを考慮した協調探索のための実行とスケジューリングモデルを考案する必要があります.

Research Products

• [Publications] 周 能法: "On the Scheme of Passing Arguments" Proc.Int.Conf.on Logic Programming. 159-175 (1994)
• [Publications] 周 能法: "A Logic programming Approach to channel Routing" Proc.Int.Conf.on Logic Programming. (to appear). (1995)