Nonuniform two-intersecting family bound

ID: nonuniform-two-intersecting-family-bound

On an even ground set , a two-intersecting family has size at most . On an odd ground set , the bound is . Pair lower levels with complements of upper levels using the intersecting shadow lemma; apply the Erdős-Ko-Rado theorem to the remaining middle level in the odd case.

New to topics? Read the docs here!