The problem is:

> Given a finite set $X$ with size $x$ and let $B$ be a family of $k$-element subsets of $X$, called blocks. What is the smallest possible number of blocks such that every element of $X$ is determined by the indicators of $B$ on $X$? 

Does this problem has a name? What are the known upper/lower bounds? Links to papers or webpages are also welcome.

(This question was asked to me by a Chinese friend.)