Strong saturation of a uniform hypergraph

ID: strong-saturation-of-a-uniform-hypergraph

An -uniform hypergraph is strongly saturated with respect to a complete uniform hypergraph of order when every missing edge immediately completes such a clique. Existing cliques are allowed. All -sets meeting a fixed -set give an example: the witness for a missing edge is its union with that fixed set. It has edges, and the exterior-power quotient bound for strong hypergraph saturation proves optimality.

New to topics? Read the docs here!