НОВОСТИ Дискретная математика на экзамене в ШАД

BDFINFO2.0
Оффлайн
Регистрация
14.05.16
Сообщения
11.398
Реакции
501
Репутация
0
Введение



Привет!
Я создаю курсы по подготовке к экзамену в ШАД. Недавно мы запустили курс по дискретной математике, поэтому наша команда активно прорешивает задачки по соответствующей теме.
После разбора экзамена в , мы увидели большой интерес пользователей хабра на занимательные задачки из экзамена. Поэтому выкладываем здесь 4 избранных.
Наслаждайтесь!

sm_zlrzy-3wfcabpm5h6zegstxi.png

Задача 1 (26 мая 2018, №5)



Случайная величина
6d6a4f78fbacd6edecc018ce8ad3e364.svg
равна длине цикла, содержащего одновременно элементы 1 и 2, при случайной перестановке множества
f1c52f38d35e26d46a563fa45d5b00b5.svg
. Если такого цикла нет, то
0d2689e07af04d8411088bbd3d511871.svg
. Найдите распределение случайной величины
6d6a4f78fbacd6edecc018ce8ad3e364.svg
и ее математическое ожидание.

Решение

По сути, задача больше на комбинаторику, чем на теорвер. По определению, распределение
6d6a4f78fbacd6edecc018ce8ad3e364.svg
— это значения
3dc88e29be07f57e121286f651ad2baa.svg
для всех возможных
16da507b2fc389688ef0659939dcc647.svg
. Каждое из таких значений — это отношение количества перестановок, в которых есть требуемый цикл длины
16da507b2fc389688ef0659939dcc647.svg
, к количеству всех перестановок, что равно
51481f3b804e488c308961363a39722f.svg



Займемся подсчетом перестановок. Сначала нужно выбрать элементы для цикла. Два из них мы уже знаем (1 и 2), осталось выбрать
8d972e28baed98398e60e7528397e154.svg
из оставшихся
4f2a2ccf11d0fa0a2f3faf4e5af97d52.svg
, можно сделать
841d0a7726cdacd2ba312561bd233ffb.svg
способами. Элементы, не вошедшие в цикл, можно расставить как угодно, это можно сделать
f1162c11bd7de3207a6c71d12d6b9aed.svg
способами. Наконец, нужно расставить выбранные элементы в цикл. Единицу можно сопоставить любому числу, кроме её самой же, иначе цикл тут же оборвется. Пусть
372e18546a3b7abb94c2672708bc5dfe.svg
— наш цикл и
c567b3c9e44f15bce55e4319c657c486.svg
, тогда на позицию
f74a3924d3dd7c6b4c7ac47ac2c53105.svg
можно поставить любой элемент, кроме 1 и
302c7204ea9987e698a70307646abd71.svg
(по аналогичным причинам). Продолжая расставлять элементы, получаем, что всего существует
ac44f1061444ded568c07fc202ba7a7a.svg
способов сделать цикл. Итог:



458875b5f18f1cb664df100111159a44.svg



Заметим, что наши рассуждения не работали при
4a0aa63ea24c30df62d0d98999c6486f.svg
и
01a894d89fc863de07e079d8f902200c.svg
. При
01a894d89fc863de07e079d8f902200c.svg
, однако, мы все равно получили верный ответ (
92676d41345dc4e4c0be6003672c9679.svg
, т.к. если цикл и существует, его длина не меньше двух). Также очевидно, что если
9e7352a2004d2e44d90074872458fac8.svg
, то
a8045fe38b845c6ded49519ea9637742.svg
(цикл не может быть длиннее самой перестановки). Значит,
d6d4532cf35453f9b176f8089baf7924.svg
можно посчитать как дополнение к полученным результатам:



70a2b5cf0cec3fba833a95988b55e68c.svg



Как только мы нашли распределение
6d6a4f78fbacd6edecc018ce8ad3e364.svg
, мы можем посчитать ее матожидание:



bd768b5844d7b1962b306c8c7b3e80d1.svg




59a9c4da625edac6364a3c2ee681d99e.svg



Задача 2 (4 июня 2016, №3)



Случайные величины
6d6a4f78fbacd6edecc018ce8ad3e364.svg
и
c62ff25ef4caeaeaef7122a489ef9d07.svg
принимают по два значения и
2ceb05ef1d88e6af35723e32f969e19d.svg
. Доказать, что они независимы.

Решение

Эта задача, в противовес предыдущей, уже действительно на теорвер, хоть и дискретный.


Сначала рассмотрим частный случай: пусть обе величины принимают значения 0 и 1, при этом
a9d4e14ff9f38dc7936d59d089b0f5b6.svg
,
b57787244badfb8542438d734b544e1a.svg
, а
048fae31753aae25bf2a79c2adcd1744.svg
. Покажем, что
795f1a8e5e36bb06eac94fe98634b183.svg
. Действительно,
c0a9d2dab500e7453c370509d9a3dc35.svg
,
b832f9549d3e499eaa70c929915fc78b.svg
,
e1a5ed5d5ca8aa4fff8673f5af3e051f.svg
. Но по условию
cd857532693f3d85486a1be37811f5be.svg
, откуда
aab1f9ca0da85e5005550a0ced6ebb6a.svg
и
795f1a8e5e36bb06eac94fe98634b183.svg
.


Заметим, что этого достаточно для независимости
6d6a4f78fbacd6edecc018ce8ad3e364.svg
и
c62ff25ef4caeaeaef7122a489ef9d07.svg
: действительно, все остальные вероятности можно выразить через введенные (для самих величин это очевидно, для их комбинации:
1ae05fbb444c1451dda433ea58bc15ce.svg
,
988bc94866f47fc2533622b6bd3d1bf3.svg
,
be4dbece8884186ef39e6256846cc3f4.svg
). Можно проверить, что условие независимости верно для любой из четырех комбинаций, соответственно частный случай можно считать доказанным.


Пусть в общем случае
5cd790f640a65f16df7978d3cf8ca2e1.svg
, где
8435b00a603ae22e222f87be9f64d425.svg
и
681d5c068a45483291fcc7e8dec70a86.svg
. Введем новые случайные величины
c2aec7e5326e58a225c780b6567220b6.svg
и
22f8f88bf7b7ee29ce05e01a5df36a23.svg
. Заметим, что
6d6a4f78fbacd6edecc018ce8ad3e364.svg
принимает значения
372e18546a3b7abb94c2672708bc5dfe.svg
и
302c7204ea9987e698a70307646abd71.svg
тогда и только тогда, когда
3bbbf611ea8ca3196ff795b7c7377e9e.svg
равна 0 и 1 соответственно, аналогично для
c62ff25ef4caeaeaef7122a489ef9d07.svg
. Если мы докажем, что
16ba5689e75a93701b1e2cf38ccac4b5.svg
, то по вышедоказанному исходные величины также будут независимы.



7063e122d179a41779ab391e31ddde6f.svg




e54c7869bc7e441f1ac027c64a799747.svg




e9d39c32442905ef7c45ec28209d0122.svg



Но по условию
2ceb05ef1d88e6af35723e32f969e19d.svg
, откуда
16ba5689e75a93701b1e2cf38ccac4b5.svg
и требуемые величины независимы, ч.т.д.


Задача 3 (26 мая 2018, №8)



В волшебной стране Ляляндии 100 городов, некоторые из которых соединены авиалиниями. Известно, что из каждого города выходит более 90 авиалиний. Докажите, что найдется 11 городов, попарно соединенных авиалиниями друг с другом.

Решение

Построим граф, где вершины — это города, а ребра — авиалинии. Рассмотрим произвольную вершину, она соединена с хотя бы 91 вершиной, и потому из нее может отсутствовать не более 8 ребер. Уберем из графа все вершины, не соединенные с выбранной, и ее саму, после чего выберем другую вершину в оставшемся графе и повторим процесс.


Выбранные вершины образуют полный граф (то есть граф, в которым каждая пара вершин соединена ребром). Действительно, на первом шаге мы оставили только те вершины, которые связаны с первой выбранной, на втором удалили все, что не связаны со второй и т.д., в итоге на каждом шаге новая выбранная вершина будет связана со всеми предыдущими. Оценим размер этого подграфа. Каждая итерация процесса увеличивает его на 1 и выкидывает не более 9 вершин, следовательно, полученный подграф будет иметь размер хотя бы
f9751355ae24e6198b50e8db44f36278.svg
городов, что и требовалось.


Задача 4 (3 июня 2017, №4)



В компании «Тындекс» у каждого сотрудника не менее 50 знакомых. Оказалось, что есть два сотрудника, знакомые друг с другом лишь через 9 рукопожатий (то есть кратчайшая соединяющая их цепочка из попарно знакомых людей содержит 8 промежуточных людей). Докажите, что в этой компании хотя бы 200 сотрудников.

Решение

Выпишем описанную цепочку, в ней будет 10 человек. Обозначим за
346e7c209b4ae3f845f15519ddcbb7c8.svg
множество знакомых для
bf83b532cd867d34004f8eded8c5c79a.svg
-го сотрудника из цепочки, тогда
ae512e6ad25d543b66091928bb868c87.svg
.


Заметим, что множества
92344bcbc1f9a0d18672e0483019ea9d.svg
не могут пересекаться. Действительно, в противном случае мы можем взять элемент из пересечения и через него сократить число рукопожатий между первым и последним сотрудником. Но тогда общее количество сотрудников не меньше, чем
5e70f188750b9bc1f467376788921120.svg
, ч.т.д.



Если у вас есть другие идеи решения задач или какие-то замечания, смело пишите мне в телеграм @Azatik1000. Всегда рад ответить!


Азат Калмыков, куратор в «ШАД Helper»
 
Сверху Снизу