Академический Документы
Профессиональный Документы
Культура Документы
Программа курса………………………………...……….….…. 4
Рекомендуемая литература…………………………………..... 5
Задачи для контрольной работы................................................ 10
Методические указания для выполнения контрольной
18
работы...........................................................................................
1Теория множеств……………………………...………... 18
1.1 Способы задания множеств…………………………. 18
1.2 Отношения между множествами…………….……... 18
1.3 Диаграммы Венна………………………………….… 19
1.4 Операции над множествами.............................…..…. 19
1.5 Свойства операций над множествами..………….…. 20
1.6 Отношения на множествах....................…...........…... 21
2Комбинаторика…………………………………………. 23
2.1 Перестановки, размещения и сочетания без
23
повторений…………….......……………………………...
2.2 Выборки с повторениями…………..………………... 24
2.3 Формулы включений и исключений………………... 27
2.4 Рекуррентные соотношения. Возвратные
последовательности…..………………..……….……….. 29
3Алгебра логики……………..…………………..………. 31
3.1 Булевы функции………………………………….….. 31
3.2 Булева алгебра……………………………………….. 32
3.3 Нормальные формы………………………………….. 33
3.4 Минимизация булевых функций в классе ДНФ…… 37
3.5 Метод Квайна получения минимальной ДНФ....….. 37
3.6 Нахождение минимальной ДНФ с помощью карт
Карно…………………………………………………..…. 41
3.7 Булева алгебра и переключательные схемы……….. 43
4Теория графов……………………………….……....….. 45
4.1 Способы задания графов…………………………….. 47
4.2 Маршруты, цепи, циклы…………………………….. 49
4.3 Эйлеровы графы……………………………………... 50
4.4 Задача поиска минимального остова графа………... 51
4.5 Задача поиска кратчайших расстояний между всеми
парами вершин графа……………………………. 52
5Конечные автоматы……………….…………………… 53
5.1 Определение, способы представления конечного
автомата………………………………………..………… 53
5.2 Минимизация конечных автоматов………………… 55
МУА 2021-2022 Дискретная математика. АЕС
ПРОГРАММА КУРСА
Теория множеств
Множества, способы задания множеств. Диаграммы Венна.
Операции над множествами. Бинарное отношение между элементами
множества, виды бинарных отношений. Свойства операций над
множествами.
Комбинаторика
Перестановки, размещения, сочетания без повторений. Выборки
из множества с повторением элементов. Правило суммы, правило
произведения. Формула включений и исключений.
Последовательности, рекуррентные соотношения. Возвратные
последовательности. Характеристический многочлен возвратной
последовательности. Общее и частное решение рекуррентного
соотношения.
Алгебра логики
Булевы переменные, булевы функции. Основные булевы функции
одного и двух аргументов. Существенные и фиктивные переменные.
Булева алгебра, основные законы. Элементарная дизъюнкция,
элементарная конъюнкция, дизъюнктивная и конъюнктивная
нормальные формы. Нахождение нормальных форм с
использованием законов булевой алгебры. Конституента единицы,
конституента нуля. Совершенные дизъюнктивная и конъюнктивная
нормальные формы. Построение совершенных форм по таблице
истинности и с использованием законов булевой алгебры.
Импликанта, простая импликанта. Сокращенная дизъюнктивная
нормальная форма, тупиковая дизъюнктивная нормальная форма,
минимальная ДНФ. Метод Квайна, операции склеивания и
поглощения, импликантная таблица, процедура ветвления.
Нахождение минимальной ДНФ с помощью карт Карно, покрытие.
Булева алгебра в применении к переключательным схемам.
Графы
Графы, вершины, ребра, порядок графа. Смежные вершины,
понятие инцидентности ребра и вершины. Полные графы,
мультиграфы, псевдографы, орграфы, взвешенные графы. Степень
вершины, лемма о "рукопожатиях". Способы задания графа, матрицы
смежности и инцидентности. Изоморфные графы.
Маршрут, его длина. Цепь, простая цепь. Цикл, простой цикл.
Связный граф, компоненты связности графа.
2
МУА 2021-2022 Дискретная математика. АЕС
4 ( A \ C ) ( B \ C ) ( A B) \ C
5 ( A B) \ ( A C ) A ( B \ C )
6 ( A \ C ) \ ( B \ C ) ( A \ B) \ C
7 ( A \ C ) ( B \ C ) ( A B) \ C
8 ( A B) \ ( A C ) ( A C) ( A B)
9 ( A \ C ) ( B \ C ) ( A B) \ C
10 ( A \ B) ( A C ) A \ ( B \ C )
11 ( A B ) \ ( A B ) ( A \ B ) ( B \ A)
12 A \ ( B C ) ( A \ B) \ C
13 A ( A B) A \ B
14 ( A B) \ ( A C ) ( B \ A) ( A \ C )
15 ( A \ B) \ C ( A \ C ) \ B
16 ( A \ B) ( A C ) ( A C ) \ B
3
МУА 2021-2022 Дискретная математика. АЕС
17 ( A \ B) \ ( A C ) ( A \ C ) \ B
18 A \ (( A B) \ C ) ( A \ B) ( A C )
19 ( A B) \ ( B C ) ( A \ B) ( B \ C )
20 A \ (( A B) ( A C )) ( A \ B ) \ C
Задачи 21-40
Пусть имеется множество A={1,2,3,4}, на этом множестве
определены отношения RA2 и PA2.
а) Определить, является ли отношение P рефлексивным.
б) Построить графические представления отношений R, P, P◦R.
в) Найти области определения и множества значений для
отношений R, P, P◦R.
Номер
Отношения R, P
задачи
21 R={(x,y)| x 2 12y}, P={(x,y)| xy+1 делится на 3}
22 R={(x,y)| x 2 2y}, P={(x,y)| xy+1 делится на 3}
23 R={(x,y)| x 2 3(x+y)}, P={(x,y)| xy+1 делится на 3}
24 R={(x,y)| x 2 3(y-x)}, P={(x,y)| xy+1 делится на 3}
25 R={(x,y)| x 2 12y}, P={(x,y)| x+3y делится на 4}
26 R={(x,y)| x 2 2y }, P={(x,y)| x+3y делится на 4}
27 R={(x,y)| x 2 3(x+y)}, P={(x,y)| x+3y делится на 4}
28 R={(x,y)| x 2 3(y-x)}, P={(x,y)| x+3y делится на 4}
29 R={(x,y)| x 2 12y}, P={(x,y)| x+y2 делится на 3}
30 R={(x,y)| x 2 2y }, P={(x,y)| x+y2 делится на 3}
31 R={(x,y)| x 2 3(x+y)}, P={(x,y)| x+y2 делится на 3}
32 R={(x,y)| x 2 3(y-x)}, P={(x,y)| x+y2 делится на 3}
33 R={(x,y)| x 2 12y}, P={(x,y)| x 2 +3y делится на 4}
34 R={(x,y)| x 2 2y }, P={(x,y)| x 2 +3y делится на 4}
35 R={(x,y)| x 2 3(x+y)}, P={(x,y)| x 2 +3y делится на 4}
36 R={(x,y)| x 2 3(y-x)}, P={(x,y)| x 2 +3y делится на 4}
37 R={(x,y)| x 2 12y}, P={(x,y)| 2x+y2 делится на 4}
38 R={(x,y)| x 2 2y }, P={(x,y)| 2x+y2 делится на 4}
39 R={(x,y)| x 2 3(x+y)}, P={(x,y)| 2x+y2 делится на 4}
40 R={(x,y)| x 2 3(y-x)}, P={(x,y)| 2x+y2 делится на 4}
Задачи 41-60
4
МУА 2021-2022 Дискретная математика. АЕС
Задачи 61-70
Задачи 71-80
Найти количество положительных трехзначных чисел:
а) не делящихся ни на одно из чисел a,b,c;
б) делящихся ровно на одно число из чисел a,b,c.
5
МУА 2021-2022 Дискретная математика. АЕС
Номер
а b c
задачи
71 6 9 15
72 4 7 18
73 3 4 14
74 5 6 16
75 3 8 20
76 6 14 20
77 8 11 14
78 9 10 12
79 7 15 30
80 12 8 34
Задачи 81-100
Задачи 101-120
6
МУА 2021-2022 Дискретная математика. АЕС
Задачи 121-140
Номер Номер
Список ребер с весами Список ребер с весами
задачи задачи
121 (1,4,5), (1,5,3), (1,6,1), 131 (1,3,2), (1,7,5), (2,6,7),
(1,8,4), (2,3,6), (2,6,3), (2,8,3), (3,6,8), (4,7,2),
(3,8,2), (4,5,1), (4,6,5), (4,8,1), (5,6,4), (5,8,6),
(4,7,4), (6,7,7) (6,7,9), (7,8,5)
122 (1,2,6), (1,4,8), (1,5,5), 132 (1,2,9), (1,3,5), (1,5,4),
(1,6,3), (2,3,6), (2,4,1), (1,6,7), (2,6,1), (2,8,7),
(2,5,2), (3,8,7), (4,5,1), (3,4,8), (3,5,3), (3,6,1),
(4,6,2), (4,7,5), (4,8,9), (3,7,2), (4,8,6), (5,6,3),
(5,6,3), (6,8,2), (7,8,5) (5,7,4)
7
МУА 2021-2022 Дискретная математика. АЕС
8
МУА 2021-2022 Дискретная математика. АЕС
Задачи 141-160
Найти минимальный автомат, эквивалентный данному.
9
МУА 2021-2022 Дискретная математика. АЕС
10
МУА 2021-2022 Дискретная математика. АЕС
11
МУА 2021-2022 Дискретная математика. АЕС
12
МУА 2021-2022 Дискретная математика. АЕС
13
МУА 2021-2022 Дискретная математика. АЕС
14
МУА 2021-2022 Дискретная математика. АЕС
15
МУА 2021-2022 Дискретная математика. АЕС
R P S
16
МУА 2021-2022 Дискретная математика. АЕС
Пусть дано множество M={a1, a2, a3, ..., an}. Набор элементов
ai , ai ,..., ai из множества М называется выборкой объема m из n
1 2 m
17
МУА 2021-2022 Дискретная математика. АЕС
18
МУА 2021-2022 Дискретная математика. АЕС
(n m 1)!
C nm C nmm1
m!(n 1)!
Пример 2.5. Сколько различных вариантов количества очков
может выпасть при бросании двух кубиков?
7!
C62 C72 21 .
2!5!
Перестановками с повторениями из n элементов по k называется
упорядоченная выборка из k элементов множества, в которой каждый
элемент множества встречается ki раз (причем, k1+k2+...+kn=k). Число
перестановок с повторениями обозначается Pk1,,kn
k!
Pk1,,kn
k1! k 2 ! k n !
Пример 2.6. Сколько разных слов можно образовать при
перестановке букв слова «математика»?
В слове «математика» буква «м» встречается 2 раза, «а» – 3 раза, «т»
– 2 раза, «е» – 1 раз, «и» – 1 раз, «к» – 1 раз. Поэтому число различных
слов равно
10!
P2,3,2,1,1,1 151200
2!3!2!1!1!1!
При подсчете числа комбинаций используют два правила:
правило суммы и правило произведения.
Правило суммы. Если объект А можно выбрать m способами, а
объект B – k способами, то объект «либо А, либо В» можно выбрать
m+k способами.
Правило произведения. Если объект А можно выбрать m
способами, а после каждого такого выбора объект В можно выбрать
k способами, то пару объектов А и В можно выбрать mk способами.
Пример 2.7. Сколько разных четырехзначных чисел можно
составить из цифр 0, 1, 2?
Из цифр 0, 1, 2 можно составить A43 3 4 81 число, но сюда
входят числа, у которых первая цифра нуль, которые не являются
четырехзначными. Таких чисел будет A33 33 27 . Поэтому ответ
81 – 27 = 54.
Пример 2.8 Сколько различных пятизначных чисел можно
составить из цифр числа 1111222345600?
Разделим все составленные числа на группы по первой цифре в
числе. Таких групп будет три.
19
МУА 2021-2022 Дискретная математика. АЕС
20
МУА 2021-2022 Дискретная математика. АЕС
A B C A B C A B AC B C A B C
21
МУА 2021-2022 Дискретная математика. АЕС
S0 N , Sk N i1ik (k 1, , n)
1i1ik n
Обобщая, получаем формулу, позволяющую вычислить число
N(r) элементов, обладающих ровно r свойствами 1 r n .
n r
N ( r ) ( 1) k Crrk Sr k (1)
k 0
22
МУА 2021-2022 Дискретная математика. АЕС
999 99
N3 333 33 300,
3 3
999 99
N5 199 19 180,
5 5
999 99
N7 142 14 128.
7 7
Так как N3,5 – число чисел, делящихся одновременно на 3 и 5, а
наименьшее общее кратное 3 и 5 равно 15, то
999 99
N 3, 5 66 6 60 . Аналогично,
15 15
999 99
N 3, 7 47 4 43,
21 21
999 99
N 5, 7 28 2 26,
35 35
999 99
N 3, 5 , 7 9 0 9.
105 105
По формуле (1) находим искомое число чисел:
31
N (1) (1) k C11 k S1 k (1) 0 C11 S1 (1)1 C21 S 2 (1) 2 C31 S 3
k 0
N 3 N 5 N 7 2N 3, 5 N 3, 7 N 5, 7 3N 3, 5, 7
(300 180 128) 260 43 26 3 9 608 158 27 477.
23
МУА 2021-2022 Дискретная математика. АЕС
Многочлен p( x) x k p1 x k 1 pk называется
характеристическим для возвратной последовательности.
Множество всех последовательностей, удовлетворяющих
данному рекуррентному соотношению, называется общим решением.
Описание общего решения имеет аналоги с описанием решения
обыкновенного дифференциального уравнения с постоянными
коэффициентами. Пусть – корень характеристического уравнения.
Тогда общее решение рекуррентного соотношения можно найти
следующим образом:
1. если i – корень кратности 1 (i=1,…,k), то общее решение имеет
вид an c11n c2 2 n cn nk , где ci = const (i=1,…,k).
2. если i – корень кратности ri (i=1,…,k), то общее решение имеет
вид an
n
ci1 ci2 n ciri
n ri 1 in , где ci j –
i 1
произвольные константы (i=1,…,n, j=1,…,ri).
Зная общее решение рекуррентного соотношения, по начальным
условиям можно найти неопределенные постоянные и тем самым
получить частное решение рекуррентного уравнения с данными
начальными условиями.
Пример 2.13. Найти последовательность {an}, удовлетворяющую
рекуррентному соотношению
an 3 3an 2 an 1 3an 0, a1 3, a2 11, a3 27.
Составим характеристический многочлен p( ) 3 32 3.
Для нахождения корней сгруппируем слагаемые
3 32 3 2 ( 3) ( 3) 2 1 3.
Составим характеристическое уравнение 2 1 3 0. Его
корнями являются числа 1 1, 2 1, 3 3 . Следовательно, общее
решение рекуррентного соотношения имеет вид:
an c1 (1) c2 3 c3 . Используя начальные условия, получим
n n
систему:
c1 c 2 3c3 3,
c1 c 2 9c3 11,
c c 27c 27,
1 2 3
решая которую находим с1=1, с2= 1, с3=1. Таким образом,
an 1 (1) n 3n .
24
МУА 2021-2022 Дискретная математика. АЕС
3 Алгебра логики
3.1 Булевы функции
Функцией алгебры логики или булевой функцией называется
функция n переменных f x1 , x2 ,..., xn , если аргументы функции
являются булевыми переменными (т.е. xi 0,1, i 1,..., n ), и функция
может принимать только два значения: 0 или 1. Таким образом,
булева функция f : 0,1 0,1 . Булевы функции называются также
n
25
МУА 2021-2022 Дискретная математика. АЕС
x1 x2 f3 f4 f5 f6 f7 f8
0 0 0 0 0 1 1 1
0 1 0 1 1 1 0 1
1 0 0 1 1 0 0 1
1 1 1 1 0 1 1 0
Приведем обозначения и названия этих функций. Функция f3
называется конъюнкцией x1 и x2 и обозначается x1x2. Функция f4
называется дизъюнкцией x1 и x2 и обозначается x1 x2 . Функция f5
называется суммой по модулю 2 и обозначается x1 x2 . Функция f6
называется импликацией и обозначается x1 x2 (читается x1 влечет
x2). Функция f7 называется эквивалентностью и обозначается x1 x2
(читается x1 эквивалентно x2). Функция f8 называется штрихом
Шеффера и обозначается x1|x2 (читается не x1 и x2).
С помощью операции суперпозиции из этих элементарных
функций можно построить функции большего числа аргументов.
Заметим, что булеву функцию можно однозначно определить
перечислением всех наборов, на которых она принимает значение 1.
Функция f ( x1 ,, xi1 , xi , xi1 ,, xn ) существенно зависит от
переменной xi, если
f ( x1 ,, xi1 ,0, xi , xi1 ,, xn ) f ( x1 ,, xi1 ,1, xi1 ,, xn ) для любых
значений x1,, xi 1 , xi 1,, xn . В противном случае переменная xi -
фиктивная. Наборы, отличающиеся значением только одной
переменной xi, называются соседними.
3.2 Булева алгебра
Множество булевых функций с операциями (дизъюнкция),
(конъюнкция), (отрицание) называется булевой алгеброй. Операция
отрицание имеет самый высокий приоритет, затем идет конъюнкция,
а затем дизъюнкция. Рассмотрим основные аксиомы булевой алгебры
(в аксиомах x, y, z могут быть булевыми переменными или
функциями).
1. x y y x
x y y x коммутативность
2. x ( y z ) ( x y ) z
x ( y z) ( x y) z ассоциативность
3. x x x
x x x идемпотентность
26
МУА 2021-2022 Дискретная математика. АЕС
4. x 1 x
x0 0
x 1 1
x0 x свойства констант
5. 1 0
0=1
xx аксиомы отрицания
6. x y z ( x y ) ( x z )
x ( y z ) x y x z дистрибутивность
7. x x 1 закон исключения третьего
8. x x 0 закон противоречия
9. x y x y
x y x y законы де Моргана
Если в формуле несколько одинаковых по старшинству операций
следуют друг за другом, то они выполняются слева направо.
Рассмотрим несколько дополнительных законов булевой алгебры,
которые могут быть доказаны с помощью перечисленных выше
аксиом и которые часто используются для эквивалентных
преобразований.
1. x x y x ( x y ) x поглощение
2. x y x y x склеивание
27
МУА 2021-2022 Дискретная математика. АЕС
Пример 3.3. x1 x2 x3 x1 x2 x3 , x2 x3
Аналогично, можно определить конъюнктивную нормальную
форму (КНФ), как конъюнкцию конечного множества попарно
различных элементарных дизъюнкций.
Пример 3.4. ( x1 x2 )( x1 ( x2 x3 )) , x2 x3
В примере видно, что x2 x3 является одновременно ДНФ и КНФ.
Для любой функции можно найти ее представление в ДНФ и
КНФ, используя аксиомы алгебры логики.
Пример 3.5. Найти ДНФ, КНФ для функции
f ( x1 , x2 , x3 , x4 ) ( x1 x2 x2 x3 )( x1 x4 )
акс.6
f ( x1 , x2 , x3 , x4 ) ( x1 x2 x2 x3 )( x1 x4 ) x1 x2 x1 x1 x2 x4
акс.1,3
x2 x3 x1 x2 x3 x4 x1x2 x1x2 x4 x1 x2 x3 x2 x3 x4 – ДНФ.
акс.6
f ( x1, x2 , x3 , x4 ) ( x1 x2 x2 x3 )( x1 x4 )
акс.1
( x1x2 x2 )( x1x2 x3 )( x1 x4 )
акс.6
( x2 x1x2 )( x3 x1x2 )( x1 x4 )
акс.1,7
( x2 x1 )( x2 x2 )( x3 x1 )( x3 x2 )( x1 x4 )
( x1 x2 )( x1 x3 )( x2 x3 )( x1 x4 ) – КНФ.
Любая булева функция может иметь много представлений в виде
ДНФ и КНФ. Особое место среди этих представлений занимают
совершенные ДНФ (СДНФ) и совершенные КНФ (СКНФ).
Конституентой единицы K1 набора a1 ,, an называется
конъюнкция всех переменных, образующих этот набор. Причем,
переменная входит в конъюнкцию с отрицанием, если она на данном
наборе равна 0 и без отрицания, если она равна 1. Конституентой
нуля K0 данного набора называется дизъюнкция всех переменных,
образующих этот набор. Переменная входит в дизъюнкцию без
отрицания, если она на этом наборе равна 0 и с отрицанием, если она
равна 1. Совершенная дизъюнктивная нормальная форма функции f –
дизъюнкция K1 тех наборов, на которых функция принимает значение
1. Совершенная конъюнктивная нормальная форма функции f –
конъюнкция K0 тех наборов, на которых функция принимает
значение 0. Представление функции в СДНФ или СКНФ
28
МУА 2021-2022 Дискретная математика. АЕС
29
МУА 2021-2022 Дискретная математика. АЕС
f ( x1 , x2 , x3 ) ( x1 x2 ) x3 ( x1 x2 x3 x3 )( x1 x1 x2 x2 x3 )
( x1 x2 x3 )( x1 x2 x3 )( x1 x2 x3 )( x1 x2 x3 )
( x1 x2 x3 )( x1 x2 x3 )
( x1 x2 x3 )( x1 x2 x3 )( x1 x2 x3 )( x1 x2 x3 )( x1 x2 x3 )
– СКНФ.
В дальнейшем для представления СДНФ функции f будем
указывать номера K1, на которых функция равна 1. Для определения
набора необходимо перевести номер K1 в двоичное число.
Пример 3.9. Пусть СДНФ функция f определяется следующим
образом.
f ( x1, x2 , x3 , x4 ) = V 1,5,8,11,14
1
Переведем номера K1 в двоичные числа
1 2 0 0 2 3 0 2 2 0 21 1 2 0 00012 ,
5 2 2 2 0 0 2 3 1 2 2 0 21 1 2 0 01012 ,
8 2 3 1 2 3 0 2 2 0 21 0 2 0 10002 ,
11 2 3 21 2 0 1 2 3 0 2 2 1 21 1 2 0 10112 ,
14 2 3 2 2 21 1 2 3 1 2 2 1 21 0 2 0 11102.
Таким образом, f обращается в 1 на наборах
(0,0,0,1), (0,1,0,1), (1,0,0,0), (1,0,1,1), (1,1,1,0).
Аналогично, для представления функции в СКНФ будем
использовать запись с указанием номеров K0, на которых функция
равна 0.
Пример 3.10. f ( x1, x2 , x3 , x4 ) = 2,3,7,11 .
0
Переведем номера K0 в
двоичные числа
2 2 0 2 0 2 1 21 0 2 0 00102 ,
1 3 2
3 21 2 0 0 2 3 0 2 2 1 21 1 2 0 00112 ,
7 2 2 21 2 0 0 2 3 1 2 2 1 21 1 2 0 01112 ,
11 2 3 21 2 0 1 2 3 0 2 2 1 21 1 2 0 10112.
Функция f обращается в 0 на наборах
(0,0,1,0), (0,0,1,1), (0,1,1,1), (1,0,1,1).
30
МУА 2021-2022 Дискретная математика. АЕС
x1 x2 x 1 x 2 x1 x2 x1 x2 x1 x2 x 1x 2 x1 x2 x1 x2
0 0 1 1 0 0 0 1 1 0 0
0 1 1 0 1 0 0 1 0 0 1
1 0 0 0 0 1 0 0 1 1 0
1 1 1 0 0 0 1 0 0 1 1
31
МУА 2021-2022 Дискретная математика. АЕС
32
МУА 2021-2022 Дискретная математика. АЕС
33
МУА 2021-2022 Дискретная математика. АЕС
34
МУА 2021-2022 Дискретная математика. АЕС
x1
x4
x3
x2
Булева функция может быть представлена на карте Карно
выделением на карте ячеек, соответствующих наборам, на которых
функция принимает значение 1. В этих ячейках будем писать 1.
Незаполненные ячейки соответствуют нулям функции.
Пример 3.14. Заполним карту Карно для функции
f ( x1 , x2 , x3 ) x1 x2 x3 x1 x2 x3 x1 x2 x3 x1 x2 x3
x1
1 1
x3 1 1
x2
2k соседних ячеек, содержащие единицы, называются покрытием
в том случае, если они расположены в виде прямоугольника или
квадрата. При этом считается, что ячейки на противоположных
концах строки или столбца являются соседними, как будто карта
расположена на торе. Каждое покрытие соответствует импликанте.
Покрытие, состоящее из двух ячеек, соответствует произведению
всех переменных кроме одной, значением которой отличаются эти
ячейки. Покрытие из четырех ячеек соответствует произведению, в
35
МУА 2021-2022 Дискретная математика. АЕС
1 1 1 1 1 1
1 1 x4 1 1 x4
1 11 1 1 11 1
x3 x3
1 1 1 1
x2 x2
Порядок построения минимальной ДНФ будет таким:
- Выбираем покрытие наибольшего размера для ячейки,
соответствующей x1x2x3x4. Это будет импликанта x3x4.
- Выбираем покрытие для ячейки x1 x2 x3 x4 . Это будет импликанта
x 2 x3 .
- Выбираем покрытие для ячейки x1 x2 x3 x4 . Это будет импликанта
x1 x4 .
Больше непокрытых ячеек не осталось, следовательно, минимальная
ДНФ имеет вид x3 x4 x2 x3 x1 x4 .
36
МУА 2021-2022 Дискретная математика. АЕС
x2
x1 x2
x1
x1 x2
x1x2
x1 x1
37
МУА 2021-2022 Дискретная математика. АЕС
x1 x2
x1
x1 x3
x1 x2 x3
x1 x3
x1 x2 x3
элемент «или» x1 x2
x f
38
МУА 2021-2022 Дискретная математика. АЕС
39
МУА 2021-2022 Дискретная математика. АЕС
Пример 4.1.
Вершины v1 и v2 являются смежными,
v1 v2 вершина v1 инцидента ребрам (v1, v2) и (v1, v3).
V v1 , v2 , v3 , v4 , .
E (v1 , v2 ), (v1 , v3 ), (v2 , v3 ), (v3 , v4 )}
v3 v4
K3 K4 K5
Пример 4.3.
v1
v4
degv1 3, degv4 1
v2
v3
40
МУА 2021-2022 Дискретная математика. АЕС
deg(v) 2 E
vG
v1 v3
v2 v4 v5
41
МУА 2021-2022 Дискретная математика. АЕС
0 0 0 1 0 0
v1 v2 v3
0 0 1 1 1 0
0 1 0 0 0 1
A(G )
1 1 0 0 1 0
0 1 0 1 0 1
v4 v5 v6
0 0
0 1 0 1
42
МУА 2021-2022 Дискретная математика. АЕС
43
МУА 2021-2022 Дискретная математика. АЕС
v2 e8 v3
Начать построение эйлерового цикла можно с любого ребра графа.
Начиная с е1, получим цикл
v1, e1, v5, e2, v4 ,e3, v3 ,e4 , v4 ,e5 ,v1,e6 ,v3, e8, v2, e7 ,v1.
В данном случае сразу получили эйлерову цепь. Если в графе
остаются ребра, которые нельзя использовать для продолжения
44
МУА 2021-2022 Дискретная математика. АЕС
2 v2 1
v1 v5
1 3 8
4
5
v3 v4
Построение остова начнем с ребра (v1, v3). Порядок присоединения
ребер к остову:
(v1, v3), (v2, v5), (v1, v2), (v4, v5).
2 v2 1
v1 v5
1 4
v3 v4
Вес остова W=1+2+1+4=8.
45
МУА 2021-2022 Дискретная математика. АЕС
v2
3
8 2
v1 5
2
v3
v1 v2 v3
0 8 5 v1
D 3 0 v2
(0)
2 0 v
3
Элементы матрицы D(1) находим по правилу d i(1j) min d i( 0j ) , d i(10) d1( 0j )
0 8 5
. Получаем D (1) 3 0 8 .
2 0
Элементы матрицы D(2) находим по правилу d i( 2j ) min d i(1j) , d i(21) d 2(1j) .
0 8 5
D ( 2)
3 0 8
5 2 0
46
МУА 2021-2022 Дискретная математика. АЕС
47
МУА 2021-2022 Дискретная математика. АЕС
a b
q1 q2 , c q3 , c
q2 q1 , b q2 , c
q3 q2 , b q1 , b
a,c q2
a,b
a,b
b,c
q1
q3
b,b
48
МУА 2021-2022 Дискретная математика. АЕС
11,0
01,0
10,0
01,1
q q 11,1
10,1
0 1
00,0 00,1
Двойная окружность на вершинах означает, что эти состояния –
заключительные. Пусть суммируются числа 011010 и 001100. Тогда
на вход автомата поступает последовательность 00, 10, 01, 11, 10, 00.
Рассмотрим работу автомата:
q0
00
q0 ,0
10
q0 ,1
01
q0 ,1
11
q1 ,0
10
q1 ,0
00
q0 ,1 .
На выходе автомата получим последовательность 0, 1, 1, 0, 0, 1.
5.2 Минимизация конечных автоматов
Два автомата называются эквивалентными, если они для любой
последовательности символов из входного алфавита X выдают
одинаковую последовательность символов из выходного алфавита Y.
Переход от автомата M к эквивалентному автомату называется
эквивалентным преобразованием автомата M. Можно ставить много
задач о поиске автоматов, эквивалентных данному и обладающих
заданными свойствами. Наиболее изученной является задача о
минимизации числа состояний автомата: среди всех автоматов,
эквивалентных автомату M, найти автомат с наименьшим числом
состояний (минимальный автомат).
Пусть имеется автомат M=(Q, X, Y, , ). Рассмотрим алгоритм
Мили поиска минимального автомата. На каждом шаге алгоритма
будем строить некоторое разбиение множества состояний Q на
классы, причем разбиение на каждом шаге алгоритма будет
получаться расщеплением некоторых классов предыдущего
разбиения.
Шаг 1. Два состояния q и q относим в один класс C1j, если для
каждого символа входного алфавита совпадают выходные символы
для этих состояний, т.е. (q, x)= (q,x).
Шаг i+1. Два состояния q и q из одного класса Cij относим в один
класс Ci+1,j, если для каждого символа входного алфавита
осуществляется переход из состояний q и q в состояния,
принадлежащие одному и тому же классу Cis, т.е. (q, x) и (q,x)
49
МУА 2021-2022 Дискретная математика. АЕС
50
МУА 2021-2022 Дискретная математика. АЕС
Дискретная математика
51