АЛГОРИТМ РЕДАГУВАННЯ БІНАРНИХ ДІАГРАМ РІШЕНЬ НА МІСЦІ

Володимир Володимирович Міхав

Анотація


Ефективне представлення матриць у пам’яті комп’ютера дає можливість будувати і опрацьовувати моделі складних об’єктів. Бінарні діаграми рішень компактні, але вимагають значних обчислень для редагування значень У статті ми описуємо спосіб редагування бінарних діаграм рішень на місці, який дає можливість змінити значення діаграми на одному наборі параметрів. Описаний алгоритм дозволяє балансувати кількість обчислень і витрати пам’яті, що сприяє оптимізації витрат ресурсів. Також у статті ми пропонуємо алгоритм управління пам’яттю при роботі з бінарними діаграмами рішень.


Повний текст:

PDF

Посилання


Карпов Ю. Г. MODEL СHECKING. Верификация параллельных и распределенных программных систем / Юрий Глебович Карпов. – СПб.: БХВ-Петербург, 2010. – С. 295–366

Кнут Д. Э. Искусство программирования, том 4, А. Комбинаторные алгоритмы, часть 1 / Дональд Эрвин Кнут; пер. с англ. И. В. Красикова. – М.: ООО "И. Д. Вильямс", 2013. – 960 с.

Fujita M. Multi-terminal binary decision diagrams: An efficient data structure for matrix representation / M. Fujita, P. McGeer, J. Yang. // Formal methods in system design. – 1997. – Volume 10. – P. 149–169.


Посилання

  • Поки немає зовнішніх посилань.