- •Директор идо _____________а.Ф.Федоров
- •Томск 2007
- •Содержание
- •Введение
- •Глава 1. Множества и отношения
- •1.1. Множества
- •1.1.1. Основные определения
- •1.1.2. Способы задания множеств
- •1.1.3. Диаграммы Эйлера – Венна
- •1.1.4. Операции над множествами
- •1.1.5. Свойства булевых операций над множествами
- •1.2. Отношения
- •1.2.1. Способы задания бинарных отношений
- •1.2.2. Свойства бинарных отношений
- •1.2.3. Эквивалентность и порядок
- •Пример. Каков индекс разбиения и мощности классов эквивалентности по отношению , если – отношение равенства (тождества) на любом множестве;
- •1.2.4. Операции над бинарными отношениями
- •1.2.5. Функциональные отношения
- •1.2.6. Функции и отображения
- •1.2.7. Операции
- •Глава 2. Математическая логика
- •2.1. Логические операции
- •2.1.1. Основные определения математической логики
- •2.1.2. Таблицы истинности
- •2.1.3. Основные логические операции
- •2.1.4. Функционально полные системы (базисы)
- •2.1.5. Совершенная дизъюнктивная нормальная форма
- •2.1.6. Основные эквивалентные соотношения в булевой алгебре
- •2.1.7. Переход от днф к сднф методом расщепления
- •2.2. Формы представления булевых функций
- •2.2.1. Геометрическое представление булевых функций
- •2.2.2. Интервальное представление булевых функций
- •2.3. Синтез логических схем
- •2.4. Минимизация дизъюнктивных нормальных форм
- •2.4.1. Приведение к дизъюнктивной нормальной форме
- •2.4.2. Геометрическая интерпретация задачи минимизации днф
- •2.4.3. Допустимые конъюнкции
- •2.4.4. Сокращенная днф
- •2.4.5. Построение сокращенной днф
- •2.4.6. Тупиковые днф
- •2.5. Логика предикатов
- •2.5.2. Кванторы
- •2.5.3. Выполнимость и истинность
- •2.5.4. Префиксная нормальная форма
- •Глава 3. Графы и сети
- •3.1. Графы
- •3.1.1. Основные определения теории графов
- •3.1.2. Способы задания графов
- •3.1.3. Операции над частями графа
- •3.1.4. Маршруты, пути, цепи, циклы
- •3.1.5. Эйлеровы циклы и цепи
- •3.1.6. Обобщенная теорема об эйлеровых цепях
- •3.1.6. Гамильтонов цикл. Взвешенные графы
- •3.1.7. Граф–дерево и граф–лес
- •3.1.8. Связность. Цикломатическое число графа
- •3.1.9. Двудольные (четные) графы
- •3.1.10. Планарность графов
- •3.2. Сети
- •3.2.1. Потоки в сетях
- •3.2.2. Расчет максимального потока в сети
- •Глава 4. Автоматы, языки, элементы кодирования
- •4.1. Автоматы
- •4.1.2. Реализация конечных автоматов
- •4.1.3. Автоматы–распознаватели
- •4.2. Элементы кодирования
- •4.2.1. Формулировка задачи кодирования.
- •4.2.1. Алфавитное (побуквенное) кодирование
- •4.2.3. Кодирование с минимальной избыточностью
- •4.2.4. Алгоритм квазиоптимального кодирования Фано
- •4.2.5. Алгоритм оптимального кодирования Хаффмена
- •4.2.6. Помехоустойчивое кодирование
- •4.2.7. Сжатие данных
- •Список литературы
3.1.2. Способы задания графов
Наиболее простым и естественным способом задания графа является графический. Однако, таким образом можно задать только небольшие графы. К тому же он неудобен для автоматизированной обработки и передачи графической информации. Рассмотрим другие способы, используемые в теории графов.
В общем виде задать граф – значит описать множества его вершин и ребер, а также отношение инцидентности. Для описания вершин и ребер их достаточно занумеровать. Пусть – вершины графа ; – ребра. Отношение инцидентности может быть задано следующими способами.
Матрицей инцидентности размера . По вертикали и горизонтали указываются вершины и ребра соответственно, а на пересечении –ой вершины и –ого ребра в случае неориентированного графа проставляется 1, если они инцидентны, и 0 – в противоположном случае, т.е.
,
а в случае орграфа: – -1, если вершина является началом дуги, 1 – если вершина является концом дуги и 0 – если вершины не инцидентны. Если некоторая вершина является для ребра и началом и концом (т.е. ребро – петля), проставляется любое другое число, например 2.
Списком ребер графа, представленным двумя столбцами: в левом перечисляются все ребра , в правом – инцидентные им вершины . Для н–графа порядок вершин произволен, для орграфа первым стоит номер начала дуги. При наличии в графе изолированных вершин они помещаются в конец списка.
Матрицей смежности – квадратной матрицей размера . По вертикали и горизонтали перечисляются все вершины, а на пересечении –й и –ой вершин в случае н–графа проставляется число , равное числу ребер, соединяющих эти вершины. Для орграфа равно числу ребер с началом в –ой вершине и концом в –ой вершине.
Пример. Задать различными способами графы, представленные на рис.3.4.
Рис. 3.4.
Матрицы инциденции графов имеют вид:
a |
b |
c |
d |
e |
f |
g |
|
1 |
1 |
1 |
1 |
|
|
|
|
2 |
1 |
1 |
|
1 |
1 |
|
|
3 |
|
|
1 |
1 |
|
1 |
|
4 |
|
|
|
|
1 |
1 |
1 |
a |
b |
c |
d |
e |
f |
g |
|
1 |
-1 |
1 |
-1 |
|
|
|
|
2 |
1 |
-1 |
|
-1 |
-1 |
|
|
3 |
|
|
1 |
1 |
|
-1 |
|
4 |
|
|
|
|
1 |
1 |
2 |
Список ребер является более компактным описанием графа:
Ребро |
Вершины |
a |
1 2 |
b |
2 1 |
c |
1 3 |
d |
2 3 |
e |
2 4 |
f |
3 4 |
g |
4 4 |
Следующие таблицы представляют матрицы смежности графов и :
1 |
2 |
3 |
4 |
|
1 |
2 |
3 |
4 |
||
1 |
|
2 |
1 |
|
|
1 |
|
1 |
1 |
|
2 |
2 |
|
1 |
1 |
|
2 |
1 |
|
1 |
1 |
3 |
1 |
1 |
|
1 |
|
3 |
|
|
|
1 |
4 |
|
1 |
1 |
1 |
|
4 |
|
|
|
1 |