Комбинаторика на ЮМШ
Ошибка.
Попробуйте повторить позже
Дан граф на вершинах: сопоставим каждой вершине переменную . Пусть — множество остовных деревьев графа (то есть поддеревьев, содержащих все вершины). Рассмотрим остовный многочлен от переменных
Назовем связный граф хорошим, если раскладывается на линейные множители (в частности, если — тождественный ноль), иначе плохим.
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), подсказка 1
Чтобы начать расставлять числа, нужно как-то зафиксировать хоть что-то. Попробуйте зафиксировать 1 и понять, почему так можно делать. Как расставлять дальше?
Пункт 1), подсказка 2
Для 2 у нас есть 3 варианта. У каждого из них свои ограничения на следующие клетки, которые несложно разобрать по отдельности.
Пункт 2), подсказка 1
Попробуем расставлять числа по возрастанию, тогда будет проще рассуждать. Если мы поставим 1 в нижний левый угол, то какова доля клеток, куда мы можем поставить 2? А 3? Как выглядит общий случай?
Пункт 2), подсказка 2
Доля мест, куда мы можем поставить 2, не больше чем 2/а(почему?). Подумаем о том, как будет меняться такая доля с каждый новым числом.
Пункт 2), подсказка 3
С каждым новым числом общее коколичество свободных мест уменьшается на 1, а количество подходящих увеличивается максимум на (а-1). С помощью неравенства можно понять, до какого числа мы можем считать долю как (i+1)/a. Теперь у нас есть количество вариантов для каждого числа, каким тогда будет общее мест?
Пункт 2), подсказка 4
Произведение количества вариантов для каждого числа! Осталось лишь доказать, что такое число не больше 100 * (a^2)!/(2^a).
Пункт 3), подсказка 1
Отлично, количество вариантов уже посчитано в предыдущем пункте. Теперь нужно доказать, что это число больше того, что нас просят в этот раз. Попробуем доказать по индукции по а!
Пункт 3), подсказка 2
Базу проверить несложно. Теперь попробуем доказать, что (a+1)^(a-1) <= a^(a-2)*8a. Для этого попробуем преобразовать неравенство, тогда у нас получится найти связь с числом e!
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) Антиграф не связен.