Глава 1. Сущность задачи коммивояжёра

1.1. Элементы теории графов. Цикл Гамильтона

Пусть задано некоторое непустое множество Х множество, состоящее из пар элементов множества X. Пары во множестве могут повторяться, и также могут повторяться элементы в парах. Множества Х задают граф 0=(Х, Y) [10: с. 12].

Элементы множества называют вершинами графа, элементы множества V — ребрами графа.

Если пары во множестве V повторяются, то граф С называют псевдографом или графом с кратными ребрами.

Если элементы в парах множества не упорядочены, то граф С называют неориентированным графом. Если они упорядочены, то граф О является ориентированным графом или орграфом, а эле­менты множества V называют дугами.

Графически граф задается в виде точек и линий, их соединяющих.

Введем ряд основных понятий для неориентированного графа. Ребро, начало и конец которого совпадают, называется петлей. Вершины называются смежными или соседними, если суще­ствует ребро, их соединяющее.

Если вершина является началом или концом ребра, то верши­на и ребро называются инцидентными.

Степенью вершины называется число инцидентных ей ребер. Вершина, степень которой равна нулю, называется изолированной. Вершина, степень кото­рой равна единице, называется висячей или тупиковой.

Маршрутом в графе называется последовательность вершин и ребер, в которой конец предыдущего ребра совпадает с началом следующего), это не относится к первому и последнему ребру). Число ребер в маршруте определяет его длину.

Цепью называется маршрут, в котором все ребра попарно раз­личны.

Простой называется цепь, в которой все вершины попарно различны.

Циклом (простым циклом) называется цепь (простая цепь), начало и конец которой совпадают.

Граф называется связным, если для любых двух его вершин существует цепь, соединяющая эти вершины.

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

Диаметром графа называется максимальное расстояние между его вершинами.

Деревом называется связный граф без циклов

Граф называется регулярным степени i, если все его вершины имеют степень i.

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

Регулярный граф, все вершины которого имеют степень 1, на­зывается паросочетанием. Граф называется двудольным, если мно­жество его вершин X может быть разделено на два непересекаю­щихся подмножества таким образом, что каждое ребро графа соединяет вершины из двух разных подмножеств[9: с. 36].

Гамильтонов граф — в теории графов это граф, содержащий гамильтонову цепь или гамильтонов цикл.

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

Гамильтоновы путь, цикл и граф названы в честь ирландского математика У. Гамильтона, который впервые определил эти классы, исследовав задачу «кругосветного путешествия» по додекаэдру, узловые вершины которого символизировали крупнейшие города Земли, а рёбра — соединяющие их дороги. В ориентированном графе каждая дуга имеет направление, показанное стрелкой

Маршрут в ориентированном графе часто называют контуром, а цепь — путем.