Complementation of uniform intersecting families
ID: complementation-of-uniform-intersecting-families
Complementing all members preserves cardinality and gives . Thus complementation bijects t-intersecting families of -sets with -intersecting families of -sets. It swaps left and right coordinate shifts of a set family. When the transformed intersection parameter is positive, extremal families and their generating-support lemmas can therefore be compared in opposite compression directions.
New to topics? Read the docs here!