Largest edge boundary of a down-set

ID: largest-edge-boundary-of-a-down-set

For a down-set of size , maximize its edge boundary by minimizing the sum of the sizes of its members. Choose all sets in the smallest ranks, followed by any needed part of the next rank; this minimizes that sum among all families and is itself a down-set. With , , and , the exact maximum is .

New to topics? Read the docs here!