Системы общих представителей
[6/67%]В группе студентов 20 человек. Из них ровно 5 человек — специалисты по поиску в интернете, 5 — по борьбе со спамом и т.д., всего 18 видов проблем (так что, очевидно, некоторые студенты являются специалистами по нескольким проблемам). Требуется составить из этих студентов сильную команду разработчиков. При этом хочется, чтобы для каждой проблемы в команде нашелся специалист по ней и чтобы размер команды был как можно меньше (для экономии зарплаты).
При любом раскладе получится набрать такую команду из семи человек.
При некотором раскладе не получится набрать такую команду из пяти человек.
Для набора множеств найдите (1) какую-нибудь с.о.п.; (2) с.о.п. наименьшего размера.
Системой общих представителей (сокращённо с.о.п.) для набора множеств называется любое такое множество , что для любого .
Найдите наименьший размер с.о.п. для набора всех -элементных подмножеств множества .
Сколько для него имеется с.о.п. наименьшего размера?
Минимальная с.о.п. — с.о.п. наименьшего размера для данного набора . Назовём -набором элемент из , т.е. набор -элементных подмножеств множества , в котором множеств. (Этот термин не общепринят.)
Постройте -набор, для которого минимальная с.о.п. состоит из двух элементов и единственна.
При данных найдите наибольшее , для которого найдётся -набор, имеющий ровно две минимальные с.о.п.
Жадным алгоритмом называется следующий. Возьмём любой элемент, лежащий в максимальном количестве множеств данного набора. Добавим его в «пред-с.о.п.» и выкинем множества, которые его содержат. Аналогично возьмём элемент, лежащий в максимальном количестве оставшихся множеств, и т.д.
Постройте пример набора множеств, у которого размер минимальной с.о.п. на меньше размера любой из с.о.п., которые могут быть получены жадным алгоритмом, если (1) ; (2) ; (3) произвольно.
Для любого -набора найдется с.о.п. размера меньше
Если и , то найдется -набор, размер любой с.о.п. которого больше .
Если
то найдется -набор, размер любой с.о.п. которого больше .
Для всех достаточно больших если , то и .
Для всех достаточно больших и если , то найдется -набор, размер любой с.о.п. которого больше .
Если
то найдется -набор, размер любой с.о.п. которого больше .