计算加入零抑制二元决策图的算法

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

我已经搜索了好几个小时了，我找不到它。根据我的发现，它也不在Knuth的书中，尽管它确实给出了结果的定义。

我不希望通过任何特定的实现来涉水;我发现实施细节非常分散注意力。

ZDDs f的加入和g是{ a ∪ b | a ∈ f and b ∈ g }

2011-08-30 harold

请原谅我，但您在这里加入的意思是什么？联盟？路口？还有别的吗？ –

@亨宁·马克姆：既不是集合'a'和'b'的所有组合的集合，其中'a'来自一个ZDD，'b'来自另一个。 – harold

好的，那超出了我。当我了解BDD的时候，每个人都编码一组（位串），而不是一套。它可能是一个简化版本。 –

在我的计算机编程卷4A这个确切的问题是在7.1.4节装扮成运动205的技术复制。这与前面两个问题有关，但所有三个问题的答案都在本书的后面。您可能需要将其作为资源进行检查。

几年前，Knuth给我介绍了ZDD及其算法，包括如何进行连接。如果你有兴趣，我相信讲座被记录下来，应该在线here。

希望这会有所帮助！

2011-08-30 19:37:29 templatetypedef

谢谢，我忘了看这本书的那一部分 – harold

回答