Как найти степени вершин графа: пошаговое решение
Дано: неориентированный граф на шести вершинах со списком рёбер . Найти: степень каждой вершины, сумму степеней и число рёбер.
Степень вершины - это число инцидентных ей рёбер, поэтому считать её можно буквально по списку: сколько раз буква встретилась, такова и степень. Ответ: , , , , , ; сумма степеней равна 20, рёбер в графе 10. Калькулятор сверху открыт ровно на этом графе: сними или добавь ребро, и степени пересчитаются вместе с рисунком.
Решение по шагам
Дано. Неориентированный граф без петель и кратных рёбер, множество вершин , множество рёбер
Найти. Степени всех вершин, сумму степеней, число рёбер и число вершин нечётной степени.
Шаг 1. Считаем, сколько раз каждая вершина встретилась в списке. Идём по списку рёбер и напротив каждой буквы ставим палочку. Вершина входит в рёбра , , , - четыре раза. Вершина входит в , , - три раза. И так до конца списка.
| Вершина | Инцидентные рёбра | Степень |
|---|---|---|
| A | AB, AC, AD, AF | 4 |
| B | AB, BC, BD | 3 |
| C | AC, BC, CD, CE | 4 |
| D | AD, BD, CD, DE | 4 |
| E | CE, DE, EF | 3 |
| F | AF, EF | 2 |
Такой подсчёт занимает минуту и не требует ни рисунка, ни матрицы. Единственное, за чем надо следить, - каждое ребро отмечается дважды: и у первого конца, и у второго. Пропущенная вторая отметка - самая частая арифметическая ошибка в этой задаче.
Шаг 2. Проверяем ответ по матрице смежности. Матрица смежности простого графа - это таблица из нулей и единиц, где , если вершины и соединены ребром. Для нашего списка она выглядит так:
Степень вершины равна сумме элементов её строки (она же сумма столбца - матрица симметрична):
Складываем построчно: для , дальше , , , , . Совпало со списком рёбер - значит, ни одно ребро не потеряно и не посчитано дважды.
Шаг 3. Считаем сумму степеней и число рёбер. Складываем полученные степени:
По лемме о рукопожатиях сумма степеней равна удвоенному числу рёбер, отсюда
В исходном списке ровно десять рёбер - проверка сошлась.
Шаг 4. Смотрим на чётность. Нечётную степень имеют только и (по 3), остальные четыре вершины чётные. Нечётных вершин две, то есть чётное число, - иначе сумма степеней не могла бы быть целым чётным числом 20.
Ответ. , , , , , ; сумма степеней ; число рёбер ; вершин нечётной степени две - и .
Лемма о рукопожатиях: откуда берётся сумма степеней
Формула выглядит как отдельная теорема, но доказывается в одну строку двойным подсчётом. Посчитаем число пар «вершина и инцидентное ей ребро». С одной стороны, каждая вершина даёт столько таких пар, какова её степень, и всего их . С другой стороны, каждое ребро имеет ровно два конца и даёт ровно две пары, значит их . Одна и та же величина посчитана двумя способами, поэтому
Бытовое название формулы - про рукопожатия: если в компании каждый пожал кому-то руку, общее число рукопожатий вдвое меньше, чем сумма «личных счётчиков» всех участников.
Из леммы сразу следует правило чётности: сумма степеней чётна, поэтому слагаемых с нечётным значением обязано быть чётное количество. Отсюда классический вывод контрольных задач: в любом графе число вершин нечётной степени чётно. Если после подсчёта у тебя получилось три или пять нечётных вершин, искать ошибку нужно не в теории, а в арифметике.
Второе практическое следствие - быстрая проверка существования графа. Граф на 7 вершинах, где каждая имеет степень 3, невозможен: сумма степеней была бы , а это нечётное число. А вот на 8 вершинах такой граф есть, и рёбер в нём .
Список рёбер, матрица и рисунок: где искать степень
В задачах граф приходит в одном из четырёх видов, и приём подсчёта каждый раз свой.
| Как задан граф | Где степень вершины | Число рёбер |
|---|---|---|
| Список рёбер | число вхождений вершины в список | длина списка |
| Матрица смежности | сумма строки (равна сумме столбца) | половина суммы всех элементов |
| Список смежности | длина списка соседей вершины | половина суммы длин списков |
| Рисунок | число линий, выходящих из кружка | число линий на рисунке |
Матрица смежности удобна тем, что даёт мгновенную проверку: она симметрична, а на главной диагонали у простого графа стоят нули. Если симметрия нарушена, граф либо ориентированный, либо в условии опечатка. Кстати, у матрицы смежности есть и более тонкое применение: элемент её -й степени считает маршруты длины между вершинами, а техника возведения разобрана в задаче как возвести матрицу в степень.
Рисунок - самый обманчивый способ. Линии на схеме пересекаются, и в точке пересечения легко увидеть несуществующую вершину. Считай только те линии, которые упираются в кружок, а не проходят мимо.
Петли, кратные рёбра и ориентированный граф
Три оговорки закрывают почти все нестандартные варианты условия.
Петля даёт вклад 2. Ребро, у которого оба конца в одной вершине, входит в неё дважды, поэтому увеличивает степень на два, а не на один. В матрице смежности петля обычно записывается как именно для того, чтобы сумма строки по-прежнему равнялась степени. Лемма о рукопожатиях при этом остаётся верной.
Кратные рёбра считаются по кратности. В мультиграфе между парой вершин может идти несколько рёбер, и каждое добавляет к степени по единице. Матрица смежности тогда хранит не нули и единицы, а количество рёбер между вершинами.
У ориентированного графа степеней две. Вместо одной величины считают полустепень захода (число входящих дуг, сумма столбца матрицы) и полустепень исхода (число исходящих, сумма строки). Лемма превращается в равенство
то есть каждая сумма равна числу дуг, а не удвоенному. Множитель 2 здесь исчезает, и это отдельная ловушка на экзамене.
Что даёт последовательность степеней
Выписанные по убыванию степени называют степенной последовательностью графа: у нашего примера это . По ней видно многое, не рисуя граф.
Максимальная степень и минимальная ограничивают структуру: в простом графе на вершинах степень не превышает , у нас - условие выполнено. Средняя степень равна , и она же показана пунктиром на диаграмме в калькуляторе. Если все степени одинаковы, граф называют регулярным: цикл регулярен степени 2, полный граф - степени 5.
Число нечётных вершин отвечает на вопрос об обходе всех рёбер. У связного графа с нулём нечётных вершин есть эйлеров цикл, с двумя - эйлеров путь между ними, с четырьмя и более - ни того ни другого. В нашем примере нечётных ровно две, и , значит эйлеров путь существует и начинается он в одной из них. Историю самого критерия и разбор исходной задачи Эйлера смотри в статье про семь мостов Кёнигсберга.
Степень не стоит путать с другими вершинными характеристиками: она измеряет только количество соседей, а не удалённость вершины от остальных. За удалённость отвечает эксцентриситет вершины, который считается по кратчайшим путям и с числом рёбер напрямую не связан.
Частые ошибки
- Ребро отмечено только у одного конца. Каждое ребро обязано увеличить две степени. Если сумма степеней получилась нечётной или не делится на 2 нацело, скорее всего потеряна вторая отметка.
- Петлю посчитали за единицу. Петля добавляет к степени 2. С единицей ломается и лемма о рукопожатиях, и чётность.
- Число рёбер приравняли сумме степеней. - это половина суммы: у нас , а не 20.
- В ориентированном графе взяли множитель 2. Там без удвоения, потому что дуга даёт вклад один раз в исход и один раз в заход, а суммы считаются раздельно.
- На рисунке приняли пересечение линий за вершину. Вершины - только помеченные кружки; пересечения рёбер на плоском чертеже к степеням отношения не имеют.
- Получили нечётное число нечётных вершин. Такого графа не существует: это верный признак ошибки в подсчёте, а не экзотического примера.
FAQ
Чему равна степень изолированной вершины? Нулю: изолированная вершина не входит ни в одно ребро. В матрице смежности ей отвечает строка из одних нулей, а в списке смежности - пустой список соседей.
Может ли степень вершины быть больше числа вершин? В простом графе нет: у каждой вершины не больше соседей, потому что петли и кратные рёбра запрещены. В мультиграфе с кратными рёбрами и петлями степень не ограничена ничем.
Как найти число рёбер, зная только степени? Сложить все степени и поделить пополам: . Для регулярного графа степени на вершинах формула упрощается до .
Зачем вообще считать чётность степеней? Она отвечает на вопросы об обходах и о существовании графа: число нечётных вершин всегда чётно, а связный граф допускает обход всех рёбер по одному разу только при нуле или двух нечётных вершинах.
Коротко
- Степень вершины - число инцидентных ей рёбер; петля даёт вклад 2.
- По списку рёбер степень равна числу вхождений буквы, по матрице смежности - сумме строки, по списку смежности - длине списка соседей.
- Для графа из условия: , , , , , .
- Сумма степеней , значит рёбер ; нечётных вершин две - и , и это чётное число, как и обязано быть.
- У ориентированного графа считают отдельно полустепени захода и исхода, и каждая их сумма равна без множителя 2.
Похожие задачи
Как найти матрицу инцидентности графа: пошаговое решение
Как найти матрицу инцидентности графа: строки вершины, столбцы рёбра, пошаговый разбор примера на 5 вершинах и 6 рёбрах, знаки для орграфа, проверка по степеням вершин и связь с матрицей смежности.
Дискретная математикаКак составить СКНФ по таблице: пошаговое решение
СКНФ по таблице истинности: разбор задачи с числами. Строки с нулём дают макстермы, отрицание ставится на единицах, ответ проверяется подстановкой. Внутри калькулятор и сравнение с СДНФ.
Дискретная математикаКак найти двойственную функцию: решение по шагам
Как найти двойственную функцию булевой алгебры: определение через отрицание аргументов и результата, вектор значений наоборот, замена операций в формуле и проверка на самодвойственность.
Дискретная математикаКак найти мощность множества: пошаговое решение
Как найти мощность множества: разбор задачи о 30 студентах по формуле включений исключений, мощность булеана 2 в степени n, счётные и континуальные множества, частые ошибки.
Дискретная математикаКак найти полином Жегалкина: решение по шагам
Как найти полином Жегалкина булевой функции по вектору значений 10011110: треугольник Паскаля, метод неопределённых коэффициентов, проверка подстановкой и вывод о линейности.
Дискретная математикаКак построить карту Карно: решение по шагам
Как построить карту Карно на четыре переменные: разметка осей кодом Грея, перенос единиц из таблицы истинности, склейка соседних клеток в группы и запись МДНФ с проверкой.