Описание тега binary-decision-diagram

Описание тега Вопросы с тегом
В области информатики диаграмма двоичных решений (BDD) или программа ветвления, такая как нормальная форма отрицания (NNF) или пропозиционально направленный ациклический граф (PDAG), представляет собой структуру данных, которая используется для представления булевой функции. На более абстрактном уровне BDD можно рассматривать как сжатое представление наборов или отношений.
3 ответа

Преобразовать таблицу решений в дерево решений

Как преобразовать или визуализировать таблицу решений в граф дерева решений, есть ли алгоритм для ее решения или программное обеспечение для ее визуализации? Например, я хочу визуализировать мою таблицу решений ниже:
31 июл '15 в 01:08
1 ответ

Как успешно запустить библиотеку cudd в окне

Есть ли какая-либо схема двоичных решений (BDD), доступная в windows.i, я пытался запустить cudd в vC++6.0, которая упоминается по ссылке http://web.cecs.pdx.edu/~alanmi/research/soft/softPorts.htm но это не работает должным образом. я получаю ошибк…
03 сен '13 в 18:02
1 ответ

Преобразовать двоичную формулу в нормальную форму Шеннона

Я хотел бы знать шаги для преобразования бинарной формулы в нормальную форму Шеннона. a⪯b⪯c⪯d - variable ordering. F = b&c&!d|c&d&!b|d&!c|!c&!d Как я могу преобразовать это в нормальную форму Шеннона?
13 май '17 в 00:41
1 ответ

Как читать Обратимые Тесты, используя библиотеку CUDD

Я работаю над изменением порядка двоичной диаграммы решений. До сих пор мы использовали необратимые схемы. Но не нам нужно использовать Reversible Benchmarks для реализации некоторых методов. Но я не получаю никакого способа читать файлы тестов (нап…
28 окт '17 в 13:31
0 ответов

CUDD: конвертировать BDD в (минимальную) нормальную форму

Я пытаюсь экспортировать существующий BDD в виде строки логического выражения. В идеале я хотел бы получить строку минимальной длины или минимальную нормальную форму, но я предполагаю, что это сама по себе сложная проблема. Вы знаете способ конверти…
19 авг '16 в 14:50
0 ответов

Python Trees: изменение дерева

Это мой код на Python для создания Упорядоченной Диаграммы Двоичных Решений (не очень релевантной для контекста). Так что у меня просто есть дерево определенной высоты, и мне нужно установить некоторые из листовых узлов на один. Итак, у меня есть пе…
05 сен '17 в 18:27
2 ответа

Пакет Cudd: бинарные диаграммы

Может кто-нибудь указать хороший материал на упаковке Cudd. Я ищу какой-то краткий вопрос здесь. Тот, что на http://vlsi.colorado.edu/~fabio/CUDD/, похоже, не дает хорошего представления об этом. Любые видео лекции, касающиеся BDD и его применения п…
14 май '11 в 10:23
2 ответа

Алгоритм BDD (схема двоичных решений)?

Кто-нибудь знает, где я могу найти алгоритм BDD (Binary Decision Diagram)?
14 авг '11 в 09:46
1 ответ

Каково значение и значение "пути" в BDD или FDD?

Я прочитал статью под названием " Многоуровневый логический синтез на основе диаграмм функциональных решений" , которая посвящена диаграммам функциональных решений (FDD) и представляет собой вариант диаграмм двоичных решений (BDD). В этом абзаце упо…
20 мар '18 в 03:45
2 ответа

Карта<bitset, object>-подобная структура данных, которая может проверять подмножества наборов битов?

У меня есть большая огромная хеш-таблица (такая большая, что я не могу проверить каждую строку) (в C++ с использованием boost::unordered_map), где ключи - это std::bitset, а значения - это некоторая структура, которая у меня есть. Скажем, у меня ест…
23 мар '16 в 22:45
2 ответа

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

Я работаю над инструментом обучения для бинарных диаграмм решений, в которых также есть функция для переупорядочения переменных. Кто-нибудь может предложить подходящую библиотеку, которая реализует переупорядочение переменных при построении дерева, …
30 июн '17 в 10:27
1 ответ

CUDD: доступ к детям BDD

Я работаю с CUDD C++ интерфейсом. Я не нахожу много информации об этой библиотеке. Как я могу получить двух детей от BDD? Например: Cudd mgr; BDD x = mgr.bddVar(); BDD y = mgr.bddVar(); BDD f = x * y; Теперь, с е, я хочу получить своего тогдашнего р…
07 дек '17 в 22:04
0 ответов

Исследование государственного пространства в источнике NuSMV

Я работаю над программой коррекции / синтеза проекта. Моя задача - получить трассировку ошибок (контрпример), найти ее в полном пространстве состояний и восстановить модель в этом месте. Я хочу реализовать это как расширение NuSMV. Я отлаживал NuSMV…
11 дек '17 в 06:22
0 ответов

Диаграмма решения для логической функции с несколькими выходами в CUDD

Я знаю, что CUDD поддерживает ADD (Алгебраические Диаграммы Решений), но я не могу понять, как я могу использовать ADD для нескольких выходных логических функций. ADD для таких функций должен иметь несколько листов, каждый из которых представляет ло…
17 июл '17 в 06:05
2 ответа

Представление BDD в CUDD без упрощения

Можно ли получить bdd для (x0 ∧ x1) ∨ (x0 ∧! X1) ∨ (! X0 ∧ x1) ∨ (! X 0 ∧! X 1), в котором все еще есть узлы, представляющие переменные x0 и x1, используя CUDD? Я знаю, что приведенная выше логическая формула упрощает константу до функции 1. Но я вс…
04 июн '18 в 11:44
2 ответа

Как кодировать целые числа в BDD

Я реализую в Java. В данный момент я пытаюсь использовать BDD (Binary Decision Diagramms) для хранения отношений в структуре данных. Например, R={(3,2),(2,0)} и соответствующий BDD: По этой причине я искал библиотеки, которые имеют функции BDD, чтоб…
25 янв '14 в 19:05
0 ответов

Как вычислить достижимое символическое пространство состояний для двоичной диаграммы решений

Этот вопрос о том, как создать символьное пространство состояний для проверки символьной модели. Сначала я перейду к некоторому фону, который заставляет меня хотеть сделать это для MDD, затем я объясню вопрос более подробно. Эта лекция Эдмунда М. Кл…
29 май '18 в 15:34
2 ответа

1 дерево решений имеет максимум 2^d узлов. Сколько узлов для n деревьев решений?

1 дерево решений имеет не более 2^d узлов, Сколько узлов для n деревьев решений? n * (2^d), или 2^(nd), или 1+2+...+2^d, или что-нибудь еще? Спасибо!
26 ноя '17 в 08:27
1 ответ

Реализация BDD на Java

У кого-нибудь есть предложения по реализации BDD (бинарных диаграмм решений) в Java (или той, которая обеспечивает привязки Java)? Я нашел эту страницу в Интернете: http://www.mancoosi.org/~abate/avalaible-bdd-libraries но не уверен, что она устарел…
28 июл '12 в 15:28
3 ответа

Бинарная диаграмма решений

В Java у меня есть набор выражений, таких как cond1 AND (cond2 ИЛИ cond3) И ( cond 4 ИЛИ cond5). Я хотел бы преобразовать его в дерево, а затем оценить окончательный логический ответ. Я пытался много искать вокруг Java BDD, но не смог ничего найти. …
19 янв '11 в 16:57