二分決定図
二分決定図(にぶんけっていず、英: Binary Decision Diagram, BDD)や二分決定グラフ(にぶんけっていグラフ)とは、ブール関数を表現するのに使われる有向非巡回グラフである。グラフに既約していない物は二分決定木(binary decision tree)と呼ぶ。