Путь (теория графов)

Граф-путь с 6 вершинами

Путь в графе — последовательность вершин, в которой каждая вершина соединена со следующей ребром.

Определения

Пусть G — неориентированный граф. Путём в G называется такая конечная или бесконечная последовательность рёбер и вершинШаблон:Sfn $S=(...,a_0,E_0,a_1,E_1,...,E_{n-1},a_n,...)$,

что каждые два соседних ребра $E_{i-1}$ и $E_i$ имеют общую вершину $a_i$.

Таким образом, можно написать $...,E_0=(a_0,a_1),E_1=(a_1,a_2),...,E_n=(a_n,a_{n+1}),...$

Отметим, что одно и то же ребро может встречаться в пути несколько раз. Если нет рёбер, предшествующих $E_0$, то $a_0$ называется начальной вершиной S, а если нет рёбер, следующих за $E_{(n-1)}$, то $a_n$ называется конечной вершиной S. Любая вершина, принадлежащая двум соседним рёбрам, называется внутренней. Так как рёбра и вершины в пути могут повторяться, внутренняя вершина может оказаться начальной или конечной вершиной.

Если начальная и конечная вершины совпадают, путь называется циклическим. Путь называется цепью, а циклический путь — циклом, если каждое его ребро встречается не более одного раза (вершины могут повторяться). Нециклическая цепь называется простой цепью, если в ней никакая вершина не повторяется. Цикл с концом $a_0$ называется простым циклом, если $a_0$ не является в нём промежуточной вершиной и никакие другие вершины не повторяются.

Эта терминология не вполне устоялась. УилсонШаблон:Sfn писал: Шаблон:Начало цитатыТо, что мы назвали маршрутом, называют также путём, рёберной последовательностью. Цепь называют путём, полупростым путём; простую цепь – цепью, путём, дугой, простым путём, элементарной цепью; замкнутую цепь – циклической цепью, контуром; цикл – контуром, контурной цепью, простым циклом, элементарным циклом.Шаблон:Конец цитаты

Ориентированный цикл. Без стрелок это просто цикл. Это не простой цикл, поскольку синие вершины используются дважды.

Пути, цепи и циклы являются фундаментальными концепциями теории графов и определяются во вводной части большинства книг по теории графов. Смотрите, например, Бонди и МартиШаблон:Sfn, ГиббонсШаблон:Sfn или ДистельШаблон:Sfn.

Различные виды путей

Путь, для которого никакие рёбра графа не соединяют две вершины пути, называется индуцированным путём.

Простая цепь, содержащая все вершины графа без повторений, известна как Гамильтонов путь.

Простой цикл, содержащий все вершины графа без повторений, известен как Гамильтонов цикл.

Цикл, получаемый добавлением ребра графа к остовному дереву исходного графа, известен как Фундаментальный цикл.

Свойства путей

Два пути вершинно независимы, если они не имеют общих внутренних вершин. Аналогично два пути рёберно независимы, если они не имеют общих внутренних рёбер.

Длина пути — это число рёбер, используемых в пути, при этом многократно используемые рёбра считаются соответствующее число раз. Длина может равняться нулю, если путь состоит только из одной вершины.

Взвешенный граф ставит в соответствие каждому ребру некоторое значение (вес ребра). Весом пути во взвешенном графе называется сумма весов рёбер пути. Иногда вместо слова вес употребляется цена или длина.

См. также

• Транспортная логистика
• Волновой алгоритм
• Алгоритм Дейкстры
• Словарь терминов теории графов
• Задача о кратчайшем пути

• Задача коммивояжёра
• Пространство циклов
• Гусеница
• Полный граф
• Путевая декомпозиция

Литература

• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга

Ссылки

• Шаблон:MathWorld