« Retour sur trace non chronologique » : différence entre les versions


Aucun résumé des modifications
Aucun résumé des modifications
Ligne 8 : Ligne 8 :


==Définition==
==Définition==
Dans les algorithmes de recherche et de retour sur trace, le retour sur trace non chronologique (''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. Dans cet article, un ordre fixe de l'évaluation de variables est utilisé, mais les mêmes considérations s'appliquent à une dynamique de l'ordre d'évaluation.
Dans les algorithmes de recherche et de retour sur trace, le retour sur trace non chronologique (''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.  
<br>
<br>
<br>
<br>

Version du 30 mai 2019 à 19:23

Domaine


Définition

Dans les algorithmes de recherche et de retour sur trace, le retour sur trace non chronologique (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 n.m.



Anglais

backjumping

Source : Wikipedia IA



Contributeurs: Jacques Barolet, wiki