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!