Functions that Never Agree

https://doi.org/10.1016/S0195-6698(86)80023-3Get rights and content
Under an Elsevier user license
open archive

Consider functions f1, . . . , fk defined on an n-element set I with the property that if xI then f1(x), . . . , fk(x) are all distinct. We shall say that the functions f1, . . . , fk never agree. Let ρ(f1, . . . , fk) be the size of the largest subset I* of I for which f1(I), . . . , fk (I*) are all disjoint, and let ρk (n) = min{ρ (f1, . . . , fk)} where the minimum is taken over all functions f1, . . . , fk that never agree. We prove that ρk(n) ⩾ n/kk, and that in the limit as n → ∞, the ratio ρk (n)/n → 1/kk. For k = 2 we describe how the function p (f1, f2) can be interpreted as a measure of the bipartiteness of a graph. When n = 2l2+l we prove that ρ2(n) = (l2+l)/2.

Cited by (0)

*

This work performed while the author was a consultant to Bell Laboratories.