Задача о шахматном коне

Гамильтоновы графы

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

Указанные названия цепей и циклов связаны с именем Уильяма Гамильтона (Hamilton W.), который в 1859 году предложил следующую игру-головоломку: требуется, переходя по очереди от одной вершины додекаэдра к другой вершине по его ребру, обойти все 20 вершин по одному разу и вернуться в начальную вершину.

Отметим, что придумано еще много других развлекательных и полезных задач, связанных с поиском гамильтоновых циклов. Сформулируем две из них.

  1. (Задача про банкет) Компанию из нескольких человек требуется рассадить за круглым столом таким образом, чтобы по обе стороны от каждого сидели его знакомые. Очевидно, для решения этой задачи нужно найти гамильтонов цикл в графе знакомств компании.
  2. (Задача о шахматном коне.) Можно ли, начиная с произвольного поля шахматной доски, обойти конем последовательно все 64 поля по одному разу и вернуться в исходное поле? (решение будет рассмотрено ниже).

Следующая теорема, доказанная Поша (Posa L.), дает достаточное условие того, что неориентированный граф является гамильтоновым. Она обобщает результаты, полученные ранее Оре (Ore O.) и Дираком (Dirac G.A.), которые приводятся здесь в виде следствий.

Теорема 1

Пусть G имеет p ≥ 3 вершин. Если для всякого n, 1 ≤ n ≤ (p−1) ⁄ 2, число вершин со степенями, не превосходящими n, меньше чем n, и для нечетного p число вершин степени (p−1) ⁄ 2 не превосходит (p−1) ⁄ 2, то G — гамильтонов граф.

Доказательство. Предположим, что теорема неверна, и пусть G — максимальный негамильтонов граф с p вершинами, удовлетворяющий условиям теоремы. Легко видеть, что добавление любого ребра в граф, обладающий указанными в теореме свойствами, приводит к графу, который так же обладает этими свойствами. Таким образом, поскольку добавление к G произвольного ребра приводит к гамильтонову графу, любые две несмежные вершины соединимы простой остовной (содержащей все вершины графа) цепью.

Покажем сначала, что всякая вершина, степень которой не меньше (p−1)/2, смежна с каждой вершиной со степенью, большей чем (p−1)/2. Допустим (не теряя общности), что degv1 ≥ (p−1)/2 и degvpp/2, но вершины v1 и vp не смежны. Тогда существует простая остовная цепь v1v2vp, соединяющая v1 и vp.

Обозначим вершины, смежные с v1, через vi1,…,vin, где n = degv1 и 2 = i1 < i2 <…< in. Ясно, что вершина vp не может быть смежной ни с одной вершиной из G вида vij−1, поскольку тогда в G был бы гамильтонов цикл
v1v2vij−1vpvp−1vijv1.

Далее, так как n ≥ (p−1)/2, то p/2 ≤ degvpp−1−n < p/2, что невозможно. Поэтому v1 и vp должны быть смежны.

Отсюда следует, что если degvp/2 для всех вершин v, то G — гамильтонов граф. (Ниже это сформулировано в виде следствия 2.) В силу изложенного выше каждая пара вершин графа G смежна, т.е. G — полный граф. Мы пришли к противоречию, поскольку полный граф является гамильтоновым для всех p ≤ 3.

Таким образом, в G — есть вершина v с degv < p/2. Обозначим через m наибольшую среди степеней всех таких вершин. Выберем такую вершину v1, что degv1=m. По принятому предположению число вершин со степенями, не превосходящими m, не больше чем m < p/2, поэтому должно быть более чем m вершин со степенями, превосходящими m, и, следовательно, не меньшим, чем p/2. В результате найдется некоторая вершина, скажем vp, степени по крайней мере p/2, не смежная с v1. Так как v1 и vp не смежны, то существует остовная простая цепь v1vp. Как и выше, обозначим через vi1,…,vim вершины графа G, смежные с v1, и заметим, что вершина vp не может быть смежной ни с одной из m вершин vij−1 для 1 < jm. Но поскольку v1 и vp не смежны, а vp имеет степень не меньше p/2, то, как было показано в первой части доказательства, m должно быть меньше чем (p-1)/2. Так как по предположению число вершин, со степенями, не превосходящими m, меньше чем m, то хотя бы одна из m вершин vij-1, скажем u, должна иметь степень не меньше p/2. Итак, мы установили, что степени двух несмежных вершин vp и u не меньше p/2. Полученное противоречие завершает доказательство теоремы. ♦

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

Ограничивая условия теоремы Поша, получаем более простые, но менее сильные достаточные условия, найденные Оре и Дираком соответственно:

Следствие 1

Если p ≥ 3 и degu + degvp для любой пары u и v несмежных вершин графа G, то G — гамильтонов граф.

Следствие 2

Если p > 3 и degvp / 2 для любой вершины v графа G, то G — гамильтонов граф.

Теорема 2

В полном графе G(V, E) всегда существует гамильтонов путь.

Доказательство. Пусть m = a1a2ap — путь длины p−1, причем все вершины в m различны. x — вершина ∉ m. Покажем, что можно составить путь вида

mk = a1akxak+1ap

Пусть не существует такого целого числа k, заключенного между 1 и p, что

(ak, x) ∈ E, (x, ak+1) ∈ E.

Имеем, следовательно, для 1 ≤ kp:

(ak, x) ∈ E ⇒ (x, ak+1) ∉ E ⇒ (ak+1, x) ∈ E.

Если не существует пути m0 = xa1ap, то (a1, x) ∈ E ⇒ (a2, x) ∈ E, (ap, x) ∈ E, и путь mp = a1apx существует, вопреки допущению. Таким образом, можно шаг за шагом построить путь, содержащий все вершины графа. ♦

Примечание. Из этого результата вытекает, что всегда возможно упорядочить множество участников турнира таким образом, чтобы каждый предшествующий был победителем непосредственно следующего (если, конечно, ни одна из встреч не заканчивается ничьей).

Задача о шахматном коне

Поставим задачу обойти конем шахматную доску так, что побывать в каждой клетке ровно по одному разу. Эта задача интересовала многих математиков, особенно Эйлера (Euler L.), де Муавра (de Moivres), Вандермонда (Vandermonde) и др.

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

Другой способ состоит в нахождении маршрута по половинке доски, симметричном дублировании его и соединении обоих маршрутов.

Задача о шахматном коне - student2.ru Гамильтоновой цепью графа называется его простая цепь, которая проходит через каждую вершину графа точно один раз. Цикл графа, проходящий через каждую его вершину, называется гамильтоновым циклом. Граф называется гамильтоновым, если он обладает гамильтоновым циклом.

Указанные названия цепей и циклов связаны с именем Уильяма Гамильтона (Hamilton W.), который в 1859 году предложил следующую игру-головоломку: требуется, переходя по очереди от одной вершины додекаэдра к другой вершине по его ребру, обойти все 20 вершин по одному разу и вернуться в начальную вершину.

Задача о шахматном коне - student2.ru

Отметим, что придумано еще много других развлекательных и полезных задач, связанных с поиском гамильтоновых циклов. Сформулируем две из них.

  1. (Задача про банкет) Компанию из нескольких человек требуется рассадить за круглым столом таким образом, чтобы по обе стороны от каждого сидели его знакомые. Очевидно, для решения этой задачи нужно найти гамильтонов цикл в графе знакомств компании.
  2. (Задача о шахматном коне.) Можно ли, начиная с произвольного поля шахматной доски, обойти конем последовательно все 64 поля по одному разу и вернуться в исходное поле? (решение будет рассмотрено ниже).

Следующая теорема, доказанная Поша (Posa L.), дает достаточное условие того, что неориентированный граф является гамильтоновым. Она обобщает результаты, полученные ранее Оре (Ore O.) и Дираком (Dirac G.A.), которые приводятся здесь в виде следствий.

Теорема 1

Пусть G имеет p ≥ 3 вершин. Если для всякого n, 1 ≤ n ≤ (p−1) ⁄ 2, число вершин со степенями, не превосходящими n, меньше чем n, и для нечетного p число вершин степени (p−1) ⁄ 2 не превосходит (p−1) ⁄ 2, то G — гамильтонов граф.

Доказательство. Предположим, что теорема неверна, и пусть G — максимальный негамильтонов граф с p вершинами, удовлетворяющий условиям теоремы. Легко видеть, что добавление любого ребра в граф, обладающий указанными в теореме свойствами, приводит к графу, который так же обладает этими свойствами. Таким образом, поскольку добавление к G произвольного ребра приводит к гамильтонову графу, любые две несмежные вершины соединимы простой остовной (содержащей все вершины графа) цепью.

Покажем сначала, что всякая вершина, степень которой не меньше (p−1)/2, смежна с каждой вершиной со степенью, большей чем (p−1)/2. Допустим (не теряя общности), что degv1 ≥ (p−1)/2 и degvpp/2, но вершины v1 и vp не смежны. Тогда существует простая остовная цепь v1v2vp, соединяющая v1 и vp.

Задача о шахматном коне - student2.ru

Обозначим вершины, смежные с v1, через vi1,…,vin, где n = degv1 и 2 = i1 < i2 <…< in. Ясно, что вершина vp не может быть смежной ни с одной вершиной из G вида vij−1, поскольку тогда в G был бы гамильтонов цикл
v1v2vij−1vpvp−1vijv1.

Задача о шахматном коне - student2.ru

Далее, так как n ≥ (p−1)/2, то p/2 ≤ degvpp−1−n < p/2, что невозможно. Поэтому v1 и vp должны быть смежны.

Отсюда следует, что если degvp/2 для всех вершин v, то G — гамильтонов граф. (Ниже это сформулировано в виде следствия 2.) В силу изложенного выше каждая пара вершин графа G смежна, т.е. G — полный граф. Мы пришли к противоречию, поскольку полный граф является гамильтоновым для всех p ≤ 3.

Таким образом, в G — есть вершина v с degv < p/2. Обозначим через m наибольшую среди степеней всех таких вершин. Выберем такую вершину v1, что degv1=m. По принятому предположению число вершин со степенями, не превосходящими m, не больше чем m < p/2, поэтому должно быть более чем m вершин со степенями, превосходящими m, и, следовательно, не меньшим, чем p/2. В результате найдется некоторая вершина, скажем vp, степени по крайней мере p/2, не смежная с v1. Так как v1 и vp не смежны, то существует остовная простая цепь v1vp. Как и выше, обозначим через vi1,…,vim вершины графа G, смежные с v1, и заметим, что вершина vp не может быть смежной ни с одной из m вершин vij−1 для 1 < jm. Но поскольку v1 и vp не смежны, а vp имеет степень не меньше p/2, то, как было показано в первой части доказательства, m должно быть меньше чем (p-1)/2. Так как по предположению число вершин, со степенями, не превосходящими m, меньше чем m, то хотя бы одна из m вершин vij-1, скажем u, должна иметь степень не меньше p/2. Итак, мы установили, что степени двух несмежных вершин vp и u не меньше p/2. Полученное противоречие завершает доказательство теоремы. ♦

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

Задача о шахматном коне - student2.ru

Ограничивая условия теоремы Поша, получаем более простые, но менее сильные достаточные условия, найденные Оре и Дираком соответственно:

Следствие 1

Если p ≥ 3 и degu + degvp для любой пары u и v несмежных вершин графа G, то G — гамильтонов граф.

Следствие 2

Если p > 3 и degvp / 2 для любой вершины v графа G, то G — гамильтонов граф.

Теорема 2

В полном графе G(V, E) всегда существует гамильтонов путь.

Доказательство. Пусть m = a1a2ap — путь длины p−1, причем все вершины в m различны. x — вершина ∉ m. Покажем, что можно составить путь вида

mk = a1akxak+1ap

Пусть не существует такого целого числа k, заключенного между 1 и p, что

(ak, x) ∈ E, (x, ak+1) ∈ E.

Имеем, следовательно, для 1 ≤ kp:

(ak, x) ∈ E ⇒ (x, ak+1) ∉ E ⇒ (ak+1, x) ∈ E.

Если не существует пути m0 = xa1ap, то (a1, x) ∈ E ⇒ (a2, x) ∈ E, (ap, x) ∈ E, и путь mp = a1apx существует, вопреки допущению. Таким образом, можно шаг за шагом построить путь, содержащий все вершины графа. ♦

Примечание. Из этого результата вытекает, что всегда возможно упорядочить множество участников турнира таким образом, чтобы каждый предшествующий был победителем непосредственно следующего (если, конечно, ни одна из встреч не заканчивается ничьей).

Наши рекомендации