Этот вопрос немного длинный; пожалуйста, потерпите меня.
У меня есть структура данных с такими элементами: {x1, x2, x3, x4, x5}:
{0 0 0 0 0, 0 0 0 1 0, 1 1 1 1 0,.....}
Они представляют все ИСТИНЫ в таблице истинности. Конечно, 5-битные строковые элементы, отсутствующие в этом наборе, соответствуют FALSE в таблице истинности. Но у меня нет булевой функции, соответствующей указанной структуре данных набора.
Я вижу этот вопрос , но здесь все ответы предполагают, что булева функция задана, что неверно.
Мне нужно построить RO BDD и затем ZDD из заданной заданной структуры данных. Предпочтительно с доступными python пакетами, такими как this .
Есть советы экспертов? Я уверен, что многое было сделано в этом направлении.