Докажите что к каждому подмножеству из 100 элементов {1,} можно добавить по одному элементу так т что все получившиеся 101-элементные подмножества будут разными

DartMatv DartMatv    2   31.07.2019 21:10    1

Ответы
bitmobru bitmobru  03.10.2020 19:05
Лемма (Холл). Пусть есть k мальчиков и некоторое количество девочек, при этом любая группа из m мальчиков знает не менее, чем m девочек (считаем, что группа знает девочку, если это девочку знает хотя бы один мальчик из группы). Тогда каждому мальчику можно найти невесту среди знакомых ему девочек так, чтобы любая девочка была невестой не более, чем одного мальчика.
Доказательство. Пусть еще не все мальчики - женихи, на первом шаге выберем любого мальчика без невесты, а он пригласит всех девочек, с которыми он знаком. На каждом последующем шаге будем добавлять в рассмотрение женихов всех выбранных девочек, а они тоже пригласят всех девочек, с которыми они знакомы.
Тогда:
1. На каком-то шаге мы выберем девочку без жениха (всякий раз, если в группе есть m мальчиков, будет не менее m девочек. Если всё время у всех девочек будут женихи, то равно или поздно в группе будут все k мальчиков и, соответственно, не менее k девочек. Ну а поскольку невест не больше k - 1, то хотя бы у одной не будет жениха).
2. Найдя девочку без жениха, поженим её с тем, кто её пригласил. Оставшуюся без пары девочку поженим с тем, кто пригласил её, и так далее. В конце концов мальчик, изначально не умевший пары, получит невесту, а все мальчики - женихи, останутся женихами.
Повторяя подобные операции можно найти всем мальчикам пару.



А теперь к задаче ;)
Пусть 100-элементные подмножества - мальчики, 101-элементные подмножества - девочки. Будем говорить, что мальчик знает девочку, если они отличаются на один элемент (например, {1, 2, ..., 100} знает {1, 2, ..., 101}). 
Заметим, что любые m мальчиков суммарно знают не менее m девочек: каждый знает 1916 девочек, а общих знакомых девочек, посчитанных дважды, на каждого не больше 101.
Тогда по лемме каждому мальчику можно найти пару, т.е. 101-элементное подмножество, которое и требуется по условию.
ПОКАЗАТЬ ОТВЕТЫ
Другие вопросы по теме Математика