Главная » Все файлы » Просмотр файлов из архивов » PDF-файлы » Лекция 6. Гамильтоновы пути и циклы. Теорема Поша

Лекция 6. Гамильтоновы пути и циклы. Теорема Поша (Лекции 2016 года)

PDF-файл Лекция 6. Гамильтоновы пути и циклы. Теорема Поша (Лекции 2016 года) Методы дискретной оптимизации (53957): Лекции - 8 семестрЛекция 6. Гамильтоновы пути и циклы. Теорема Поша (Лекции 2016 года) - PDF (53957) - СтудИзба2019-09-19СтудИзба

Описание файла

Файл "Лекция 6. Гамильтоновы пути и циклы. Теорема Поша" внутри архива находится в папке "Лекции 2016 года". PDF-файл из архива "Лекции 2016 года", который расположен в категории "". Всё это находится в предмете "методы дискретной оптимизации" из 8 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .

Просмотр PDF-файла онлайн

Текст из PDF

Методы дискретной оптимизацииГамильтоновы пути и циклы. Пути, имеющиетип цикла и достаточные условиясуществования гамильтоновых путей ициклов в неориентированном графе. ТеоремаПоша1 / 11Основные понятияОпределение.Цикл, проходящий через каждую вершину графа ровно один раз,называется гамильтоновым. Граф называется гамильтоновым, если в немсуществует гамильтонов цикл.Следствие 1 из определения.

Гамильтонов граф двусвязен, т.е.удаление любого ребра графа не влечет потери связности графа. Отсюдаследует альтернативное определение: гамильтонов граф – связный графбез шарниров.Определение.Тэта-граф – граф, все вершины которого за исключением двухнесмежных, имеют степень 2, а указанные 2 вершины имеют степень 3.Следствие 2 из определения. Каждый негамильтонов двусвязныйграф содержит тэта-подграф – задача для зачета!2 / 11Теорема ОреТеорема 1 (Оре)Пусть G – обыкновенный связный граф, содержащий n вершин, где n > 2.Если сумма степеней d(v) + d(w) ≥ n для любых двух различныхнесмежных вершин v и w графа G, то граф G гамильтонов.Доказательство.1. Прежде всего необходимо отметить: добавление любого ребра кграфу, удовлетворяющему условиям теоремы, не может нарушитьэтих условий.

Далее доказательство методом от противного.2. Предположим, что теорема неверна, т.е. существует не гамильтоновграф, удовлетворяющий условиям теоремы. Последовательноедобавление ребер к такому графу на каком-то шаге обязательноприведет к ситуации, когда добавление любого ребра делает графгамильтоновым, поскольку таковым является полный граф. Поэтомудалее будем предполагать, что G – критический, или максимальныйдля исходного графа по условиям теоремы граф: добавление любогоребра делает его гамильтоновым.3 / 11Теорема ОреПродолжение.2. В таком графе в силу связности для любой пары несмежных вершинu,v добавление ребра (u, v) означает появление гамильтонова циклаu = v1 , v2 , ..., vn = v, u, которому ребро (u, v) должно принадлежать,поскольку его обратное удаление лишает граф свойствагамильтоновости.

Это означает: в критическом графе любаяпара его несмежных вершин соединима гамильтоновойцепью, в которой эти вершины являются концевыми.4 / 11Теорема ОреЗавершение доказательства.3. Возьмем произвольные несмежные вершины u и v графа G. Поопределению графа G, если к нему добавить ребро (u, v), появитсягамильтонов цикл, содержащий это ребро. Значит, в G0 есть(u, v)-цепь, содержащая все n вершин графа. Рассмотрим множествоS = {i|u смежна с vi+1 } и множество T = {i|v смежна с vi }. В Sимеется d(u) элементов, а в T − d(v) элементов, что в сумме даетd(u) + d(v) > n элементов по условию теоремы.

Все элементымножеств S и T являются числами 1 до n − 1, а значит, S и T имеютобщий элемент (пусть это элемент i). Таким образом, в графе G0имеются ребра (u, vi+1 ) и (vi , v). Таким образом, в графе G0 есть циклu → v2 → · · · → vi → v → vn−1 → · · · → vi+1 → u, проходящий по всемвершинам по одному разу, т. е.

гамильтонов цикл (см. рисунок).5 / 11Теорема Дирака. Теорема ПошаИз теоремы Оре вытекает следующее, несколько более слабое, но оченьпростое для проверки достаточное условие гамильтоновости.Теорема ДиракаПусть G – обыкновенный связный граф, содержащий n вершин, где n > 2.Если степень d(v) ≥ n2 для всякой v – вершины графа G, то граф Gгамильтонов.Обозначим через dk (G) число вершин степени k в графе G.Теорема ПошаПусть связный граф G = (V, E), |V | = n ≥ 3. При выполнении условийXn = 2m, k < m ⇒dl (G) < kl≤kn = 2m + 1, k < m ⇒Xl≤kdl (G) < k,Xdl (G) ≤ ml≤mграф G гамильтонов.6 / 11Теорема ПошаДоказательство.1. Прежде всего необходимо отметить: добавление любого ребра кграфу, удовлетворяющему условиям теоремы, не может нарушитьэтих условий. Далее доказательство методом от противного.2.

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

Поэтомудалее будем предполагать, что G – критический, или максимальныйдля исходного графа по условиям теоремы граф: добавление любогоребра делает его гамильтоновым. В таком графе в силу связности длялюбой пары несмежных вершин u, v добавление ребра (u, v) означаетпоявление гамильтонова цикла u = v1, v2, . . . , vn = v, u, которомуребро (u, v) должно принадлежать, поскольку его обратное удалениелишает граф свойства гамильтоновости. Это означает: вкритическом графе любая пара его несмежных вершинсоединима гамильтоновой цепью, в которой эти вершиныявляются концевыми.7 / 11Теорема ПошаДоказательство.3.

Из п. 2 следует: если для пары вершин u, v справедливы неравенстваn−1d(u) ≥ n−12 , d(v) > 2 , то вершины u, v являются смежными.Непосредственно из данных неравенств следует, чтоd(u) + d(v) ≥ n − 1 и если эти вершины не смежные, то добавлениепроизвольного ребра в граф сделает вершины u, v смежными, а граф– гамильтоновым. Далее, для случая n = 2m + 1 рассмотримситуацию d(u) > m, d(v) > m + 1, а при n = 2m соответственноd(u) ≥ m, d(v) ≥ m.

Если вершины u, v не смежны, то существуетгамильтонова цепь = {u = v1 , v2 , . . . , vn = v}, соединяющая вершиныu, v, для которыхm + 1, n = 2m + 1d(u) = k ≥ m, d(v) = p ≥m, n = 2m8 / 11Теорема ПошаПродолжение.3.1 Обозначим через S(a) множество вершин, смежных с вершиной a, ичерез Spr (a) – множество вершин, предшествующих вершинам из S(a)в цепи C: vi ∈ S(u) ⇔ vi−1 ∈ Spr (u). Для любой вершины цепи Cпредшествующая ей вершина vi−1 ∈ Spr (u) не может принадлежатьS(v), поскольку в таком случае циклH = {u = v1 , v2 , . . . , vi−2 , vi−1 , vn = v, vn−1 , vn−2 , . .

. vi , v1 = u}гамильтонов, что противоречит предположению критичности G.Значит, вершина v не может быть смежной ни с одной из вершинмножества Spr (u), в котором число элементов не менее k ≥ n−12 . Изпредположения о степенях вершин u, v следуетn−1n−12 < d(v) ≤ n − 1 − k ⇒ k < 2 . С другой стороны, значениеn−1k ≥ 2 . Полученное противоречие означает: любая пары вершин u, v,n−1для которой d(u) ≥ n−12 , d(v) > 2 является смежной. Посколькуграф G – не гамильтонов, то отсюда следует, что в графе Gk ≤ m, n = 2m + 1nсуществует вершина v : d(v) = k ≤ n−12 < 2 ⇔k < m, n = 2m9 / 11Теорема ПошаПродолжение.4.

Обозначим множество вершин степени не более n−12 через A,B = V \A. Это означает, что степень вершины из множества не менееm + 1 при n = 2m + 1 и не менее m при n = 2m, т.е. не менее n2 .5. Обозначим через q максимальную степень среди таких вершин. Поусловию теоремы значение dq (G) не более m при q = m и менее m приq < m, поэтому вершин степени большей q не менее m + 1 как вслучае n = 2m + 1, так и в случае n = 2m. Из условий теоремы этоозначает, что любая вершина множества A смежна с не более чем mдругими вершинами в случае n = 2m + 1 и с не более чем m − 1вершиной в случае n = 2m + 1, т.е.

степень вершины множества Aменьше числа вершин в B. Поэтому для любой вершины u множестваA существует вершина v из множества B, которая не смежна с u.10 / 11Теорема ПошаОкончание доказательства. Рассмотрим любую пару несмежныхвершинd(vn ) ≥ m + 1, n = 2m + 1v1 ∈ A, vn ∈ B : d(v1 ) = q,d(vn ) ≥ m, n = 2mи гамильтонову цепь C = {v1 , v2 , ..., vn }, для которой указанные вершиныявляются концевыми. Повторение рассуждений п.3 приводит к выводу: вцепи существует q вершин, не смежных с последней вершиной vn .

Отсюдаследует двойное неравенство n2 ≤ d(vn ) ≤ n − 1 − q, значитq ≤ n2 − 1 ⇔ q ≤ m − 1. Поскольку число вершин со степенями q ≤ m − 1меньше q, то хотя бы одна из вершин, предшествующим вершинаммножества S(v1 ), имеет степень не менее n2 . Значит, существует паранесмежных вершин, степени которых не менее n2 .

Это означает возврат кпротиворечию в 3 и завершает доказательство.11 / 11.

Свежие статьи
Популярно сейчас
Почему делать на заказ в разы дороже, чем купить готовую учебную работу на СтудИзбе? Наши учебные работы продаются каждый год, тогда как большинство заказов выполняются с нуля. Найдите подходящий учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
5259
Авторов
на СтудИзбе
421
Средний доход
с одного платного файла
Обучение Подробнее