A system of distinct representatives (SDR) of a family $F = (A_1, \cdots, A_n)(x_1, \cdots, x_n)nx_i \in A_i1 \le i \le nN(F)F$; two SDRs are considered distinct if they are different in at least one component. For a nonnegative integer , a family is called a -family if the union of any sets in the family contains at least elements. The famous Hall’s Theorem says that $N(F)\ge 1F(0,n)M(t,n)$ the minimum number of SDRs in a -family. The problem of determining and those families containing exactly SDRs was first raised by Chang [European J. Combin.{\bf 10}(1989), 231-234]. He solved the cases when $0\le t\le 2t\ge 3$. In this paper, we solve the conjecture. In fact, we get a more general result for so-called valued -family.

生成讲解博客的中文版本

生成AI智能校验的中文版本