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