A Theoretical Analysis of the Average-Time Complexity of Domain-Heuristics for Arc-Consistency Algorithms

Les algorithmes de coherence d'arc sont largement utilises pour reduire l'espace de recherche des CSPs (Constraint Satisfaction Problems). Ils utilisent des tests de supports pour connaitre les proprietes des CSPs. Ils utilisent des heuristiques d'arc pour selectionner la contrainte a utiliser et des heuristiques de domaines pour le test support suivant. Nous allons etudier la complexite temporaire moyenne de deux algorithmes de coherence d'arc L et D qui ne different que par leur domaine heuristique. L utilise un heuristique lexicographical et D un heuristique qui prefere un test de support double. Pour des domaines a et b de dimensions suffisantes, nous utiliserons une limite inferieure de 2a + 2b + O(1) pour L et une limite superieur de 2 max(a, b) + 2 pour D. Nous prouverons qu'il n'y a pas d'algorithme qui puisse sauver plus de deux tests au moyenne que D.