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
Contributeurs: Jacques Barolet, wiki
