计算两个零抑制二元决策图的连接的算法是什么？
我已经搜索了几个小时，就是找不到。据我所知，它也不在 Knuth 的书中，尽管它确实给出了结果的定义。
我宁愿不必费力地完成任何具体的实现；我发现实现细节非常令人分心。
ZDDs f 和 g 的连接是 { a ∪ b | a ∈ f 和 b ∈ g }
最佳答案
在我的计算机编程艺术，第 4A 卷中，这个确切的问题在第 7.1.4 节中作为练习 205 提出。它与前两个问题有关，但这三个问题的答案都在书的后面。您可能希望将其作为资源查看。
几年前，我在 Knuth 的一次演讲中讨论了 ZDD 及其算法，包括如何加入。如果您有兴趣，我相信讲座已被录制并且应该在线 here .
希望这对您有所帮助!
关于计算加入零抑制二元决策图中的算法，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/7242313/