a) If m=1, then the class will have 8 group to attend, this is contradiction. If m≥3, consider any 3 groups X1,X2,X3 then
n≥∣X1∪X2∪X3∣≥∣X1∣+∣X2∣+∣X3∣−∣X1∩X2∣−∣X2∩X3∣−∣X1∩X3∣≥4+4+4−1−1−1=9, (contradiction).
So m=2, we can take a simple case that each group has 4 participating classes and no class joins 2 groups.
b) Denote by S the number of sets (A,{B,C}) in which class A has students participating in groups B and C. There are (26)=15 pairs B,C and any two groups have no more than 4 co-participating class so we have S≤15⋅4=60.
Let a1,a2,…,an be the number of groups that the student of class 1, 2, ..., n participate to. There are 6⋅10=60 in total of participants so a1+a2+⋯+an=60. We have
S=(2a1)+(2a2)+(2a3)+⋯+(2an)=2a1⋅(a1−1)+a2⋅(a2−1)+⋯+an⋅(an−1)=21(a12+a22+⋯+an2)−30.
Since S≤60, we have
a12+a22+⋯+an2≤2(60+30)=180.
Applying the Cauchy-Schwarz inequality, we have
n(a12+a22+⋯+an2)≥(a1+a2+⋯+an)2=3600.
Hence n3600≤180, which implies that n≥20.
c) There are a total of 20⋅4=80 participation so there will be a class D with the number of student is at least ⌊n80⌋. And the groups that class D participates in will all have the same 1 co-participant class (class D) and the remaining 3 classes of these groups are distinct. Therefore, we get
n≥3⌊n80⌋+1≥3⋅n80+1⟹n2−n−240≥0.
This implies that n≥16. We can show a specific case with n=16 as following
A1A4A7A10A13A16A19={1,2,3,4},A2={1,5,6,7},A3={1,8,9,10},={1,11,12,13},A5={1,14,15,16},A6={2,4,9,13},={2,10,12,14},A8={2,6,8,16},A9={2,7,11,15},={3,5,12,16},A11={3,8,13,15},A12={3,6,10,11},={3,7,9,14},A14={4,5,10,15},A15={4,7,8,12},={4,9,11,16},A17={4,6,13,14},A18={5,8,11,14},={6,9,12,15},A20={7,10,13,16}.
So in this case, the minimum value of n is 16. □