Рефетека.ру / Математика

Курсовая работа: Основи теорії графів. Властивості ойлерових та гамільтонових графів

КУРСОВА РОБОТА

з дисципліни

„Алгебра та теорія чисел”

за темою

Основи теорії графів.

Властивості ойлерових та гамільтонових графів”


ЗМІСТ


ВСТУП

РОЗДІЛ І ВВЕДЕННЯ В ТЕОРІЮ ГРАФІВ

1.1 Основні поняття та означення

1.2 Лема про рукостискання

1.3 Оцінки для числа ребер з Основи теорії графів. Властивості ойлерових та гамільтонових графів компонентами зв ‘язності

1.4 Орієнтовані графи, графи з петлями, графи з паралельними дугами

РОЗДІЛ ІІ ОЙЛЕРОВІ ГРАФИ

2.1 Ойлерова ломиголовка «Кенігзберзьких мостів»

2.2 Основні поняття та означення ойлерових графів

2.3 Приклади ойлерових графів

РОЗДІЛ ІІІ ГАМІЛЬТОНОВІ ГРАФИ

3.1 Сутність гамільтонових графів

3.2 Основні поняття та означення

3.3 Приклади гамільтонових графів

ВИСНОВКИ

СПИСОК ВИКОРИСТАНОЇ ЛІТЕРАТУРИ


ВСТУП


Роком виникнення теорії графів одностайно вважається рік 1736, коли Леонард Ойлер опублікував розв’язок так званої задачі про кенігсберзькі мости, а також знайшов загальний критерій існування ойлерового циклу в графі.

Отримання дальших суттєвих результатів у цій галузі датують серединою ХIХ століття. Однак початок проведення активних систематичних досліджень та становлення теорії графів як окремішного авторитетного розділу сучасної математики відбулося ще майже 100 років по тому, тобто в середині ХХ століття. Саме з цього часу граф стає однією з найпоширеніших і найпопулярніших математичних моделей у багатьох сферах науки і техніки. Картинка у вигляді набору точок на площині та ліній, проведених між деякими з них, стала зручною і наочною формою зображення найрізноманітніших об’єктів, процесів та явищ.

Великою мірою це пов’язано з виникненням, бурхливим розвитком та поширенням електронних обчислювальних машин і, як наслідок, значним зростанням ролі задач дискретного характеру. Математика від "обслуговування" переважно фізики переходить до проникнення своїх методів у інші сфери людської діяльності. Одним з потужних інструментів такого проникнення є граф.

Із суто формальної точки зору граф можна розглядати як один з різновидів алгебраїчної системи (а саме, як модель), а отже, і всю теорію графів - як розділ сучасної алгебри. Справді, результати та методи алгебри широко використовуються в теорії графів. Однак за останні півстоліття активного інтенсивного та екстенсивного розвитку теорія графів виробила свою достатньо специфічну власну проблематику і методологію. На сьогодні теорія графів є однією зі складових математичного апарату кібернетики, важливим розділом дискретної математики.

В курсові роботі досліджені властивості ойлерових та гамільтонових ланцюгів та циклів в теорії графів, а також наведені приклади графів.


РОЗДІЛ І ВВЕДЕННЯ В ТЕОРІЮ ГРАФІВ


1.1 Основні поняття та означення


Основні елементи геометричних фігур, які застосовуються у теорії графів наведені на рис.1. та складаються з вершин графу, ребер графу та дуг графу.

Сполучення цих елементів визначає поняття: неорієнтований граф, орієнтований граф та змішаний граф [6].


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.1.1. Основні елементи графу (вершина, ребро, дуга)


Неорієнтований граф (неограф) — це граф (рис.1.2), для кожного ребра якого несуттєвий порядок двох його кінцевих вершин.


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.1.2. Неорієнтований граф (вершини та ребра)

Орієнтований граф (орграф) — це граф, для кожного ребра якого істотний порядок двох його кінцевих вершин. Орграф представлений на рис.1.3, ребра орграфа іноді називають дугами.


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис. 1.3. Орієнтований граф


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис. 1.4. Змішаний граф


Змішаний граф (рис.1.4) – це граф, що містить як орієнтовані, так і неорієнтовані ребра. Кожної з перерахованих видів графа може містити одне або кілька ребер, у яких обидва кінці сходяться в одній вершині, такі ребра називаються петлями (рис.1.5).


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис. 1.5. Змішаний граф з петлями


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис. 1.6. Загальний випадок графа


У загальному випадку множина ребер може складатися із трьох непересічних підмножин: підмножини ланок, підмножини дуг і підмножини петель (рис.1.6).


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.1.7. Сутність геометричної конфігурації графа, в якому всі вершини можна обійти за маршрутом без перетинання ребер графу

Наочно граф можна уявляти як геометричну конфігурацію ( див. рис.1.7), яка складається з точок (вершин графу 1,2,3,4,5,6) і ребер (ліній або відрізків №1(1-3), №2(3-4), №3(4-5), №4(3-5), №5(2-3), №6(2-5), №7(5-6), №8(6-2), №9(2-1), які сполучають деякі точки (вершини) за вибраним алгоритмом обходу вершин графу) [5].

Дамо формальне математичне означення графа згідно [11].

Нехай Основи теорії графів. Властивості ойлерових та гамільтонових графів–деяка скінченна множина (множина вершин),Основи теорії графів. Властивості ойлерових та гамільтонових графів - множина всіх невпорядкованих пар елементів (ребер або дуг графу) з множини вершинОснови теорії графів. Властивості ойлерових та гамільтонових графів, Основи теорії графів. Властивості ойлерових та гамільтонових графів.

Означення 1.1.

Граф Основи теорії графів. Властивості ойлерових та гамільтонових графів – пара множинОснови теорії графів. Властивості ойлерових та гамільтонових графів. Множина Основи теорії графів. Властивості ойлерових та гамільтонових графів–це множина вер-шин, множина Основи теорії графів. Властивості ойлерових та гамільтонових графів–це множина ребер. Якщо Основи теорії графів. Властивості ойлерових та гамільтонових графів, то ми говоримо, що ребро Основи теорії графів. Властивості ойлерових та гамільтонових графів сполучає вершину Основи теорії графів. Властивості ойлерових та гамільтонових графів з вершиною Основи теорії графів. Властивості ойлерових та гамільтонових графів; інша термінологія – ребро Основи теорії графів. Властивості ойлерових та гамільтонових графів і вершини Основи теорії графів. Властивості ойлерових та гамільтонових графів та Основи теорії графів. Властивості ойлерових та гамільтонових графів - інцидентні.

Означення 1.2.

Граф Основи теорії графів. Властивості ойлерових та гамільтонових графівназивається повним , якщо Основи теорії графів. Властивості ойлерових та гамільтонових графів, тобто граф складається з максимально можливої кількості ребер, які попарно з’єднують точки Основи теорії графів. Властивості ойлерових та гамільтонових графів його вершин (див.рис.1.8). Якщо множина Основи теорії графів. Властивості ойлерових та гамільтонових графів містить Основи теорії графів. Властивості ойлерових та гамільтонових графів вершин, то, очевидно , число ребер повного графа дорівнює Основи теорії графів. Властивості ойлерових та гамільтонових графів.


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.1.8. Приклади повних графів


Означення 1.3.

Граф називається порожнім, якщо Основи теорії графів. Властивості ойлерових та гамільтонових графів, тобто граф не має ребер (див.рис.1.9).

Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.1.9. Приклад побудови 3-х вершинного графу з різною кількістю ребер (заповнення графу від «порожнього» до «повного»)


Природно виникає питання: скільки є різних графів з множиною вершин Основи теорії графів. Властивості ойлерових та гамільтонових графів , якщо Основи теорії графів. Властивості ойлерових та гамільтонових графів. Для цього доведемо наступну теорему.

Теорема 1.1.

Число усіх різних графів з Основи теорії графів. Властивості ойлерових та гамільтонових графів вершинами дорівнює (табл.1.1):


Основи теорії графів. Властивості ойлерових та гамільтонових графів


Доведення. Справді, граф Основи теорії графів. Властивості ойлерових та гамільтонових графів повністю визначено, якщо вказано множину Основи теорії графів. Властивості ойлерових та гамільтонових графів, яка є підмножиною Основи теорії графів. Властивості ойлерових та гамільтонових графів. Множина Основи теорії графів. Властивості ойлерових та гамільтонових графів містить Основи теорії графів. Властивості ойлерових та гамільтонових графів елементів, тому число усіх її підмножин дорівнює Основи теорії графів. Властивості ойлерових та гамільтонових графів .


Таблиця 1.1

Зображення повних графів з кількістю вершин від 5 до 11 [3]

Означення 1.4.

Вершини Основи теорії графів. Властивості ойлерових та гамільтонових графів та Основи теорії графів. Властивості ойлерових та гамільтонових графів графа Основи теорії графів. Властивості ойлерових та гамільтонових графів інцидентні, якщо Основи теорії графів. Властивості ойлерових та гамільтонових графів.

Означення 1.5.

Степенем Основи теорії графів. Властивості ойлерових та гамільтонових графів вершини Основи теорії графів. Властивості ойлерових та гамільтонових графів графа Основи теорії графів. Властивості ойлерових та гамільтонових графів називається число вершин Основи теорії графів. Властивості ойлерових та гамільтонових графів, які інцидентні вершині Основи теорії графів. Властивості ойлерових та гамільтонових графів ( число відрізків які виходять з вершини Основи теорії графів. Властивості ойлерових та гамільтонових графів) – див.рис.1.10.


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.1.10. Визначення степенів вершин графу по кількості ребер, що виходять із вершин


Означення 1.6.

Якщо Основи теорії графів. Властивості ойлерових та гамільтонових графів, то вершина Основи теорії графів. Властивості ойлерових та гамільтонових графів називається кінцевою вершиною графа Основи теорії графів. Властивості ойлерових та гамільтонових графів. Якщо Основи теорії графів. Властивості ойлерових та гамільтонових графів, то вершини Основи теорії графів. Властивості ойлерових та гамільтонових графів називається ізольованою(див рис. 1.11)


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.1.11. Визначення кінцевих та ізольованих вершин графа


1.2 Лема про рукостискання


Формулювання цієї леми просте – „кількість рук, що приймають участь у рукостисканні N-пар людей, дорівнює 2*N”. Лему можна представити у формі графу, де N вершин з’єднані ребрами d(xi,xj) рукостискання i та j – вершин (див. рис.1.12), виконавши наступне доведення.

Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.1.12. „Лема про рукостискання” 5 осіб у вигляді графу „взаємно-простягнутих рук” (10 пар рук для повної множини рукостискань) [3]


Нехай Основи теорії графів. Властивості ойлерових та гамільтонових графів граф з множиною верщин Основи теорії графів. Властивості ойлерових та гамільтонових графів. Тоді


Основи теорії графів. Властивості ойлерових та гамільтонових графів (1.1)

Доведення. Зауважимо,що кожне ребро графа в сумі Основи теорії графів. Властивості ойлерових та гамільтонових графів враховується двічі (див. рис.1.5), і тому спараведива рівність (1.1). Зауважимо, що сума сту-пенів усіх вершин у графі (або мультіграфі без петель) повинна бути парною. Це випливає з того, що якщо взяти вершини, взагалі не пов'язані одна з одною, то сума ступенів цих вершин дорівнює нулю. Додаючи будь-яке ребро, що пов'язує дві вершини, збільшуємо суму всіх ступенів на 2 одиниці. Таким чи-ном, сума всіх ступенів вершин парна. З рівності 1.1 випливає такє твердження: число вершин непарного степеня в графі Основи теорії графів. Властивості ойлерових та гамільтонових графівобовязково є парним числом.

Для визначення матриці суміжності, розглянемо граф Основи теорії графів. Властивості ойлерових та гамільтонових графів. Нехай


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Означення 1.7.

Матриця Основи теорії графів. Властивості ойлерових та гамільтонових графівназивається матрицею суміжності ( інцидентності) графа Основи теорії графів. Властивості ойлерових та гамільтонових графів.

Матриця суміжності Основи теорії графів. Властивості ойлерових та гамільтонових графів- це симетрична матриця, елементи якої до-рівнюють нулеві або одиниці ( діагональні елементи дорівнюють нулеві) і така, що сума чисел в будь-якому рядку і будь-якому стовпці дорівнює степені від-повідної вершини. Так, для графу, наведеного на рис.1.13, матриця суміжності побудується у вигляді:


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.1.13. До побудови матриці суміжності 3-х вершинного графу


Означення 1.8.

Послідовність реберОснови теорії графів. Властивості ойлерових та гамільтонових графівОснови теорії графів. Властивості ойлерових та гамільтонових графів, в якій сусідні ребра інцидентні одній і тій же вершині називаються ланцюгом. Ланцюг називається простим, якщо всі вершини, належні йому (крім, можливо, першої і останньої), різні; число в цьому випадку називають довжиною ланцюга.

Якщо Основи теорії графів. Властивості ойлерових та гамільтонових графів , то ланцюг називається циклом. Цикл, в якому всі вершини різні, називається простим. Приклади простих ланцюгів та простих циклів наведені на рис.1.14:

(1,3), (3,4), (4,6) – простий ланцюг;

(1,2), (2,5), (5,6) – простий ланцюг;

(1,3), (3,4), (4,6), (6,5), (5,2)Ю (2,1) – простий цикл.

Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис 1.14. Приклад графа з простими ланцюгами та простими циклами


Означення 1.9.

Граф Основи теорії графів. Властивості ойлерових та гамільтонових графівє підграфом графа Основи теорії графів. Властивості ойлерових та гамільтонових графів, якщо Основи теорії графів. Властивості ойлерових та гамільтонових графів.Якщо Основи теорії графів. Властивості ойлерових та гамільтонових графів , то підграф Основи теорії графів. Властивості ойлерових та гамільтонових графів називається остовним підграфом.

Означення 1.10.

Граф Основи теорії графів. Властивості ойлерових та гамільтонових графів є сумою графів Основи теорії графів. Властивості ойлерових та гамільтонових графів, якщо

Основи теорії графів. Властивості ойлерових та гамільтонових графів

ця сума називається прямою, якщо Основи теорії графів. Властивості ойлерових та гамільтонових графів, Основи теорії графів. Властивості ойлерових та гамільтонових графів


1.3 Оцінки для числа ребер з Основи теорії графів. Властивості ойлерових та гамільтонових графів компонентами зв язності


Означення 1.11.

Граф Основи теорії графів. Властивості ойлерових та гамільтонових графів називається зв язним , якщо будь-які вершини Основи теорії графів. Властивості ойлерових та гамільтонових графів та Основи теорії графів. Властивості ойлерових та гамільтонових графів Основи теорії графів. Властивості ойлерових та гамільтонових графів сполучені ланцюгом з початком в Основи теорії графів. Властивості ойлерових та гамільтонових графів і кінцем в Основи теорії графів. Властивості ойлерових та гамільтонових графів. З симетрії випливає, що в цьому випадку і вершина Основи теорії графів. Властивості ойлерових та гамільтонових графів сполучена з вершиною Основи теорії графів. Властивості ойлерових та гамільтонових графів.

Теорема 1.2.

Кожен граф є прямою сумою зв язних графів.

Доведення. На множині вершин Основи теорії графів. Властивості ойлерових та гамільтонових графів граф Основи теорії графів. Властивості ойлерових та гамільтонових графів визначимо відношення

Основи теорії графів. Властивості ойлерових та гамільтонових графів, якщо Основи теорії графів. Властивості ойлерових та гамільтонових графів сполучається з Основи теорії графів. Властивості ойлерових та гамільтонових графів .Відношення Основи теорії графів. Властивості ойлерових та гамільтонових графів є відношенням еквівалентнос-ті. Позначимо через Основи теорії графів. Властивості ойлерових та гамільтонових графів.Тоді Основи теорії графів. Властивості ойлерових та гамільтонових графів і є розбиття Основи теорії графів. Властивості ойлерових та гамільтонових графів на класи еквівалентності. Графи Основи теорії графів. Властивості ойлерових та гамільтонових графів є зв язними графами і

Основи теорії графів. Властивості ойлерових та гамільтонових графів (1.2)


є прямою сумою зв’язних графів.

Ці графи називаються компонентами зв’язності.

Розглянемо оцінки для числа ребер з Основи теорії графів. Властивості ойлерових та гамільтонових графів компонентами зв’язності.

Теорема 1.3.

Нехай Основи теорії графів. Властивості ойлерових та гамільтонових графів граф, який складається з Основи теорії графів. Властивості ойлерових та гамільтонових графів вершин, Основи теорії графів. Властивості ойлерових та гамільтонових графів ребер і Основи теорії графів. Властивості ойлерових та гамільтонових графівкомпонент зв язності. Тоді виконуються нерівності


Основи теорії графів. Властивості ойлерових та гамільтонових графів


Доведення . Доведемо спочатку нерівність Основи теорії графів. Властивості ойлерових та гамільтонових графів.Будемо доводити індукцією за числом ребер. Припустимо, що нерівність справедлива для всіх графів з числом ребер Основи теорії графів. Властивості ойлерових та гамільтонових графів. Нехай Основи теорії графів. Властивості ойлерових та гамільтонових графів граф з Основи теорії графів. Властивості ойлерових та гамільтонових графіввершин, Основи теорії графів. Властивості ойлерових та гамільтонових графів ребер і Основи теорії графів. Властивості ойлерових та гамільтонових графів

компонентами зв’язності. Викреслимо максимальне можливе число ребер так, щоб не змінювалося число компонент зв’язностя. Число ребер в отриманому графі позначемо Основи теорії графів. Властивості ойлерових та гамільтонових графів.

Розглянемо для прикладу граф, зображений на рисунку (1.15)


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис. 1.15. Приклад 1 графу для оцінки зв’язності


В ньому Основи теорії графів. Властивості ойлерових та гамільтонових графів.Викресливши два ребра, отримаємо граф Основи теорії графів. Властивості ойлерових та гамільтонових графів. Викреслити далі яке-небудь ребро, не порушуючи зв язності, вже не можна (див.рис.1.16).


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис. 1.16. Приклад 1 графу для оцінки зв’язності


Повернемося до графу, отриманого з Основи теорії графів. Властивості ойлерових та гамільтонових графів. Викресливши в ньому ще одне ребро, ми отримаємо граф з числом компонент зв язності на одиницю більшим. В силу індуктивного припущення, справедливого, бо Основи теорії графів. Властивості ойлерових та гамільтонових графів, маємо Основи теорії графів. Властивості ойлерових та гамільтонових графів , звідки Основи теорії графів. Властивості ойлерових та гамільтонових графів.

Для доведення верхньої оцінки в нерівності (1.3) замінимо кожну компо-ненту повним графом. Нехай Основи теорії графів. Властивості ойлерових та гамільтонових графів та Основи теорії графів. Властивості ойлерових та гамільтонових графів два повних, отриманих з компонент зв’ язності Основи теорії графів. Властивості ойлерових та гамільтонових графів та Основи теорії графів. Властивості ойлерових та гамільтонових графів , а Основи теорії графів. Властивості ойлерових та гамільтонових графів та Основи теорії графів. Властивості ойлерових та гамільтонових графів число ребер в цих компонентах Основи теорії графів. Властивості ойлерових та гамільтонових графів. Замінемо Основи теорії графів. Властивості ойлерових та гамільтонових графів на повний граф, додавши одну вершину, а Основи теорії графів. Властивості ойлерових та гамільтонових графів замінемо на повний граф, віднявши одну вершину. Тоді загальне число вершин не змінеться, а число ребер збільшиться на додатню величину


Основи теорії графів. Властивості ойлерових та гамільтонових графів


Отже, для того, щоб число ребер у графі Основи теорії графів. Властивості ойлерових та гамільтонових графів було максимально можливим (при фіксованих Основи теорії графів. Властивості ойлерових та гамільтонових графів і Основи теорії графів. Властивості ойлерових та гамільтонових графів), граф Основи теорії графів. Властивості ойлерових та гамільтонових графів повинен складатись з Основи теорії графів. Властивості ойлерових та гамільтонових графів ізольованих вершин і повного графа з Основи теорії графів. Властивості ойлерових та гамільтонових графів вершинами.Звідси й випливає нерівність (1.3). Теорема доведена.

З нерівності (1.3) випливає такий наслідок.

Наслідок. Будь-який граф з Основи теорії графів. Властивості ойлерових та гамільтонових графів і більше ніж Основи теорії графів. Властивості ойлерових та гамільтонових графів ребрами є зв’язним.

Справді, якщо граф з Основи теорії графів. Властивості ойлерових та гамільтонових графів вершинами має дві компоненти зв’язності, то максимальне число ребер не перевищує Основи теорії графів. Властивості ойлерових та гамільтонових графів.

Найти компоненти сильної зв’язності графу на рис.1.17.


Основи теорії графів. Властивості ойлерових та гамільтонових графів


Відповіді

Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.1.17. 7-ми вершинний граф для обчислення компонентів зв’язності [10]


1.4 Орієнтовані графи, графи з петлями, графи з паралельними дугами


Дамо означення орієнтованих графів, графів з петлями та графів з пара-лельними дугами.

Неформально, граф виглядає як діаграма, тобто множина точок площини (вершин, або вузлів), з’єднаних між собою лініями (ребрами). Діаграма дає уяву про зв’язки між елементами (вершинами), але нічого не каже про метричні властивості (довжина ліній, їх форма тощо).

Залежно від типу ребер відрізняють кілька типів графів. Петля — це реб-ро, що з’єднує вершину саму з собою. У мультиграфі петлі не допускаються, але пари вершин можуть з’єднуватися кількома ребрами, які називаються крат-ними, або паралельними. У псевдографі допускаються петлі й кратні ребра. В звичайному графі немає ні петель, ні кратних ребер.

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


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.1.18. Види орієнтованих графів


Означення 1.12.

Нехай Основи теорії графів. Властивості ойлерових та гамільтонових графів множина вершин , Основи теорії графів. Властивості ойлерових та гамільтонових графів - множина впорядкованих пар елементів з Основи теорії графів. Властивості ойлерових та гамільтонових графів ( будемо називати їх дугами).Орієнтованим графом Основи теорії графів. Властивості ойлерових та гамільтонових графів називатимемо пару множин Основи теорії графів. Властивості ойлерових та гамільтонових графів , де Основи теорії графів. Властивості ойлерових та гамільтонових графів.

Дуга Основи теорії графів. Властивості ойлерових та гамільтонових графів називається дугою з Основи теорії графів. Властивості ойлерових та гамільтонових графів в Основи теорії графів. Властивості ойлерових та гамільтонових графів (див.рис.1.19).

Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис. 1.19. Орієнтований 3-х вершинний граф (Основи теорії графів. Властивості ойлерових та гамільтонових графів,


Основи теорії графів. Властивості ойлерових та гамільтонових графів.)


Теорема 1.4. Число усіх орієнтованих графів з Основи теорії графів. Властивості ойлерових та гамільтонових графів вершинами дорівнює Основи теорії графів. Властивості ойлерових та гамільтонових графів.

Доведення . Справді , число впорядкованих пар елементів з Основи теорії графів. Властивості ойлерових та гамільтонових графів дорівнює Основи теорії графів. Властивості ойлерових та гамільтонових графів, тому число всіх можливих множин дуг дорівнює Основи теорії графів. Властивості ойлерових та гамільтонових графів.

Означення 1.13.

Нехай Основи теорії графів. Властивості ойлерових та гамільтонових графів-множина вершин. Орієнтованим графом з петлями будемо називати пару множин Основи теорії графів. Властивості ойлерових та гамільтонових графів, де Основи теорії графів. Властивості ойлерових та гамільтонових графів (див.рис.1.20).


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.1.20. Орієнтований граф з петлями в якому Основи теорії графів. Властивості ойлерових та гамільтонових графів, Основи теорії графів. Властивості ойлерових та гамільтонових графів


Теорема 1.5. Число орієнтованих графів з петлями , які мають Основи теорії графів. Властивості ойлерових та гамільтонових графів вершин, дорівнює Основи теорії графів. Властивості ойлерових та гамільтонових графів.

Доведення. Справді, число різних множин Основи теорії графів. Властивості ойлерових та гамільтонових графів(підмножин множини Основи теорії графів. Властивості ойлерових та гамільтонових графів) дорівнює Основи теорії графів. Властивості ойлерових та гамільтонових графів.

Якщо розглядається одночасно декілька типів графів, то графи які описуються означення (1.1), будемо називати простими графами.

Якщо в означенні (1.1) до множини Основи теорії графів. Властивості ойлерових та гамільтонових графів невпорядкованих пар приєднати ще множину всіх пар виду Основи теорії графів. Властивості ойлерових та гамільтонових графів, то відповідний граф називається простим графом з петлями.

З теореми 1.5 випливає довід теореми 1.6 про прості графи.

Теорема 6. Число всіх простих графів з Основи теорії графів. Властивості ойлерових та гамільтонових графів вершинами і петлями дорівнює


Основи теорії графів. Властивості ойлерових та гамільтонових графів


Надалі, ми будемо розглядати прості графи.


РОЗДІЛ ІІ ОЙЛЕРОВІ ГРАФИ


2.1 Ойлерова ломиголовка «Кенігзберзьких мостів»


Для рішення серйозних математичних задач математик Ойлер(Euler) використовував наочні ломиголовки. Одна з них поклала початок зовсім новій області досліджень, що виросла згодом у самостійний розділ математики - теорію графів і топологію. Особливість цієї теорії - у геометричному підході до вивчення об'єктів.

Теорія графів – одна з небагатьох математичних дисциплін, дата народження якої може бути встановлена абсолютно точно.

Перша робота з теорії графів належить Леонарду Ойлеру. Вона з’явилась в публикаціях Санкт-Петербургзської Академії наук у 1736 році.

Праця Ойлера розпочиналася з розгляду однієї ломиголовки так званої „задачі про кенігзберзькі мости”

Місто Кенігзберг (нині Калінінград) розташоване на берегах річки Прегель і двох островах. Різні частини міста сполучені сімома мостами. Щонеділі жителі міста любили здійснювати прогулянки по місту. Ойлер поставив питання: чи можна здійснити прогулянку, вийшовши з дому і повернувшись до нього , таку , щоб по кожному мосту пройти рівно один раз.

Сформулюємо задачу, як задачу теорії графів. Схематична карта міста зображена на рисунку 2.1..


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис. 2.1. Схема мостів в Кенігзберзі [11]


Чотири частини міста зображені літерами Основи теорії графів. Властивості ойлерових та гамільтонових графів Оскільки нас цікав-лять лише переходи через мости, ми можемо вважати Основи теорії графів. Властивості ойлерових та гамільтонових графів вершинами графа, ребра якого відповідають мостам. Цей граф зображено на рисунку 2.2.


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис. 2.2. Граф «Кенігзберзьких мостів» в ломи головці Ойлера


Ойлер зауважив, що цей граф не являє єдиного циклу; з якої б вершини ми не почали б обхід , ми не можемо обійти весь граф і повернутись назад, не проходячи жодного ребра двічі. Якби такий цикл існував, то з кожної вершини виходило б стільки ребер , скільки в неї входить , інакше кажучи степінь кожної вершини була б парним числом. Таким чином, відповідь на питання Ойлера-негативна.

Виклавши розв язання задачі про кенігзберзькі мости , Ойлер в своїй праці поставив питання : на яких графах можна знайти цикл, який містить всі ребра графа, при чому кожне ребро зустрічається в циклі рівно один раз?

Це дало початок системному математичному підходу до побудови та вивчення властивості графів.


2.2 Основні поняття та означення ойлерових графів


Означення 2.1

Зв’ яний граф називається ойлеровим графом, якщо існує замкнений ланцюг, який проходить через кожне ребро.Такий ланцюг будемо називати ойлеровим ланцюгом, або ойлеровим циклом (див.рис.2.3)

Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.2.3. Структура вершин та ребер в неорієнтованому ойлеровому графі (* - означено точку входу ойлерового ланцюга - циклу)


Означення 2.2

Граф називається напівойлеровим, якщо існує ланцюг , який проходить через кожне його ребро рівно один раз (див рис.2.4).


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.2.4. Структура вершин та ребер в неорієнтованому напівойлеровому графі (* - означено точку початку та кінця ойлерового ланцюгу)


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.2.5. Приклад неойлерового графу

Дослідивши структуру неойлерового графу, наведеного на рис.2.5, розг-лянемо необхідні і достатні умови для того, щоб граф був ойлеровим. Доведемо лему, яка далі буде грати істотну роль.

Лема 2.1

Якщо степінь кожної вершини графа Основи теорії графів. Властивості ойлерових та гамільтонових графів не менше двох , то граф містить цикл.

Доведення. Якщо в графі є петлі або кратні дуги, то твердження леми оче-видне. Тому надалі будемо припускати , що Основи теорії графів. Властивості ойлерових та гамільтонових графів є простим графом. Нехай Основи теорії графів. Властивості ойлерових та гамільтонових графів– довільна вершина графа Основи теорії графів. Властивості ойлерових та гамільтонових графів. Побудуємо по індукції маршрут


Основи теорії графів. Властивості ойлерових та гамільтонових графів


обираючи вершину Основи теорії графів. Властивості ойлерових та гамільтонових графів, суміжну з Основи теорії графів. Властивості ойлерових та гамільтонових графів, а при Основи теорії графів. Властивості ойлерових та гамільтонових графів обираючи вершину Основи теорії графів. Властивості ойлерових та гамільтонових графів, суміж-ну з Основи теорії графів. Властивості ойлерових та гамільтонових графів і відмінну від Основи теорії графів. Властивості ойлерових та гамільтонових графів (існування такої вершини випливає з умови леми). Оскільки Основи теорії графів. Властивості ойлерових та гамільтонових графів має скінченне число вершин, то врешті-решт ми прийдемо до вершини Основи теорії графів. Властивості ойлерових та гамільтонових графів, з якої вийшли. Отримаємо цикл Основи теорії графів. Властивості ойлерових та гамільтонових графів

Лема доведена.

Теорема 2.1 Для зв’язного графа Основи теорії графів. Властивості ойлерових та гамільтонових графів наступні умови еквівалентні:

Основи теорії графів. Властивості ойлерових та гамільтонових графів- ойлерів граф;

кожна вершина Основи теорії графів. Властивості ойлерових та гамільтонових графів має парний степінь;

множину ребер графа Основи теорії графів. Властивості ойлерових та гамільтонових графів можна розбити на прості цикли.

Доведення.

Основи теорії графів. Властивості ойлерових та гамільтонових графівНехай Основи теорії графів. Властивості ойлерових та гамільтонових графів- ойлерів цикл графа Основи теорії графів. Властивості ойлерових та гамільтонових графів. Будемо рухатись по циклу Основи теорії графів. Властивості ойлерових та гамільтонових графів. Проходження кожної вершини збільшує степінь кожної вершини на 2, і оскільки кожне ребро входить в Основи теорії графів. Властивості ойлерових та гамільтонових графів рівно раз , то будь-яка вершина має парний степінь .

Основи теорії графів. Властивості ойлерових та гамільтонових графівОскільки Основи теорії графів. Властивості ойлерових та гамільтонових графів - зв’язний граф , степінь кожної вершини дорівнює принаймні 2; тому в силу леми 2.1 Основи теорії графів. Властивості ойлерових та гамільтонових графів містить простий цикл Основи теорії графів. Властивості ойлерових та гамільтонових графів. Виключимо ребра циклу Основи теорії графів. Властивості ойлерових та гамільтонових графів, отримаємо остовний підграф Основи теорії графів. Властивості ойлерових та гамільтонових графів, в якому кожна вершина має парний степінь. Якщо Основи теорії графів. Властивості ойлерових та гамільтонових графів немає ребер , то (3) доведено. В протилеж-ному випадку застосуємо проведені вище міркування до Основи теорії графів. Властивості ойлерових та гамільтонових графів, отримаємо граф Основи теорії графів. Властивості ойлерових та гамільтонових графів, в якому степені всіх вершин є парними і так далі. Одночасно з порожнім графом Основи теорії графів. Властивості ойлерових та гамільтонових графів , Основи теорії графів. Властивості ойлерових та гамільтонових графів отримаємо розбиття множини ребер на Основи теорії графів. Властивості ойлерових та гамільтонових графів циклів

Основи теорії графів. Властивості ойлерових та гамільтонових графів Нехай множину ребер можна розбити на прості цикли. Нехай Основи теорії графів. Властивості ойлерових та гамільтонових графів – один з простих циклів. Якщо Основи теорії графів. Властивості ойлерових та гамільтонових графів складається тільки з цього циклу , то Основи теорії графів. Властивості ойлерових та гамільтонових графів-ойлерів граф. В протилежному випадку існує інший простий цикл, який має вершину Основи теорії графів. Властивості ойлерових та гамільтонових графів , спільну з Основи теорії графів. Властивості ойлерових та гамільтонових графів. Ланцюг, який розпочинається з Основи теорії графів. Властивості ойлерових та гамільтонових графів і складається з циклу Основи теорії графів. Властивості ойлерових та гамільтонових графів і наступного за ним циклу Основи теорії графів. Властивості ойлерових та гамільтонових графів, є замкненим ланцюгом, який містить всі ребра графа Основи теорії графів. Властивості ойлерових та гамільтонових графів, кожне один раз . Отже , Основи теорії графів. Властивості ойлерових та гамільтонових графів - ойлерів граф.

З теореми 2.1 випливає наступна теорема.

Теорема 2.2. Зв’язний граф є ойлеровим тоді і тільки тоді, коли кожна його вершина має парний степінь.


.Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.2.6. Приклад ойлерового графу в теоремі 2.2


Доведення. Граф зображений на рисунку 2.6. є ойлеровим, оскільки

Степінь вершин А, F, D, C, Q = 4(парні);

Степінь вершин B, E = 2(парні);

Множина ребер цього графа є об’ єднання двох простих циклів

Основи теорії графів. Властивості ойлерових та гамільтонових графів і Основи теорії графів. Властивості ойлерових та гамільтонових графів.

Теорема 2.3. Зв’язний граф є напівойлеровим тоді і тільки тоді , коли в ньому не більше двох вершин непарного степеня.


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис. 2.7. Приклад напівойлерового графу до теореми 2.3


Доведення. Граф зображений на рисунку 2.7. є нпівойлеровим, оскільки

Степінь вершин А, F, C = 4(парні);

Степінь вершин B = 2(парна);

Степінь вершин E,D = 3(непарна);

Ось один з можливих варіантів обходу Основи теорії графів. Властивості ойлерових та гамільтонових графів. Початковою точкою маршрута є точка Основи теорії графів. Властивості ойлерових та гамільтонових графів, а кінцевою є точка Основи теорії графів. Властивості ойлерових та гамільтонових графів.

Якщо граф має дві вершини з непарними степенями (див.рис.2.7), то для будь-якого напіойлерового ланцюга одна з цих вершин буде початковою, а дру-га кінцевою. Для доведення досить сполучити відрізком вершини з непарними степенями.

Зауважимо , що згідно з «лемою про рукостискання» - число вершин непарного степеня є парним.

Спробуємо для довільного графа вказати найменше число ланцюгів та-ких, що жодні два не мають спільних ребер і всі вони повністю накривають ра-зом весь граф. Очевидно, якщо на графі є таке сімейство ланцюгів , то кожна вершина непарного степеня повинна бути або початковою, або кінцевою вер-шиною якогось ланцюга. Загальне число вершин з непарним степенем згідно з лемою про рукостискання є парним, скажімо рівним Основи теорії графів. Властивості ойлерових та гамільтонових графів. Таким чином, кожне сімейство ланцюгів, які накривають граф , повинно містити принаймні Основи теорії графів. Властивості ойлерових та гамільтонових графів лан-цюгів.

Доведемо, що існування Основи теорії графів. Властивості ойлерових та гамільтонових графів вершин з непарним степенем є і достатньою умовою існування ланцюгів, які накривають граф.

Теорема 2.4. На будь-якому зв’язному графі з Основи теорії графів. Властивості ойлерових та гамільтонових графів вершинами непарного степеня існує сімейство ланцюгів, які в сукупності містять всі ребра графа в точності один раз кожне.

Доведення. Позначимо вершини з непарними степенями

Основи теорії графів. Властивості ойлерових та гамільтонових графів

Якщо ми додамо до нашого графу ребра

Основи теорії графів. Властивості ойлерових та гамільтонових графів

то всі вершини отриманого графа будуть парними і на ньому знайдеться ойле-рів цикл Основи теорії графів. Властивості ойлерових та гамільтонових графів. При відкиданні доданих ребер цикл Основи теорії графів. Властивості ойлерових та гамільтонових графів розпадеться на Основи теорії графів. Властивості ойлерових та гамільтонових графів окремих ланцюгів , які містять всі ребра графа.

Граф , зображений на рисунку 2.8 має чотири вершини з непарним степе-нем Основи теорії графів. Властивості ойлерових та гамільтонових графів і накривається двома ланцюгами Основи теорії графів. Властивості ойлерових та гамільтонових графів і Основи теорії графів. Властивості ойлерових та гамільтонових графів


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.2.8. Граф з непарним степенем вершин до теореми 2.4


В розважальній математиці ось уже впродовж декількох століть розгляд-даються задачі, які можна сформулювати як задачу пошуку певних маршрутів в графах, зокрема, пошуку ойлерових циклів.

Так, граф на рисунку 2.9. називається «шаблею Магомета», а ойлерів цикл необхідно побудувати за маршрутом, не відриваючи пера ручки від рисунку за одним разом ( тобто розчерком), викреслити фігуру, подану на рис.2.9.

Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис. 2.9. Ойлерів цикл в графі – «Шабля Магомета»


Більшість збірників математичних задач з розважальної математики містять задачі про лабіринти. Лабіринт складається з коридорів та їх перех-ресть. Отже , він може бути зображений графом, в якому ребра відповідають коридорам, а вершини – перехрестям.

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


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.2.10. Застосування апарату ойлерових циклів при розв’язанні задач “маршрут виставки» [3]


Припустимо, що експонати розташовані з обох сторін шляху, який про-ходить територією виставки. Виявляється, що тоді, яким би не був відповідний граф ( або лишень він був зв’язний), можна провести відвідувача так, щоб кож-ний шлях був пройдений двічі - по одному разу в кожному напрямі (див.рис.2.10).

Теорема 2.5. В зв’язному графі існує орієнтований цикл, який проходить через ребро по одному разу в кожному з двох напрямів.

Доведення.

Сформулюємо загальне правило побудови ланцюга, який проходить взовж всіх ребер графа в точності по одному разу в кожному напрямі. Розпоч-немо з довільної вершини Основи теорії графів. Властивості ойлерових та гамільтонових графів і пройдемо вздовж Основи теорії графів. Властивості ойлерових та гамільтонових графів, відзначивши це ребро маленькою стрілкою в точці Основи теорії графів. Властивості ойлерових та гамільтонових графів, яка показує вибраний напрям. Потім перехо-димо послідовно до інших вершин. Одній й ті ж вершини можна відвідувати і декілька раз. Кожного разу , потрапивши в якусь вершину, ми будемо ставити на відповідному ребрі стрілку, яка вказує напрям прибуття. Крім того, потрап-ляючи в якусь вершину вперше, ми як-небудь відзначимо вхідне ребро, щоб потім його можна було відрізнити від інших.


Основи теорії графів. Властивості ойлерових та гамільтонових графівОснови теорії графів. Властивості ойлерових та гамільтонових графівОснови теорії графів. Властивості ойлерових та гамільтонових графів

Рис.2.11. Граф до теореми 2.5 [3]


Виходячи з вершини , ми завжди будемо обирати ще невикористаний напрям: або ребро, по якому ми зовсім не проходили, або ребро помічене стріл-кою, яка вказує на те, що ми по ньому вже були. Домовимось також, що тільки тоді , коли у нас немає вибору, ми використаємо для виходу ребро, яким впер-ше прийшли в цю вершину.

Будемо продовжувати шлях до тих пір, коли це взагалі можливо .В кож-ній вершині є однакове число можливостей для входу і для виходу. Тому рух може закінчитися лише в точці Основи теорії графів. Властивості ойлерових та гамільтонових графів. Залишається перевірити , що у всіх верши-нах всі ребра будуть пройдені в обох напрямах.

Для точки Основи теорії графів. Властивості ойлерових та гамільтонових графів це ясно-всі ребра, які виходять , будуть використані, оскіль-ки в протилежному випадку ми могли б рухатися далі ; тому і всі ребра , які входять, також будуть використані, бо їх число дорівнює числу ребер, які ви-ходять. Зокрема, ребро Основи теорії графів. Властивості ойлерових та гамільтонових графів буде пройдено в обох напрямках. Але це означає , що всі ребра , які інцидентні Основи теорії графів. Властивості ойлерових та гамільтонових графів, також будуть пройдені в обох напрямах, бо перше ребро, яке входить в Основи теорії графів. Властивості ойлерових та гамільтонових графів, ребро Основи теорії графів. Властивості ойлерових та гамільтонових графів , за умовою, повинно використову-ватися для виходу лише в останню чергу. Теж саме міркування можна застосу-вати до наступного ребра Основи теорії графів. Властивості ойлерових та гамільтонових графів і наступної вершини Основи теорії графів. Властивості ойлерових та гамільтонових графів і так далі.

Отже, в усіх вершинах , які будуть досягнуті, всі ребра виявляться прой-деними в обох напрямах. Оскільки наш граф є зв’язним, це означає, що він буде повністю обійденим.

Зауважимо, що описаний метод обходу графа може бути використаний для розв’язання задач , пов’язаних з пошуками маршрутів виходу з лабіринтів.


2.3 Приклади ойлерових графів


Приклад 2.1.Задача про призначення на посаду

Нехай є кілька різних вакантних посад і група людей, які бажають їх зайняти, причому кожен із претендентів достатньо кваліфікований для кількох, але не для всіх наявних посад.

Чи можна кожному з цих людей надати одну з тих посад, які йому підло-дять?

Ми можемо знову проілюструвати цю задачу за допомогою деякого графа, що в даному випадку виглядає особливо. Як уже сказано, є певна група людей, яку ми позначимо як М і деяка множина посад, Р. Будуємо граф, проводячи ребра (м,р), що з’єднує кожну людину м з тими посадами р, які він може зайняти. На цьому графі не буде ребер, що з’єднують між собою дві вершини М чи Р, тому такий граф має вигляд, наведений на рис.2.12:


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.2.12. Граф для рішення задачі про призначення на посаду


Завжди знайти підходяще місце для кожного претендента ми не можемо: для цього необхідно, щоб посад було не менше ніж претендентів. Але цього недостатньо.

Нехай, наприклад, група претендентів складається з двох столярів і людини, яка може працювати і столяром і сантехніком, і для них є чотири посади: одне місце столяра і три місця сантехніка. Тоді, очевидно, один столяр залишиться без роботи, хоча в даному випадку місць більше ніж претендентів, і хоча серед претендентів є люди що можуть працювати на двох посадах.

Припустимо, що загальна кількість претендентів - N. Для виконання задачі повинна виконуватись наступна умова:

Яку б групу із k чоловік, k=1,2,...,N, ми не взяли, повинно бути принаймні k посад, кожну з яких може займати хоча б один із наших претендентів.

Наприклад, якщо один з людей є столяром, а другий - одночасно і столя-ром і сантехніка і якщо є два місця сантехніка, то наша умова виконується при k=2, але не виконується при k=1, тому вказані люди не можуть одночасно влаштуватися на роботу.

Виділену умову ми коротко назвемо умовою різноманітності.

Висновок: вищенаведена задача може використовуватись працівниками служби зайнятості для правильного розміщення працівників на посади.

Приклад 2.2. Інші формулювання

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

Припустимо, наприклад, що у нас є група із k хлопців і k дівчат. Дехто з них уже знайомі між собою, і виникає питання: в якому випадку можна розбити цих молодих людей не пари для танців так, щоб всі хлопці танцювали зі знайо-мими дівчатами?

Можна також змінити цю задачу: в маленькому селі є однакова кількість дорослих хлопців і дівчат; звичаєм не допускається, щоб хлопець одружувався на близькій родичці - сестрі, названій сестрі або двоюрідній сестрі. За якої умо-ви для хлопця знайдеться наречена з цього села? Знову ми можемо розв’язати цю задачу за допомогою дводольного графа - в цьому випадку його вершини будуть з’єднані ребрами лише тоді, коли відповідні люди не є родичами.

А ось іще один варіант цієї задачі. В нашій школі є кілька гуртків: C1,C2,…,CN. Кожен із цих гуртків повинен мати старосту.

Для того щоб виключити перевантаження учнів, була поставлена умова, щоб жоден учень не був старостою більш, ніж одного гуртка. За якої умови це можливо?

Зрозуміло, що це можливо не завжди; якщо кількість гуртків в порівняно невеликій школі дужу велика, то це неможливо.

Щоб розв’язати цю задачу, ми знову звернемось до дводольного графа.

В цьому випадку одна множина вершин графа складатиметься із N гуртків,

А інша множина вершин P - це множина всіх учнів школи. Ми проводимо ребро від гуртка С1 до учня р в тому випадку, якщо р є членом С1. При цьому умова різноманітності перетворюється в наступне: кожна група із k гуртків (при k = 1, 2,..., N) повинна включати щонайменше k різних учнів. Згідно вище вказаному - це та умова за якої гуртки можуть мати різних старост.

Якщо кількість гуртків занадто велика, не завжди легко довести спра-ведливість умови різноманітності. Тому поставимо питання: Чи можна вказати яке-небудь просте правило формування гуртків, що гарантує можливість вибо-ру для них різних старост?

Це дійсно можливо. Для того щоб показати, що ми маємо на увазі, припустимо, що кожен гурток складається принаймні з п’яти учнів. Тоді на відповідному графі із кожної вершини множини С буде виходити принаймні 5 ребер. Для групи із k гуртків буде не менше 5k ребер, що виходять із відповідних вершин С до вершин із Р (додаток 2, де k = 4).


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.2.13. Граф для вирішення задачі вибору


Тепер, якщо нам буде потрібно, щоб кожен учень брав участь не більше, ніж в п’яти гуртках, це означатиме, що ребра від k гуртків повинні йти при-наймні до k вершин із Р, і, відповідно, умова різноманітності буде виконана.

Ці думки є повністю загальними, тож ми можемо сформулювати наступний результат.


РОЗДІЛ ІІІ ГАМІЛЬТОНОВІ ГРАФИ


Сутність гамільтонових графів


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

Назва гамільтонів граф виникла у зв язку з тим , що в 1859 році відомий ірландський математик сер Вільям Гамільтон випустив до продажу своєрідну іграшкову головоломку . ЇЇ основою частиною був правильний додекаедр, зроблений з дерева (рис.3.1). Це один з так званих правильних багатогранників: його граням є 12 правильних п’ятикутників, в кожній з його вершин сходиться три ребра. Кожна з вершин гамільтонового додекаедра була позначена назвою одного з крупних міст Земної кулі –Брюсель, Кантон, Делі, Лондон і так далі. Задача полягає в знаходженні шляху вздовж ребер додекаедра, який проходить через кожне місто в точності один раз. Гамільтонів цикл на додекаедрі не пок-риває, звичайно, всіх ребер додекаедра, бо в кожній вершині він проходить в точності по двох ребрах.


Основи теорії графів. Властивості ойлерових та гамільтонових графівОснови теорії графів. Властивості ойлерових та гамільтонових графів

Рис.3.1. Гамільтонів цикл у додекаедрі [4]


3.2 Основні поняття та означення


Означення 3.1.

Зв’язний граф називається гамільтоновим графом , якщо існує замкнений ланцюг, який проходить через кожну вершину графа рівно один раз.

Означення.3.2 .

Зв’язний граф називається напівгамільтоновим , якщо існує ланцюг , який проходить через кожну його вершину рівно один раз.

Не дивлячись на подібність в означеннях ойлерових та гамільтонових графів, відповідно теорії для цих класів графів сильно відрізняються.

До теорії гамільтонових графів відноситься і задача про бродячого тор-говця, або задача про комівояжера. В задачі про бродячого торговця мова йде про деякий район, та торговця , який повинен відвідати певну кількість міст цього району. Відстані між містами відомі, і треба знайти найкоротший шлях , який проходить через всі міста і закінчується в початковому пункті.

Міста можна зображати вершинами деякого графа, в якому кожній парі вершин приписана відстань Основи теорії графів. Властивості ойлерових та гамільтонових графів. Мова йде про пошук гамільтонового циклу Основи теорії графів. Властивості ойлерових та гамільтонових графів, для якого сума Основи теорії графів. Властивості ойлерових та гамільтонових графів є мінімальною.

Оскільки розглядається скінченне число вершин , то задача розв’язана (при невеликій кількості вершин) шляхом простого перебору. Ефективних алго-ритмів для розв’ язання цієї задачі не створено, хоча цій проблемі присвячено багато досліджень.

Встановлено різні достатні умови гамільтоновості графа . Сформулюємо дві з них.

Теорема 3.1.( О.Оре , 1960). Якщо для будь-якої пари Основи теорії графів. Властивості ойлерових та гамільтонових графів і Основи теорії графів. Властивості ойлерових та гамільтонових графівнесуміжних вершин графа Основи теорії графів. Властивості ойлерових та гамільтонових графів з Основи теорії графів. Властивості ойлерових та гамільтонових графів вершинами Основи теорії графів. Властивості ойлерових та гамільтонових графів має місце нерівніть


Основи теорії графів. Властивості ойлерових та гамільтонових графів (3.1)


то граф Основи теорії графів. Властивості ойлерових та гамільтонових графів гамільтонів.

Нагадаємо , що Основи теорії графів. Властивості ойлерових та гамільтонових графів степінь вершини Основи теорії графів. Властивості ойлерових та гамільтонових графів , тобто число ребер , які виходять з вершини Основи теорії графів. Властивості ойлерових та гамільтонових графів .

Доведення.

Будемо доводити від супротивного. Припустимо , що існує негамільтонів граф з Основи теорії графів. Властивості ойлерових та гамільтонових графів вершинами, в якому для будь-якої пари несуміжних вершин Основи теорії графів. Властивості ойлерових та гамільтонових графів і Основи теорії графів. Властивості ойлерових та гамільтонових графів виконується умова (3.1). Додавання до графа нових ребер не порушує умову (3.1). Позначимо через Основи теорії графів. Властивості ойлерових та гамільтонових графів максимальний негамільтонів граф , тобто таrий граф , приєднання до якого нового ребра перетворює граф на гамільтонів. Вочевидь, Основи теорії графів. Властивості ойлерових та гамільтонових графів не може бути повним графом, бо повний граф гамільтонів. Тому в Основи теорії графів. Властивості ойлерових та гамільтонових графів існує пара несуміжних вершин Основи теорії графів. Властивості ойлерових та гамільтонових графів і Основи теорії графів. Властивості ойлерових та гамільтонових графів . Приєднання до Основи теорії графів. Властивості ойлерових та гамільтонових графів ребра Основи теорії графів. Властивості ойлерових та гамільтонових графів перетворює граф Основи теорії графів. Властивості ойлерових та гамільтонових графів на гамільтонів в силу максимальної негамільтоновості Основи теорії графів. Властивості ойлерових та гамільтонових графів. Таким чином , існує гамільтонів ланцюг. який сполучає Основи теорії графів. Властивості ойлерових та гамільтонових графів і Основи теорії графів. Властивості ойлерових та гамільтонових графів , він проходить через всі вершини ( рисунок 3.2)


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис. 3.2. Гамільтонів ланцюг (1)


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


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис. 3.3. Гамільтонів ланцюг(2)


Основи теорії графів. Властивості ойлерових та гамільтонових графів з цих Основи теорії графів. Властивості ойлерових та гамільтонових графів вершин оточені кружечком;

Основи теорії графів. Властивості ойлерових та гамільтонових графів з цих Основи теорії графів. Властивості ойлерових та гамільтонових графів вершин оточені квардатиком;

Основи теорії графів. Властивості ойлерових та гамільтонових графів- не оточені квадратиком.

Зазначимо , що в силу умови теореми

Основи теорії графів. Властивості ойлерових та гамільтонових графів

Звідси випливає , що вершина Основи теорії графів. Властивості ойлерових та гамільтонових графів суміжна з деякою вершиною, яка оточена квадратиком . Таким чином , виходить , що граф Основи теорії графів. Властивості ойлерових та гамільтонових графів має гамільтонів цикл , зображений на рисунку 3.4


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.3.4. Гамільтонів ланцюг(3)


Отже прийшли до суперечності . Теорема доведена.

З теореми 3.1 випливає наступна теорема.

Теорема 3.2 (Г.Дірака, 1952) Якщо для будь-якої вершини Основи теорії графів. Властивості ойлерових та гамільтонових графів графа Основи теорії графів. Властивості ойлерових та гамільтонових графів з Основи теорії графів. Властивості ойлерових та гамільтонових графівОснови теорії графів. Властивості ойлерових та гамільтонових графіввершинами Основи теорії графів. Властивості ойлерових та гамільтонових графів виконується нерівність Основи теорії графів. Властивості ойлерових та гамільтонових графів, то граф Основи теорії графів. Властивості ойлерових та гамільтонових графів гамільтонів.

Доведення. Від супротивного. Нехай Основи теорії графів. Властивості ойлерових та гамільтонових графів— не гамільтонів. Додамо до Основи теорії графів. Властивості ойлерових та гамільтонових графів мінімальну кількість нових вершин Основи теорії графів. Властивості ойлерових та гамільтонових графів, … ,Основи теорії графів. Властивості ойлерових та гамільтонових графів, з'єднуючи їх з усіма вершинами Основи теорії графів. Властивості ойлерових та гамільтонових графів так, щоб Основи теорії графів. Властивості ойлерових та гамільтонових графів:= Основи теорії графів. Властивості ойлерових та гамільтонових графів + Основи теорії графів. Властивості ойлерових та гамільтонових графів+ … + Основи теорії графів. Властивості ойлерових та гамільтонових графівбув гамільтонів.

Нехай Основи теорії графів. Властивості ойлерових та гамільтонових графів, Основи теорії графів. Властивості ойлерових та гамільтонових графів, Основи теорії графів. Властивості ойлерових та гамільтонових графів, … ,Основи теорії графів. Властивості ойлерових та гамільтонових графів— гамільтонів цикл у графі Основи теорії графів. Властивості ойлерових та гамільтонових графів, причому Основи теорії графів. Властивості ойлерових та гамільтонових графівОснови теорії графів. Властивості ойлерових та гамільтонових графівОснови теорії графів. Властивості ойлерових та гамільтонових графів , Основи теорії графів. Властивості ойлерових та гамільтонових графівОснови теорії графів. Властивості ойлерових та гамільтонових графівОснови теорії графів. Властивості ойлерових та гамільтонових графів , Основи теорії графів. Властивості ойлерових та гамільтонових графівОснови теорії графів. Властивості ойлерових та гамільтонових графівОснови теорії графів. Властивості ойлерових та гамільтонових графів . Така пари вершин Основи теорії графів. Властивості ойлерових та гамільтонових графів і Основи теорії графів. Властивості ойлерових та гамільтонових графів у гамільтоновому циклі обов'язково знайдеться, інакше граф Основи теорії графів. Властивості ойлерових та гамільтонових графів був би гамільтонов. Тоді Основи теорії графів. Властивості ойлерових та гамільтонових графівОснови теорії графів. Властивості ойлерових та гамільтонових графівОснови теорії графів. Властивості ойлерових та гамільтонових графів , Основи теорії графів. Властивості ойлерових та гамільтонових графів Основи теорії графів. Властивості ойлерових та гамільтонових графів {Основи теорії графів. Властивості ойлерових та гамільтонових графів,…,Основи теорії графів. Властивості ойлерових та гамільтонових графів},інакше вершина Основи теорії графів. Властивості ойлерових та гамільтонових графів була б не потрібна. Більше того, вершина Основи теорії графів. Властивості ойлерових та гамільтонових графівнесуміжна з вершиною Основи теорії графів. Властивості ойлерових та гамільтонових графів, інакше вершина Основи теорії графів. Властивості ойлерових та гамільтонових графівбула б не потрібна.

Далі, якщо в циклі Основи теорії графів. Властивості ойлерових та гамільтонових графів, Основи теорії графів. Властивості ойлерових та гамільтонових графів, Основи теорії графів. Властивості ойлерових та гамільтонових графів, … ,Основи теорії графів. Властивості ойлерових та гамільтонових графів,Основи теорії графів. Властивості ойлерових та гамільтонових графів, … ,Основи теорії графів. Властивості ойлерових та гамільтонових графів є вершина Основи теорії графів. Властивості ойлерових та гамільтонових графів, суміжна з вершиною w, те вершина v’ несуміжна з вершиною v, тому що інакше можна було б побудувати гамільтонов цикл Основи теорії графів. Властивості ойлерових та гамільтонових графів,Основи теорії графів. Властивості ойлерових та гамільтонових графів, … ,Основи теорії графів. Властивості ойлерових та гамільтонових графів,Основи теорії графів. Властивості ойлерових та гамільтонових графів, … ,Основи теорії графів. Властивості ойлерових та гамільтонових графів без вершини Основи теорії графів. Властивості ойлерових та гамільтонових графів, взявши послідовність вершин Основи теорії графів. Властивості ойлерових та гамільтонових графів, … ,Основи теорії графів. Властивості ойлерових та гамільтонових графів у зворотному порядку. Звідси треба, що число вершин графа Основи теорії графів. Властивості ойлерових та гамільтонових графів, не суміжних з Основи теорії графів. Властивості ойлерових та гамільтонових графів, не менш числа вершин, суміжних з Основи теорії графів. Властивості ойлерових та гамільтонових графів. Але для будь-якої вершини Основи теорії графів. Властивості ойлерових та гамільтонових графів графа Основи теорії графів. Властивості ойлерових та гамільтонових графів d(Основи теорії графів. Властивості ойлерових та гамільтонових графів) ≥ p/2+n по побудові, у тому числі d(Основи теорії графів. Властивості ойлерових та гамільтонових графів) Основи теорії графів. Властивості ойлерових та гамільтонових графів p/2+n. Загальне число вершин (суміжних і не суміжних з Основи теорії графів. Властивості ойлерових та гамільтонових графів) становить n+ p-1. Таким чином, маємо:


n+ p-1 = d(v)+d(V) ≥ d(w)+d(v) ≥ p/2+n+p/2+n = 2n+p.


Отже, 0 Основи теорії графів. Властивості ойлерових та гамільтонових графів n+1, що суперечить тому, що n > 0. Теорема доведена.


3.3 Приклади гамільтонових графів


Приклад 3.1. Знайти всі гамільтонові цикли для графа, наведеного на рис.3. 5 [10]


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.3.5. Пошук всіх гамільтонових циклів для орієнтованого графа


Таблиця 3.1

Результати пошуку гамільтонових циклів

Основи теорії графів. Властивості ойлерових та гамільтонових графів

Приклад 3.2. Знайти найкоротший гамільтонов цикл в задачі «комівояжера» для 6 –міст, розташованих згідно графу на рис.3.6 [10]


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.3.6. Графи при вирішенні задачі «комівояжера» [ ]


Результати розрахунків довжини «гамільтонових циклів» в задачі «комівояжера» (рис.3.6) наведені в табл.3.2


Таблиця 3.2

Результати розрахунків довжини «гамільтонових циклів»

Основи теорії графів. Властивості ойлерових та гамільтонових графів


Приклад 3.3. Покажіть, що граф, зображений на рисунку 3.7 , не є гамільтоновим [11].


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис. 3.7. Приклад не гамільтонового графа


Розв’язання.

Припустимо, що в зв’язному графі знайдеться гамільтонов цикл. Кожна вершина v включается в гамільтонів цикл С вибором двох інцидентних з нею ребер, а значить, степінь кожної вершини в гамільтоновому циклі (після вида-лення зайвих ребер) дорівнює 2. Степень вершин даного графа — 2 чи 3. Вер-шини степеня 2 входять в цикл разом з обома інцидентними з ними ребрами. Отже,ребра аb, ае, cd, cb, hi, hg и ij у тім або іншому порядку входять в гаміль-тонов цикл С (див. рис. 3.8).

Ребро bf не може бути частиною циклу С, оскільки кожна вершина

Такого циклу повинна мати ступінь 2. Значить, ребра fj і fg зобов'язані входити в цикл С, щоб включити в нього вершину f . Але тоді ребра je и gd ніяк не мо-жуть належати циклу С, оскільки у противному випадку у ньому з'являться вершини степеня три. Це змушує нас включити в цикл ребро ed, що приводить нас до протиріччя: ребра, котрі ми були змушені вибрати, утворюють два незв'язних цикла, а не один, існування котрого ми припускали. Висновок: граф, зображений на рисунку 3.8, не є гамільтоновим


Основи теорії графів. Властивості ойлерових та гамільтонових графів

Рис.3.8. До доведення негамільтоновості графа

ВИСНОВКИ


Теорія графів — це розділ дискретної математики, особливістю якого є геометричний підхід до вивчення об'єктів. Основне поняття теорії — граф. Поняття графа опирається на основні поняття теорії множин, тому що граф можна розглядати як об'єкт, що складається із двох множин — множини крапок (вершин) X і множини ліній (ребер) W, які з'єднують деякі вершини, кожне ребро являє собою неупорядковану пару вершин із множини X.
При цьому зовсім несуттєво, чи з'єднані вершини графа відрізками прямих ліній або криволінійних дуг, яка довжина ліній, як розташовані вершини графа на площини й інші геометричні характеристики графа.

Останнім часом графи і пов’язані з ними методи досліджень використовуються практично в усіх розділах сучасної математики і, зокрема, дискретної математики.

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

Наприклад, у вигляді графа можуть бути зображені:

- електричні і транспортні мережі;

- інформаційні і комп’ютерні мережі;

- карти автомобільних, залізничних і повітряних шляхів, газо- і нафтопроводів;

- моделі кристалів;

- структури молекул хімічних речовин;

- моделі ігор;

- різні математичні об’єкти (відношення, частково впорядковані множини, решітки, автомати, ланцюги Маркова, алгоритми і програми тощо);

- лабіринти;

- плани діяльності або плани виконання певних робіт (розклади);

- генеалогічні дерева тощо.

Приклади застосування теорії графів:

- пошук зв’язних компонентів у комунікаційних мережах;

- пошук найкоротших, “найдешевших” та “найдорожчих” шляхів у комунікаційних мережах;

- побудова кістякового дерева: зв’язність з найменшою можливою кількістю ребер;

- пошук максимальної течії для транспортної мережі, в якій визначено вхідні та вихідні вершини та пропускні спроможності ребер;

- ізоморфізм графів: ідентичність структур молекул (ізометрія);

- знаходження циклів графів:

- гамільтонів цикл: обійти всі вершини графа, побувавши в кожній з них лише один раз (задача комівояжера);

- ейлерів цикл: обійти всі ребра (контроль дієздатності мережі);

- розфарбування графів: розфарбування географічних карт, укладання розкладів, розміщення ресурсів тощо;

- планарність графів: проектування друкованих електронних та електричних схем, транспортних розв’язок тощо;

- знаходження центрів графа: вершин, максимальна відстань від яких до всіх інших вершин графа є мінімальною (“столиць”).


СПИСОК ВИКОРИСТАНОЇ ЛІТЕРАТУРИ


Белов В.В. и др. Теория графов:учебное пособие для втузов.- М.: „Высшая школа”,1976. – 392 с.

Березина Л.Ю. Графы и их применение. – М.: Просвещение, 1979. – 143 с.

Гервер М. Трехзначные числа и орграфы // Журнал «Квант», Москва, МЦНМО, 1987, №2

4. Кузнецов О.П. Дискретная математика для инженеров. / О.П. Кузнецов, Г.М. Адельсон–Вельский – 2–е изд., перераб. и доп. – М.: Энергоатомиздат, 1988 – 400 с.: ил.

5. Мелихов А.Н. применение графов для проектирования дискретных устройств. / А.Н. Мелихов, Л.С. Бернштейн, В.М. Курейчик – М.: Наука, 1974. 304 с.: ил.

Уилсон Р. Введение в теорію графов. – М.: Мир, 1777. – 208 с.

Оре О. Графы и их применение. – М.: Изд-во „Мир”, 1965.- 174 с.

Оре О. Теория графов. –2-е изд.- М.: „Наука”, 1980.- 205 с.

Уилсон Р. Введение в теорію графов. – М.: Мир, 1777. – 208 с.

Хаггарти Р Дискретная математика для программистов. – М.: «Техносфера», 2003. – 320 с.

Ядренко М.Й. Дискретна математика : навчальний посібник. – К.: Вид. – поліграф.центр „Експрес”, 2003. – 244 с.

Рефетека ру refoteka@gmail.com