MathDB
Miklós Schweitzer 2008, Problem 2

Source: Miklós Schweitzer 2008

July 30, 2016
Miklos Schweitzercollege contestsset theory

Problem Statement

Let t3t\ge 3 be an integer, and for 1i<jt1\le i <j\le t let Aij=AjiA_{ij}=A_{ji} be an arbitrary subset of an nn-element set XX. Prove that there exist 1i<jt1\le i < j\le t for which (X\Aij)ki,j(AikAjk)t22t2n\left| \left( X\,\backslash\, A_{ij}\right) \cup \bigcup_{k\neq i,j}\left( A_{ik}\cap A_{jk}\right) \right| \ge \frac{t-2}{2t-2}n
(translated by Miklós Maróti)