Алгоритм BDD (схема двоичных решений)?

Question

Кто-нибудь знает, где я могу найти алгоритм BDD (Binary Decision Diagram)?

Answer 1

Если вам нужен графический инструмент для визуализации Таблицы правды, один инструмент, который вы должны рассмотреть, это Graphviz, BDD по сути, это граф, и в пакете graphviz есть несколько встроенных алгоритмов для построения графиков, которые вы можете попробовать. Это также де-факто графики во многих академических учреждениях.

Пример BDD из википедии, используя graphviz:

Answer 2

Самым первым хитом в поиске Google "Алгоритм BDD" является страница википедии на BDD, которая дает введение в BDD и перечисляет несколько учебников, посвященных BDD, в разделе "Дальнейшее чтение".