A hypergraph is non-trivial intersecting if every two edges in it have a nonempty intersection but no vertex is contained in all edges of . Mubayi and Verstra"{e}te showed that for every $k \ge d+1 \ge 3n \ge (d+1)n/dkn$ vertices without a non-trivial intersecting subgraph of size contains at most edges. They conjectured that the same conclusion holds for all and sufficiently large . We confirm their conjecture by proving a stronger statement. They also conjectured that for and sufficiently large the maximum size of a -graph on vertices without a non-trivial intersecting subgraph of size is achieved by certain Steiner systems. We give a construction with more edges showing that their conjecture is not true in general.

生成讲解博客的中文版本

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