Research output: Contribution to journal › Article › peer-review
Библиотека многокорневых бинарных решающих диаграмм BddFunctions и её применение. / Бугайченко, Д.Ю.; Соловьев, И.П.
In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ, Vol. 5, No. 1, 2010, p. 190-213.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - Библиотека многокорневых бинарных решающих диаграмм BddFunctions и её применение
AU - Бугайченко, Д.Ю.
AU - Соловьев, И.П.
PY - 2010
Y1 - 2010
N2 - В данной работе мы предлагаем структуры данных для представления конечнозначных функций и матриц --- многокорневые бинарные решающие диаграммы (MRBDD), а также алгоритмы выполнения некоторых операций (сумма, произведение, суперпозиция, сравнение) над объектами в этом представлении. За счет более эффективного повторного использования элементов структуры многокорневые бинарные решающие диаграммы обеспечивают более компактное представление по сравнению с широкораспространенными многотерминальными бинарными решающими диаграммами MTBDD, что подтверждается экспериментальными результатами. Предложенный подход реализован авторами в рамках библиотеки BddFunctions, предоставляющей гибкий объектно-ориентированный C++ интерфейс для работы с функциями, матрицами и множествами.
AB - В данной работе мы предлагаем структуры данных для представления конечнозначных функций и матриц --- многокорневые бинарные решающие диаграммы (MRBDD), а также алгоритмы выполнения некоторых операций (сумма, произведение, суперпозиция, сравнение) над объектами в этом представлении. За счет более эффективного повторного использования элементов структуры многокорневые бинарные решающие диаграммы обеспечивают более компактное представление по сравнению с широкораспространенными многотерминальными бинарными решающими диаграммами MTBDD, что подтверждается экспериментальными результатами. Предложенный подход реализован авторами в рамках библиотеки BddFunctions, предоставляющей гибкий объектно-ориентированный C++ интерфейс для работы с функциями, матрицами и множествами.
KW - бинарные диаграммы решений
M3 - статья
VL - 5
SP - 190
EP - 213
JO - СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ
JF - СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ
SN - 1818-9105
IS - 1
ER -
ID: 5157490