Systems of Common Representatives
[6/67%]A group of students consists of 20 people. Exactly 5 of them are specialists in internet search, 5 in fighting spam, etc., 18 kinds of problems in total (so, obviously, some students are specialists in several problems). It is required to form a strong team of developers from these students. One wants the team to contain a specialist in each problem and the size of the team to be as small as possible (to save on salaries).
Under any arrangement, it is possible to recruit such a team of seven people.
Under some arrangement, it is not possible to recruit such a team of five people.
For the collection of sets, find (1) some SCR; (2) an SCR of the smallest size.
A system of common representatives (SCR for short) for a collection of sets is any set such that for every .
Find the smallest size of an SCR for the collection of all -element subsets of the set .
How many SCRs of the smallest size does it have?
A minimal SCR is an SCR of the smallest size for a given collection . We call an element of an -collection, i.e., a collection of -element subsets of the set that contains sets. (This term is not generally accepted.)
Construct a -collection for which the minimal SCR consists of two elements and is unique.
For given , find the largest for which there exists an -collection having exactly two minimal SCRs.
The greedy algorithm is the following one. Take any element lying in the maximum number of sets of the given collection. Add it to the ``pre-SCR'' and discard the sets that contain it. Similarly, take an element lying in the maximum number of the remaining sets, etc.
Construct an example of a collection of sets for which the size of a minimal SCR is less than the size of any of the SCRs that can be obtained by the greedy algorithm, if (1) ; (2) ; (3) is arbitrary.
For any -collection there exists an SCR of size less than
If and , then there exists an -collection every SCR of which has size greater than .
If
then there exists an -collection every SCR of which has size greater than .
For all sufficiently large , if , then and .
For all sufficiently large and , if , then there exists an -collection every SCR of which has size greater than .
If
then there exists an -collection every SCR of which has size greater than .