Maximum Family of Subsets Intersecting in Exactly One Element
Source: Asked to me by Santosh Ananthakrishnan (EE IITB Fifth year undergraduate, To be Worldquant Analyst) Problem: At most, how many subsets can you find of the set A = {1, 2, ..., n} such that any two intersect in exactly one element? Solution: Highlight the part between the * symbols for the answer. * Answer: n. Construction (n subsets): {1}, {1,2}, {1,3}, ..., {1,n} - every pair intersects in exactly {1}. Upper bound: let A_1, ..., A_K be such a family and v_1, ..., v_K their 0-1 incidence vectors in R^n; the condition says v_i . v_j = 1 for i != j. The Gram matrix G (entries v_i . v_j) has |A_i| on the diagonal and 1 everywhere off it. If every |A_i| >= 2 then G = diag(|A_i| - 1) + J, a positive diagonal matrix plus a positive semidefinite one, hence invertible - so the v_i are linearly independent in an n-dimensional space and K <= n. If instead some set is a singleton, say A_1 = {x}: every other set must contain x (to meet A_1 in one element), and no two other...