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

Question

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

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

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

Answer 1

你看过dd了吗？ , 由 Ioannis Filippidis 撰写？

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