Комбинаторные алгоритмы для программистов


Связность и расстояние


Говорят, что вершины

x
и
y
в графе смежны, если существует ребро, соединяющее их. Говорят, что два ребра смежны, если они имеют общую вершину. Простой путь, или для краткости, просто путь, записываемый иногда как
(v_1,v_2,\ldots,v_k )
, - это последовательность смежных ребер
(v_1,v_2 ),(v_2,v_3 ),\ldots,(v_{k - 2},v_{k - 1} ),(v_{k - 1},v_k )
, в которой все вершины
v_1,v_2,\ldots,v_k
различны, исключая, возможно, случай
v_1 = v_k
. В орграфе этот путь называется ориентированным из
v_1
в
v_k
, в неориентированном графе он называется путем между
v_1
и
v_k
. Число ребер в пути называется длиной пути. Путь наименьшей длины называется кратчайшим путем. Замкнутый путь называется циклом. Граф, который не содержит циклов, называется ациклическим.

Подграф графа

G = (V,E)
есть граф, вершины и ребра которого лежат в
G
. Подграф
G
, индуцированный подмножеством
S
множества
V
вершин графа
G
, - это подграф, который получается в результате удаления всех вершин из
V - S
и всех ребер, инцидентных им.

Неориентированный граф

G
связен, если существует хотя бы один путь в
G
между каждой парой вершин
v_i
и
v_j
. Ориентированный граф
G
связен, если неориентированный граф, получающийся из
G
путем удаления ориентации ребер, является связным. Граф, состоящий из единственной изолированной вершины, является (тривиально) связным. Максимальный связный подграф графа
G
называется связной компонентой или просто компонентой
G
. Несвязный граф состоит из двух или более компонент. Максимальный сильно связный подграф называется сильно связной компонентой.

Иногда недостаточно знать, что граф связен; нас может интересовать, насколько "сильно связен" связный граф. Например, связный граф может содержать вершину, удаление которой вместе с инцидентными ей ребрами разъединяет оставшиеся вершины. Такая вершина называется точкой сочленения или разделяющей вершиной. Граф, содержащий точку сочленения, называется разделимым. Граф без точек сочленения называется двусвязным или неразделимым. Максимальный двусвязный подграф графа называется двусвязной компонентой или блоком.

Большинство основных вопросов о графах касается связности, путей и расстояний. Нас может интересовать вопрос, является ли граф связным; если он связен, то может оказаться нужным найти кратчайшее расстояние между выделенной парой вершин или определить кратчайший путь между ними. Если граф несвязен, то может потребоваться найти все его компоненты. В нашем курсе строятся алгоритмы для решения этих и других подобных вопросов.




Начало  Назад  Вперед



Книжный магазин