Библиотека многокорневых бинарных решающих диаграмм BddFunctions и её применение

Standard

Библиотека многокорневых бинарных решающих диаграмм BddFunctions и её применение. / Бугайченко, Д.Ю.; Соловьев, И.П.

в: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ, Том 5, № 1, 2010, стр. 190-213.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

BibTeX

@article{b3a86aefdd6f4898893f8b65bd63e676,

title = "Библиотека многокорневых бинарных решающих диаграмм BddFunctions и её применение",

abstract = "В данной работе мы предлагаем структуры данных для представления конечнозначных функций и матриц --- многокорневые бинарные решающие диаграммы (MRBDD), а также алгоритмы выполнения некоторых операций (сумма, произведение, суперпозиция, сравнение) над объектами в этом представлении. За счет более эффективного повторного использования элементов структуры многокорневые бинарные решающие диаграммы обеспечивают более компактное представление по сравнению с широкораспространенными многотерминальными бинарными решающими диаграммами MTBDD, что подтверждается экспериментальными результатами. Предложенный подход реализован авторами в рамках библиотеки BddFunctions, предоставляющей гибкий объектно-ориентированный C++ интерфейс для работы с функциями, матрицами и множествами.",

keywords = "бинарные диаграммы решений",

author = "Д.Ю. Бугайченко and И.П. Соловьев",

year = "2010",

language = "русский",

volume = "5",

pages = "190--213",

journal = "СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ",

issn = "1818-9105",

publisher = "Издательство Санкт-Петербургского университета",

number = "1",

}

RIS

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