加载中…
In 1974 Chv'atal conjectured that no intersecting family in a downset can be larger than the largest star. In the same year Kleitman and Magnanti proved the conjecture when is contained in the union of two stars, and Sterboul when . We give short self-contained proofs of these two statements.

生成讲解博客的中文版本

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