Retour sur trace non chronologique

Définition

Dans les algorithmes de recherche et de retour sur trace, le retour sur trace non chronologique (Non-chronological backjumping) est une technique qui réduit l'espace de recherche, et permet donc d'augmenter l'efficacité. En retour sur trace habituel, un retour en arrière remonte d'un niveau dans l'arbre de recherche lorsque toutes les valeurs d'une variable ont été testées. Le retour non chronologique permet de remonter de plusieurs niveaux grâce à une analyse des raisons qui conduisent une combinaison de valeurs pour des variables à échouer.

Français

retour sur trace non chronologique

Anglais

Non-chronological backtracking

Source : Wikipedia IA