Magyar Information Contest Journal Articles

# Problem A. 637. (February 2015)

A. 637. Let $\displaystyle n$ be a positive integer. Let $\displaystyle \mathcal{F}$ be a family of sets that contains more than half of all subsets of an $\displaystyle n$-element set $\displaystyle X$. Prove that from $\displaystyle \mathcal{F}$ we can select $\displaystyle \lceil\log_2n\rceil+1$ sets that form a separating family on $\displaystyle X$, i.e., for any two distinct elements of $\displaystyle X$ there is a selected set containing exactly one of the two elements.

Miklós Schweitzer competition, 2014

(5 pont)

Deadline expired on 10 March 2015.

### Statistics:

 0 student sent a solution.

 Our web pages are supported by: Morgan Stanley