Comment modifier l'algorithme des groovers afin de résoudre 3-SAT?

Question

Algorithme de Grover a été conçu pour une base de données avec exactement un élément qui correspond à un critère de recherche donné et peut être utilisé pour trouver cet élément même.

Cependant, lorsque vous vérifiez si une formule donnée est en 3 à 3 ans, je ne sais pas combien d'éléments correspondent au critère de recherche (c'est-à-dire combien d'interprétations satisfont la formule) et je veux juste savoir s'il y a au moins un. Alors, quelles mesures doivent être prises afin de rendre l'algorithme de Grover adapté à 3-à-un?