36: Filtres arithmétiques

Previous-slide Table-of-Contents Next-slide
Change-size

Garantir l'exactitude des prédicats en faisant:

Évaluation approchée rapide, mais
avec certification des comparaisons, puis:

Complexité: T(filtre) + P(échec) * T(exact)