布隆过滤器（Bloom Filter）

解决高效地判断一个值是否存在的问题，具有很好的空间效率和时间效率。使用布隆过滤器可以验证某个值一定不存在和某个值*很可能*存在。

基本思路是通过多个Hash函数{h_1,h_2,…,h_k}，在一个长位串s上标记，当一个值x的的多个Hash结果，h_1(x), h_2(x), …, h_k(x)都在s上有标记时，证明它很可能存在（也有可能不存在，另一个值x’的Hash值与之重合）。但只要有一个在s上没有标记，就证明它*一定*不存在。