Метрический анализ эффективности алгоритмов минимизации частичных функций алгебры логики Карханян, Лева Мартинович

Короткий опис

Караханян, Лева Мартинович.
Метрический анализ эффективности алгоритмов минимизации частичных функций алгебры логики : диссертация ... кандидата физико-математических наук : 01.01.09. - Москва, 1984. - 121 с. : ил.
Оглавление диссертациикандидат физико-математических наук Карханян, Лева Мартинович
ВВЕДЕНИЕ
ГЛАВА I. ОБЩАЯ ЧАСТЬ. СЛОЖНОСТЬ И ОТНОСИТЕЛЬНАЯ СЛОЖНОСТЬ
Д.Н.Ф. ЧАСТИЧНЫХ ФУНКЦИЙ АЛГЕБРЫ ЛОГИКИ . II
§ I. Определения и обозначения .II
§ 2. Соотношение между параметрами всюду оцределенных и частичных булевых функции
§ 3. Оценки максимальных значений сложности однозначно определяемых,тупиковых и минимальных д.н.ф.
§ 4. Относительная сложность однозначно определяемых д.н.ф.
§ 4.1. Относительная сложность сокращенной д.н.ф.
§ 4.2. Относительная сложность д.н.ф. Квайна • •
§ 4.3. Относительная сложность д.н.ф. суммы тупиковых
§ 4.4. Относительная сложность д.н.ф., получаемой ^ -алгоритмом
§ 4.5. Относительная сложность д.н.ф. суммы
- минимальных