Методы и алгоритмы линейных и аффинных преобразований для модели бинарных диаграмм решений

Оглавление
Введение
1 Глава 1. Базовые понятия и определения
1.1 Необходимые определения
1.2 Линейные и аффинные преобразования
1.3 Модели компактного представления бинарного дерева виды диаграмм.
1.4 Бинарные диаграммы решений формальный подход
1.5 Бинарные диаграммы решений с разделением общих частей для функций с
несколькими выходами
1.6 Минимизация не полностью заданных функций.
1.7 Выводы
2 Глава 2. Линейные и аффинные преобразования переменных и обоснование
алгоритмов
2.1 Проблема сокращения размера бинарных диаграмм с помощью линейных и
аффинных преобразований..
2.2 Линейные и аффинные преобразования переменных и сокращение размера
бинарных диаграмм решений.
2.3 Матричное задание линейных и аффинных преобразований
2.4 Теорема 2.1.
2.5 Теорема 2.2.
2.6 Анализ влияния линейных и аффинных преобразований над соседними
переменными на бинарное дерево
2.7 Идея алгоритма сокращения размера БДР.
2.8 Выводы
3 Глава 3. Построение алгоритмов
3.1 Построение алгоритма
3.2 Алгоритм упорядочения дерева
3.3 Модифицирова1ШЫЙ алгоритм А1
3.4 Метод двухуровнего перебора А2
3.5 Алгоритм выявления симметрии АЗ.
3.6 Алгоритм однородности А4
3.7 Выводы
9 4 Глава 4. Теоремы и экспериментальные оценки эффективности алгоритмов
4.1 Число шагов алгоритма однородности
4.2 Пример сокращения БДР функции ХСЖ5 алгоритмом А4
4.3 Экспериментальная оценка уменьшения бинарных диаграмм.
4.4 Эффективность работы алгоритмов и их совокупностей на функциях с одним выходом для различного числа входящих переменных
4.5 Функции с несколькими выходами
4.1 Описание программного комплекса
4.2 Выводы
т Заключение.
Литература