logo标签列表

如何为二叉决策图重新排序变量？

pythonlogicbinary-decision-diagrampyeda
3

我正在开发一个二叉决策图的教学工具，其中还有一个变量重排的功能。请问是否有适合实现建树时进行变量重排的库或算法？

最好能够使用像pyeda、buDDy或pycudd这样的库，因为我已经熟悉了这些库。

谢谢，如果需要任何澄清，请在评论中提出。

2个回答
3

你看过 Ioannis Filippidis 的 dd 吗？这是一个与 IT 技术相关的项目。

我是 pyeda 的作者。在 Python 中实现 ROBDDs 绝对很有趣，可能也有一些教育价值，但它绝对不会自动重新排序变量，因此如果这是要求，我建议看看列表中的 dd 或其他项目。

2

我在马里博尔大学的团队正在开发BDD Scout（http://biddy.meolic.com/），这是一款可视化BDD工具。目前，支持带补充边的ROBDD和0-sup-BDD。支持转换。对于两者都支持重排序（即变量交换和筛选算法）。BDD Scout可在GNU / Linux和MS Windows上运行（提供源代码和二进制包）。我们希望我们的工具有朝一日成为一个良好的教学工具，但我们需要一些反馈来改进它。除了健壮性之外，功能集合是最关键的部分需要改进。如果您有时间尝试，请不要犹豫给我们任何意见和问题。

网页内容由stack overflow 提供, 点击上面的
可以查看英文原文，
原文链接