Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
Разработка многокорневых разрешающих диаграмм для целочисленных функций. / Бугайченко, Д.Ю.; Соловьев, И.П.
в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ, № 2, 2010, стр. 90-97.Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
}
TY - JOUR
T1 - Разработка многокорневых разрешающих диаграмм для целочисленных функций
AU - Бугайченко, Д.Ю.
AU - Соловьев, И.П.
PY - 2010
Y1 - 2010
N2 - В работе предлагаются новые структуры данных для представления целочисленных функций и матриц: многокорневые бинарные разрешающие диаграммы (MRBDD), а также алгоритмы выполнения некоторых стандартных операций над целочисленными функциями и матрицами в таком представлении. За счет более эффективного повторного использования элементов структуры многокорневые бинарные разрешающие диаграммы оказываются более компактной формой представления по сравнению с широко распространенными многотерминальными бинарными разрешающими диаграммами (MTBDD). Приведенные в работе экспериментальные результаты показывают, что многокорневые бинарные разрешающие диаграммы являются перспективной заменой многотерминальных бинарных разрешающих диаграмм, в том числе и в таких задачах, как вероятностная верификация, манипуляция распределениями вероятности, анализ сетей Петри и других моделей вычислительных систем.
AB - В работе предлагаются новые структуры данных для представления целочисленных функций и матриц: многокорневые бинарные разрешающие диаграммы (MRBDD), а также алгоритмы выполнения некоторых стандартных операций над целочисленными функциями и матрицами в таком представлении. За счет более эффективного повторного использования элементов структуры многокорневые бинарные разрешающие диаграммы оказываются более компактной формой представления по сравнению с широко распространенными многотерминальными бинарными разрешающими диаграммами (MTBDD). Приведенные в работе экспериментальные результаты показывают, что многокорневые бинарные разрешающие диаграммы являются перспективной заменой многотерминальных бинарных разрешающих диаграмм, в том числе и в таких задачах, как вероятностная верификация, манипуляция распределениями вероятности, анализ сетей Петри и других моделей вычислительных систем.
KW - бинарные диаграммы решений
KW - binary decision diagrams
M3 - статья
SP - 90
EP - 97
JO - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ
JF - ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ
SN - 1025-3106
IS - 2
ER -
ID: 5157519