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

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

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

Определения

Пусть G — неориентированный граф. Путём в G называется такая конечная или бесконечная последовательность рёбер и вершин $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}$ не является в нём промежуточной вершиной и никакие другие вершины не повторяются.

К сожалению, эта терминология не вполне устоялась. Уилсон писал:

То, что мы назвали маршрутом, называют также путём, рёберной последовательностью.

Цепь называют путём, полупростым путём; простую цепь – цепью, путём, дугой, простым путём, элементарной цепью; замкнутую цепь – циклической цепью, контуром; цикл – контуром, контурной цепью, простым циклом, элементарным циклом.

—

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

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

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

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

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

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

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

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

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

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

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

См. также

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

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

Литература

• Харари Ф. Теория графов. — М.: УРСС, 2003. — 300 с. — ISBN 5-354-00301-6.
• Оре, Ойстин. Теория графов. — М.: УРСС, 2008. — 352 с. — ISBN 978-5-397-00044-4.
• Н. Кристофидес. Теория графов. Алгоритмический подход. — 2-е.. — М.: Издательство «Мир», 1978.
• Р. Уилсон. Введение в теорию графов. — М.: Издательство «Мир», 1977. — (Современная математика. Вводные курсы).
• J.A. Bondy, U.S.R. Murty. Graph Theory with Applications. — North Holland, 1976. — С. 12—21. — ISBN 0-444-19451-7.
• Рейнгард Дистель. Теория графов. — Новосибирск: Изд-во Ин-та математики, 2002. — ISBN 5-86134-101-X.
• Gibbons, A. Algorithmic Graph Theory. — Cambridge University Press, 1985. — С. 5—6. — ISBN 0-521-28881-9.
• Bernhard Korte, László Lovász, Hans Jürgen Prömel Alexander Schrijver. Paths, Flows, and VLSI-Layout. — Algorithms and Combinatorics 9, Springer-Verlag, 1990. — ISBN 0-387-52685-4.

Ссылки

• Weisstein, Eric W. Path Graph (англ.) на сайте Wolfram MathWorld.