Cyclic Turán covering construction
ID: cyclic-turan-covering-construction
With balanced cyclically ordered vertex classes and , include an -set if some start has at least vertices in its first classes for every . The cycle lemma implies every -set contains an edge. Its asymptotic density is ; taking the hypergraph complement gives a lower bound for the Turán density of a complete uniform hypergraph.
New to topics? Read the docs here!