问题标签 [binary-decision-diagram]

我正在尝试使用Cudd_bddIte来实现简单的 BDD。以下代码按预期工作，给出图片中的图表（代表 node bdd）：

但是，如果我将 ITE 语句更改为tmp2以下

我得到了这个意想不到的图表：

对我来说，这是错误的，因为我希望最顶层的变量在为假时仍会立即产生 1，如第一张图片所示。我究竟做错了什么？

我知道游戏树大小的上限是 9！= 3X3 井字游戏中的 362,880。扣除无效案件和轮换和反射后，只剩下26,830场可能的比赛。因此 3X3 Tic Tac Toe 中决策树的复杂度为 5，即叶节点的位数（26,830）。我的结论对吗？

如果是这样，我如何在不绘制完整决策树的情况下计算 4X4 Tic Tac Toe 的决策树复杂度？

对不起我的转储问题

我正在使用 CUDD C++ 接口（https://github.com/ivmai/cudd），但几乎没有关于这个库的信息。我想知道如何根据其值删除一个变量。

例如，我现在将下一个表存储在 a 中bdd：

我想bdd根据 x2 的值将前一个表拆分为两个单独的 s ，然后删除该节点：

如果x2 = 0：

如果x2 = 1：

可能吗？

我正在使用 CUDD C++，我想知道是否可以执行以下操作：

现在，我将下一张表存储在bdd：

如果原始输出的值为 1 x2，是否可以创建另一个具有 2 个输出的表来提取 的值？：x3

期望的输出：

我已经尝试使用该ExistAbastract()命令，并且获得bdds了正确数据的 2，但x2仍然x3是输入。是否可以根据 的值将变量转换为x2输出？x3y

我正在使用随机森林来模拟响应变量。当我查看 OOB 图时，均方误差随着树木数量的增加而直线下降。这种减少的解释是什么？

我正在使用 CUDD 包生成与输入基准文件相对应的 PLA 格式的 BDD。对于具有 3 个输入引脚（例如）和 5 个输出引脚（例如）的基准函数，我得到与 5 个输出相对应的 5 个输出 BDDS。但是，我想为整个基准测试功能生成一个多输出 BDD。有可能吗？....如果是这样，我如何使用 CUDD 包生成多输出 BDD。请帮忙。

我正在尝试为逻辑回归中的边界分类绘制决策边界，但我不太明白应该怎么做。

这是我生成的一个数据集，我在其上使用 numpy 应用逻辑回归

在应用逻辑回归后，我发现最好的 theta 是：

thetas = [1.2182441664666837, 1.3233825647558795, -0.6480886684022018]

我试图通过以下方式绘制决策边界：

然而，出来的图表却与预期相反：

提前致谢

我有一些组合，我想找出其中两个之间的交集函数。然后我想在 ZDD 中表示相交的结果。

我正在考虑使用CUDD 包来做到这一点。

一个例子：

汉明距离 >= 2且1100 =的所有 4 位字符串

{ 0001, 0010, 0011,0101, 0110, 0111, 1001, 1010, 1011 }

汉明距离 >= 2且0000 =的所有 4 位字符串

{ 0011, 0101, 0110, 1001, 1010, 0111, 1011, 1101, 1110 }

集合的相交元素（我想要的）：

{0011, 0101, 0110, 1010, 1001 }

据我了解，我需要能够首先表达这些组合集，使用布尔函数，例如（ f = abcd ）来表示它们相应的 BDD，将它们转换为 ZDD，然后找出交集？有CUDD包经验的人请帮忙。

我已经使用 CUDD 包成功创建了 BDD。我还可以使用一些已经构建的工具对其进行可视化。我有兴趣使用 CUDD 的 DDDMP 包将 BDD 存储在文件中。我读到Dddmp_cuddBddStore()正在为我们做这件事。我找不到使用该功能的任何示例。它的论点有点复杂。任何使用该功能的小例子都会有很大帮助。

我正在尝试使用 CUDD 查找 Shared-BDD 中的节点总数。 我已经使用 BuDDy-2.4 编写了 C 代码并且运行良好但是当我使用 CUDD 而不是 BuDDy 时，我的程序显示错误。

我的 BuDDY C 文件是：

我的 CUDD C 程序是：

但是这个 CUDD C 程序显示错误