Forbidden-intersection density increment
ID: forbidden-intersection-density-increment
For two set families forbidding all cross-intersections in , split into absent and present coordinate sections. The section pairs , , and forbid, respectively, , , and in one fewer dimension. For , either one of the first two pairs, allowing exchange of the set family names, increases the density product by at least , or the third widens the interval and retains at least of that product. This converts a single forbidden intersection into a long forbidden interval while recording every density gain and loss.
New to topics? Read the docs here!