Комбинаторика на ЮМШ
Ошибка.
Попробуйте повторить позже
Дан граф на
вершинах: сопоставим каждой вершине
переменную
. Пусть
— множество остовных
деревьев графа
(то есть поддеревьев, содержащих все вершины). Рассмотрим остовный многочлен от
переменных
Назовем связный граф хорошим, если раскладывается на линейные множители (в частности, если
— тождественный
ноль), иначе плохим.
1. Найдите , где
— полный граф на 4 вершинах.
2. Докажите, что цикл на пяти вершинах является плохим графом.
3. Пусть — хороший граф,
— некоторое подмножество его вершин. Граф
состоит из всех вершин, лежащих в
, и всех ребер
графа
, соединяющих эти вершины. Докажите, что граф
тоже хороший.
4. Назовём раздвоением вершины операцию, добавляющую в граф вершину
, соединенную ровно с теми же вершинами, что и
.
Докажите, что граф, получающийся из одной вершины операциями добавления висячей вершины, раздвоения вершины с добавлением ребра
и раздвоения вершины без добавления ребра
, является хорошим.
Источники:
1. В полном графе на четырех вершинах есть только 2 вида остовных деревьев: 1) цепь длины 4; 2) три вершины, "висящие"на четвертой.
Каждое дерево первого вида даст в остовный многочлен одночлен ,
, причем каждый одночлен будет представлен 2
раза.
Каждое дерево второго вида даст в остовный многочлен одночлен , где
— "вершина"остова.
В итоге получим многочлен:
2. Распишем . Поскольку многочлен
линеен по каждой переменной, получаем,
что каждая из переменных живет только в одной из скобок. Тогда переменные вынуждены разбиться на скобки 2-2-1 или 3-1-1, что дает нам
не более четырех мономчиков, противоречие.
3. Давайте сначала заметим, что можно последовательно выкидывать вершины по одной с сохранением связности, если связно. (Если
несвязно, то просто 0 получится и все).
Для этого нужно подвесить за и поочередно удалять вершины с самого нижнего уровня. Теперь нужно понять, что при удалении
только одной вершины
граф остается хорошим. Для этого подставим 0 в
. Получим, что все слагаемые, в которые
входило в хотя
бы первой степени, обнулились, а значит остались в точности те, где
— висячая вершина. А все такие деревья устроены так: выбрано
дерево в графе
, и потом одна из вершин из окрестности
соединена с
. Тогда многочлен после подстановки нуля равен
. Подстановка нуля сохраняет раскладываемость на множители, значит
тоже раскладываемый,
значит, при удалении вершины
граф останется хорошим.
4. Сначала докажем вспомогательный факт про такой тип графов.
Лемма о раздвоении без добавления ребра. Пусть дан граф на
вершинах. Рассмотрим граф
, полученный из
добавлением вершины
и соединением ее со всеми вершинами из
, но не самой
. Тогда
Доказательство. Давайте заметим, что любое дерево в графе устройство следующим образом — на всех вершинах, кроме
,
берется некоторый лес, такой, что в каждой компоненте есть хотя бы одна вершина из
, и потом вершина
соединяется с ровно
одной вершиной из каждой компоненты. Обозначим за
множество всех таких лесов, за
— число компонент связности в лесу
, и назовем
пересечения множеств
с компонентами связности леса
. Тогда из рассуждений
выше
Теперь давайте поймём, как устроены деревья в . Там мы тоже берём лес, который содержит все вершины, кроме
,
, и
такой, что каждая его компонента содержит хотя бы одну вершину из
, после чего одна из долей соединяется с обеими вершинами
из
и
, а каждая из остальных
долей — с ровно одной из этих вершин. Тогда в тех же обозначениях получается,
что
Теперь очевидно, что второй сомножитель равен , и лемма доказана.
________________________
Пусть - граф из леммы 1. Мы в лемме 1 уже выяснили как устроены деревья в графе
, поэтому нужно разобраться с тем, как они
устроены в
. Заметим, что они устроены так: мы снова берем лес с такими же условиями, а дальше делаем одно из двух -
либо не проводим ребро между
и
, и это слагаемое такое же как в
, либо проводим, и тогда каждую из
долей соединяем с ровно одной из этих вершин. Стало быть, сумма всех первых слагаемых даст нам
, а сумма вторых
равна
Тогда получается, что
доказали требуемое.
Ошибка.
Попробуйте повторить позже
Источники:
1. Заметим, что при перестановке столбцов и строк в расстановке чисел она всё ещё будет удовлетворять условию. Значит,
можно посчитать число способов с в нижнем левом угле и затем умножить его на
. Разберём возможные позиции для
двойки:
2 | ||
1 |
(остальные числа можем поставить как угодно)
1 | 2 |
(нам нельзя ставить
в верхний правый угол. выбираем для неё одно из трёх других мест и расставляем остальные как
угодно)
1 | 2 |
(симметричен предыдущему случаю)
2. Будем расставлять числа по возрастанию. Переставим столбцы и строки так, чтобы находилась в левом нижнем углу. Рассмотрим
долю мест, на которые мы можем поставить
. Эта доля
. Для
эта доля будет
. И в общем
случае: с каждым новым числом общее количество свободных мест уменьшается на 1, а количество подходящих увеличивается максимум на
. Сравним:
что при верно.
Тогда общее количество мест
Докажем, что
что равносильно
По неравенству о средних:
Тогда
3. Докажем, что
что равносильно
Базу легко проверить
По предположению индукции
а для перехода надо доказать
Тогда докажем
что равносильно
а это уже известное неравенство (можно оценить даже не числом 8, а числом Эйлера - числом ), которое тоже легко проверить по
индукции для любого натурального
4. Будем расставлять числа по возрастанию. Пусть мы начали с какой-то из двух строк. Нам интересен первый момент, когда мы “перескочим” на другую, так как после этого остальные числа можно расставить как угодно.
… | k | … | |||
1 | 2 | 3 | … | … |
Пусть мы “перескочили” на числе . Посчитаем количество таких расстановок: мы выбираем одну из двух строк начальной,
затем расставляем числа от
до
в этой строке, затем выбираем, куда поставить
— для этого есть только
способов, так как мы должны поставить его в один столбец с любым из
чисел. Все остальные числа можем расставить как
угодно:
Таким образом,
Что делать с такой суммой не очень понятно, хочется выразить её через — с ними мы умеем работать, то есть мы хотим получить
выражение вида
:
Осталось посчитать эту сумму. Распишем её:
Пусть у нас есть игроков, которые упорядочены по убыванию своей силы. мы выбираем среди них команду из
игроков и
капитана, который должен быть сильнее всех игроков. С одной стороны, мы можем просто набрать команду из
игроков и
назначить капитаном самого сильного из них. Это же число способов можно посчитать по-другому: выберем самого сильного
после капитана участника команды. Пусть он имеет номер
(то есть сильнее него ровно
человек). Тогда у нас
есть
способов выбрать капитана, и потом нам нужно набрать команду из
человека из
. Получается,
что
Ошибка.
Попробуйте повторить позже
Вася посмотрел на граф на
вершинах и поставил на каждую вершину
переменную
После чего рассмотрел
выражение
Пусть и
— минимум и максимум
(a) Пусть степень каждой вершины в графе равна Найдите
(b) Докажите, что вершины графа можно покрасить в
цвет, так что любые две соседние вершины получат разные
цвета.
(c) Пусть — максимум выражения
при неотрицательных
с суммой
Докажите, что
где — максимальный размер множества вершин графа
попарно соединенных ребрами.
Источники:
(a)
Оценка. Занесём 2 в числитель и оценим каждое слагаемое следующим образом
Получим
Так как у каждой вершины степень у каждой вершины в графе равны то каждая
в числителе встретиться ровно
раз,
следовательно
Пример. Поставим во все вершины получим
(b) Предположим, что это не так, то есть граф так покрасить нельзя. Тогда по теореме Брукса найдётся подграф, в
котором степени вершин хотя бы Поставим в вершины этого подграфа
а во все остальные вершины графа
Тогда значение выражения
станет равным
а это противоречит тому, что
— максимум выражения
(c) Кликой графа называется подмножество его вершин, любые две из которых соединены ребром. Аналогично определяется антиклика
Пример. Найдём в графе максимальную клику, в его вершины поставим а в остальные
Оценка.
Рассмотрим расстановку, на которой достигается Если там есть вершина с 0, удалим её. По предположение
если максимальная антиклика не уменьшилась, и
если максимальная антиклика уменьшилась. Таким образом сделаем все числа ненулевыми.
Обозначим — сумму чисел в смежных с
вершинах. Заметим, что если
и
— несмежные вершины и
то можно
заметить
на
Общая сумма не измениться, а
увеличиться, противоречие. Следовательно, если
и
— несмежные
вершины, то
Рассмотрим антиграф, проверим два случая:
1) Если он связен. Значит, для любых вершин и
обозначим это число за
Следовательно по предположению
Рассмотрим вершину максимальной антиклики.
Следовательно, число в плюс в вершинах, не смешных с
меньше
Просуммируем по врем вершинам максимальной антиклики.
Мы посчитали каждое число неменее 1 раза, значит сумма всех меньше, чем
. Противоречие, следовательно, такое
невозможно.
2) Антиграф не связен.
Ошибка.
Попробуйте повторить позже
На карточках написали по
чисел, сумма на каждой карточке равна
. Оказалось, что любой набор из
неотрицательных чисел с
суммой 1 можно получить, уменьшив некоторые числа на одной из карточек (наборы неупорядоченные). Пусть
— наименьшее
,
при котором это возможно.
2. Докажите, что найдется такое, что
.
4. Ограничена ли последовательность ?
Источники:
1. Пример: наборы ( ) и (
).
Оценка. Ясно, что должен быть набор, содержащий 1, чтобы мажорировать ( ), и набор, в котором оба числа больше
, чтобы
мажорировать
. Если это одна и та же пара, то сумма уже
. Если разные, то посмотрим на набор
: чтобы набор
мажорировал его, должно быть
, а чтобы набор с парой чисел, больших
мажорировал — это должен быть набор, как минимум
. Легко видеть также, что указанный набор подходит.
_________________________________________________________________________________________________________________________________________________________________________________
2. Рассмотрим все возможные способы записать число в виде суммы положительных рациональных дробей со
знаменателем
(не обязательно несократимых). Очевидно, что это количество конечно, его и обозначим за
— записав все
соответствующие наборы на карточки, убедимся, что такой набор карточек подходит. Действительно, рассмотрим любой набор с
единичной суммой. Заменим в нём каждое число на ближайшую сверху дробь со знаменателем
. При таком округлении
сумма увеличится не более, чем на
, значит получится один из наших наборов или аналогичный
набор с меньшей суммой. Произвольно увеличив числители некоторых дробей так, чтобы сумма стала равной
,
мы превратим набор в числа на одной из карточек, которая, таким образом, мажорирует исходный набор с единичной
суммой.
_________________________________________________________________________________________________________________________________________________________________________________
3. Рассмотрим, например, следующую пару наборов:
Сумма в каждом равна , это даже меньше,чем 1,71 , а
. Проверим, что эта пара наборов мажорирует все
нужные четвёрки. Ясно (*), что в упорядоченной тройке с суммой
среднее число - не больше, чем
, а малое - не
больше, чем
; аналогичное верно для четвёрок. Действительно, если максимальное число в четвёрке больше
, то
второе по величине - не больше,чем
, третье не больше
а самое маленькое не больше
, значит такая четверка
мажорируется вторым набором. Аналогично, если максимальное число не больше, чем
, то оно мажорируется первым
набором.
_________________________________________________________________________________________________________________________________________________________________________________
4. Вычислим . Как уже отмечалось, для всякого
должна быть карточка, в которой
-ое по величине число не
меньше, чем
. Если карточка всего одна, то сумма на этой карточке, таким образом, не меньше
. С другой
стороны, карточка
, очевидно, подходит, т.к. в наборе с единичной суммой
-ое по величине число не больше
, так что
. Теперь рассмотрим произвольную пару натуральных чисел
, соотношение
между которыми мы уточним позднее, и предъявим два набора, вдвоём мажорирующих все наборы с единичной суммой: а
именно
и
Действительно, рассмотрим любой упорядоченный по убыванию набор ( ) с единичной суммой. Ясно, что
при любом
и поэтому первая карточка мажорирует любой набор с единичной суммой, в котором все числа не превосходят
.
Пусть, напротив, . Тогда для любого
имеем
Поэтому любой набор с мажорируется второй из наших карточек.
Осталось убедиться, что разность между и максимумом из сумм в этих двух наборах может быть сделана (при
подходящем выборе
и
) сколь угодно большой. Действительно, сумма на первой карточке отличается от
на
и эта величина при достаточно больших может быть сделана, как известно, сколь угодно большой. Теперь зафиксируем произвольное
и посмотрим на вторую карточку: сумма чисел на ней меньше, чем
, на
Поскольку выражение в скобках при фиксированном и неограниченном
может быть сделано сколь угодно большим, то можно
выбрать
так, что эта разность будет больше разности между
и первой суммой, которая одним лишь выбором
может
быть сделана сколь угодно большой для произвольного
. Утверждение доказано, последовательность из условия не
ограничена.