Любой способ переупорядочить переменные для бинарных диаграмм решений?

Question

Я работаю над инструментом обучения для бинарных диаграмм решений, в которых также есть функция для переупорядочения переменных. Кто-нибудь может предложить подходящую библиотеку, которая реализует переупорядочение переменных при построении дерева, или какой-то алгоритм, который реализует то же самое?

Было бы лучше, если бы я мог работать с такой библиотекой, как pyeda, buDDy или pycudd, потому что я уже знаком с этими библиотеками.

Спасибо и прокомментируйте, если вам нужны какие-либо разъяснения..

Answer 1

Вы смотрели на дд, Иоаннис Филиппидис?

Я автор pyeda. Реализация ROBDD в Python была определенно увлекательной и, возможно, может иметь определенную образовательную ценность, но она определенно не выполняет никакого автоматического переупорядочения переменных, поэтому, если это требование, я бы порекомендовал посмотреть на dd или другие в вашем списке.

Answer 2

Моя группа в Университете Марибора производит BDD Scout ( http://biddy.meolic.com/), инструмент для визуализации BDD. В настоящее время поддерживаются ROBDD с дополняемыми ребрами и 0-sup-BDD с дополняемыми ребрами. Конверсии поддерживаются. Переупорядочение (т. Е. Алгоритм обмена и просеивания переменных) поддерживается для них обоих. BDD Scout работает на GNU/Linux и MS Windows (доступны исходные и бинарные пакеты). Мы надеемся, что наш инструмент однажды станет хорошим учебным пособием, но нам нужны отзывы, чтобы улучшить его. Помимо надежности, набор функциональных возможностей является наиболее важной частью для улучшения. Если вы найдете время, чтобы попробовать его, не стесняйтесь обращаться к нам с любыми комментариями и вопросами.