Retour sur trace

Un article de Wikipédia, l'encyclopédie libre.
(Redirigé depuis Backtracking)
Aller à : Navigation, rechercher


Le retour sur trace, appelé aussi backtracking en anglais, consiste à revenir légèrement en arrière sur des décisions prises afin de sortir d'un blocage. La méthode des essais et erreurs constitue un exemple simple de backtracking.

Le terme est surtout utilisé en programmation, où il désigne une stratégie pour trouver des solutions à des problèmes de satisfaction de contraintes.

Sommaire

Problèmes de satisfaction de contraintes

Ce sont des problèmes ayant une solution complète, dans laquelle peu importe l'ordre des éléments. Ces problèmes se composent d'un ensemble de variables avec une valeur assujettie aux contraintes particulières du problème chacune. L'idée maîtresse est d'essayer chaque possibilité (combinaison) jusqu'à trouver la bonne. C'est une recherche en profondeur sur l'ensemble des solutions. Les langages de programmation déclaratifs, comme Prolog, permettent d'exprimer directement ces contraintes, et effectuent cette recherche automatiquement.

Pendant la recherche, si vous essayez une alternative qui ne satisfait plus une contrainte, vous effectuez un retour sur trace à un point où d'autres alternatives s'offraient à vous, et vous essayez la possibilité suivante. Si vous n'avez plus de tels points la recherche échoue. La force du backtracking est que beaucoup de ses réalisations évitent d'essayer beaucoup de combinaisons partielles, diminuant ainsi le temps d'exécution.

Jeux

On peut dans un jeu que l'on programme envisager un mouvement donné et ses suites. Il se peut que l'une des suites ne soit pas heureuse. On remonte alors et on envisage un autre mouvement.

Analyse syntaxique

Les espaces ne comptaient pas dans la première version du langage FORTRAN. Au moment de l'analyse syntaxique, le début de certaines instructions posait des problèmes d'interprétation :

GO TO 100
est-ce une instruction GO TO ou une variable dont le nom commence par GOTO ?
DO 10 I =
est-ce une boucle DO ou une variable nommée DO10I que l'on va affecter ?

Il fallait donc effectuer une hypothèse (latch) que l'on confirmait si la syntaxe était correcte (clamp), et sur laquelle on revenait dans le cas contraire.

Voir aussi

mentions légales Wikipédia
logo wikimediapolitique de confidentialité à propos de Wikipédia avertissements contacts logo wikimediafaire un don

RÉSOLUTION SUDOKU (9X9) PAR BACKTRACKING RÉCURSIF INTELLIGENT sudoku,


Exemple de programmation : RÉSOLUTION SUDOKU (9X9) PAR BACKTRACKING RÉCURSIF INTELLIGENT, C / C++ / C++.NET

Backtracking Prolog listes des fichiers PDF backtracking prolog


Backtracking Prolog listes des fichiers PDF backtracking prolog. Backtracking Prolog. Programmation logique (2/2) . semaine 14: programmation logique (2 .... Nous allons voir maintenant comment on...

Backtracking Prolog listes des fichiers PDF backtracking prolog


Backtracking Prolog listes des fichiers PDF backtracking prolog. Backtracking Prolog. Programmation logique (2/2) . semaine 14: programmation logique (2 .... Nous allons voir maintenant comment on...
Plus d'infos Sur le web

  • Retour sur trace (redirection depuis Backtracking)
    Le retour sur trace, appelé aussi en | backtracking en anglais , consiste à revenir légèrement en arrière sur des décisions prises afin de ...
    3 Kio (356 mots) - 6 mai 2012 à 14:54

  • L'algorithme de Davis–Putnam–Logemann–Loveland (DPLL) est un algorithme de backtracking , complet, de résolution du problème SAT exprimé en ...
    11 Kio (1 408 mots) - 23 janvier 2012 à 04:17

  • Les Perles de Dijkstra sont un problème de backtracking en programmation énoncé par Edsger Dijkstra dans les Communications de l'ACM au ...
    4 Kio (641 mots) - 16 janvier 2012 à 10:49

  • Volume 4A, Enumeration and Backtracking (2011); Les deux autres tomes prévus pour le quatrième volume, Combinatorial Algorithms, sont en ...
    5 Kio (553 mots) - 2 février 2012 à 19:46

  • La première figure du schéma ci-contre montre le cas du backtracking simple: on peut remarquer que le backtracking récupère une vélocité ...
    15 Kio (2 081 mots) - 22 mai 2012 à 20:10

  • Backtracking INTERCAL, une variante moderne, autorise également des variantes comme MAYBE ("peut-être", qui peut être combiné avec PLEASE ...
    21 Kio (2 819 mots) - 14 décembre 2011 à 03:37

  • Il est aussi relativement simple de concevoir un algorithme de recherche par backtracking . De façon habituelle, il suffit à l’algorithme ...
    102 Kio (15 141 mots) - 16 mai 2012 à 19:37

  • et le Depth-First Beam Search, ainsi qu'avec le parcours à écart limité, créant le Beam Search Using Limited Discrepancy Backtracking (BULB). ...
    5 Kio (606 mots) - 11 février 2012 à 01:06

  • Toutefois, il peut être fait usage de techniques telles que la pré-vision (en anglais en | lookahead) ou le en | backtracking pour ...
    8 Kio (1 070 mots) - 26 mars 2012 à 18:40

  • Ceci nécessite un backtracking (ou l'utilisation de la récursivité). s'il s'agit d'une action. on vérifie que la précondition est vérifiée ...
    8 Kio (1 067 mots) - 18 mai 2012 à 16:36

  • ambiguë, il faut faire usage de techniques d'analyse non déterministe et/ou de techniques adaptées (backtracking, règles de désambiguïsation,...) ...
    15 Kio (1 976 mots) - 20 mai 2012 à 23:23

  • org/~gnivasch/pentomino/ Solving Pentomino Puzzles with Backtracking.
    24 Kio (3 364 mots) - 25 janvier 2012 à 02:43

  • Comme un échec au tout début de la chaîne est un cas particulier (la possibilité de backtracking n'existe pas), on pose T-1 -1, tel que ...
    26 Kio (3 538 mots) - 17 février 2012 à 08:27

  • pdf Backtracking Auckland: Bureaucratic rationality and public preferences in transport planning ; Urban Research Program Issues Paper 5 ; ...
    42 Kio (5 604 mots) - 16 avril 2012 à 20:52