Каков алгоритм для вычисления объединения двух диаграмм двоичных решений с подавленными нулями?
Я искал его часами, просто не могу его найти. Насколько я могу найти, его нет и в книге Кнута, хотя в ней дано определение результата.
Я бы предпочел не разбираться с какой-либо конкретной реализацией; Я нахожу детали реализации очень отвлекающими.
Объединение ZDD f и g равно { a ∪ b | a ∈ f and b ∈ g }