从Python数据中学习二进制决策图(BDD)
是否可以从数据中学习二元决策图(BDD)(以机器学习方式)?如果可以，怎么办? 背景:我已经在Python中看到了一些工具，例如在具有scikit-learn，但我没有看到任何用于 BDD 的. 作为一个例子，我想做的是以下事情: 前三列对应于“输入"数据集(xi)，标签为(y).N对应于计数，您可以使用后者来计算准确性.请注意，这不是切割集矩阵.在中间，您可以看到一个对应的BD
..
binary-decision-diagram相关内容
从真值表创建简化的有序二元决策图(ROBDD)
是否有一个软件包(最好是应用程序，而不是库)从给定的真值表(以某种文本格式)中创建降阶二元决策图(ROBDD)? 解决方案 您也可以尝试以下操作: http://formal.cs.utah.edu:8080/pbl/BDD.php 这是到目前为止我使用的BDD的最佳工具.
..
修改后的皇后区问题的布尔表达式
我从这里. 我修改的N个皇后规则比较简单: 对于p * p棋盘，我想以这样的方式放置N个皇后区， 皇后将相邻放置，行将首先填充. p * p棋盘的大小将进行调整，直到可以容纳N个皇后为止. 例如，假设N = 17，那么我们需要一个5 * 5的棋盘，放置位置将是: Q_Q_Q_Q_Q Q_Q_Q_Q_Q Q_Q_Q_Q_Q Q_Q_*_*_* *_*_*_*_*
..
CUDD包:传递特定变量顺序的方法?
我正在使用CUDD软件包进行BDD操作.我想知道是否有人知道一种传递特定变量顺序的方法，以指示程序在构建BDD时使用此顺序.我正在使用变量数量相对较少的布尔函数. 实际上，即使有一种方法可以将特定的输入变量传递给程序，以使BDD成为根目录，这也将达到我的目的.如果有人知道该怎么做，那么我将非常感谢您的帮助.我浏览了文档，但没有找到任何达到此效果的东西.也许我错过了一些事情. 解决方案
..
使用CUDD的BDD/ZDD交集
我有一些套组合，我想找出两个说一下之间的交集函数.然后我要用ZDD表示相交的结果. 我正在考虑使用 CUDD软件包来做到这一点. 一个例子: 所有具有汉明距离> = 2 和 1100 = 的4位字符串 {0001，0010，0011,0101，0110，0111，1001，1010，1011} 所有具有汉明距离> = 2 和 0000 = 的4位字符串 {0
..
Windows的二进制决策图库
在 jinc 在Windows下编译并快速进入数百个的编译器错误我正在寻找一个质量BDD库，将为Windows构建。最好在C或C ++中，但只要我可以绑定它，我很高兴。 解决方案 Cudd is good： a href =“http://vlsi.colorado.edu/~fabio/CUDD/”rel =“nofollow noreferrer”> http://vlsi.color
..
找到独特的元组在重新$ P $的关系由BDD psented
让我们假设我用BDD重新present的元组的关系。为简单起见考虑的元组0或1的值。例如： R = {＆LT; 0,0,1>，＆LT; 1,0,1>，＆LT; 0,0,0>}重新present在BDD三元关系有三个变量，例如x，y和Z（一个用于每个元组的元素）。我要的是实现给定一个BDD像R和多维数据集C回到R，它将包含唯一的元组时，C中的变量被抽象的子集的操作。 有关例如，如果C含有变量x（其
..
扩展独特的元组找到重新$ P $的关系由BDD psented
考虑{＆LT; 1,2>，＆LT; 1,3>，＆LT; 1,7>，＆LT; 0,4>}为一组关系的元组R.现在考虑R是再$ psented（通过其成员函数）p $由BDD。也就是说，该BDD重新presentingř取决于变量{X1，X2，Y1，Y2，Y3}其中{X1，X2}被用于重新present每一元组的第一个元素和{Y1，Y2 ，Y3}被用于重新present第二元件。 现在，考虑寻找该组
..
有谁知道的任何C＃BDD（二元决策图）包？
我如何实现二元决策图（BDD）？ 我想基于文化算法和电路故障检测通过BDDS实施BDDS的最小化。 解决方案 PATDBB 可能是你正在寻找的东西
..