- •Введение
- •1. Элементы теории множеств
- •1.1.Понятие множества.
- •1.2. Способы задания множеств.
- •1.3. Свойства множеств.
- •1.4. Конечные и бесконечные множества.
- •1.5. Подмножества.
- •1.6. Множество как абстракция.
- •1.7. Операции над множествами.
- •1.8.Декартово произведение множеств
- •1.9. Контрольные задания
- •2. Отношения
- •2.1. Общие положения
- •2.2. Задание отношений.
- •2.3. Виды отношений.
- •2.3.1. Рефлективность.
- •2.3.2. Симметричность.
- •2.3.3. Транзитивность.
- •2.4. Отношение эквивалентности
- •2.5. Функция.
- •2.6. Отношение как базовое понятие в реляционных
- •2.7. Контрольные задания
- •3. Элементы алгебры логики
- •3.1. Силлогизмы Аристотеля.
- •3.2. Высказывания.
- •3.3. Исчисление высказываний и
- •3.4. Функции алгебры логики
- •3.5. Равносильности алгебры логики
- •3.6. Одна логическая задача
- •3.7. Реализация функций в элементных базисах
- •3.9. Совершенная конъюнктивная нормальная форма
- •3.10. Реализация операции суммирования в компьютере
- •3.11. Контрольные задания
- •4. Элементы теории графов
- •4.1. История возникновения
- •4.2. Основные понятия
- •4.3. Матрицы графа
- •4.4. Деревья
- •4.5. Раскраска
- •5. Элементы теории алгоритмов
- •5.1. Интуитивное понятие алгоритма
- •5.2. Свойства алгоритмов
- •5.3. Вычислительные и комбинаторные алгоритмы
- •5.5. Асимптотические оценки сложности алгоритма
- •Порядки сложности алгоритма
- •5.6. Комбинаторный взрыв
- •6. Полиномиальные алгоритмы
- •6.1. Построение минимального остовного дерева.
- •6.1.1. Жадный алгоритм
- •6.1.2. Алгоритм Прима
- •6.2. Контрольные задания
- •7. Эвристические алгоритмы
- •7.1. Алгоритм последовательной раскраски
- •7.2. Контрольные задания
- •8. Сетевое планирование
- •8.1. Основные понятия
- •8.2 Параметры сетевого планирования
- •8.3. Вычисление параметров сетевого графика
- •8.4. Контрольные задания
- •9. Элементы абстрактной теории автоматов
- •9.1. Определение абстрактного автомата
- •9.2. Методы задания автоматов
- •9.3. Связь между моделями Мили и Мура.
- •9.4.1. Преобразование автомата Мура в автомат Мили
- •9.4.2. Преобразование автомата Мили в автомат Мура
- •9.5. Контрольные задания
- •10. Уточнение понятия алгоритма
- •10.1. Машина Тьюринга
- •Для каждого алгоритма u из класса к1 существует равносильный ему алгоритм l из класса к2.
- •10.2. Нормальный алгоритм Маркова
4.3. Матрицы графа
Пусть дан граф
G(X,U), X = {xi}, i = 1, n;
U
= {uj}, j = 1, m.
Матрицей
смежностей графа G называется
матрица A размерностью n n, в
которой
1, если вершины xi и xj смежны
aij =
0, в противном случае
x2
G u1 u2
x1 u3 x3
u4 u5 u6
x5 u7 x4
Рис.4.17. Неориентированный граф
Для графа G, изображенного на рис.4.17, матрица A имеет следующий вид.
x1 x2 x3 x4 x5
x1
0 1 1 0 1
x2 1 0 1 0 0
A = x3 1 1 0 1 1
x4 0 0 1 0 1
x5 1 0 1 1 0
Поскольку граф G не ориентирован, то элементы матрицы смежностей симметричны относительно главной диагонали.
Матрицей инциденций графа G называется матрица B размерностью n m, в которой
1
,
если вершина xi и ребро uj
инцидентны
bij =
0, в противном случае
Для графа G, изображенного на рис.4.17, матрица B имеет следующий вид.
u1 u2 u3 u4 u5 u6 u7
x1
1 0 1 1 0 0 0
x2 1 1 0 0 0 0 0
x3 0 1 1 0 1 1 0
x4 0 0 0 0 0 1 1
x5 0 0 0 1 1 0 1
4.4. Деревья
Граф называется связным, если любая пара его вершин соединена простой цепью.
На рис.4.18 граф G1 является связным, а G2 - несвязным.
G1 G2
Рис.4.18. Связность графов
Граф называется ациклическим, если в нем нет циклов.
Дерево - это связный ациклический граф.
На рис.4.19 граф G является деревом.
G
Рис.4.19. Дерево
Для любого графа G(X,U), X =n, U= m, являющегося деревом, справедливо равенство
n = m + 1
Остовным деревом называется подграф-дерево графа G, содержащий все его вершины.
Один и тот же граф может иметь несколько остовов. На рис.4.20 изображены два остова графа G1 (рис.4.18).
Рис.4.20. Остовы графа
Пусть граф G является взвешенным. Минимальным остовным деревом называется остовное дерево с минимальным суммарным весом ребер.
На рис.4.21 приведены взвешенный граф и его минимальное остовное дерево, суммарный вес которого равен 14.
7
3 4 8 1 3 4 1
5 6 6
Рис.4.21. Минимальное остовное дерево
