有办法为二元决策图重新排序变量吗？

Question

我正在为二进制决策图开发一个教学工具，其中也有一个变量重新排序的特性。谁能建议一个合适的库来实现变量的重新排序，同时建立树，或者某种实现相同的算法？

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

谢谢，如果你需要任何澄清的话，请发表评论。

Answer 1

你看过伊奥尼斯·菲利皮迪斯的dd吗？

我是匹达的作者。用Python实现ROBDD肯定很有趣，而且可能具有一定的教育价值，但它绝对不会进行任何自动变量重新排序，因此，如果这是一个要求，我建议查看dd或列表中的其他变量。

Answer 2

我在马里博大学的团队正在生产BDD童子军( http://biddy.meolic.com/ )，这是一种用于BDD可视化的工具。目前，支持带补边的ROBDD和带有补边的0-sup.支持转换。这两种算法都支持重排序(即变量交换和筛选算法)。BDD Scout在GNU/Linux ( MS )上的工作(源代码和二进制包是可用的)。我们希望有一天我们的工具能成为一个很好的教学工具，但是我们需要一些反馈来改进它。除了健壮性外，这些功能集是最关键的改进部分。如果你有时间试一试的话，可以毫不犹豫地给我们任何意见和问题。