Comparaison avec la 2B-consistance

La première question qu'on peut se poser est si la 2B-consistance est assurée par cet algorithme. La réponse est non. En effet si l'on considère l'exemple 2.2, illustrant la convergence asymptotique, mais en prenant comme valeur $AC=15.9999$. Il est clair que la 2B va converger asymptotiquement, jusqu'à ce que les domaines soient vides. Or notre algorithme ne trouvant aucune incohérence dans le choix des longueurs du triangle $ABC$, il n'effectuera qu'un filtrage partiel des domaines des coordonnées des points. En revanche si on avait $AC=16.0001$, on a $AB+BC < AC$ ce qui veut dire que le triangle $ABC$ est inconstructible, donc notre algorithme conclut, de manière quasi immédiate, en indiquant qu'il n'y a pas de solutions, alors que la 2B converge lentement vers le même résultat. Par conséquent, la procédure FILTER-DOMAINS ne permet pas d'obtenir la 2B-consistance. En revanche, elle permet de faire un pré-filtrage qui peut simplifier le travail de la 2B ensuite.