Эйлеровы и гамильтоновы графы
[107/87%]Если степень каждой вершины графа не менее двух, покажите, что в графе есть цикл.
Покажите, что связный граф является эйлеровым тогда и только тогда, когда степень каждой его вершины чётна.
(Задача о кёнигсбергских мостах) Два острова (назовём их Восточный остров и Западный остров) на реке Прегель (ныне известной как Преголя), протекающей с востока на запад через город Кёнигсберг (ныне Калининград) в восточной Пруссии (ныне часть России), были соединены мостом. Два моста соединяли западный остров с северным берегом , и два моста соединяли его с южным берегом . Один мост соединял восточный остров с северным берегом, а ещё один — с южным берегом. Покажите, что следующая задача, поставленная перед Леонардом Эйлером (в 1736 году) жителями Кёнигсберга, неразрешима: начать с одного из этих четырёх участков суши города и вернуться в эту же точку, пройдя по каждому мосту ровно один раз.
Решите модифицированную задачу о кёнигсбергских мостах путём:
удаления двух рёбер из графа,
построения двух новых рёбер,
удаления одного ребра и построения одного ребра.
Покажите, что граф является эйлеровым тогда и только тогда, когда он связен и множество его рёбер можно разбить на непересекающееся объединение циклов.
Покажите, что связный граф является эйлеровым тогда и только тогда, когда каждое его ребро принадлежит нечётному числу циклов.
Покажите, что любая цепь, построенная алгоритмом Флёри в эйлеровом графе, является эйлеровым контуром.
С помощью алгоритма Флёри найдите эйлеров контур в графе на рис. 3-18.
Fig. 3-18
Если число нечётных вершин связного графа равно , покажите, что множество можно разбить на подмножеств, таких что рёбра каждого подмножества образуют цепь между двумя нечётными вершинами.
Найдите нечётные вершины в графе на рис. 3-19, а затем разбейте множество рёбер графа на подмножества, такие что рёбра каждого подмножества образуют цепь.
Fig. 3-19
Докажите теорему 3.2: связный граф является полуэйлеровым тогда и только тогда, когда число нечётных вершин в нём равно ровно двум. Более того, в полуэйлеровом графе любая эйлерова цепь проходит между его двумя нечётными вершинами.
Докажите, что слабо связный орграф является эйлеровым тогда и только тогда, когда полустепень захода каждой вершины равна её полустепени исхода.
Слабо связный орграф является полуэйлеровым тогда и только тогда, когда в нём есть две вершины и , такие что (1) (полустепень исхода полустепень захода , (2) (полустепень исхода полустепень захода , и (3) полустепень исхода каждой другой вершины равна её полустепени захода. Покажите, что в слабо связном орграфе, удовлетворяющем этим трём свойствам, любая ориентированная эйлерова цепь идёт из в .
Если каждая вершина графа чётна, никакое ребро этого графа не является мостом.
Найдите все положительные целые числа , для которых является:
эйлеровым
полуэйлеровым.
Если — рёберный граф простого графа , покажите, что эйлеров всякий раз, когда эйлеров.
Покажите, что если рёберный граф простого графа эйлеров, отсюда не следует, что эйлеров.
Покажите, что орграф, имеющий эйлеров контур, является сильно связным орграфом. Верно ли обратное?
Покажите, что орграф, имеющий эйлерову цепь, является односторонне связным орграфом. Верно ли обратное?
Существует ли эйлеров граф чётного порядка и нечётного размера?
Существует ли эйлеров граф нечётного порядка и чётного размера?
Покажите, что если степень каждой вершины связного мультиграфа равна 4, граф имеет два остовных подграфа, таких что (1) степень каждой вершины в этих двух подграфах равна 2, (2) эти два подграфа не имеют общих рёбер, и (3) является объединением множеств рёбер этих двух подграфов.
Найдите разложение на 2-факторы 4-регулярного графа, показанного на рис. 3-20.
Fig. 3-20
Найдите разложение на 2-факторы полного двудольного графа .
Граф называется чётным графом, если степень каждой его вершины чётна. Найдите число неэквивалентных помеченных чётных графов с вершинами, помеченными .
Граф называется случайно эйлеровым из вершины , если любую цепь графа, начинающуюся в , можно расширить до контура, оканчивающегося в и состоящего из всех рёбер графа. Покажите, что граф на рис. 3-22 является случайно эйлеровым только из вершины 1.
Fig. 3-22
Приведите пример графа, являющегося случайно эйлеровым из каждой своей вершины
Приведите пример эйлерова графа, не являющегося случайно эйлеровым ни из одной своей вершины.
Докажите, что
если случайно эйлеров из вершины графа , каждый цикл в проходит через ; и
если каждый цикл эйлерова графа проходит через одну из его вершин, случайно эйлеров из этой вершины.
Покажите, что если случайно эйлеров из , то ацикличен. Также покажите, что если — вершина эйлерова графа , такая что ацикличен, то случайно эйлеров из .
Если граф случайно эйлеров из некоторой вершины, покажите, что степень этой вершины равна — максимальной среди степеней всех его вершин. Покажите, что произвольный эйлеров граф не обязательно является случайно эйлеровым из вершины максимальной степени.
Покажите, что если случайно эйлеров из , и — другая вершина, такая что и имеют одинаковую степень, то также случайно эйлеров из .
Граф называется случайно эйлеровым, если он случайно эйлеров из каждой своей вершины. Найдите необходимое и достаточное условие того, что граф случайно эйлеров.
Покажите, что если граф не является случайно эйлеровым, он случайно эйлеров не более чем из двух своих вершин.
Орграф называется случайно эйлеровым орграфом из вершины , если любую ориентированную цепь орграфа, начинающуюся в , можно расширить до эйлерова контура. Докажите, что:
эйлеров орграф случайно эйлеров из вершины тогда и только тогда, когда каждый ориентированный цикл орграфа проходит через ;
если орграф случайно эйлеров из вершины , максимальная полустепень исхода среди его вершин равна полустепени исхода ;
если орграф случайно эйлеров из , и — другая вершина, такая что и имеют одинаковую полустепень исхода, орграф также случайно эйлеров из ;
если эйлеров орграф порядка не является случайно эйлеровым из каждой вершины, он случайно эйлеров не более чем из вершин.
Пусть — множество ; любое линейное расположение (повторения допускаются), использующее некоторые или все эти числа, называется словом в алфавите . Любое слово из чисел из называется -буквенным словом в . Множество всех -буквенных слов в алфавите из чисел обозначается . Орграф де Брёйна строится следующей индуктивной процедурой. Пусть все слова в известны для . Множество вершин — это . Если — произвольное -буквенное слово, а и — числа (не обязательно различные) из , проведём дуги (для каждого ) из вершины в вершину , где пробегает от 0 до . Тогда дуга из в представляет -буквенное слово . Найдите порядок и размер орграфа де Брёйна и покажите, что это эйлеров орграф.
Постройте орграф де Брёйна .
Если — слово в , постройте дуги:
исходящие из вершины
входящие в в .
Если и — два положительных целых числа и , последовательность , где каждое принадлежит , называется последовательностью де Брёйна, обозначаемой , тогда и только тогда, когда любое -буквенное слово в имеет вид , где не превышает и сложение индексов ведётся по модулю . (Эквивалентно, эти чисел последовательности образуют круговое расположение, такое что любой выбор последовательных (по часовой стрелке) чисел в этом расположении даёт уникальное слово.) Покажите, что последовательность де Брёйна существует для любого выбора и .
Найдите последовательность де Брёйна, такую что любое трёхбуквенное слово с использованием 0,1, и 2 можно получить из этой последовательности.
Вращающийся барабан имеет секторов. Задача состоит в том, чтобы присвоить каждому сектору метку 0 или 1 так, чтобы никакие две последовательности из последовательных меток не совпадали. Решите эту задачу при:
.
Покажите, что существуют два уникальных четырёхбуквенных бинарных слова, которые можно удалить из множества всех таких слов так, что любое из оставшихся слов можно получить, выбрав четыре последовательных элемента в бинарной последовательности, расположенной по кругу. Найдите такую бинарную последовательность.
(Бонди и Хватал) Пусть и — две несмежные вершины простого графа порядка , такие что сумма их степеней не менее , и пусть — граф, полученный из соединением этих двух несмежных вершин. Тогда гамильтонов тогда и только тогда, когда гамильтонов.
Замыкание графа порядка получается из последовательным соединением пар несмежных вершин, сумма степеней которых не менее , пока такие пары не закончатся. Покажите, что каждый граф имеет единственное замыкание.
Покажите, что граф гамильтонов тогда и только тогда, когда его замыкание гамильтоново.
Покажите, что для установления гамильтоновости графа достаточно показать, что его замыкание является полным графом.
Приведите пример гамильтонова графа, замыкание которого не является полным.
(Теорема Хватала) Если вершин графа помечены так, что их степени можно расположить в виде последовательности , и если всякий раз, когда , то гамильтонов.
Если вершин графа помечены так, что их степени можно расположить в виде последовательности , и если всякий раз, когда и , то гамильтонов.
Если вершин графа помечены так, что их степени можно расположить в виде последовательности , и если всякий раз, когда , то гамильтонов.
Докажите теорему Оре (теорема 3.5), используя теорему Поша.
Укажите импликации, касающиеся достаточных условий (установленных в этом разделе) существования остовного цикла в графе.
Покажите, что условие Хватала не является необходимым условием существования остовного цикла в графе.
Покажите, что теорема Хватала сильнее теоремы Бонди.
Покажите, что теорема Бонди сильнее теоремы Поша.
Покажите, что теорема Поша сильнее теоремы Оре.
Покажите, что теорема Оре сильнее теоремы Дирака.
Если — граф с вершинами и рёбрами (где не менее трёх), и если , то гамильтонов
Покажите, что обратное неверно, приведя контрпример
Покажите, что неравенство с этой оценкой размера графа «точное» в том смысле, что существует негамильтонов граф, размер которого на единицу меньше этой границы.
Если — двудольный граф с , и степень каждой вершины больше , то гамильтонов.
Покажите, что если эйлеров, его рёберный граф гамильтонов. Приведите контрпример, показывающий, что обратное неверно.
Покажите, что если граф гамильтонов, его рёберный граф гамильтонов. Приведите контрпример, показывающий, что обратное неверно.
Докажите теорему 3.7: граф с вершинами ( не менее трёх) гамильтоново-связен, если сумма степеней любых двух несмежных вершин больше . В частности, он гамильтоново-связен, если степень каждой вершины больше .
Приведите контрпример, показывающий, что достаточные условия, установленные в задаче 3.60 для гамильтоновой связности графа, не являются необходимыми условиями.
Определите понятие замыкания в контексте гамильтоново-связных графов. Покажите, что определённое таким образом замыкание единственно. Сформулируйте и докажите соответствующую теорему в этом контексте.
Приведите пример гамильтоново-связного графа, замыкание которого, определённое в задаче 3.62, не является полным.
Если — граф с вершинами и рёбрами (где не менее трёх), и если , то гамильтоново-связен
Покажите, что условие достаточно, но не необходимо, приведя контрпример.
Покажите, что если граф с вершинами и рёбрами гамильтоново-связен, необходимо, чтобы . Покажите, что это условие ни в коем случае не является достаточным для гамильтоновой связности графа.
Гамильтонов граф называется сильно гамильтоновым, если каждое ребро графа принадлежит некоторому гамильтонову циклу. Приведите пример:
сильно гамильтонова графа
гамильтонова графа, не являющегося сильно гамильтоновым.
Покажите, что гамильтоново-связный граф является сильно гамильтоновым графом. Верно ли обратное?
Найдите достаточное условие сильной гамильтоновости графа.
Покажите, что если сумма степеней каждой пары несмежных вершин негамильтоново-связного графа с тремя или более вершинами не менее (где — некоторое положительное целое число), граф содержит путь длины .
Если сумма степеней каждой пары несмежных вершин графа порядка не менее , граф имеет гамильтонов путь. В частности, если степень каждой вершины не менее , граф имеет гамильтонов путь.
Граф называется случайно обходимым, если гамильтонов путь получается при старте из любой вершины и последовательном переходе к любой смежной вершине, ещё не входящей в путь. Более того, если имеет не менее трёх вершин, и конечная вершина каждого такого пути смежна с начальной вершиной, граф называется случайно гамильтоновым. Очевидно, циклические графы и полные графы с тремя или более вершинами случайно обходимы и случайно гамильтоновы. Покажите, что:
случайно обходим тогда и только тогда, когда он случайно гамильтонов,
каждый случайно обходимый граф гамильтонов.
Покажите, что если — гамильтонов цикл случайно гамильтонова графа, и в графе есть ребро между и , то есть ребро между и для . (Здесь сложение индексов ведётся по модулю .)
Покажите, что если — гамильтонов цикл случайно гамильтонова графа , и существует ребро между и (для некоторого ), то — полный граф.
Пусть — случайно гамильтонов граф порядка , и пусть — произвольный фиксированный гамильтонов цикл этого графа. Рёбра в называются рёбрами цикла, а рёбра, не входящие в , называются диагональными рёбрами. Любой цикл , состоящий из рёбер цикла и ровно одного диагонального ребра, называется внешним -циклом. Покажите, что минимальное значение , при котором имеет внешний -цикл, равно либо 3, либо 4. Более того, если , граф является полным графом, а если , число вершин графа чётно.
Покажите, что граф с тремя или более вершинами является случайно гамильтоновым тогда и только тогда, когда он является циклическим графом, полным графом или полным двудольным графом с равным числом вершин в каждой доле.
Покажите, что циклический граф — единственный граф, являющийся одновременно случайно эйлеровым и случайно гамильтоновым.
Граф называется сильно случайно обходимым, если для каждых двух различных вершин и гамильтонов путь между и существует всякий раз, когда мы начинаем с и последовательно переходим к другой ещё не встреченной вершине, с ограничением, что будет выбрана только тогда, когда нет другой альтернативы. Покажите, что граф порядка является сильно случайно обходимым графом тогда и только тогда, когда он является полным графом .
Полустепень исхода вершины турнира можно рассматривать как счёт игрока, представленного этой вершиной. Игрок с максимальным счётом называется победителем. Если — игрок, победивший победителя турнира, покажите, что победил некоторого игрока, победившего .
Граф (орграф) порядка называется вершинно-панциклическим, если каждая его вершина содержится в цикле (ориентированном цикле) длины для каждого . Покажите, что сильно связный турнир вершинно-панциклический.
Докажите теорему 3.13: турнир гамильтонов тогда и только тогда, когда он сильно связен.
Найдите необходимое и достаточное условие, которому должна удовлетворять вершина турнира, чтобы из неё начинался гамильтонов путь.
Турнир называется неприводимым, если для любого подмножества множества должна существовать дуга из вершины в в вершину в . Покажите, что в турнире следующие понятия эквивалентны:
гамильтонов,
сильно связен,
неприводим.
Покажите, что каждый турнир является либо сильно связным орграфом, либо орграфом, который можно превратить в сильно связный орграф изменением ориентации ровно одной дуги.
Последовательность неотрицательных целых чисел называется последовательностью очков (турнира), если существует турнир порядка , вершины которого можно пометить так, что полустепень исхода каждой равна для каждого . Покажите, что неубывающая последовательность из неотрицательных целых чисел является последовательностью очков транзитивного турнира тогда и только тогда, когда эта последовательность равна .
Покажите, что последовательность неубывающих неотрицательных целых чисел является последовательностью очков турнира тогда и только тогда, когда при , причём равенство выполняется при .
Покажите, что последовательность неубывающих неотрицательных целых чисел является последовательностью очков сильно связного турнира тогда и только тогда, когда при и .
Если — связный граф с нечётными вершинами, найдите минимальное число цепей в , таких что каждое ребро графа является ребром ровно одной из этих цепей.
Покажите, что если мультиорграф имеет эйлеров маршрут, но не имеет эйлерова контура, ровно одна вершина имеет избыток полустепени захода на единицу, и ровно одна вершина имеет избыток полустепени исхода на единицу.
Покажите, что если граф имеет контур нечётной длины, он имеет цикл нечётной длины.
Пусть в группе из человек любые два из них вместе знают всех остальных людей группы. Покажите, что этих человек можно рассадить за круглым столом так, чтобы каждый человек сидел между двумя знакомыми.
Покажите, что -регулярный граф с вершинами гамильтонов.
Покажите, что любой -регулярный простой граф с вершинами гамильтонов.
Нетривиальный связный граф эйлеров тогда и только тогда, когда каждый блок графа эйлеров.
Найдите число гамильтоновых графов в .
Найдите число гамильтоновых циклов в .
Покажите, что если нечётно, множество рёбер можно разбить на непересекающихся гамильтоновых циклов.
Тринадцать математиков участвуют в шестидневной конференции. Каждый вечер они садятся за круглый стол на ужин так, чтобы никакие два человека не сидели рядом друг с другом более одного раза, и чтобы каждый человек имел возможность посидеть рядом с каждым другим человеком ровно один раз за эти шесть вечеров.
Известно, что — последовательность очков турнира. Является ли она последовательностью очков сильного турнира?
Известно, что — последовательность очков турнира. Является ли она последовательностью очков сильного турнира?
Покажите, что сумма квадратов членов последовательности очков турнира равна сумме квадратов полустепеней захода вершин.
Покажите, что регулярный турнир сильно связен.
Покажите, что если — последовательность очков турнира, то также является последовательностью очков турнира, где для .
Рассмотрите случай, когда все неравенства в формулировке задачи 3.85 являются равенствами.
Покажите, что в турнире с игроками число игроков со счётом не превышает 1.
Покажите, что если — нечётное число, отличное от 1, существует турнир порядка , в котором каждая вершина является победителем.
Покажите, что -куб (см. решённую задачу 1.56) — гамильтонов граф.
При каком значении граф -куба является эйлеровым графом?
Покажите, что орграф де Брёйна — гамильтонов граф.