问题标签 [binary-decision-diagram]

是否有任何用于 C 或其他经过测试并具有良好文档的语言的二进制决策图 (BDD) 库？

在尝试在 windows 下编译jinc并快速遇到数百个编译器错误后，我正在寻找一个可以为 windows 构建的高质量 BDD 库。最好在 C 或 C++ 中，但只要我能绑定到它我很高兴。

简化有序二元决策图(ROBDD) 是一种用于多变量布尔函数的有效数据结构f(x1,x2,...,xn)。我想对它们的效率有一个直觉。

例如，对于数据压缩，我们知道熵低的数据（一些符号出现的频率比其他符号多，重复次数多）可以很好地压缩，而完全随机的数据不能被压缩。

是否有类似的直觉来估计 ROBDD 表示给定布尔公式的效率？关于这个主题的任何文献（最好是在线的）？

关于二元决策图的背景可以在维基百科上的 BDD中找到。

最简单的方法是构建 BDT（二元决策树），然后根据两个规则对其进行缩减：
- 合并任何同构子图。
- 消除两个孩子同构的任何节点。
但是有一个主要问题 BDT 与 BDD 相比可能非常大。有没有办法在不先构建 BDT 的情况下构建 BDD？

如果我要将一组对象的依赖关系组织到一个 DAG 中，在什么情况下这比另一个数据结构（如 BDD（二元决策图））更可取？

在 Java 中，我有一组表达式，例如 cond1 AND (cond2 OR cond3) AND (cond 4 OR cond5)。我想将其转换为树，然后评估最终的布尔答案。我尝试在 java BDD 周围搜索很多，但没有得到任何结果。对示例代码有什么建议吗？

任何人都可以在 Cudd 包装上指出一些好的材料。我在这里寻找一些简洁的东西。http://vlsi.colorado.edu/~fabio/CUDD/上的那个似乎没有很好地介绍这个问题。欢迎任何与 BDD 及其应用相关的视频讲座。

谢谢并恭祝安康

如何实现二元决策图（BDD）？我想基于文化算法和 BDD 的电路故障检测来实现 BDD 的最小化。

可能重复：
有人知道任何 C# BDD（二进制决策图）包吗？

如何在 C# 中实现降序二进制决策图 (ROBDD)？有人知道吗？

有人知道我在哪里可以找到 BDD（二元决策图）算法吗？