HyperLogLog: hash each element, use first b bits as register index, track max leading zeros. Estimate = α·m²·(Σ 2^-M[i])⁻¹. Error ~1.04/√m.