-
Enumerating Solutions of the Pentomino Puzzle Using BDDs/ZDDs
[in Japanese]
-
SUZUKI Hiromu
,
MINATO Shin-ichi
二分決定グラフ(BDD)は,論理関数のグラフ表現であり,大規模な論理関数データでも比較的コンパクトなデータ構造として表現できる.さらに,BDDの特殊な型であるゼロサプレス型BDD(ZDD)は組合せ集合データの表現・処理に適しており,情報科学における様々な問題に応用できる.その一つの例が制約充足問題である.制約充足問題を解くために多くのアルゴリズムが考案されているが,その一方で,解集合の解析や新たな …
IEICE technical report. Theoretical foundations of Computing 109(54), 1-7, 20090519
CiNii PDF