- •4. Бинарные отношения: отношения эквивалентности, классы эквивалентности, теорема о разбиении на классы эквивалентности.
- •5. Бинарные отношения: отношения порядка, наибольший (наименьший) элемент, его единственность. Максимальный (минимальный) элемент, инфимум и супремум.
- •6. Равномощные множества. Счетные множества, их свойства. Пример бесконечного несчетного множества.
- •7. Теорема о мощности множества отображений из данного множества в двухэлементное.
- •8. Алгебраические системы: полугруппы, группы, подгруппы, группа перестановок, теорема Кэли.
- •9. Алгебраические системы: группы, подгруппы, циклическая группа, порядок элемента, теорема Лагранжа.
- •Обратный элемент:
- •11. Идемпотентные полукольца. Естественный порядок в идемпотентном полукольце. Супремум конечного множества и сумма его элементов.
- •12. Индуктивно упорядоченные множества. Монотонные отображения. Непрерывные отображения. Связь монотонности и непрерывности.
- •13. Индуктивно упорядоченные множества. Теорема о наименьшей неподвижной точке непрерывного отображения.
- •15. Булевы функции, способы задания, существенные и фиктивные переменные, отношение равенства, поиск существенных переменных.
- •16. Булевы функции, формулы над базисом функций, теорема о разложении, сднф.
- •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. Конечные детерминированные автоматы, постановка задачи о минимизации, эквивалентные состояния, теорема о минимальном автомате.
- •43. Мощность множества языков, порожденных грамматиками. Существование языков, не порождаемых грамматиками.
- •44. Грамматики и автоматы-распознаватели. Место регулярных языков в Иерархии Хомского.
- •46. Задача распознавания в нк-грамматиках. Оценка высоты дерева вывода.
26. Графы и матрицы: матрица смежности, её изменение при изменении нумерации вершин. Ранг графа. Проверка корректности определения ранга.
Матрица смежности вершин — это квадратная матрица B n-го порядка, элементы которой определяются для неориентированного графа следующим образом:
Замечание:
в k-ой
строке матрицы орграфа количество
единиц равно полустепени исхода
вершины
,
а количество единиц в k-ом
столбце — полустепени захода
.
Для неорграфа матрица смежности вершин
симметрична.
Граф
(неориентированный и ориентированный)
может быть представлен в виде матрицы
инциденций
размера nm,
где n
— число вершин, а m
— число рёбер (или дуг):
(неориентированный граф);
(ориентированный граф). Матрица
Кирхгофа
—
Ранг графа, или циклический ранг, это m-n+k, где n — число вершин, k — число компонент связности, m — число рёбер. Коранг графа, или коциклический ранг, это n-k.
Ранг равен числу фундаментальных циклов, находимому алгоритмом поиска в глубину, т.е. размерности линейного пространства циклов и не зависит от выбора начальной вершины, поскольку все базисы конечномерного линейного пространства состоят из одного и того же числа векторов .
Проверка корректности определения ранга. rkG= rkAc Ac-матрица смежности.
● Пусть
G-матрица
смежности с заменой элементов главной
диагонали на 0.
,где
B-матрица
инцндентности. P-
матрица перестановки. Положим
– матрица с изм. Нумерацией вершин.
Тогда:
;
G
перестановочно подобна.
,
т.е. матрица и диагональ матрицы G
меняются по одному закону =>
.●
27. Деревья. Связь количества вершин и рёбер (неориентированного) дерева.
Неориентированным деревом называется связный и ациклический граф. Ориентированным деревом называется бесконтурный ориентированный граф, у которого полустепень захода не больше 1и существует только одна вершина (корень ориентированного дерева), полустепень захода которой равна 0.
Теорема.
G=(V,E);
|V|=n;
|E|=m
1.
Граф G
– дерево 2.
Граф G
– связан и m=n-1
|E|=|V|-1.
3.
Граф G
– ацикличен (не содержит цикла) и
|E|=|V|-1.
4.
две различные вершины
соединяют единственный простой путь в
G.
5.
G
– ацикличен;
V1,
V2
(не смежные) {V1V2}E.
Все эти утверждения эквивалентны и
могут служить определением
дерева.
⊲1.2.
Индукция по количеству вершин n=|V|
n=1
m=0.
G=(V,E)
с n
вершинами. Рассмотрим
—
состоит из 2-х связанных компонент, а
сам не связан. Т.к. цикла нет, то при
исключении e
получится не связный граф.
— количество вершин в
— количество рёбер в
(по предположению индукции).
⊲2.3. Пусть G содержит цикл, тогда, выбросив из этого цикла ребро, получим связный граф, где |V|=n, |E|=n-2. Докажем, что такого не бывает.
Лемма:
k
— количество компонент связанности
графа
,
тогда
.
Проведем индукцию по количеству ребер
m.
m=0
k=|V|00
– верно. Рассмотрим граф с |E|=n.
Выбросим из него ребро G\{e}.
У него или k,
или k+1
компонента связности, а количество
рёбер n-1.
m-1|V|-k,
тогда m|V|-k+1|V|-k;
m-1|V|-k-1m|V|-k.⊳
⊲3.4.
G
— цикл m=n-1.
Предположим, что G
состоит из k
компонент связности.
— каждая из них дерево.
— количество вершин
— количество рёбер в
.
;
.
Есть хотя бы один путь. И такой путь
один, иначе был бы узел⊳
