
- •Директор идо _____________а.Ф.Федоров
- •Томск 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 |