Сокращенные упорядоченные двоичные диаграммы решений (ROBDD) представляют собой эффективную структуру данных для булевых функций от нескольких переменных f (x1 , x2, ..., xn). Я хотел бы получить интуитивное представление о том, насколько они эффективны

Что является алгоритмом для вычисления соединения двух нулевых сдерживаемых диаграмм бинарных решений? Я искал это часами сейчас, я просто не могу его найти. Именно не в книге Кнута тоже, насколько я могу ...

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