Хмельнов А.Е., Игнатьев А.С., Семенов А.А. "ДВОИЧНЫЕ ДИАГРАММЫ РЕШЕНИЙ В ЛОГИЧЕСКИХ УРАВНЕНИЯХ И ЗАДАЧАХ ОБРАЩЕНИЯ ДИСКРЕТНЫХ ФУНКЦИЙ"

ДВОИЧНЫЕ ДИАГРАММЫ РЕШЕНИЙ В ЛОГИЧЕСКИХ УРАВНЕНИЯХ И ЗАДАЧАХ ОБРАЩЕНИЯ ДИСКРЕТНЫХ ФУНКЦИЙ

В работе рассматриваются вопросы программной реализации одного подхода к задачам обращения дискрет-ных функций. В основе данного подхода лежит техника представления булевых функций в форме двоичных диа-грамм решений (BDD). Предложены новые приемы оптимизации использования памяти при работе с BDD. Опи-санные технологии тестируются на некоторых задачах криптоанализа.
Ключевые слова: двоичные диаграммы решений, логические уравнения, дискретные функции, криптоанализ.

A. E. Khmelnov, A. S. Ignatjev, A. A. Semenov
BINARY DECISION DIAGRAMS IN LOGICAL EQUATIONS
AND PROBLEMS OF DISCRETE FUNCTIONS INVERSION
The paper addresses software implementation of one approach to the problems of discrete functions inversion. Such an approach is based on the technique representing boolean functions in the form of binary decision diagrams (BDD). We propose new methods of memory usage optimization when working with BDD. The described technology is tested on some cryptanalysis problems.
Keywords: binary decision diagrams, logical equations, discrete functions, cryptanalysis.

Страницы 36 - 52

Прикрепленный файлРазмер
03.pdf419.16 кб