- •1.1 Множества и отношения
- •1.2 Сравнение множеств
- •1.3 Операции над множествами
- •1.4 Диаграммы Эйлера-Венна
- •1.5 Табличный способ задания множеств
- •2.2 Логические связки (операции) над высказываниями.
- •1.6 Свойства операций над множествами
- •1.7 Отношения
- •1.8 Специальные бинарные отношения
- •2.1 Высказывания
- •2.3 Пропозициональные формулы
- •2.4 Булевы функции. Таблицы истинности.
- •2.5 Булевы функции одной переменной
- •2.6 Булевы функции двух переменных
- •2.7 Существенные и несущественные переменные
- •2.8 Равносильные формулы. Основные равносильности
- •2.9 Основные тавтологии
- •2.10 Основные равносильности
- •2.11 Понятие двойственной функции
- •2.12 Некоторые двойственные функции
- •2.13 Элементарные канонические формы
- •2.14 Нормальные формы формул
- •2.15 Приведение формул к нормальным формам
- •2.16 Минимизация д.Н.Ф.
- •2.17 Полные системы функций. Полином Жегалкина
- •2.18 Функционально замкнутые классы функций
- •3.1 Основные понятия и определения
- •3.2 Смежность, инцидентность, степени
- •3.3 Способы задания графов
- •3.4 Подграфы. Операции на графах
- •3.5 Связность. Компоненты связности. Маршруты и пути.
- •3.6 Эйлеровы и гамильтоновы графы.
- •3.7 Деревья и леса.
- •3.8 Цикломатическое число графа. Построение
- •4.1 Понятие конечного детерминированного автомата
- •4.2 Способы задания автоматов.
- •4.3 Эквивалентные состояния. Минимизация к.Д.А.
- •4.4 Алгоритм минимизации конечного автомата.
- •4.5 Каноническая таблица. Канонические уравнения.
- •4.6 Функциональные и логические элементы. Проектирование дискретных устройств.
3.1 Основные понятия и определения
Граф
(от греческого
-
пишу) - непустое множество вершин
и
набор
неупорядоченных
и упорядоченных пар вершин вида (v,w).
Обычно граф обозначают как G(V,E);
количество вершин и ребер обозначается,
соответственно, n(G)
и m(G).
Неупорядоченная пара вершин называется ребром {v,w}, упорядоченная пара - дугой (v,w).
Граф,
содержащий только ребра, называется
неориентированным (обозначается G).
Граф, содержащий только дуги -
ориентированным (или орграфом)
(обозначается
).
Пара вершин может быть соединена двумя или более рёбрами (или, соответственно, дугами одного направления), такие рёбра (или дуги) называются кратными. Дуга (или ребро) может начинаться и заканчиваться в одной и той же вершине, в этом случае соответствующая дуга (или ребро) называетсяпетлёй.
Граф без кратных рёбер и петель называется простым графом.
Граф,
все n вершин
которого являются изолированными,
называется нулевым (пустым)
и обозначается
.
Простой
граф, любые две вершины которого являются
смежными, называется полным.
Полный граф с n вершинами
обозначается
.
3.2 Смежность, инцидентность, степени
Вершины, соединённые ребром или дугой, называются смежными.
Рёбра, имеющие общую вершину, тоже называются смежными.
Ребро (или дуга) и любая из его вершин называются инцидентными.
Говорят, что ребро {v,w} соединяет вершины v и w. Для орграфов: дуга (v,w) начинается в вершине v(исходит из вершины v) и заканчивается в вершине w (заходит в вершину w), или идет из вершины vв вершину w.
Степенью вершины v графа G называется число deg v рёбер графа G, инцидентных вершине v, при этом петли учитываются дважды. Вершина графа, имеющая степень 0, называется изолированной, а степень 1 - тупиковой (висячей, концевой).
Для
орграфа: полустепенью
исхода (захода)
вершины v орграфа
называется
число
(
)
дуг орграфа, исходящих из вершины v (заходящих
в вершину v),
при этом каждая петля, инцидентная
вершине v ,
учитывается как в
,
так и в
.
Теорема.
(Теорема о рукопожатиях) Сумма степеней
всех вершин графа G равна
удвоенному числу его рёбер, то есть:
.
(Число пожатых рук всегда четно.)
Для
орграфа:
.
Доказательство следует из тех соображений, что каждое ребро вносит в сумму вклад 2.
Следствие. В каждом графе число вершин нечётной степени чётно.
3.3 Способы задания графов
Рисунок.
Список вершин и рёбер.
Матрица смежности. Матрицей смежности называется квадратная матрица A(G)=(
),
(i,j=1,…,n),
у которой элемент
равен
числу рёбер, соединяющих
и
Для орграфа элемент матрицы A( ), равен числу дуг, идущих из в .
Матрица инцидентности. Матрицей инцидентности графа G (без петель) называется матрицаB(G)=(
)
(для орграфа B(
)=(
))
размерности
,
у которой:
=1,
если вершина
инцидентна
ребру
,
=0,
в противном случае.
Для орграфа: =1, если вершина есть начало дуги ; = - 1, если вершина есть конец дуги ; =0, если и не инцидентны.
Примеры:
Граф и его матрица смежности.
Граф и его матрица инцидентности, здесь вершинам соответствуют строки, а ребрам - столбцы.
Матрица инцидентности для ориентированного графа, здесь вершинам соответствуют строки, а дугам - столбцы.
