文章 0 浏览 0
有关二元决策图的背景信息可以在维基百科上的 BDD 找到。 最简单的方法是构建 BDT(二元决策树),然后根据两个规则减少它: - 合并任何同构子图。 - …
降序二元决策图 (ROBDD) 是多变量布尔函数的高效数据结构<代码>f(x1,x2,...,xn)。我想直观地了解它们的效率。 例如,对于数据压缩,我们知道低熵…
文章 0 评论 0
接受