二分決定図
二分決定図（にぶんけっていず、Binary Decision Diagram、BDD）とは、ブール関数を表現するのに使われるデータ構造である。二分決定グラフあるいは（基本的には二分木のような構造であることから）二分決定木と呼ぶこともある。
Q942353
ブール関数
Concept
Q175263
データ構造
Concept
Q380172
二分木
Concept
Q864155
二分決定図
Concept
use