/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2015ホーム /

2H4-OS-03a-2 BDD構築技術を応用した組合せ最適化の一手法

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2015 このエントリーをはてなブックマークに追加

05月31日(Sun) 15:20〜17:05 H会場(5F北-小講義室 (583))
2H4-OS-03a オーガナイズドセッション「OS-3 SAT技術の理論,実装,応用 (1)」

演題番号2H4-OS-03a-2
題目BDD構築技術を応用した組合せ最適化の一手法
著者岩下 洋哲(富士通研究所)
時間05月31日(Sun) 16:05〜16:25
概要BDD構築の技術を応用してある種の組合せ最適化問題を解く手法について議論する。目的関数の最小値の上限と下限の組を状態として幅優先でBDDを構築していくことにより、動的計画法と分枝限定法の要素を組み合わせた解法が実現できる。これは特に、論理制約がBDDで表現された問題を解く際に有効と考えられる。
論文PDFファイル