Complement-pair capacity gain
ID: complement-pair-capacity-gain
In each word pattern with equally many and complement coordinates, pair the coordinates of the two types and put the same vertex label in each pair. Distinct labels are separated in one of the two graphs, making an independent code of size for a pattern of length . Distinct patterns lie in different graph components, so their codes combine to an independent set of size . Taking th roots gives the displayed bound.
New to topics? Read the docs here!