Let
be efficiently computable by an algorithm (solving a P-problem).
For fixed
,
view
as a function
of
that maps (or hashes)
bits to
bits. Let
, then
is said to be a (pairwise independent) universal hash function
if, for distinct
and for all
,
i.e.,
maps all distinct
independently and uniformly.
These functions are easily constructible (Wegman and Carter 1981, Luby 1996).