Bounded Wrongness: A Field Guide to Probabilistic Data Structures

Bloom filters and their descendants trade a bounded, one-sided, tunable error for a space collapse exact structures can't match. The whole family, with the math.