
- •1.Множества, подмножества. Операции над множествами и их свойства. Диаграммы Эйлера – Венна
- •2.Покрытия и разбиения множеств. Биномиальные коэффициенты и числа Стирлинга второго рода. Перечисление элементов множеств.
- •3.Представление множеств в эвм. Коды Грея. Мультимножества.
- •4.Отношения и их основные свойства. Композиция отношений.
- •5.Отношение эквивалентности и его свойства. Отношение порядка и его свойства. Матричное представление отношений.
- •6.Функции, их свойства. Представление функций в эвм. Инъекция, сюръекция и биекция, их свойства.
- •7.Подстановки, перестановки, группы подстановок. Представление подстановок циклами.
- •8.Операции на алгебраических структурах. Группы, подгруппы, нормальные группы, их свойства.
- •9.Кольца, их основные свойства. Кольца многочленов, их свойства. Подкольца, идеалы, их свойства. Поля, их основные свойства.
- •10.Графы и орграфы. Простейшие типы графов. Представление отношений графами.
- •11.Матрицы смежности и инцидентности, их основные свойства. Смежностные (реберные) графы.
- •12.Изоморфизм графов.
- •13. Подграфы. Остовные подграфы. Операции на графах.
- •14. Компоненты графа, связность.
- •15.Маршруты, цепи, циклы. Диаметр, радиус и обхват графа. Пути в орграфах.
- •17.Теоремы существования эйлеровых и гамильтоновых циклов.
- •18.Задачи о кратчайшем пути.
- •19. Вершинные и реберные раскраски графа. Хроматический многочлен, хроматическое число и хроматический индекс.
- •20. Планарность. Формула Эйлера. Теорема Потрягина-Куратовского. Теорема о четырех красках.
- •21.Деревья. Матричная теорема о деревьях, подсчет числа остовов.
- •22.Корневые деревья. Задачи о подсчете корневых деревьев. Высота дерева. Числа Фибоначчи, их свойства.
- •23. Кубические деревья. Числа Каталана, их свойства.
- •24.Основные понятия булевой алгебры: булев куб, булевы функции.
- •25.Элементарные булевы функции, их свойства. Существенные и фиктивные переменные. Основные функциональные элементы.
- •26.Формулы. Реализация булевых функций формулами. Принцип двойственности.
- •27.Разложение булевых функций по переменным. Совершенная днф и совершенная кнф.
- •28. Полиномы Жегалкина. Не полностью определенные (частичные) булевы функции.
- •29.Виды днф и кнф: сокращенные, минимальные, кратчайшие, тупико-вые.
- •30. Методы построения сокращенных днф. Минимизация днф. Геометрическая интерпретация. Метод Блейка.
- •31.Метод минимизирующих карт (карт Карно). Реализация булевых функций схемами из функциональных элементов.
- •32. Полнота и замкнутость
- •33.Важнейшие замкнутые классы. Теорема о полноте. Примеры функционально полных базисов.
- •34. Основные понятия о разрешимых и неразрешимых проблемах. Алгоритмы и разрешимость.
- •35. Схемы алгоритмов, схемы потоков данных и использовании теории графов и теории конечных автоматов для их описания.
- •36.Формула полной вероятности.
- •37.Формула Бейеса.
- •38.Формула Бернулли.
- •39.Функция распределения, плотность распределения и их свойства. Связь между ними.
- •40.Числовые характеристики случайных величин.
- •41.Нормальное распределение.
- •42. Метод золотого сечения
- •43.Метод касательных.
- •44.Метод наискорейшего спуска.
- •45.Метод покоординатного спуска.
- •46.Платежная матрица. Нижняя и верхняя цена игры. Принцип минимакса.
- •47.Решение игры в смешанных стратегиях.
- •48.Упрощение игр.
- •49.Игра 2 на 2.
- •50.Игры 2 на n и m на 2.
- •51.Марковский процесс с дискретными состояниями и дискретным временем
- •52.Марковский процесс с дискретными состояниями и непрерывным временем.
- •53.Система массового обслуживания с отказами.
- •54.Система массового обслуживания с ограничением по длине очереди.
- •55.Исчисление высказываний
- •57.Логика предикатов первого порядка
31.Метод минимизирующих карт (карт Карно). Реализация булевых функций схемами из функциональных элементов.
Наиболее простой (ручной) способ построения сокращенной ДНФ для функций небольшого числа переменных состоит в использовании минимизирующих карт, называемых картами Карно или диаграммами Вейча. Он основан на задании функции прямоугольной таблицей, причем наборы значений переменных на каждой из сторон прямоугольника записываются в коде Грея.
Нахождение простых импликант сводится к выделению в таблице максимальных по включению прямоугольников, состоящих из единиц. Дополнительно полагается, что каждая клетка таблицы, примыкающая к одной из сторон прямоугольника, является соседней к клетке, примыкающей к противоположной стороне и расположенной на той же горизонтали или вертикали.
Метод Карно основан на законе склеивания.Склеиваются наборы, отличающиеся друг от друга лишь значением одного разряда. Такие наборы называются соседними, и они соответствуют соседним клеткам карты Карно.Формируются такие наборы(коды Грея) по принципу симметрии.
Введем определение прямоугольника Карно, под которым будем понимать некоторую, зачастую разрозненную, фигуру покрытия, удовлетворяющую принципу симметрии, т.е. сплошь состоящую из элементарных прямоугольников Карно, закодированных только соседними наборами.
Этот метод применим также и для не всюду определенных функций. В этом случае выделяются максимальные прямоугольники, содержащие хотя бы одну единицу и не содержащие нулей.
Например,
функции
соответствует минимизирующая карта,
представленная таблицей 1.
Таблица 1.
Карта Карно функции
.
|
0 0 |
0 1 |
1 1 |
1 0 |
0 0 |
11 |
1 |
|
1 |
0 1 |
|
11 |
1 |
|
1 1 |
1 |
11 |
1 |
|
1 0 |
|
1 |
|
|
В таблице 1 для упрощения выделения требуемых прямоугольников пропущены нулевые значения функции, а единичные значения, объединяемые в соответствующие прямоугольники, обозначены 1 и 1. Коды максимальных интервалов представимы в следующей форме:
–
соответствует
прямоугольнику из строки 1 и столбцов
1, 4;
–
соответствует
прямоугольнику из строки 1 и столбцов
1, 2;
–
соответствует
прямоугольнику из строк 1, 2, 3, 4 и столбца
2;
–
соответствует
прямоугольнику из строк 2, 3 и столбцов
2, 3;
–
соответствует
прямоугольнику из строки 3 и столбцов
1, 2.
Поэтому сокращенная ДНФ функции принимает следующий вид:
.
При нахождении тупиковых ДНФ можно использовать алгоритм Квайна, дополняемый исследованием специальной таблицы, и карты Карно.
При построении кратчайших ДНФ на карте Карно отыскивается минимальная по числу элементов совокупность прямоугольников, отвечающих простым импликантам функции и покрывающих все единицы карты Карно. В частности, в рассмотренном примере найдена кратчайшая ДНФ функции .