Weighted intersecting family bound on an odd Boolean lattice

ID: weighted-intersecting-family-bound-on-an-odd-boolean-lattice

For odd and , an intersecting family contains at most one set from each complementary pair in the Boolean lattice. Choosing the larger member in every pair gives the displayed bound and is feasible, because all sets of size greater than intersect. For it is the unique maximizer; for other maximizing families can exist.

New to topics? Read the docs here!