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.
Capacity of a disjoint union can strictly exceed the sum of the capacities. On the five-element subsets of a twenty-point set, join distinct sets when their intersection is odd. Linear polynomials over bound its capacity by twenty; squarefree quadratic polynomials over bound its complement's capacity by . The complement-pair lower bound is , establishing strict nonadditivity.

Articles by others on the same topic (0)

There are currently no matching articles.