零抑制二元决策图中连接的计算算法

Question

计算两个零抑制的二元决策图的连接的算法是什么？

我已经找了好几个小时了，就是找不到。据我所知，它也不在Knuth的书中，尽管它确实给出了结果的定义。

我宁愿不必涉水于任何具体的实现；我发现实现细节非常分散注意力。

ZDDs f和g的连接是{ a ∪ b | a ∈ f and b ∈ g }

Answer 1

在我的“计算机编程艺术”第4A卷中，这个确切的问题在第7.1.4节中作为练习205提出。这与前两个问题有关，但所有这三个问题的答案都在书的后面。您可能需要将其作为一种资源来检查。

几年前，我在Knuth做的一次演讲中讨论了ZDDs及其算法，包括如何加入。如果你有兴趣的话，我相信讲座已经录下来了，并且应该是在线的这里。

希望这能有所帮助！