BDD構築技術を応用した組合せ最適化の一手法

抄録

BDD構築の技術を応用してある種の組合せ最適化問題を解く手法について議論する。目的関数の最小値の上限と下限の組を状態として幅優先でBDDを構築していくことにより、動的計画法と分枝限定法の要素を組み合わせた解法が実現できる。これは特に、論理制約がBDDで表現された問題を解く際に有効と考えられる。