Graphs Flashcards
Граф
Графом называется упорядоченная пара (V, E), где V — непустое множество вершин, E — множество рёбер (множество парных связей.
(n, m)-графом называется граф, содержащий n вершин и m рёбер.
Порядок графа — число его вершин.
Смежные вершины и рёбра графа
Две вершины u и v называются смежными ( u ~ v ), если uv является ребром.
Рёбра e1, e2 называются смежными, если они имеют общий конец, то есть их пересечение не пусто.
Инцидентные вершина и ребро
Вершина v и ребро e называются инцидентными, если вершина принадлежит ребру
Окружение вершины v
Множество вершин х из V, таких, что vx — ребро.
Окружение — множество вершин, смежных с заданной.
Степень вершины
Степенью вершины v называется мощность множества ее окружения.
deg(v) = | N(v) |
Изолированная, концевая, доминирующая вершина
Вершина называется изолированной, если её степень равна 0. Вершина называется концевой, если её степень равна 1. Вершина называется доминирующей, если она смежна си всеми остальными вершинами.
Лемма о рукопожатиях и её следствие
Лемма: Сумма степеней вершин произвольного графа является четным числом и равна удвоенному числу рёбер графа.
Следствие: в произвольном графе число вершин с нечётными степенями является чётным числом
Полный, пустой, помеченный граф
Граф называется полным, если любые две его вершины смежны.
Граф называется пустым, если все вершины изолированы.
Граф называется помеченным, если его вершинам присвоены некоторые метки.
Равные графы
Если граф G = H, то E(G) = E(H) и они помечены одинаковыми метками.
Изоморфные графы
Графы G и H называются изоморфными, если существует биекция Y : V(G) — V(H) и для любых смежных вершин u,v эта биекция сохраняет их смежность
Связный граф
Граф связный, если любые две его вершины соединены маршрутом
Связная компонента графа
Связной компонентой графа называется всякий максимальный относительно включения связный подграф
Маршрут в графе
Чередующаяся последовательность вершин и рёбер (v1, e1, v2, e2…), в которой любые два соседних элемента инцидентны.
Цикл
Замкнутая цепь
Свойства маршрутов
1) Если вершины u != v, то любой (u,v) маршрут содержит в себе простую (u,v) цепь
2) Всякий цикл содержит с себе простой цикл
3) Объединение двух несовпадающих простых цепей содержит простой цикл