Задача минимизации булевых функций.
Любую булеву функцию можно представить в виде ДНФ, при чем это представление не единственно.
Они отличаются числом элементарных конъюнкций, букв, отрицаний. Качество такого представления оценивается при помощи индексов простоты.
Задача минимизации: необходимо найти такое представление функции в виде ДНФ, которое имеет минимальный индес простоты.
Рассматривается 3 отдельных задачи:
1)минимизация числа конъюнкций
2)минимизация числа букв
3)минимизация числа отрицаний
Эти задачи можно решать следующим образом:
1)найти всевозможные представления ф-ции в виде ДНФ с ограниченным числом конъюнкций,букв, отрицаний;
2)среди этих предствалений найти то, которое имеет минимальный индекс простоты. Такой способ называется переборным (ограничение на число букв, конъюнкций, отрицаний)
Редко применим.
-
Содержание
- Множества. Основные понятия.
- Операции над множествами и их свойства.
- Декартово произведение. Разбиение множеств.
- Алгебра множеств
- Отношение. Бинарное отношение
- Алгебра бинарных отношений
- Отображение. Виды отображений
- Отношение порядка. Изоморфизм упорядоченных множеств.
- Алгебраические системы. Изоморфизм алгебраических систем.
- Функции алгебры логики.
- Формулы. Реализация функций формулами.
- Эквивалентность формул. Свойства элементарных булевых функций.
- Двойственные функции. Принцип двойственности
- Разложение булевых функций по переменным. Сднф.
- Разложение булевых функций по переменным. Скнф.
- Полнота и замкнутость.
- Представление булевых функций в виде полинома Жегалкина. Теорема Жегалкина.
- Классы т0, т1.
- Класс s.
- Класс м.
- Класс l
- Задача минимизации булевых функций.
- Задача минимизации булевых функций в геометрической постановке.
- Сокращенные днф.
- Тупиковые днф и решение задачи минимизации.
- Графы. Основные понятия.
- Орграфы. Основные понятия.
- Маршруты. Цепи. Циклы. Связность.
- Операции над графами
- 30.Двудольные графы.
- 31. Планарные графы.
- 32. Эйлеровы и гамильтоновы графы
- 33. Дерево. Лес
- 34. Графическое разбиение.
- 35. Способы задания графов
- 36. Типы связности орграфов
- 38. Задача о минимальном остовном дереве. Алгоритмы Прима и Краскала.
- 39. Задача о максимальном потоке и минимальном разрезе. Алгоритм Форда-Фалкерсона.
- 40. Теорема Форда-Фалкерсона