erdős #207
For any , if is sufficiently large and then there exists a 3-uniform hypergraph on vertices such that every pair of vertices is contained in exactly one edge (i.e. the graph is a Steiner triple system) and for any any collection of edges contains at least vertices.
Worked, still open.
combinatorics · solved · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problems