Задача 039

Пусть G — связный граф, имеющий хотя бы три вершины. Определим G^{3} как граф на тех же вершинах, в котором соединены ребрами вершины, находящиеся в G на расстоянии не более трех. Докажите, что в графе G^{3} есть гамильтонов цикл.

Подсказка

Для начала рассмотрите вершины, у которых много соседних висячих вершин.

Решение

Разумеется, достаточно доказать теорему для случая, когда G — дерево. Длиной ребра в графе G^{3} мы назовем расстояние между его концами в исходном графе G. Так, у графа G^{3} бывают рёбра длин 1,2 и 3 . Доказательство будет индукцией по количеству вершин. База для дерева из трех вершин очевидна. Пусть для всех деревьев, имеющих меньше вершин, чем G (и хотя бы три вершины), теорема уже доказана. Рассмотрим два случая.
а) В дереве существует вершина w, смежная хотя бы с двумя висячими вершинами. Пусть v_{1} и v_{2} — две висячие вершины, смежные с w и T=G-v_{2}. Можно считать, что v(T) \geq 3, иначе утверждение для графа G доказано в базе. В гамильтоновом цикле Z графа T^{3} есть участок u v_{1} u^{\prime}, который, очевидно, можно заменить на u v_{1} v_{2} u^{\prime} и получить гамильтонов цикл графа G^{3}.
б) Любая невисячая вершина смежна не более, чем с одной висячей.

Рассмотрим вершину w степени хотя бы 3 , к которой присоединён путь v_{1} \ldots v_{k}, заканчивающийся висячей вершиной v_{k} (возможно, k=1 ) и дерево T=G-\left\{v_{1}, \ldots, v_{k}\right\}. Понятно, что v(T) \geq 3, в графе T^{3} существует гамильтонов цикл Z, а в цикле Z есть ребро u u^{\prime}, соединяющее две разных компоненты связности графа T-w. Так как длина ребра u u^{\prime} не более трёх а единственный u u^{\prime}- путь в дереве T проходит через w, то хотя бы одна из вершин u и u^{\prime} смежна в T с вершиной w. Пусть u w \in E(T). При k=1 заменим ребро u u^{\prime} на u v_{1} u^{\prime}. Если k \geq 2, заменим u u^{\prime} на u v_{2} \ldots v_{1} u^{\prime} (вставим между u и u^{\prime} сначала v_{2}, затем все вершины с четными номерами, большими двух в порядке возрастания номеров, затем все вершины с нечетными номерами, большими одного в порядке убывания номеров, затем v_{1} ). Легко видеть, что в полученном гамильтоновом цикле графа G^{3} длины всех рёбер не более трёх.

Задача 040

30 кружковцев Дмитрия Андреевича k раз делились на две команды и проводили тренировочный матбой. На каждом матбое Дмитрий Андреевич называл одну из команд хорошей. При каком наименьшем k он, как бы кружковиы ни делились, гарантированно мог сделать так, чтобы каждый ребенок хоть раз побывал в хорошей команде?

Подсказка

Назовем невезучими детей, которые ни разу еще не побывали в хорошей команде. Стратегия Дмитрия Андреевича состоит в том, чтобы каждый раз называть хорошей команду, куда попала большая часть невезучих.

Решение

Ответ: 5.

Решение. Назовем невезучими детей, которые ни разу еще не побывали в хорошей команде. Стратегия Дмитрия Андреевича состоит в том, чтобы каждый раз называть хорошей команду, куда попала большая часть невезучих. Так ему после первого боя удастся сделать так, чтобы невезучих было не более 15, после второго — не более 7 , после третьего — не более 3 , после четвертого — не более одного. С другой стороны, если дети каждый раз будут делиться так, чтобы количества невезучих в двух командах отличались не более, чем на 1 , Дмитрию Андреевичу не удастся сделать всех везучими за 4 боя.

Задача 042

Каждые два из 21 города соединены прямым рейсом одной из четырёх авиакомпаний. Докажите, что существует замкнутый маршрут из четырех рейсов одной авиакомпании.

Подсказка

Все маршруты образуют полный граф на 21 вершине, рёбра которого раскрашены в 4 цвета. Если искомого замкнутого маршрута нет, любые две вершины этого графа связаны не более чем одним одноцветным маршрутом длины 2.

Решение

Все маршруты образуют полный граф на 21 вершине, рёбра которого раскрашены в 4 цвета. Если искомого замкнутого маршрута нет, любые две вершины этого графа связаны не более чем одним одноцветным маршрутом длины 2. Стало быть, всего таких маршрутов не более, чем 4 C_{21}^{2}=840. С другой стороны, пусть из данной вершины выходит a, b, c и d рёбер первого, второго, третьего и четвёртого цветов соответственно. Тогда число одноцветных маршрутов длины 2 , для которых эта вершина — средняя, равно (a(a-1)+b(b-1)+c(c- 1)+d(d-1)) / 2=\left(a^{2}+b^{2}+c^{2}+d^{2}-(a+b+c+d)\right) / 2=\left(a^{2}+b^{2}+c^{2}+d^{2}\right) / 2-10. По неравенству между средним арифметическим и средним квадратическим имеем: a^{2}+b^{2}+c^{2}+d^{2} \geq(a+b+c+d)^{2} / 4=100. Таким образом, каждая вершина нашего графа является средней минимум для 100 / 2-10=40 одноцветных маршрутов, причём минимум достигается только в случае, когда из вершины выходит ровно по 5 маршрутов каждого цвета. И только в этом случае сумма количеств одноцветных маршрутов длины 2 по всем вершинам равна 840, в остальных — больше. Но такой случай невозможен, потому что тогда, оставив в нашем графе только рёбра одного какого-то цвета, мы получили бы граф с нечётным числом нечётных вершин.

Задача 044

Докажите, что у двудольного графа с четным числом вершин и четным числом ребер количество остовных деревьев четно. (Остовное дерево — это подграф исходного графа, содержащий все его вершины и являющийся деревом.)

Подсказка

Всего из дерева получается нечётное число графов, в которых добавлено ещё одно ребро.

Решение

Пусть G — наш граф, \mathrm{T}(G) — множество всех остовных деревьев графа G, а М( G ) — множество всех остовных подграфов графа G, имеющих ровно один цикл. Рассмотрим произвольное дерево T \subset \mathrm{~T}(G). В нем нечетное число ребер, следовательно, количество не вошедших в T ребер графа G также нечетно. Если к дереву T \subset \mathrm{~T}(G) добавить любое не вошедшее в него ребро графа G, то получится граф из \mathrm{M}(G). Всего таким образом из дерева T получается нечетное число графов из \mathrm{M}(G). Наоборот, рассмотрим любой граф H \subset \mathrm{M}(G) и его единственный цикл Z. Граф H может быть получен добавлением ребра к тем деревьям, которые получаются из H удалением одного из ребер цикла Z. Так как граф G двудольный, то в цикле Z — четное число ребер, следовательно, у графа H — четное число остовных деревьев-«»предков»». Отсюда следует, что в множестве \mathrm{T}(G) четное число остовных деревьев.

Задача 047

Вершины графа разбиты на три множества A, B, C так, что вершины из A не связаны рёбрами с вершинами из C. Известно, что A \cup B можно правильно раскрасить в k цветов, а B \cup C — в n цветов. В какое минимальное количество цветов можно с гарантией правильно раскрасить все вершины этого графа?

Подсказка

Покажите, что в k+n-1 цвет правильно раскрасить все вершины можно всегда.

Решение

Ответ. В k+n-1 цвет.

Решение: Покажем, что в k+n-1 цвет правильно раскрасить все вершины можно всегда. Раскрасим B \cup C в n цветов, назовём один из этих цветов первым, и пусть D — совокупность всех вершин из B, покрашенных в первый цвет. Теперь раскрасим A \cup D в k цветов, использовав в качестве одного из них первый цвет (а остальные k-1 цветов взяв отличными от уже использованных n цветов). У вершин, не входящих в A \cup D, сохраним прежнюю раскраску. Поскольку никакие вершины из A \cup D не связаны рёбрами с вершинами из C, покрашенными в первый цвет (из D — в силу правильности раскраски B \cup C в n цветов, из A — по условию), получится правильная раскраска графа в k+n-1 цвет.

Теперь покажем, что меньшего числа цветов может и не хватить. Расположим k n точек в виде прямоугольника из n строк и k столбцов. Примем это множество за B. Снизу добавим нулевую строку из k точек, примем ее за A, слева нулевой столбец, примем его за C. Ребрами в B соединим любые две точки, не лежащие ни в одной строке, ни в одном столбце. В A соединим рёбрами каждые две точки, в C — тоже. Кроме того, соединим рёбрами каждую точку из A со всеми точками из B, не лежащими с ней в одном столбце, и каждую точку из C со всеми точками из B, не лежащими с ней в одной строке. Очевидны правильные раскраски A \cup B в k цветов (по столбцам) и C \cup B в n цветов (по строкам). Покажем, что полученный граф нельзя раскрасить меньше, чем в k+n-1 цвет. Допустим, есть правильная раскраска A \cup B \cup C в k+n-2 цвета. Поскольку точки множества A раскрашены в k различных цветов, а точки множества C — в n различных цветов, то есть m \geq 2 цветов (назовём их общими), в которые покрашены точки обоих этих множеств. Отметим строки и столбцы, в которых находятся такие точки; на их пересечении находится m^{2} точек множества B. Заметим, что в каждый из m общих цветов может быть покрашено не больше одной из этих m^{2} точек, а именно, точка, стоящая на пересечении соответствующих столбца и строки. Стало быть, среди этих m^{2} точек есть m^{2}-m точек, раскрашенных в другие цвета. Это не могут быть общие цвета, но не могут быть и другие цвета, использованные при раскраске точек множеств A и C, потому что со всеми точками таких цветов точки из отмеченных строк и столбцов связаны рёбрами. Всего при раскраске точек из A и C было использовано k+n-m цветов. Из упомянутых выше m^{2}-m точек можно выбрать m точек, никакие две из которых не лежат в одной строке или одном столбце. Каждые две из этих m точек связаны ребром, поэтому они раскрашены не менее, чем в m цветов. Получается, что всего использовано не менее, чем k+n цветов. Противоречие.

Задача 059

В стране N городов. Некоторые пары городов соединены двусторонними авиарейсами, каждый рейс имеет цену, большую 1000 рублей, причём из любого города можно добраться до любого другого (возможно, с пересадками). Компания публикует сборник, в котором для каждой из N(N-1) / 2 пар городов указана минимальная цена, которую надо заплатить, чтобы добраться от одного из них до другого; в конце сборника указывается сумма всех этих N(N-1) / 2 чисел. В некоторый момент компания уменьшила стоимость одного из рейсов на 1000 рублей. Докажите, что итоговая сумма в новом сборнике будет отличаться от старой не более, чем на 250 N^{2}.

Подсказка

Обозначим два города, между которыми уменьшили стоимость рейса, через X и Y. Пусть A — множество городов, из которых после уменьшения дешевле добраться до X, чем до Y, в том числе в множество A входит сам город X. Пусть B множество городов, из которых добраться до Y не дороже, чем до X, в том числе в множество B входит сам город Y. Что будеь если при проезде самым дешевым путем между городами U и V множества A мы сначала доезжаем из U до X, потом летим из X в Y по удешевленному рейсу, а затем долетаем из Y в V.

Решение

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

Пусть при проезде самым дешевым путем между городами U и V множества A мы сначала доезжаем из U до X, потом летим из X в Y по удешевленному рейсу, а затем долетаем из Y в V. Тогда, если из X сразу полететь в V по пути наименьшей стоимости, мы заплатим меньшую цену за весь путь: ведь цена перелета между X и Y все равно осталась положительной, и хотя бы эту цену мы сэкономим. Аналогичны рассуждения для двух вершин из множества B. Поэтому путь минимальной стоимости между двумя вершинами одного множества не содержит рейс из X в Y.

Обозначим количество городов в множестве A через a. Тогда в множестве B всего N-a городов. Стоимость самого дешевого пути между городами одного множества, как было показано выше, не уменьшилась. Значит, лишь между a(N-a) парами городов из разных множеств стоимость самого дешевого пути могла уменьшиться. Это количество пар не больше N^{2} / 4, по неравенству между средними арифметическим и геометрическим.

Новый самый дешевый путь между городами из разных множеств проходит по удешевленному ребру X Y не более одного раза, а до удешевления стоимость такого же пути была не ниже стоимости самого дешевого пути между этими городами. Поэтому для каждой пары городов из разных множеств стоимость самого дешевого пути уменьшилась не более, чем на 1000. Значит, итоговая сумма будет отличаться от старой не более, чем на 250 N^{2} рублей.

Задача 060

В стране несколько городов, один из которых — Москва. Некоторые пары городов соединены двусторонними дорогами. Мэр хочет обгединить Москву ещё с п городами в большую Москву так, чтобы (1) между любыми двумя городами большой Москвы можно было проехать по дорогам, не попадая в города вне неё, и (2) было ровно k городов вне большой Москвы, соединённых хотя бы одной дорогой с большой Москвой. Докажите, что есть не более C_{n+k}^{k} способов совершить такое обгединение.

Подсказка

Пронумеруем вершины, кроме Москвы, произвольным образом.
Будем красить города из большой Москвы в красный цвет, а их соседей в зелёный цвет. То есть мэру нужно покрасить n городов в красный, а k других городов в зелёный.

Теперь построим соответствие способу покраски способ расставить в ряд k зелёных и n красных символов (способов сделать это C_{n+k}^{k} ). Для удобства сначала будем писать не просто символы, а номера городов, после чего забудем сами номера, оставив только строчку цветных символов.

Решение

Пронумеруем вершины, кроме Москвы, произвольным образом.
Будем красить города из большой Москвы в красный цвет, а их соседей в зелёный цвет. То есть мэру нужно покрасить n городов в красный, а k других городов в зелёный.

Теперь построим соответствие способу покраски способ расставить в ряд k зелёных и n красных символов (способов сделать это C_{n+k}^{k} ). Для удобства сначала будем писать не просто символы, а номера городов, после чего забудем сами номера, оставив только строчку цветных символов.

На первом этапе алгоритма выпишем в возрастающем порядке номера городов, соседних с Москвой (все они покрашены!). При этом мы покрасим красные в розовый, а зелёные так и оставим зелёными. На очередном шаге будем брать строчку, брать в ней самый левый розовый номер x, и записывать в конец строки номера всех его ещё не выписанных соседей (все они покрашены!) в порядке возрастания номеров, причём номера красных городов запишем розовым, а зелёных — зелёным. После чего поменяем цвет номера x на красный.

Так как на каждом шаге количество красных номеров увеличивалось на 1 , то процесс закончится.
Докажем, что полученное отображение инъективно. Предположим, есть две покраски городов, дающие одну и ту же последовательность. Тогда существует символ, который соответствует разным номерам в раскрасках; рассмотрим самый левый такой символ. Пусть до него последовательности имели вид a_{1} a_{2} \ldots a_{t} x и a_{1} a_{2} \ldots a_{t} y. В каждой из раскрасок номера x и y появились как соседи красных вершин с выписанными ранее номерами. Но поскольку предыдущие символы совпадали, то должен был совпасть и номер на месте t+1.

Задача 067

Дано натуральное число п. Назовём словом последовательность из n нулей и единиц, а маской — последовательность из п нулей, единии, и звёздочек. Слово соответствует маске, если оно получено из неё заменой звёздочек на нули и единицы. Рассмотрим набор масок \mathcal{M}, удовлетворяющий следующим двум условиям:

(1) каждое слово соответствует ровно одной маске, и

(2) для каждой из п позиций найдётся маска из \mathcal{M}, в которой в этой позиции стоит не звездочка.

Найдите наименьшее возможное количество масок в таком наборе \mathcal{M}.

Подсказка

Рассмотрим двудольный граф G, в котором вершинами одной из долей будут номера позиций в слове длины n, вершинами второй из долей будут маски, а рёбрами соединим каждую маску с теми позициями, на которых стоит не звездочка. Пусть доля V_{1} это вершины \{1,2 \ldots, n\}, соответствующие номерам позиций, а доля V_{2} это вершины \left\{u_{1}, u_{2} \ldots, u_{k}\right\}, соответствующие маскам.

Решение

Рассмотрим двудольный граф G, в котором вершинами одной из долей будут номера позиций в слове длины n, вершинами второй из долей будут маски, а рёбрами соединим каждую маску с теми позициями, на которых стоит не звездочка. Пусть доля V_{1} это вершины \{1,2 \ldots, n\}, соответствующие номерам позиций, а доля V_{2} это вершины \left\{u_{1}, u_{2} \ldots, u_{k}\right\}, соответствующие маскам.

Докажем, что в графе G для доли V_{1} выполнено условие леммы Холла. Предположим противное. Рассмотрим в V_{1} минимальное по включению множество A, для которого условие леммы Холла не выполнено. То есть у вершин из A количество соседей меньше, чем |A|, а для любого подмножества B множества A количество соседей у вершин из B хотя бы |B|. Отсюда следует, что у A ровно |A|-1 соседних вершин. Без ограничения общности будем считать, что A=\{1, \ldots, s+1\}, а \left\{u_{1}, \ldots, u_{s}\right\} это соседние вершины множества A. Тогда для множества \{1, \ldots, s\} выполнена лемма Холла. Пусть без ограничения общности существует паросочетание \left(1, u_{1}\right),\left(2, u_{2}\right), \ldots,\left(s, u_{s}\right). Значит, в словах u_{1}, u_{2}, \ldots, u_{s} на 1,2, \ldots, s местах соответственно стоят не звёздочки (пусть без ограничения общности там стоят нули). Рассмотрим маски u_{s+1}, \ldots, u_{k}. По построению в этих масках на местах с 1 по s стоят звёздочки. Так как каждое слово можно получить из масок ровно одним способом, то из масок u_{s+1}, \ldots, u_{k} получаются не все слова. Значит, существует множество слов \underbrace{* * \ldots * *}_{s} \alpha (на первых s позициях стоит что угодно, а затем идёт слово \alpha длины n-s ), которое нельзя получить из масок u_{s+1}, \ldots, u_{k}. Тогда слово \underbrace{1 \ldots 1}_{s} \alpha нельзя получить ни из какой маски. Противоречие.

Следовательно, для доли V_{1} выполнено условие леммы Холла. Рассмотрим любое паросочетание, покрывающее долю V_{1}. Пусть это паросочетание \left(1, u_{1}\right),\left(2, u_{2}\right), \ldots,\left(n, u_{n}\right), а в словах u_{1}, u_{2}, \ldots, u_{n} на 1,2, \ldots, n местах соответственно стоят нули. Тогда чтобы получить слово 11 \ldots 11 нам нужна ещё хотя бы одна маска. Откуда и получаем оценку на n+1.

Задача 078

В государстве 2018 городов, каждые два соединены либо автобусным, либо железнодорожным маршрутом. Регион — это любое непустое множество, состоящее не более, чем из 1009 городов. Автобусная мобильность региона определяется как отношение числа автобусных маршрутов, идущих из городов региона в города вне региона, к количеству городов в регионе. Железнодорожная мобильность региона определяется аналогично. Пусть A — наименьшая из автобусных мобильностей регионов государства, а B — наименьшая из их железнодорожных мобильностей. Какое наименьшее значение может принимать число A+B ?

Подсказка

Пусть минимум автобусной мобильности дает регион M, а железнодорожной — регион N. Пусть X=M \cap N, Y=M \backslash X, Z=N \backslash X, а T — совокупность всех городов, не входящих ни в M, ни в N.

Пусть количества городов в X, Y, Z и T равны соответственно a, b, c и d. Все дороги, ведущие из T в X и из Y в Z, учитываются при подсчете либо числа автобусных маршрутов, ведущих из M наружу, либо числа железнодорожных маршрутов, ведущих из N наружу. Поэтому в совокупности таких маршрутов не меньше, чем a d+b c, откуда A+B \geq(a d+b c) / 1009, так как по условию в M и N не больше, чем по 1009 городов.

Решение

Ответ. 1.

Решение: Оченка. Пусть минимум автобусной мобильности дает регион M, а железнодорожной — регион N. Пусть X=M \cap N, Y=M \backslash X, Z=N \backslash X, а T — совокупность всех городов, не входящих ни в M, ни в N.

Пусть количества городов в X, Y, Z и T равны соответственно a, b, c и d. Все дороги, ведущие из T в X и из Y в Z, учитываются при подсчете либо числа автобусных маршрутов, ведущих из M наружу, либо числа железнодорожных маршрутов, ведущих из N наружу. Поэтому в совокупности таких маршрутов не меньше, чем a d+b c, откуда A+B \geq(a d+b c) / 1009, так как по условию в M и N не больше, чем по 1009 городов.

Если ни один из сомножителей a, b, c и d не равен 0 , то a d+b c \geq(a+d-1)+(b+c-1)=2016, откуда A+B \geq 2016 / 1009>1.

Пусть c=0. Тогда во множестве N а элементов, откуда a \neq 0. При этом a+b+d=2018, откуда d \geq 1009 и A+B \geq(a d+b c) / 1009 \geq 1. Случай b=0 аналогичен.

Пусть, наконец, b c \neq 0, но a d=0. Если a \neq 0, то d=0, откуда 2018=a+b+c<2 a+b+c=(a+b)+(a+c) \leq 2018, противоречие. Итак, a=0. Значит, любой из b c маршрутов между Y и Z учитывается в одной из мобильностей с коэффициентом, не меньшим \frac{1}{\max (b, c)}, поэтому A+B \geq \frac{b c}{\max (b, c)}=\min (b, c) \geq 1.

Пример. Пусть город X связан с остальными только железнодорожными маршрутами, а город Y со всеми остальными, кроме X, связан только автобусными маршрутами. Тогда автобусная мобильность города X равна 0 , а железнодорожная мобильность города Y равна 1.

Задача 083

Степени всех вершин графа G меньше \frac{3 n}{2}-1 (где n>2 ), причем среди любых n+1 вершин есть две несмежных. Назовем блоком множество из n попарно смежных вершин графа G. Известно, что любые два блока имеют общую вершину. Докажите, что все блоки имеют общую вершину.

Подсказка

Лемма 1. (В.Л. Дольников). В графе 2 n-1 вершин. Оказалось, что после выкидывания любой вершины графа найдется полный подграф с n вершинами. Тогда в исходном графе найдется полный подграф с n+1 вершиной.

Лемма 2. Пусть L — пересечение нескольких блоков графа G, причем L непусто. Тогда L содержит не менее n-k-1 вершин.

Решение

Лемма 1. (В.Л. Дольников). В графе 2 n-1 вершин. Оказалось, что после выкидывания любой вершины графа найдется полный подграф с n вершинами. Тогда в исходном графе найдется полный подграф с n+1 вершиной.

Доказательство. Пусть утверждение леммы неверно. Будем считать n наименьшим натуральным числом, для которого существует граф, не удовлетворяющий условию задачи. Рассмотрим граф H, дополнительный к графу из условия. Рассмотрим любой пустой подграф графа H с n вершинами, множество его вершин обозначим через X, а множество остальных вершин через Y. Назовем подмножество Y плохим, если количество вершин в нем больше количества вершин в X, смежных хотя бы с одной вершиной из этого подмножества. Обозначим через A максимальное плохое подмножество (оно может быть и пустым), пусть оно содержит k вершин, тогда в Y A нет плохих подмножеств, поэтому, в силу леммы Холла, каждой вершине Y A можно сопоставить смежную с ней вершину X таким образом, чтобы все эти вершины были различны и не смежны с вершинами из Y \backslash A. Множество не сопоставленных вершин X обозначим через B. Рассмотрим граф H^{\prime}, образованный вершинами A \cup B и ребрами графа H, соединяющими эти вершины. Заметим, что при выкидывании любой вершины H^{\prime} в графе H должен был найтись пустой подграф с n вершинами, но в него могло входить не более, чем n-k-1 вершина из ( X \cup Y ) \backslash(A \cup B), следовательно, остальные k+1 вершин должны быть из A \cup B, поэтому в H^{\prime} после выкидывания любой вершины найдется пустой подграф с k+1 вершинами, но тогда, в силу минимальности n либо в H^{\prime} найдется пустой подграф с k+2 вершинами, либо k=n. В первом случае, добавляя к вершинам этого подграфа вершины из X \backslash B, получим пустой подграф с n+1 вершинами, во втором — выкинем вершину из X, несмежную ни с одной вершиной Y, найдем пустой подграф H с n вершинами и добавим к нему эту вершину, получим пустой подграф H с n+1 вершинами. Полученное противоречие доказывает утверждение леммы.

Обозначим через k разность максимальной степени графа и n. Из условия следует, что 2 k+2 \leq n.

Лемма 2. Пусть L — пересечение нескольких блоков графа G, причем L непусто. Тогда L содержит не менее n-k-1 вершин.

Доказательство. Пусть T — объединение всех блоков, содержащих L. Тогда |T| \leq n+k+1, поскольку любая вершина из L смежна с любой вершиной из T. Ясно, что любой блок, содержащий L, имеет не менее n-|L| вершин в T L L. Пусть |L|<n-k-1. Заметим, что при выкидывании любой вершины из T L найдется блок, содержащий L, но не содержащий выкинутой вершины (поскольку L — пересечение всех блоков, содержащих L ). Но в T \backslash L нет подграфов, содержащих более n-|L| вершин (иначе объединение такого подграфа с L будет полным подграфом графа G, содержащим более n вершин). Тогда T L содержит не менее 2(n-|L|) вершин в силу леммы 1 . Следовательно, 2(n-|L|) \leq|\mathrm{T} \backslash \mathrm{L}| \leq n+k+1-|L|, откуда |L| \geq n-k-1. Лемма доказана.

Завершение доказательства. Рассмотрим любой блок. Назовем его Н. Рассмотрим пересечение всех блоков, имеющих непустое пересечение с H (включая H ). Будем добавлять эти блоки по одному и следить за пересечением. До тех пор, пока оно непусто, оно содержит не менее n-k-1 вершин, в силу леммы 2 . Но тогда следующий добавляемый подграф должен иметь не менее n-k-1 общих вершин с H (в силу леммы 2 ), но 2(n-k-1)>n (по условию n>2(k+1) ), следовательно новый блок имеет непустое пересечение с пересечением старых.