Графы и турниры
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Пусть в графе самый длинный простой путь имеет длину Докажите, что его вершины можно правильно раскрасить в
цвет.
Для начала договоримся, что будем доказывать более сильную задачу, а именно, что длина самого длинного просто пути Будем
доказывать по индукции по количеству вершин. База для одной вершины очевидна. Теперь переход. Давайте посмотрим на самый длинный
путь. Рассмотрим один из его концов. Обозначим его за
Заметим, что все ребра из
могу вести только в этот путь, иначе будет
противоречие с максимальностью этого пути. Следовательно, степень вершины
меньше, чем
Тогда давайте удалим вершину
и
по предположению раскрасим граф, который остался, а потом покрасим в свободный от цвета соседей вершину
и получим правильную
раскраску всего графа.
Ошибка.
Попробуйте повторить позже
В школе на учеников организуют факультативные лекции. На каждую предложенную лекцию записалось хотя бы
учеников, и для
любых двух учеников имеется не более одной лекции, на которую записались бы оба. Докажите, что можно провести все эти лекции в
течение
дней так, что никому не придётся посетить две лекции за один день.
Построим граф на лекциях, как на вершинах. Будем соединять их ребром, если есть общий школьник. Тогда наша задача состоит в том,
чтобы покрасить этот граф в цветов. Для этого найдем вершину, у которой степень не более
Тогда мы сможем доказать задачу
по индукции. Удалить эту вершину и применить предположение, а потом вернуть её и покрасить в свободный от цвета соседей цвет. Теперь
будем искать эту вершину. Рассмотрим лекции с минимальным количеством людей равным
Докажем, что степень этой вершины
как раз не превосходит
Возьмем ученика из этой лекции и попытаемся оценить, на сколько лекций он еще сходил. Заметим, что на
каждой из этих лекций еще хотя бы
ученик, но при этом учеников осталось
Тогда количество лекций, на
которые сходил этот ученик не больше
А значит, степень лекции можно оценить сверху числом
Для
начала заметим, что при
оценку можно улучшить, так как число лекций должно быть целым, а значит, получаем
оценку
При хватит нашей оценки. Так как неравенство
равносильно неравенству что верно при
Ошибка.
Попробуйте повторить позже
В графе вершин, и никакие две вершины одинаковой степени не соединены ребром. Какое наибольшее количество рёбер может быть в
этом графе?
Оценка. Зафиксируем натуральное число Рассмотрим в графе все вершины степени
Они не соединены между собой, поэтому
оставшихся вершин хотя бы
Тогда вершин степени
не больше, чем
Значит, всего рёбер в графе не более,
чем
Пример. Разобьём вершин на группы. В первой группе
вершина, во второй —
вершины,
в последней —
вершины.
Пусть любые две вершины из разных групп будут соединены ребром, а вершины из одной группы — нет. Тогда в первой группе будет одна
вершина степени
во второй —
вершины степени
вершины степени
Получается, что суммарное количество
рёбер вычисляется по формуле из оценки, то есть равно
Ошибка.
Попробуйте повторить позже
В стране 28 городов, между некоторыми городами проходят односторонние дороги. При этом нет двух таких городов и
что
существует и дорога из
в
и из
в
Известно, что для любых 16 городов есть циклический маршрут, проходящий по каждому
городу ровно один раз (и не проходящий по другим городам). Докажите, что из любых 17 городов можно выбрать 15 таких, что
существует циклический маршрут, проходящий по каждому из этих 15 городов ровно один раз (и не проходящий по другим
городам).
Рассмотрим ориентированный граф, в котором вершины — города, ребра — дороги. Из условия, что на любых 16 вершинах есть
циклический маршрут, мы понимаем, что из каждой вершины выходит не менее 13 дорог (иначе можно взять вершину и 15 городов, в
которые из неё не ведут дороги, и там не найдется цикла), аналогично в каждую входит не менее 13 дорог. Итого, для каждой
вершины есть максимум одна, с которой она не соединена. Рассмотрим произвольные 17 вершин. Они не могут разбиться
на пары несмежных, поэтому одна из них, назовем её соединена с каждой из 16 оставшихся. Построим на них цикл
Пусть ребро направлено от
к
(иначе в дальнейшем будем двигаться по циклу в другую сторону).
Если от
идет ребро к
то можно проход
заменить на проход
и получить цикл длины 15.
Значит, от
идет ребро к
Таким образом можно сдвигаться на 3 вершины по циклу. Так как НОД
мы
обойдем весь цикл и получим, что от всех
идет ребро к
Но тогда на вершинах
…,
нельзя построить
цикл.
Ошибка.
Попробуйте повторить позже
Рассмотрим граф, в котором вершины — это всевозможные строки из нулей и единиц длины
, а ребро проводится между двумя
строками, если они отличаются ровно в одной позиции. В этом графе выбрали
рёбер, не имеющих общих концов, и покрасили в
красный. Остальные ребра покрасили в синий. Докажите, что в графе найдется цикл длины не более чем
, в котором красные и синие
рёбра чередуются.
Подсказка 1:
Попробуйте найти такой цикл в явном виде. Давайте рассмотрим произвольную вершину A и для удобства обозначим её соседа, отличающегося в i-м символе, через A_i. Пусть ребро AA₁ — красное. Давайте для A_i при i > 1 обозначим через B_i такую вершину, что A_iB_i — красное ребро. Что можно сказать про цвет рёбер между бэшками и ашками?
Подсказка 2:
Чтобы понять, какой цвет у некоторого ребра A_kB_i, нужно посмотреть на k-е символы у A_i и B_i. Если они разные, то ребро будет синим. Кажется, при некотором значении k цикл уже найден.
Подсказка 3:
Если для некоторого i такое k = 1, то мы нашли цикл длины 4: AA_iB_iA_1A. Давайте обозначим для A_i и B_i через f(i) символ, в котором они отличаются. Попробуйте соорудить нужный цикл.
Подсказка 4:
Давайте рассмотрим путь A_2B_2A_{f(2)}B_{f(2)}A_{f(f(2))}B_{f(f(2))}... — его идея заключается в том, что мы от соседа A идём по красному ребру, а потом идём к другому соседу по синему. Осталось лишь показать, почему этот путь рано или поздно замкнется в цикл, и разобраться с его длиной.
Выберем произвольную вершину обозначим через
вершину, которая отличается от
в точности в
-ой позиции. Пусть не умаляя
общности ребро
— красное. Для
обозначим через
соседа вершины
соединенного с ней красным ребром.
Понятно, что
так как любые две вершины
и
отличаются в
позициях. Если
и
отличаются в позиции
то
соединена синим ребром с
Если для некоторого
такое
то мы нашли цикл длины
с чередующимися
красными и синими ребрами. В противное случае обозначим для каждого
через
позицию, в которой отличаются
строки
и
Рассмотрим путь
то есть мы от соседа идем по красному ребру, затем возвращаемся в соседа
по синему ребру, затем опять идем по красному и так
далее. Рано или поздно мы придем в ту вершину, в которой уже были, причем этой вершиной будет именно сосед
так как в вершины на
расстоянии
от
мы приходим только по красным ребрам, а в каждую вершину ведет ровно одно красное ребро. Полученный цикл нам
подойдет. Исходя из сказанного выше, ребра в нем чередуются, и его длина не более чем
так как каждая его вторая вершина — это
сосед
причем не
Ошибка.
Попробуйте повторить позже
Каждый из 2024 людей является рыцарем или лжецом. Некоторые из них дружат друг с другом, причём дружба взаимна. Каждого из них спросили про количество друзей, и все ответы оказались различными целыми числами от 0 до 2023. Известно, что все рыцари отвечали на вопрос верно, а все лжецы изменяли истинный ответ ровно на 1. Какое наименьшее число лжецов могло быть среди этих людей?
Подсказка 1
Рассмотрим разбиение людей на две группы, группа A: назвали числа от 0 до n−1, группа B: назвали числа от n до 2n−1, где n = 1012. Можно ли связать число дружб людей из разных групп, обозначим его E, с числом лжецов в A/B?
Подсказка 2
Е оценивается сверху через истинное число друзей персонажей из A, а его можно оценить сверху через число лжецов в A. Есть ли аналогичная оценка для E снизу через число лжецов в B?
Подсказка 3
Почти все дружелюбные люди из группы B дружат более чем с половиной рыцарей и лжецов, значит, и с кем-то из A. Как для отдельного человека оценить это количество?
Подсказка 4
Сравним оценки для E: n(n−1)/2 + x ≥ E ≥ n(n+1)/2 − y, где x, y — количество лжецов в A и В соответственно. Какой отсюда следует вывод об общем числе лжецов?
Подсказка 5
x + y ≥ n. Надо построить пример с n лжецами. Может рассмотреть крайний случай, где достигаются оценки или где все лжецы входят в одну группу?
Оценка. Пусть Людей обозначим вершинами, номер вершины будет означать ответ соответствующего человека, а если пара
людей дружит, то проведем ребро между соответствующими вершинами.
Пусть — множество всех людей, которые назвали числа от 0 до
а
— множество всех людей, которые назвали числа от
до
Пусть
— степень вершины
Тогда по условию
если
— рыцарь, и
в противном случае. Пусть
в множестве
ровно
лжецов, а в множестве
— ровно
Оценим количество ребер между людьми из разных множеств
и
С одной стороны, не больше суммы степеней вершин множества
откуда
С другой стороны, из каждой вершины множества
не более
ребер идет в вершины множества
и значит, не менее
ребер идет в вершины множества
Отсюда
Получаем неравенство:
откуда Это означает, что всего лжецов не менее
Пример. Как и прежде, номер человека будет означать его ответ. Возьмем два множества людей:
и
Пусть в множестве никакие двое людей не дружат друг с другом, а в множестве
— любые двое дружат. Далее, пусть
человек
и
дружат тогда и только тогда, когда
Тогда у человека
всего
друг:
У человека будет всего
друзей:
из множества и все люди множества
кроме него самого. При этом все люди в
— лжецы, а в
— рыцари. Видим, что все
условия задачи выполняются.
1012
Ошибка.
Попробуйте повторить позже
В стране городов и пока нет дорог. Правительство наугад определяет стоимость строительства дороги (с двусторонним движением)
между каждыми двумя городами, используя по разу все суммы от 1 до
талеров (все варианты равновероятны). Мэр каждого
города выбирает самую дешёвую из
возможных дорог, идущих из этого города, и она строится (это может быть взаимным желанием
мэров обоих соединяемых городов или только одного из двух).
После строительства этих дорог города оказываются разбиты на компонент связности (между городами одной компоненты связности
можно добраться по построенным дорогам, возможно, с пересадками, а между городами разных компонент — нельзя). Найдите
математическое ожидание случайной величины
Подсказка 1
Дороги с какой стоимостью точно будут построены? Рассмотрите дороги, которые строятся по взаимному желанию обоих мэров (назовём их надёжными). Сколько всего таких дорог может быть?
Подсказка 2
Может ли существовать путь между двумя такими дорогами? Не противоречит ли его существование правилам, по которым мэры выбирают дороги для строительства?
Подсказка 3
Из предыдущего следует: число компонент M равно числу надёжных дорог. Как найти математическое ожидание? Вспомните линейность математического ожидания. На какие простые случайные величины стоит разложить M?
Подсказка 4
Введите для каждой пары городов {A,B} индикатор ξ(AB) = 1 (если AB — надёжная дорога), иначе 0. Тогда M — это сумма индикаторов по всем парам. Чему равно математическое ожидание одного из них?
Подсказка 5
Для фиксированной пары {A,B}: AB надёжна ⇔ AB дешевле всех дорог, инцидентных A или B. Сколько таких дорог? Зная их количества и равномерное распределение цен, можно подсчитать вероятность, что дорога AB надежна.
Дорогу, которую хотят строить сразу два мэра, назовём надёжной. Рассмотрим в каждой компоненте самую дешёвую дорогу Тогда
она является надёжной. Предположим, что в этой компоненте есть ещё одна надёжная дорога
(ясно, что города
отличны от
) и рассмотрим путь по дорогам от одного из городов
до одного из городов
— не
умаляя общности, он имеет вид
(города
отличны от
возможно,
).
Тогда дорогу
хочет строить мэр города
(мэр города
хочет строить
), дорогу
— мэр города
(мэр города
хочет строить
) и так далее, мэр города
хочет строить дорогу
а не
—
противоречие.
Итак, в каждой компоненте есть ровно одна надёжная дорога. Для каждой из пар городов
рассмотрим случайную
величину
которая равна
если
— надёжная дорога, и 0 в противном случае. Из доказанного следует, что
есть сумма
по всем
парам
Для данных
событие
означает, что дорога
— самая дешёвая из
дорог, выходящих из
или
так что вероятность такого события равна
(из симметричности распределения цен эти дороги
равноправны, так что каждая из них является самой дешёвой с вероятностью
). Значит, математическое ожидание
равно
а математическое ожидание случайной величины
равно сумме этих математических ожиданий по всем парам, то
есть
Ошибка.
Попробуйте повторить позже
Многие учащиеся математического кружка остаются в нём преподавать после выпуска. Будем говорить, что Ваня является последователем Саши, если Ваня учился у Саши или если Ваня учился у ученика Саши, ученика ученика Саши и так далее. Преподаватель кружка называется народным, если у него есть последователи, и не менее половины из них — победители международной олимпиады IMO. Известно, что всего в кружке училось 100 победителей IMO. Какое наибольшее количество народных преподавателей может быть в этом кружке, если у каждого человека не более одного учителя и никто не является собственным последователем?
Источники:
Подсказка 1
У нас есть люди, причём некоторые из них связаны каким-то отношением... Всё это очень похоже на граф! Рассмотрим ориентированный граф, где вершины — это ученики и преподаватели кружка, а ребра ведут от учителя к его ученику. Каким будет этот граф?
Подсказка 2
Верно, это будет набор непересекающихся деревьев! Рассмотрим какого-нибудь народного учителя, не являющегося последователем другого народного учителя. Если среди его последователей k победителей IMO, то сколько среди них может быть народных учителей?
Подсказка 3
Общее число последователей не может быть больше 2k+1, значит, учителей среди них не больше 2k. Получается, в одном таком поддереве количество народных учителей не более, чем удвоенное количество победителей IMO. А верна ли эта оценка для всего графа?
Рассмотрим ориентированный граф, где вершины ученики и преподаватели кружка, а ребра ведут от учителя к его ученику. По условию
этот граф — лес. Оценка. Выберем какого-нибудь народного учителя который не является последователем другого народного учителя.
Пусть у вершины
последователей победителей IMO. Тогда не победителей IMO, у
не более чем
так как
— народный. А,
значит, всего вершин в поддереве
не более
из которых только
учителей могут будут народными, так хотя бы один человек
никого не учил. Осталось заметить, что поддеревья соответствующие разным выбранным народным учителям, не пересекаются. Поэтому
число народных преподавателей кружка не больше чем удвоенное число победителей IMO. Получили оценку на
Пример. Возьмём
ориентированный путь из
вершины. Победители IMO — это
нижних учеников. Тогда все преподаватели, кроме самого нижнего в
этом пути — народные.
Ошибка.
Попробуйте повторить позже
В некоторой стране город, каждый из которых соединен дорогами с
другими (каждая дорога соединяет ровно 2 города).
Известно, что из любого города можно добраться в любой другой. Докажите, что между любыми двумя городами существует путь,
состоящий не более, чем из 4 дорог.
Источники:
Подсказка 1
Поставьте перед собой вместо этого следующий вопрос: всегда ли между любыми двумя городами существует путь, состоящий не более, чем из 4 дорог?
Подсказка 2
Первая подсказка наверняка натолкнула Вас на мысль, что утверждение в условии неверно. Попробуйте построить контрпример.
Подсказка 3
Для начала выделите два множества из k+1 городов, в каждом из которых соединены все города со всеми, кроме каких-то двух. Подумайте, как можно организовать оставшиеся города, чтобы контрпример состоялся.
Подсказка 4
Выстройте оставшиеся города по кругу. Может, их стоит как-то соединить между собой?
Подсказка 5
Соедините каждый город с k/2 городами, идущими до него против часовой стрелки, и с k/2 идущими после по часовой стрелке.
Подсказка 6
Разрушьте какие-то две дороги в этом множестве и соедините четыре города, являющиеся их концами, с городами, в которых не хватает дорог из подсказки 3.
Подсказка 7
Посчитайте, сколько дорог необходимо, чтобы добраться из города 1 в город 2, которые мы ввели в подсказке 3.
Автор задачи забыл добавить условие, что в стране нет «треугольников», то есть троек городов, попарно соединённых друг с другом. Без этого условия утверждение задачи неверно.
Рассмотрим множество из города
соединим в нём все города со всеми, кроме каких-то городов
и
Рассмотрим ещё одно множество из
города
соединим в нём все города со всеми, кроме каких-то городов
и
Среди оставшихся городов (множество
) соединим каждый город ровно с
следующим образом: расставим города по кругу
и соединим каждый из них с
идущими по кругу после него по часовой стрелке и
идущими до. Это можно сделать, так как во всех
наших вариантах
чётно.
Затем разрушим какие-то две дороги в этом множестве, не имеющие общего конца, и соединим четыре города, являющиеся их концами с
городами
и
Получится картинка, в которой от любого города можно добраться до любого. При этом от города
из
до города
из
нельзя добраться менее, чем по пяти дорогам.
Действительно, из в
мы можем попасть только через
Для этого из
мы должны попасть в
или
затем из него
в какой-то из городов множества
С другой стороны, чтобы попасть в
мы должны из
попасть в
или
а затем оттуда
в
Это уже четыре дороги. При этом, множество
устроено так, что в нём нет общих соседей у
и
значит, нам
нужна ещё одна дорога внутри этого множества.
Ошибка.
Попробуйте повторить позже
Вася нашёл кубический граф (все степени вершин равны трём) и нарисовал его на плоскости без самопересечений так, что все рёбра
являются отрезками, параллельными прямым
причём рёбра, исходящие из одной вершины, параллельны разным прямым. Петя
покрасил каждое ребро в красный или синий цвет так, что если три отрезка образуют «клювик», то центральное ребро одного цвета, а
крайние другого, а если «треножку», то все цвета одинаковые.
1) Приведите пример получившейся картинки.
2) Покажите, что Васин граф — двудольный.
3) Оказалось, что на получившейся картинке нет одноцветных циклов. Покажите, что тогда клювиков больше, чем треножек.
4) Вася нашёл кубический граф посложнее, и нарисовал его с некоторыми пересечениями ребер. Пете всё равно удалось раскрасить ребра требуемым образом, при этом в его раскраске пересекаются только рёбра разных цветов. Вася накрыл каждое пересечение рублёвой монеткой, под которой не оказалось точек из других рёбер. Докажите, что теперь Вася сможет перерисовать картинку только под монетками так, чтобы она снова удовлетворяла преамбуле (изменив соответствующий граф).
Источники:
1) Рассмотрим красный шестиугольник и концентрический синий шестиугольник внутри него. Соединим соответственные вершины синими ребрами.
2) Без потери общности можно считать что углы между прямыми содержащими ребра расположены под углами в друг к другу.
Рассмотрим произвольный цикл, он является
-угольником. Рассмотрим некоторый угол этого
-угольнка, если он равен
или
то примыкающие стороны разноцетны, если же
или
то ребра одноцветны. Из соображений
чётности получаем, что углы
и
встречаются четное число раз, поэтому сумма углов делится на
но с другой
стороны сумма углов
Получили, что
чётное, значит, все циклы имеют сётную длины, а это критерий
двудольности.
3) Пусть в графе вершин, тогда ребер
из формулы Эйлера граней
Посмотрим на грань, так как это цикл, он
разноцветный, это происходит только грань содержит угол в
, из соображений четности из предыдущего пункта, этих клювика хотя бы
два. Каждый клювик содержит ровно два угла по
это позволяет оценит количество клювиков через число граней. Получили, что
клювиков хотя бы
а это больше половины от числа вершин.
4) Размыкаем синее рёбер в точке пересечения с красным, получаем две точки, соединим их какой-нибудь выпуклой красной кривой, поставим на ней пять точек и отметим "внутри"ещё две точки. Точки на кривой соединяем красными ребрами, а "внутрение"точки друг с другом синими. Осталось из внутренних провести два синих ребра, для этого соединим их точками с кривой.
Ошибка.
Попробуйте повторить позже
Ребра полного графа на 1000 вершинах покрашены в три цвета. Докажите, что в этом графе имеется несамопересекающийся одноцветный цикл, длина которого нечётна и не меньше 41.
Источники:
Лемма. Пусть — средняя степень вершины в некотором графе (т.е. среднее арифметическое всех степеней его вершин). Тогда в
этом графе можно удалить несколько вершин так, чтобы в оставшемся графе степень каждой вершины была не меньше
Доказательство. Индукция по количеству вершин. Для графа с одной вершиной утверждение очевидно ( Совершим переход.
Пусть в графе
вершин, тогда сумма их степеней равна
Если в графе есть вершина степени
выкинем её. Сумма степеней
при этом уменьшится на
и станет больше
Тогда новая средняя степень станет больше
В полученном графе по предположению индукции можно найти индуцированный подграф, в котором степень всех вершин не меньше
что и требовалось.
Перейдём к решению задачи. В исходном графе количество рёбер одного из трёх цветов (скажем, красного) не меньше чем
Рассмотрим граф, образованный рёбрами этого цвета. Сумма степеней всех вершин в нём не меньше
Значит,
средняя степень не меньше
По лемме можно найти подграф, в котором степень каждой вершины не меньше
т.е. не меньше
Рассмотрим в нём максимальный простой путь и занумеруем его вершины:
В нём не меньше
вершин. В противном
случае из концевой вершины пути выходило бы ребро, ведущее в какую-то вершину, не лежащую на этом пути, но такой путь не может быть
максимальным. В силу максимальности все
(или больше) рёбер, выходящих из вершины
ведут к вершинам этого
пути.
В каждой паре
имеется не более одной вершины, смежной с (иначе сразу найдётся цикл длиной
Значит, остальные не менее чем
рёбер ведут из
в вершины пути с номерами, большими чем
Все эти номера нечётны (иначе сразу найдётся
нечётный цикл большой длины). Следовательно, максимальный из этих номеров не меньше чем
Таким образом, мы нашли красный цикл длиной не менее чем Разумеется, можно считать, что его длина чётна, иначе задача уже
решена. Отметим в нём вершины через одну (их будет не меньше
Если какие-то две из них соединены красным ребром, то оба
полученных меньших цикла будут нечётными и один из них будет иметь большую длину. Значит, мы нашли
вершин, все рёбра между
которыми покрашены в два других цвета. Рассмотрим далее лишь эти вершины.
Повторим проведённое рассуждение. В полном двуцветном графе на вершинах количество рёбер одного из двух цветов (зелёного) не
меньше чем
Сумма зелёных степеней не меньше и средняя зелёная степень не меньше
Поэтому в нем можно выбрать
подграф, в котором у всех вершин зелёные степени не меньше
Рассмотрим этот подграф с зелёными рёбрами. Выберем в нём максимальный простой путь В силу максимальности пути
вершина
смежна только с какими-то вершинами этого пути, и, в частности, их не меньше
Если вершина
смежна с обеими
вершинами пары
(где
то вершины
образуют простой цикл длиной
что
невозможно. Поэтому вершина
смежна не более чем с одной вершиной из каждой пары
Тогда
смежна
не более чем с половиной вершин среди первых
вершин пути. Поэтому есть ещё как минимум три ребра из
в
следующие вершины пути, и у всех этих вершин нечётные номера. Значит, среди них есть вершина с номером не меньше
Мы получили зелёный цикл длиной не менее Можно считать, что его длина чётна. Отметим в нём вершины через одну (как
минимум
вершины). Если какие-то две из них соединены зелёным ребром, то образуется два нечётных цикла, сумма длин которых не
меньше чем
значит, один из них имеет длину не меньше
Следовательно,
отмеченные вершины попарно связаны
рёбрами третьего цвета и среди них уже любые
образуют цикл длиной
Ошибка.
Попробуйте повторить позже
В группе из 80 человек некоторые знакомы друг с другом (знакомства взаимны). Известно, что в группе есть человек, который знает ровно 1 из оставшихся, человек, который знает ровно 2 из оставшихся, ..., человек, который знает ровно 54 из оставшихся. Докажите, что в группе есть три человека, каждые два из которых знакомы.
Источники:
Подсказка 1
Зачастую в задачах на знакомства, на какие-то дороги, где нам даны количества "соединений", удобнее всего начинать с объекта, у которого их больше всех) Попробуем рассмотреть всех знакомых человека А, у которого их 54, что можно о них сказать?
Подсказка 2
Чего же мы хотим добиться от такого множества? Найти человека B в нём, у которого с A точно есть общий знакомый. Но чтобы найти такого B, нужно хотя бы понимать, сколько у него знакомых. Но далеко не обо всех людях мы знаем количество их друзей :( Значит, попробуем сократить множество, в котором будем искать такого B. О скольких людях в множестве друзей A мы точно знаем количество знакомых?
Подсказка 3
В множестве знакомых A максимум 26 человек, у которых мы не знаем количество друзей, значит, есть как минимум 28 человек, про которых мы можем что-то сказать. Какого тогда человека мы можем "выцепить" оттуда, чтобы, наконец, найти B из подсказки 2?
Подсказка 4
Среди них есть человек B, у которого хотя бы 28 знакомых! Осталось лишь доказать, почему же у B и A обязательно есть общий знакомый из всех, при условии, что они знакомы между собой?)
Посмотрим на человека , который знает ровно
из оставшихся. Из них максимум
людей, про количество знакомых у которых в
условии ничего не сказано. Осталось как минимум 28 человек, про количество знакомых которых сказано в условии. Среди них тогда
найдётся человек
, количество знакомых которого хотя бы
У кроме
есть ещё
знакомых, а у
, кроме
ещё
Поскольку
то у
и
есть хотя бы один
общий знакомый
Тройка
и есть искомая тройка человек.
Ошибка.
Попробуйте повторить позже
Двадцать городов соединены 172 авиалиниями. Докажите, что, используя эти авиалинии, можно из любого города перелететь в любой другой (быть может, делая пересадки).
Подсказка 1:
Давайте пойдём от противного. Пусть из города A нельзя добраться в город B. Можно ли как-то оценить количество рёбер в графе, которые отсутствуют?
Подсказка 2:
Например, давайте рассмотрим произвольную вершину C. Что можно сказать про рёбра AC и BC? Какое количество рёбер точно отсутствует?
Предположим, что из города A нельзя попасть в город B. Пусть C – какой-то из оставшихся 18 городов. Тогда по крайней мере одна их двух
авиалиний A–C, B–C отсутствует. Итого из возможных авиалиний отсутствуют не менее 19 (считая линию A–B), то есть линий
не больше 171. Противоречие.
Ошибка.
Попробуйте повторить позже
В турнире по теннису (где не бывает ничьих) участвовало более спортсменов. Каждый игровой день каждый теннисист принимал участие
ровно в одной игре. К завершению турнира каждый сыграл с каждым в точности один раз. Назовём игрока упорным, если он выиграл хотя
бы один матч и после первой своей победы ни разу не проигрывал. Остальных игроков назовём неупорными. Верно ли, что игровых дней,
когда была встреча между неупорными игроками, больше половины?
Источники:
Подсказка 1
В такой конструкции полезно для начала посмотреть на крайние объекты, например, на последний день турнира. Что во время него произошло?
Подсказка 2
Правильно, в последний день выиграли все упорные, а тогда их не больше половины. Что будет, если их меньше половины?
Подсказка 3
Ну если их меньше половины, то каждый день была встреча между неупорными, это нас устраивает. А вот если их ровно половина, то тогда всего игроков будет 2k, поровну упорных и неупорных, попробуем доказать, что было хотя бы k дней, когда была встреча между неупорными.
Подсказка 4
Заметим, что это равносильно тому же условию, только для упорных, подумайте, почему это так! Конечно же, будем доказывать от противного, при этом исследовать ситуацию для встреч между упорными игроками, потом просто воспользуемся доказанной равносильностью!
Подсказка 5
Поймём, что упорные обязаны играть между собой в одни и те же дни, т.е. провести собственный минитурнир. А когда такое возможно?
Подсказка 6
Конечно, только при чётном количестве упорных игроков. Но теперь вспомним условие, что 2k > 4!
Подсказка 7
В силу чётности k из него следует, что k ≥ 4, тогда в первый день минитурнира выиграло как минимум два упорных игрока. Но ведь они потом встретятся ещё между собой!
Подсказка 8
Тогда кто-то из них выиграет, а другой проиграет, до этого уже выиграв! Это противоречие! Значит, требуемое доказано :)
В последний день все упорные выиграли. Значит, их не больше половины. Если их меньше половины, то каждый день была встреча между
неупорными игроками. Остаётся рассмотреть случай, когда количество упорных составляет половину от общего числа
игроков
Такой турнир длился
дней, и нужно доказать, что было хотя бы
дней, когда была встреча между
неупорными. Это равносильно тому, что было хотя бы
дней, когда была встреча между упорными, так как и тех и
других — ровно половина (если все упорные играют только с неупорными, то в этих встречах участвуют все неупорные, и
обратно).
Предположим противное: пусть встречи между неупорными игроками проходили менее, чем в половине всех дней турнира. Тогда, в силу
замечания выше, то же самое можно сказать и про встречи между упорными игроками. Так как всего упорных игроков каждый
упорный играл с упорными
день. Поэтому единственный возможный вариант, при котором встречи между упорными игроками
проходили менее чем в половине дней турнира, — это когда все упорные играют между собой в одни и те же дни. Другими словами можно
сказать, что упорные проводят в этот
день между собой минитурнир, а такое возможно только если число упорных
игроков чётно. Вспомним теперь, что
то есть
а поскольку
— чётное, то
Тогда в первый из
дней минитурнира играли по крайней мере две пары упорных игроков, а значит было хотя бы два упорных, победивших в
этот день. В дальнейшем они должны сыграть между собой, но тогда один из них проиграет после того, как выиграл.
Противоречие. Значит, наше предположение неверно, и игровых дней, когда была встреча между неупорными игроками, не менее
половины.
Да
Ошибка.
Попробуйте повторить позже
В выпуклом многограннике обозначим через В, Р и Т соответственно число вершин, рёбер и максимальное число треугольных граней, которые имеют общую вершину. Докажите, что
Например, для тетраэдра ( выполняется равенство, а для треугольной призмы (
или куба
(
имеет место строгое неравенство.
Источники:
Подсказка 1
Будем воспринимать этот многогранник как граф. Нам нужно получить какую-то оценку с количеством его рёбер, поэтому логично пытаться оценивать суммы степеней вершин. Давайте рассмотрим произвольную вершину. Какую оценку сверху можно написать на сумму степеней всех смежных с ней вершин?
Подсказка 2
Эта сумма m_1+...+m_k не больше Р+Т, потому что мы могли максимум Т рёбер посчитать дважды.
Подсказка 3
Но нам нужен корень из Р+Т, его можно получить с помощью неравенства о средних. Как его применить?
Подсказка 4
Применим неравенство между средним квадратическим и средним арифметическим для набора sqrt(m_1), ..., sqrt(m_k).
Подсказка 5
Итак, мы получили неравенство, которое удобно переписать в виде sqrt(m_1/k)+...+sqrt(m_k/k)<=sqrt(Р+Т). Теперь давайте рассмотрим все пары вершин. Пусть степени некоторых двух равны x и y. Тогда sqrt(x/y)+sqrt(y/x)>=2. Теперь осталось...
Подсказка 6
Сложить данные неравенства по всем парам вершин, использовать неравенство, которое мы получили выше, и мы получим требуемую оценку.
Степенью вершины многогранника называется количество исходящих из неё рёбер этого многогранника. Вершины называются смежными,
если они соединены ребром. Пусть - произвольная вершина многогранника,
- её степень,
- степени всех смежных с ней вершин
(
занумерованных в произвольном порядке. Тогда
- это количество всех рёбер, исходящих из смежных
с
вершин, учтенных один или два раза, причём дважды учтены те и только те рёбра, которые лежат против вершины
в некоторой
треугольной грани многогранника. Значит,
Отсюда, используя известное неравенство между средним
арифметическим и средним квадратическим, получаем
Следовательно,
Обозначим сумму в левой части последнего неравенства за Пусть
- все вершины многогранника, занумерованные в
произвольном порядке, а
- их соответственные степени
Для любой пары смежных вершин
и
по неравенству
между средним арифметическим и средним геометрическим выполнено неравенство
Складывая эти неравенства по всем неупорядоченным парам смежных вершин многогранника, получаем
По доказанному выше неравенству отсюда следует требуемая оценка.
Ошибка.
Попробуйте повторить позже
На одной стороне каждой из 100 карточек написали одно из натуральных чисел от 1 до 100 включительно (каждое число записано ровно на одной карточке), после чего перевернули их обратными сторонами вверх и разложили в произвольном порядке на столе. За один вопрос Вася может указать на две любые карточки, после чего получает от ведущего ответ, являются ли записанные на них числа соседними (отличающимися на 1). За какое минимальное число вопросов Вася может гарантированно назвать хотя бы одну пару карточек, на которых написаны соседние числа?
Источники:
Подсказка 1
Поймём, что эта задача на оценку + пример! Чтобы придумать пример, подумайте о том, сколько соседей у каждого числа от 1 до 100.
Подсказка 2
Да, у каждого числа от 2 до 99 включительно — два соседа, а у чисел 1 и 100 — один сосед! Тогда можно увидеть алгоритм: задавать вопросы про одну и ту же карточку, постоянно меняю другую карточку. Какой ответ даёт этот алгоритм?
Подсказка 3
Верно, при таких действиях за 98 вопросов мы точно сможем назвать соседние числа! Осталось доказать, что за меньшее число вопросов доказать нельзя. Для этого нужно подумать о задаче в терминах теории графов. Тогда карточки — это вершины, а вопросы — это ребра! Что нужно найти в графе, чтобы доказать, что 98 — искомый ответ на задачу?
Подсказка 4
Да, надо найти Гамильтонов путь (такой путь, в котором каждая вершина встречается ровно один раз) по всем вершинам в графе, в котором ни одно ребро не является ребром, которое появилось вследствие вопроса Васи! Попробуйте посмотреть на задачу при малых n и доказать это утверждение по индукции!
Подсказка 5
База индукция тривиальна, поэтому давайте сразу подумаем о переходе! Такс, а что если посмотреть на вершину из которой выходит ровно одно ребро? А что будет в графе без неё? Можно ли в нём построить нужный нам путь?
Подсказка 6
Да. если есть такая вершина, то задача легко решается по индукции, ведь мы всегда можем переходить от случая с n вершинами к n+1 вершине с помощью добавления одного нужного нам ребра! Но вот незадача: что если нет вершин, из которых ихходит ровно одно ребро?
Подсказка 7
А если нет вершин с степенью 1, то можно точно утверждать, что есть хотя бы две вершины со степенью 0. Остаётся посмотреть на две этих вершин и еще одну вершину степень которой хотя бы 2!
Пример. Пусть Вася выберет какую-то карточку и задаст
вопросов, в каждом из которых он спросит про
и одну из
карточек, отличных от
Общее количество чисел, не соседних с числом, написанным на
не превосходит
если на
написано
или
и
если на
написаны числа от
до
Тогда либо в одном из
ответов будет дан
положительный ответ, и Вася нашёл нужную пару соседних чисел, либо все эти карточки содержат числа, не соседние с числом на
Следовательно, оставшаяся карточка содержит число, соседнее с числом на
Таким образом, Васе достаточно
вопросов.
Оценка. Докажем, что, если Вася задаст всего любых вопросов, он может не найти ни одной пары карточек с соседними числами.
Предположим противное, что задав некоторые
вопросов он смог точно указать на пару карточек с соседними числами. Переведём
задачу на язык теории графов. Карточки будем считать вершинами графа
а заданные Васей вопросы – рёбрами
(синими рёбрами),
соединяющими соответствующие пары карточек. К этим рёбрам нужно добавить ещё одно, соответствующее той паре карточек, на которых
написана пара соседних, по версии Васи, чисел. Теперь нужно доказать, что вершины
могут быть занумерованы в таком порядке, что ни
одно ребро не соединяет две вершины с соседними номерами. То есть, нужно дорисовать в графе путь из
рёбер, проходящий
последовательно по всем
вершинам, и не содержащих ни одного из
«Васиного» синего ребра. Это будет означать, что Васина
догадка не верна. Назовём такой путь красным и будем строить его методом математической индукции по числу вершин графа
Предположим, что в любом графе с числом вершин в котором проведено не больше
синих рёбер, существует красный
путь
по всем вершинам, не содержащий синих рёбер. Построим красный путь в
1) Пусть в есть «крайняя» вершина
из которой выходит ровно одно ребро
В графе
полученном из
удалением
вершины
и ребра
число вершин равно
а рёбер – не больше
выполнено предположение индукции, поэтому
в
можно построить красный путь длины
с началом в вершине
и концом в вершине
Тогда ребро
не
соединяет вершину
с одной из
или
проведя красное ребро из
в эту вершину, получим красный путь длины
в
2) Пусть в нет вершин, из которых выходит ровно одно ребро. В таком случае все синие рёбра инцидентны в сумме
вершинам
степени не меньше
каждая, следовательно, среди них не больше
различных. Следовательно, в
не меньше двух вершин
из
которых не выходит ни одного синего ребра. Удалим из
вершины
и два ребра, выходящие из некоторой четвёртой вершины
(но
не саму вершину). Полученный граф
снова удовлетворяет предположению индукции и в нём можно построить красный путь длины
с началом в вершине
и концом в вершине
Если он не проходит через
или проходит, но не проходит через удалённые рёбра,
соединим
с
и
с
и получим красный путь в
длины 99. В оставшихся случаях, обозначим за
и
вторые концы удалённых
рёбер. Если красный путь в
проходит через
заменим этот фрагмент на
Если он проходит только
через одно удалённое ребро, скажем, через
заменим его на
В обоих случаях получится красный путь в
База индукции - случаи графов с 3 и 4 вершинами - очевидна.
Ошибка.
Попробуйте повторить позже
Источники:
Пункт а), подсказка 1
Мы понимаем, какие у каждого числа могут быть соседи. Такие связи намекают нам на то, что здесь пригодится нарисовать граф) Как теперь переформулировать задачу?
Пункт а), подсказка 2
Теперь если числа - это вершины, а возможные соседи - ребра, то нам надо доказать, что нет простого пути на всех вершинах. Попробуйте рассмотреть для начала вершинки, в которых самая маленькая степень и порисовать путь на всех вершинах...
Пункта а), подсказка 3
Можно заметить, что если вы проходите через одну из маленьких по степени вершин, то в другую вы больше не придете. Разбейте так эти вершинки с маленькой степенью на пары и строго опишите это!
Пункт б), подсказка 1
Теперь также сделайте граф и посмотрите на отличие от предыдущего, вдруг теперь можно построить пример)
(a) Начертим граф возможных соседей. Рассмотрим три пары вершин в четырехугольниках на графе (они отмечены жирными точками), а именно: (2, 10), (1, 9) и (3, 11) — это вершины с наименьшей степенью (количеством соседей), равной 2.
Предположим, от противного, что есть простой путь на графе (т.е. без повторения вершин), проходящий через все вершины. Тогда найдется такая пара вершин среди трех указанных пар, что путь не начинается и не кончается в вершинах из этой пары (такая пара есть, т.к. концов у пути — два, а пар — три). Таким образом, обе вершины этой пары — “проходны”, но если впервые будет пройдена одна вершина из этой пары, то вторая вершина станет изолированной («отрезанной»: в неё нельзя будет попасть потом). Противоречие.
(b) Пример перестановки: 2, 5, 10, 7, 12, 9, 4, 1, 6, 3, 8, 11. Граф (см. рисунок) помогает построить подобный пример.
Ошибка.
Попробуйте повторить позже
В стране городов, некоторые города соединены дорогами, по которым можно двигаться в обе стороны. Известно, что в этой стране нет
циклического маршрута. Докажите, что можно выбрать
городов так, чтобы каждый выбранный город был соединен не более чем с
одним из остальных выбранных.
Построим граф, вершинами которого будут города, а рёбрами — дороги. Заметим, что по условию в графе нет циклов. То есть он состоит из нескольких деревьев.
Будем доказывать индукцией по , что в дереве на
вершинах можно выбрать не меньше
вершин так, чтобы каждая
выбранная вершина была соединена не более чем с одной из остальных выбранных. База для
действительно
верна. Пусть утверждение верно для
. Докажем для
. Подвесим дерево за вершину и выберем
самую низкую висячую вершину из всех. Рассмотрим её предка. Если он соединён с еще хотя бы одной висячей вершиной,
то выкинем его и все висячие вершины, являющиеся его соседями. В оставшемся дереве по предположению индукции
можно выбрать хотя бы
вершин с сохранением условия. Теперь достаточно добавить к ним всех выкинутых соседей
предка.
Если же у предка висячей вершины нет других висячих соседей, то можно считать, что у предков всех самых низких висячих вершин
есть ровно один висячий сосед (сами эти вершины). Вернёмся к нашей висячей вершине. Если у её предка есть предок, то выкинем его и всё
его поддерево. В оставшемся дереве снова выберем не менее вершин и добавим к ним все выкинутые вершины, кроме предка предка
исходной висячей вершины.
Наконец, если предка предка не существует, то наше дерево состоит всего из 2 вершин, соединённых ребром, тогда можно взять его целиком.
Для решения задачи осталось лишь выбрать не менее вершин из каждого дерева, а затем, если вершин получилось больше чем
нужно, выкинуть лишние.
Ошибка.
Попробуйте повторить позже
На конференцию приехали учёных. Оказалось, что у любых двоих как минимум двое общих знакомых. Докажите, что у кого-то из них
хотя бы
знакомых.
Источники:
Подсказка 1:
Назовём конструкцию из трёх вершин A, B, C с рёбрами AB и BC "растопыркой", притом вершина B — главная. Поработайте с такими конструкциями.
Подсказка 2:
Если решать от противного, то есть предположить, что степень каждой вершины не больше 14, появляется возможность оценить количество "растопырок" сверху.
Подсказка 3:
Действительно, каждая вершина является главной не более чем в 14 • 13 / 2 "растопырках". Было бы неплохо теперь оценить это количество снизу.
Подсказка 4:
По условию, для каждой пары вершин A, B существует хотя бы две вершины, при добавлении каждой из которых к A, B получается "растопырка" с концами в A, B.
Предположим противное. Рассмотрим граф, вершинами которого будут являться учёные, две вершины будем соединять ребром, если
соответствующие учёные знакомы. Из нашего предположения степень каждой вершины не превосходит . Посчитаем двумя способами
количество растопырок, то есть конфигураций из
вершин, одна из которых (будем называть её главной) соединена с двумя
другими). С одной стороны для каждой пары вершин к ним в растопырку можно выбрать хотя бы
главные. Итого
растопырок не меньше, чем
. С другой стороны для каждой вершины количество растопырок, в которых она
является главной, не превосходит
. То есть всего растопырок не больше
, откуда получаем
противоречие.
Ошибка.
Попробуйте повторить позже
На плоскости нарисовано несколько окружностей, причем каждая пара окружностей пересекается ровно в двух точках, и никакие три окружности не имеют общей точки. Круглосторонник - это часть плоскости, со всех сторон ограниченная дугами этих окружностей, граница которой состоит из каких-то дуг этих окружностей, причем между любыми двумя внутренними точками круглосторонника можно пройти, не пересекая ни одной дуги данных окружностей. Например, ниже изображены две окружности, образующие 3 круглосторонника, обозначенные номерами 1, 2 и 3.
Смежные круглосторонники - это круглосторонники, имеющие общую дугу окружности в качестве границы, причем дуга должна быть
невырожденной, то есть не сводящейся к одной точке. Например, на рисунке выше смежными являются круглосторонники 1 и 2, 2 и 3, но не
1 и 3. Для какого наименьшего можно нарисовать окружности так, что выполнены условия, перечисленные выше, и эти
окружности образовывали ровно
круглосторонников?
Докажите, что для любого расположения нарисованных окружностей на плоскости, удовлетворяющих перечисленным условиям и образующих не менее 2023 круглосторонников, обязательно найдется круглосторонник, ограниченный менее чем 4-мя дугами.
Источники:
Подсказка 1
Круглосторонники, окружности… Ну и ну. Хотя, вообще-то, вся это конструкция кое-что напоминает, если посмотреть на это под другим углом. У нас есть дуги, которые соединяют точки пересечения окружностей, у нас есть вот эти круглосторонники, которые отделены дугами , и внутри которых дуг нет. На что это похоже?
Подсказка 2
Верно, на плоский граф. Но, поскольку вершины этого графа, то есть точки пересечения пар окружностей, соединены дважды, то это плоский мультиграф. Интересно. А какую главную формулу мы знаем про плоские графы(и мультиграфы в том числе)?
Подсказка 3
Верно, формулу Эйлера для плоских графов. V - E + F = 2, где V - число вершин графа, E - число ребер, а F - число граней(здесь стоит сказать, что у нас вне этого плоского мультиграфа, тоже есть часть плоскости, которая отделена ребрами и внутри которой их нет - это часть плоскости вне графа, ее тоже стоит учитывать). Предположим, что окружностей у нас m, что тогда можно сказать про V? А как связать E и V?
Подсказка 4
Верно, так как окружностей m и каждая пара пересекается в двух точках, то всего точек пересечений, то есть вершин, 2*m(m-1)/2 = m(m-1)=V. Так как каждая вершина - точка пересечения ровно двух окружностей, то из нее исходит ровно 4 ребра. А значит E=4V/2=2V=2m(m-1). А значит F = 2 + E - V = m(m-1) + 2. Вспомним про рассуждения из предыдущего пункта, что число круглосторонников меньше числа граней на 1. Значит число круглосторонников равно m^2-m+1. Значит, нам надо решить неравенство m^2-m+1>=2023. Значит, m>=46. Но нужно привести пример. Подумайте как это можно сделать, использовав как-то правильный многоугольник и/или повороты на угол вокруг одной точки(что в общем-то, почти одно и тоже).
Подсказка 5
Теперь построим пример, для всех таких m от 1 до 46, когда никакие три окружности не пересекаются в одной точке. Возьмем окружность A_0 и точку О внутри нее, не совпадающую с ее центром. После чего построим, для всех i от 1 до m-1, окружности, которые получаются из А_0 поворотом на i*2pi/m против часовой стрелки, с центром в точке О. Почему этот пример подходит?
Подсказка 6
Верно, так как при такой картинке, «внешние» вершины соседних образуют правильный m-угольник, О - центр этого многоугольника. Тогда построим другую, неподходящую картинку, когда все окружности - есть описанные вокруг O и проходящие через свою сторону m - угольника. Тогда можно провести окружность(она не относится к нашим и нужна только для построения) с центром в точке О и посмотреть на пересечения этой окружностью серперов из точки О к сторонам нашего m-угольника. Тогда возьмем новые m штук окружностей, которые проходят через соответствующие стороны m-угольника и соответствующие точки пересечения серперов технической окружностью. Тогда, очевидно, они все перестанут пересекаться, так как мы на совсем чуть-чуть(пусть радиус технической окружности очень близок к нулю) сдвинули наши окружности(в силу непрерывности, доказали). Остался второй пункт задачи. Попробуйте доказать от противного.
Подсказка 7
Если предположить, что каждый круглосторонник ограничен как минимум 4 дугами, то общее число дуг, которые ограничивает круглосторонник не меньше чем 4*C=4(m^2-m+1). Пусть К - кол-во внешних граней мультиграфа, тогда K+4C<=E. Но тогда K+4+2m(m-1)<=0, что невозможно, так как K>=0, 4>0, 2m(m-1)>=0. Значит, предположение неверно, а значит, найдется круглосторонник, ограниченный не более чем 3 дугами.
Рассмотрим нарисованные окружности как плоский мультиграф (граф с кратными ребрами между вершинами): вершины – точки пересечений, ребра – дуги нарисованных окружностей, ограниченные точками пересечений. В такой интерпретации круглосторонники — это все грани этого графа, кроме «внешней» (т.е. части плоскости, лежащей вне всех окружностей).
Пусть нарисованы ровно окружностей. Согласно формуле Эйлера для плоских графов,
где — число вершин графа,
— число ребер, а
— – число граней (включая внешнюю).
Так как каждая пара окружностей пересекается ровно в двух своих уникальных точках, то число вершин
Так как каждая вершина – это точка пересечения ровно двух окружностей, то наш граф является регулярным степени
(то есть в каждую вершину входят ровно
ребра). Поскольку каждое ребро соединяет две вершины, общее число
ребер
Следовательно число граней нашего плоского мультиграфа должно быть равно
Значит, число круглосторонников
Найти наименьшее такое, что
— значит найти наименьшее натуральное решение неравенства
Решив, получаем, что наименьшее равно
соответственно
Теперь заметим, что для любого (в том числе для
можно расположить
окружностей на плоскости так, что каждая
пара пересекается ровно в двух своих уникальных точках. Действительно, нарисуем произвольную окружность
на плоскости и выберем
произвольную точку
внутри нее (но не являющуюся ее центром), а потом рассмотрим
окружностей
где
которые получаются в результате поворота окружности
вокруг точки
на угол
(окружность
совпадает с
На рисунке
приведен пример для
Теперь докажем, что обязательно найдется круглосторонник, ограниченный менее чем дугами. Предположим, что все
круглосторонники ограничены не менее чем
дугами. Тогда общее число «сторон» (дуг, ограничивающих круглосторонники) не меньше,
чем
Пусть
— число границ внешней грани плоского мультиграфа, тогда
Это невозможно, — следовательно, неверно предположение, что все круглосторонники ограничены не менее чем дугами. Поэтому
обязательно найдется круглосторонник, ограниченный менее чем
дугами, что и требовалось доказать.