har*_*old 5 algorithm binary-decision-diagram
计算两个零抑制二元决策图的连接的算法是什么？
我现在已经搜索了几个小时,我找不到它.据我所知,它并不在Knuth的书中,尽管它确实给出了结果的定义.
我宁愿不必涉及任何具体的实施; 我发现实施细节非常分散注意力.
ZDDs的加入f和g是{ a ? b | a ? f and b ? g }
f
g
{ a ? b | a ? f and b ? g }
tem*_*def 5
在我的"计算机程序设计艺术"第四卷中,这个确切的问题在7.1.4节中作为练习205提出.它与之前的两个问题有关,但这三个问题的答案都在本书的后面.您可能希望将其作为资源进行检查.
我几年前在一次谈话中谈到了他正在讨论ZDD及其算法,包括如何加入.如果你有兴趣,我相信,讲座记录,应该是在线在这里.
希望这可以帮助!
归档时间：
14 年，1 月 前
查看次数：
437 次
最近记录：
12 年，1 月 前