Семинар 1.
1. Алгоритм обхода в глубину ориентированного или неориентированного графа.
Белые, серые и чёрные вершины. Время начала и окончания обработки вершины.
Отрезки [d[u],f[u]] и [d[v],f[v]] либо не пересекаются, либо один содержится
в другом (и тогда вершина соответствующая внутреннему отрезку — потомок
вершины соответствующей внешнему отрезку).
Оценка сложности в зависимости от способа хранения графа
(матрица смежности O(V^2), список рёбер O(V+E)).
Дерево (лес) поиска в глубину.
2. Классификация рёбер: рёбра деревьев, обратные (к предкам), прямые (к потомкам),
перекрёстные (все остальные). Это у орграфа. У неориентированного могут быть
только первые два вида (прямые=обратные).
Тип (v,u) определяется по цвету u, в момент прохода по ребру:
u = белый ⇒ (v,u) — ребро дерева;
u = серый ⇒ (v,u) — обратное ребро;
u = чёрный ⇒ (v,u) — прямое или перекрёстное (бывает только в орграфе).
Нет циклов = нет обратных рёбер. Почему?
3. Неориентированный граф связный, если любая вершина достижима из любой.
Компоненты связности. Ищем с помощью поиска в глубину.
4. Топологическая сортировка орграфа без циклов: занумеровать вершины так,
чтобы рёбра шли из вершин с меньшими номерами в вершины с большими.
Решение: когда делаем вершину чёрной, добавляем её в начало списка.
5. Число вершинной (рёберной) связности ϰ (λ) — сколько вершин
(рёбер) нужно удалить из графа, чтобы он перестал быть связным.
Вершина (ребро), при удалении которой (-ого) увеличивается число компонент
связности, называется шарниром или точкой сочленения (мостом).
Число вершинной связности графа не превосходит числа рёберной связности.
Соотношение Уитни: ϰ ⩽ λ ⩽ δ — минимальная степень вершины. (Докажем?)
k-связность — число связности ⩾ k.
<<