MathDB
On the Subsets of the sets 1,2,...,n

Source: Balkan MO ShortList 2009 C2

April 6, 2020
combinatoricslinear algebraset theory

Problem Statement

Let A1,A2,,AmA_1, A_2, \ldots , A_m be subsets of the set {1,2,,n}\{ 1,2, \ldots , n \}, such that the cardinal of each subset AiA_i, such 1im1 \le i \le m is not divisible by 3030, while the cardinal of each of the subsets AiAjA_i \cap A_j for 1i,jm1 \le i,j \le m, iji \neq j is divisible by 3030. Prove \begin{align*} 2m - \left \lfloor \frac{m}{30} \right \rfloor \le 3n \end{align*}