Vela

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_37aec80d874a0239
vela reproduce examples/erdos-problems

status

solved

notary

vela reproduce examples/erdos-problems
  • packet.json · sha256 824035263dad6b6c6978b1fe22007eb78d73a460dfe2c29bfcf140e963af78cd

finding.noted · reviewer:will-blair · 1 day

renders the record as of vev_d199cb2e · 1,338 events · hub

Search Vela

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.