Un Bloom filter est une structure probabiliste efficace en espace qui répond aux questions d'appartenance à un ensemble avec un détail : il peut avoir des faux positifs mais jamais de faux négatifs. « Définitivement absent » est certain ; « possiblement présent » nécessite une vérification réelle.
Fonctionnement
Un tableau de bits de bits et fonctions de hachage. Pour un élément, définir les bits qu'il hache. Pour , vérifier ces bits — si l'un d'eux est 0, l'élément est définitivement absent.
