有什么方法可以为二元决策图重新排序变量？答案

【问题标题】：Any way to reorder variables for binary decision diagrams?有什么方法可以为二元决策图重新排序变量？
【发布时间】：2017-06-30 10:27:09
【问题描述】：

我正在开发一种用于二元决策图的教学工具，其中还具有变量重新排序的功能。谁能建议一个合适的库，在构建树时实现变量重新排序或某种实现相同的算法？

如果我可以使用 pyeda、buDDy 或 pycudd 之类的库，那将是最好的，因为我已经熟悉这些库。

如果您需要任何澄清，谢谢并发表评论..

【问题讨论】：

标签： python logic binary-decision-diagram pyeda

【解决方案1】：

你看过 Ioannis Filippidis 的 dd 吗？

我是pyeda 的作者。在 Python 中实现 ROBDD 绝对很有趣，并且可能具有一些教育价值，但它绝对不会执行任何自动变量重新排序，所以如果这是一个要求，我建议查看 dd 或您列表中的其他内容。

【讨论】：

【解决方案2】：

我在马里博尔大学的小组正在制作 BDD Scout (http://biddy.meolic.com/)，这是一种 BDD 可视化工具。目前，支持带有补边的 ROBDD 和带有补边的 0-sup-BDD。支持转换。它们都支持重新排序（即变量交换和筛选算法）。 BDD Scout 在 GNU/Linux 和 MS Windows 上工作（提供源代码和二进制包）。我们希望我们的工具有朝一日能成为一个很好的教学工具，但我们需要一些反馈来改进它。除了鲁棒性之外，功能集是需要改进的最关键部分。如果您有时间尝试，请随时向我们提出任何问题和问题。

【讨论】：