最適化問題への応用のための並列制約論理型言語の拡張

情報処理学会

書誌事項

タイトル別名
  • Extension to a Parallel Constraint Logic Programming Language for Applications in Optimization Problems.

この論文をさがす

説明

並列制約論理型言語PARCSは大規模並列計算機上での実装に向いた宣言的な言語であり、優先度に基づく並列実行制御、整数有限領域上の制約解消と枝刈り、暗黙のOR並列実行などの特徴を持つ。PARCSの枝刈り機構はある探索枝から将来分岐する枝の数を劇的に減らすことができる一方で、ある探索枝での結果が他の枝の探索の実行に大きな影響を及ぼす並列のα-β剪定や分枝限定法などのアルゴリズムにおける枝刈りはこれまで記述できなかった。本研究ではこのような最適化のためのアルゴリズムを記述するために優先度の制御と枝刈りの新しい枠組を提案する。

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ