Пусть
- множество из
элементов. Каждому
сопоставили
- подмножество
из
элементов, содержащее
.
Правда, что можно выбрать
элементов в
, а также подмножества вида
так, что каждый элемент будет покрыт этими подмножествам, но не более
раз? (
- какие-то полиномы)
Я умею доказывать это утверждение, если известно, что каждый элемент покрыт не менее
и не более
подмножествами. Тогда вероятность того, что случайный элемент будет покрыт случайно выбранным подмножеством
. Вероятность того, что случайный элемент будет покрыт
множествами
. Это значит, что можно выбрать
множеств так, что они будут покрывать все элементы. Каждый элемент в среднем будет покрыт
множествами, а элементов, которые покрываются
множествами меньше половины. Выкинем их - получим требуемое.