2 problems
Let and . A linear -graph is a -uniform hypergraph in which any two edges share at most one vertex; for a linear -graph with ve…
Nine-vertex 2-core conjecture. Every sufficiently large Steiner triple system contains a 2-core on nine vertices.