Историю о диаграммах двоичных решений можно найти здесь BDD в википедии .
Самый простой подход - построить BDT (двоичное дерево решений), а затем уменьшить его за счет два правила:
- Объедините любые изоморфные подграфы.
- Удалите все узлы, двое дочерних которых изоморфны.
Но есть одна серьезная проблема, которую BDT может быть действительно огромной по сравнению с BDD. Есть ли способ построить BDD без предварительной сборки BDT?