|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
О сложности упорядоченных двоичных решающих диаграмм булевых функций из некоторых классов дипломная работа (Специалист)
- Научный руководитель: Селезнева С.Н.
- Автор: Красиков А.О.
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2014
- Аннотация: В дипломной работе выделены некоторые классы булевых функций, зависящих от n переменных, сложность которых в классе OBDD равна n. Показано, как устроены оптимальные порядки переменных для OBDD этих функций. Доказаны теоремы о сложности OBDD булевых функций некоторых видов при смешивающих и несмешивающих порядках переменных. Доказана точная оценка сложности одной последовательности булевых функций в классе OBDD.
- Добавил в систему: Селезнева Светлана Николаевна