- •1.3.6. Экстремальные характеристики отношения
- •3.2.3. Связь между исчислением высказываний и алгеброй
- •3.2.4. Основные результаты исследования исчисления
- •Предисловие
- •1.1. Понятие компьютинга и дискретной математики
- •1.2. Теория множеств
- •1.2.1. Основные понятия теории множеств
- •1.2.2. Способы задания множеств
- •1.2.3. Операции над множествами
- •1.2.4. Свойства операций над множествами
- •1.2.5. Аксиоматика теории множеств
- •1.3. Бинарные отношения и их свойства
- •1.3.1. Декартово произведение и бинарное отношение
- •1.3.2. Функции и операции
- •1.3.3. Способы задания бинарных отношений
- •1.3.4. Свойства бинарных отношений
- •1.3.5. Типы бинарных отношений
- •1.3.7. Отношение толерантности
- •1.3.8. Операции над отношениями
- •Контрольные вопросы и задания
- •2.1. Фундаментальные алгебры
- •2.2. Алгебра высказываний
- •2.3. Формализация логических высказываний
- •2.4. Таблицы истинности сложных высказываний
- •2.5. Равносильности алгебры высказываний
- •2.6. Булевы функции
- •2.7. Формы представления логических функций
- •2.7.1. Дизъюнктивные нормальные формы
- •2.7.2. Конъюнктивные нормальные формы
- •2.8.1. Законы алгебры Буля
- •2.8.2. Упрощение логических функций
- •2.8.3. Метод Квайна – МакКласки
- •2.9.1. Теорема о полноте системы булевых функций
- •2.10. Построение логических схем
- •Контрольные вопросы и задания
- •Глава 3. Формальные теории
- •3.1. Основные свойства формальных теорий
- •3.1.1. Выводимость
- •3.1.2. Интерпретация
- •3.1.3. Разрешимость
- •3.1.4. Общезначимость
- •3.1.5. Непротиворечивость
- •3.1.6. Полнота
- •3.1.7. Независимость
- •3.2. Исчисление высказываний
- •3.2.1. Интерпретация
- •3.2.2. Правило подстановки
- •3.2.3. Связь между исчислением высказываний
- •3.2.5. Другие формализации исчисления высказываний
- •3.3. Исчисление предикатов
- •3.3.2. Кванторные операции над предикатами
- •3.3.3. Формальное определение исчисления предикатов
- •Контрольные вопросы и задания
- •4.1. Прямые доказательства
- •4.1.1. Правило подстановки
- •4.1.2. Правило вывода
- •4.1.3. Дедукция
- •4.1.4. Математическая индукция
- •4.2. Косвенные доказательства
- •4.2.1. Доказательство «от противного»
- •4.2.2. Доказательство через контрпример
- •Контрольные вопросы и задания
- •Глава 5. Основы комбинаторики
- •5.1. Правила суммы и произведения
- •5.2. Перестановки
- •5.3. Размещения и сочетания
- •5.4. Разбиения
- •5.5. Формула включений и исключений
- •5.6. Рекуррентные соотношения
- •5.7. Производящие функции
- •5.8. Числа Стирлинга второго и первого рода
- •Контрольные вопросы и задания
- •Глава 6. Основы теории графов
- •6.1. Основные понятия
- •6.1.1. Классификация графов
- •6.1.2. Способы задания графов
- •6.2. Операции над графами
- •6.2.1. Удаление вершин и ребер
- •6.2.2. Дополнение
- •6.2.3. Объединение графов
- •6.2.4. Сложение графов
- •6.2.5. Произведение графов
- •6.3. Связность в графах
- •6.3.1. Компоненты связности
- •6.3.2. Вершинная и реберная связность
- •6.3.3. Сильная связность в графах
- •6.4. Цикломатика графов
- •6.4.1. Ациклические графы
- •6.4.2. Базисные циклы и цикломатическое число
- •6.4.3. Базисные разрезы и ранг
- •6.4.4. Эйлеровы графы
- •6.4.5. Гамильтоновы графы
- •6.5. Диаметр графа
- •6.5.1. Основные определения
- •6.5.2. Алгоритм нахождения диаметра
- •6.5.3. Поиск диаметра при операциях над графами
- •6.6. Устойчивость графов
- •6.6.1. Внутренняя устойчивость
- •6.6.1. Внешняя устойчивость
- •6.7. Хроматика графов
- •6.7.1. Хроматическое число
- •6.7.3. Двудольное представление графов
- •6.7.4. Хроматический класс
- •6.8. Преобразование графов
- •6.8.1. Реберные графы
- •6.8.2. Изоморфизм графов
- •6.8.3. Гомеоморфизм графов
- •6.8.4. Автоморфизм графов
- •6.9. Планарность
- •6.9.1. Основные определения
- •6.9.2. Критерии непланарности
- •6.10. Построение графов
- •6.10.1. Преобразование прилагательных в числительные
- •6.10.3. Оценка количества ребер сверху и снизу
- •Контрольные вопросы и задания
- •7.1. Введение в теорию нечетких моделей
- •7.1.1. Принятие решений в условиях неопределенности
- •7.1.2. Основы нечетких моделей
- •7.2. Нечеткие множества. Базовые определения
- •7.2.1. Базовые и нечеткие значения переменных
- •7.2.2. Основные определения
- •7.2.3. Типовые функции принадлежности
- •7.3. Операции над нечеткими множествами
- •7.3.1. Операция «дополнение»
- •7.3.2. Операция «пересечение»
- •7.3.3. Операция «объединение»
- •7.3.4. Операция «включение»
- •7.3.5. Операции «равенство» и «разность»
- •7.3.6. Операция «дизъюнктивная сумма»
- •7.3.7. Операции «концентрирование» и «растяжение»
- •7.3.8. Операция «отрицание»
- •7.3.9. Операция «контрастная интенсивность»
- •7.3.10. Операция «увеличение нечеткости»
- •7.4. Обобщенные нечеткие операторы
- •7.4.1. Треугольные нормы
- •7.4.2. Треугольные конормы
- •7.4.3. Декомпозиция нечетких множеств
- •7.5. Индекс нечеткости
- •7.5.1. Оценка нечеткости через энтропию
- •7.5.2. Метрический подход к оценке нечеткости
- •7.5.3. Аксиоматический подход
- •7.6. Нечеткие бинарные отношения
- •7.6.1. Нечеткие бинарные отношения
- •7.6.2. Свойства нечетких бинарных отношений
- •7.6.3. Операции над нечеткими отношениями
- •7.7. Нечеткие числа
- •7.8. Приближенные рассуждения
- •7.8.1. Нечеткая лингвистическая логика
- •7.8.2. Композиционное правило вывода
- •7.8.3. Правило modus ponens
- •Контрольные вопросы и задания
- •Список литературы
Таким образом, поскольку каждая грань ограничена не более чем тремя ребрами, что для плоского графа верно следующее соотношение:
m ≤ 3n – 6. |
(6.6) |
Это означает, что при большем числе ребер граф заведомо непланарен (обратное утверждение, кстати, неверно). Отсюда следует, что в планарном графе всегда можно найти вершину степени не более 5.
6.10. Построение графов
6.10.1. Преобразование прилагательных в числительные
К сожалению, не существует универсальной методики, позволяющей точно определить, может ли быть построен граф с заданными характеристиками. Зато существует набор критериев и признаков, по которым можно определить невозможность построения того или иного графа.
Первое, что необходимо сделать, внимательно прочитав условие задачи, это превратить все прилагательные, описывающие свойства графа, в числительные, попутно формируя представление о свойствах задаваемого графа.
В табл. 6.6 приведены такие соответствия, чаще всего встречающиеся в формулировке задач.
|
|
Таблица 6.6 |
Соответствие между описанием графа и свойствами |
||
|
|
|
Прилагатель- |
Числительное |
Что это значит |
ное |
|
|
Связный |
k = 1 |
В графе ровно одна компонента связ- |
|
|
ности |
Несвязный |
k ≥ 2 |
В графе более одной компоненты, его |
|
|
диаметр точно равен бесконечности |
Регулярный |
St(vi) = const |
Степени всех вершин равны |
Регулярный |
St(vi) = y |
Степени всех вершин равны y. Если |
степени y |
|
известно n (число вершин), то можно |
212
Прилагатель- |
Числительное |
Что это значит |
|
ное |
|
|
|
|
|
|
сразу рассчитать m (число ребер): m = |
|
|
|
n·y/2 (n или y должно быть числом |
|
|
|
четным) |
Ациклический |
γ = m – n + k = 0 |
Цикломатическое число равно 0, в |
|
|
|
|
графе нет циклов, это – дерево или |
|
|
|
лес (в зависимости от связности), та- |
|
|
|
кие графы всегда можно раскрасить в |
|
|
|
два цвета. Если известны две пере- |
|
|
|
менные из трех (n,m,k), то с помощью |
|
|
|
формулы можно найти третью |
Дерево |
(или |
γ = m – n + 1 = |
Цикломатическое число равно 0, в |
ациклический |
0, |
графе нет циклов, это – дерево, такие |
|
связный граф) |
откуда |
графы всегда можно раскрасить в два |
|
|
|
m = n – 1 |
цвета. Если известна одна переменная |
|
|
|
из двух (n или m), то с помощью фор- |
|
|
|
мулы можно найти вторую |
Бихроматиче- |
h = 2 |
Хроматическое число графа равно 2, |
|
ский |
|
|
такие графы всегда можно раскрасить |
|
|
|
в два цвета, это – двудольные графы, |
|
|
|
графически это или ациклические |
|
|
|
графы, или графы у которых все цик- |
|
|
|
лы имеют четную длину |
6.10.2. Оценка количества ребер на основе степеней вершин
Отметим, что в задачах на построение решение необходимо искать среди простых неориентированных графов (т.е. графов без кратных ребер и без петель).
Имея даже общие представления о графе, иногда можно судить
остепенях его вершин.
1.В графе G сумма степеней всех его вершин – число четное, равное удвоенному числу ребер графа, так как каждое ребро участвует в этой сумме ровно два раза. Этот результат, известный еще двести лет назад Эйлеру, часто называют леммой о рукопожатиях.
213
Из нее следует, что если несколько человек обменялись рукопожатиями, то общее число пожатых рук обязательно четно, ибо в каждом рукопожатии участвуют две руки (при этом каждая рука считается столько раз, сколько она участвовала в рукопожатиях).
2.Число вершин с нечетной степенью у любого графа четно (это прямое следствие из п.1).
3.Во всяком графе с n вершинами, где n ≥ 2, всегда найдутся по меньшей мере две вершины с одинаковыми степенями (попробуйте самостоятельно доказать это совсем несложное утверждение).
4.Если в графе с вершинами n > 2 в точности две вершины имеют одинаковую степень, то в этом графе всегда найдется либо в точности одна вершина степени 0, либо в точности одна вершина степени (n – 1) (немного сложнее, но тоже вполне по силу для самостоятельного доказательства в самом начале ознакомления с теорией графов).
Теперь, когда получены все необходимые числительные, надо попробовать рассчитать недостающие характеристики графа. Иногда в условии приводятся степени всех или нескольких вершин. В этом случае на основе того факта, что каждое ребро графа добавляет к его суммарной степени вершин ровно 2, можно воспользовать-
ся формулой ∑St(vi) = 2·m, где m – количество вершин, а суммирование ведется по всем вершинам от 1 до n. Отсюда следует уже упоминаемый факт, что суммарная степень вершин должна быть числом четным.
Задача 6.17. Построить регулярный граф степени 5 на 11 вершинах или доказать невозможность такого построения.
Решение. Суммарная степень вершин равна 11·5 = 55, это нечетное число (количество ребер должно быть 55/2, а это число нецелое). Граф с указанными характеристиками построить нельзя.
Задача 6.18. Построить или доказать невозможность построения графа на 8 вершинах, у которого степень одной из вершин равна 5,
удвух других равна 4, у двух равна 3, у одной равна 2 и у двух равна 1.
Решение. Суммарная степень вершин равна 1·5+2·4+2·3+2+2·1 = =5+8+6+2+2 = 23, это число нечетное (количество ребер должно
214
быть 23/2, а это число нецелое). Граф с указанными характеристиками построить нельзя.
Задача 6.19. Построить или доказать невозможность построения графа на 9 вершинах, у которого степень одной из вершин равна 6, еще у одной 5, у двух равна 4, у одной 3, у двух равна 2 и у одной равна 1.
Решение. Суммарная степень вершин равна 6+5+2·4+3+ +2·2+1=27, это число нечетное. Но в условии указана информация только о 8 вершинах, тогда как в графе их 9. Значит, у 9-й вершины должна быть обязательно нечетная степень. Можно построить графы, в которых степень 9-й вершины равна 1,3,5,7 (больше она быть не может, так как в графе на 9 вершинах максимальная степень вершины равна 8). Четыре графа с различными степенями 9-й вершины представлены на рис. 6.61 (вместо номеров вершин указаны их степени).
2 |
|
St(v9)=3 |
2 |
|
|
|
St(v9)=1 |
|
|
|
|
|
|
1 |
|
|
3 |
|
|
|
4 |
|
5 |
4 |
6 |
2 |
1 |
5 |
6 |
1 |
|
|
|
|
4 |
|
|
4 |
|
|
|
2 |
|
|
3 |
|
|
|
|
3 |
|
|
|
|
1 |
St(v9)=7 |
3 |
|
|
|
|
||
St(v9)=5 |
2 |
2 |
5 |
|
|
6 |
7 |
6 |
|
|
|
|||
|
|
1 |
4 |
|
5 |
4 |
5 |
|
|
|
|
|
4 |
|
|
4 |
|
|
|
|
|
|
2 |
|
|
3 |
|
|
|
Рис. 6.61 |
|
|
2 |
|
|
|
|
|
215