计算两个零抑制二元决策图的连接的算法是什么？
我现在已经搜索了几个小时，我找不到它。据我所知，它不在Knuth的书中，尽管它确实给出了结果的定义。
我宁愿不必涉及任何具体的实施;我发现实施细节非常分散注意力。
ZDD f和g的加入是{ a ∪ b | a ∈ f and b ∈ g }
答案 0 :(得分：5)
在我的计算机编程艺术，第4A卷的副本中，这个确切的问题在第7.1.4节中作为练习205提出。它与之前的两个问题有关，但这三个问题的答案都在本书的后面。您可能希望将其作为资源进行检查。
几年前，我正在谈论Knuth，他正在讨论ZDD及其算法，包括如何加入。如果您有兴趣，我相信讲座已经录制，应该在线 here 。
希望这有帮助！