Algorithme Forward checking
{"Image DocumentName": "Algorithme Forward checking", "Image ImageDescription": "Supposons maintenant que l\u2019on choisisse la variable Q \u00e0 la prochaine \u00e9tape de la r\u00e9cursivit\u00e9 de backtracking-search. Consid\u00e9rons l\u2019assignation Q=Vert. On voit ici le r\u00e9sultat de forward-checking. WA. NT. SA. Q. NSW. V. T. Domaines initiaux. Apr\u00e8s WA=Red. Apr\u00e8s Q=Green. Puisqu\u2019il y a une contrainte disant que Q doit \u00eatre diff\u00e9rent de NT, Vert est enlev\u00e9 du domaine de la variable NT. Idem, il y a une contrainte disant que Q doit \u00eatre diff\u00e9rent de SA, donc Vert est enlev\u00e9 du domaine de la variable SA. Finalement, il y a une contrainte disant que Q doit \u00eatre diff\u00e9rent de NSW, donc Vert est enlev\u00e9 du domaine de la variable NSW. Il n\u2019y a pas d\u2019autre variables impliquant Q, donc forward-checking s\u2019arr\u00eate l\u00e0. IFT615. \u00a9 Froduald Kabanza.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}