CentraleSupélec LMF, UMR CNRS 9021
Département informatique Laboratoire Méthodes Formelles
Bât Breguet, 3 rue Joliot-Curie Bât 650 Ada Lovelace, Université Paris Sud
91190 Gif-sur-Yvette, France Rue Noetzlin, 91190 Gif-sur-Yvette, France
Résolution du problème des huit reines

Mode d'emploi

L'applet ci-dessous permet de suivre le déroulement de l'algorithme. Si vous ne voyez pas l'échiquier, il est peut-être nécessaire d'agir sur la barre de défilement de votre navigateur, ou de changer légèrement la taille de la fenêtre pour le faire apparaître. En cliquant sur Marche, vous lancez l'algorithme en mode automatique, et vous pouvez contrôler sa vitesse d'exécution à l'aide du curseur situé sous les boutons. Les messages affichés au-dessus de l'échiquier indiquent à quelle étape se trouve l'algorithme, qui s'arrêtera à chaque fois qu'une solution est trouvée. Vous pouvez aussi arrêter l'algorithme en cliquant sur Arrêt ou sur Pas à pas. Le bouton Pas à pas permet de suivre le déroulement de l'algorithme au rythme que vous souhaitez. Vous pouvez repartir de la situation initiale (échiquier vide) en cliquant sur RàZ.

Sur la gauche, les cases à cocher vous permettent de choisir les solutions à éliminer :

  • R 90° permet d'éliminer les solutions qui sont l'image d'une autre solution par une rotation de 90° dans le sens direct ;
  • R -90° permet d'éliminer les solutions qui sont l'image d'une autre solution par une rotation de 90° dans le sens rétrograde ;
  • R -180° permet d'éliminer les solutions qui sont l'image d'une autre solution par une rotation de 180° ;
  • M Vert. permet d'éliminer les solutions qui sont l'image d'une autre solution par une symétrie d'axe vertical coupant l'échiquier en deux parties égales ;
  • R 90° + MV permet d'éliminer les solutions qui sont l'image d'une autre solution une rotation de 90° suivie d'une symétrie d'axe vertical coupant l'échiquier en deux parties égales ;
  • R -90° + MV permet d'éliminer les solutions qui sont l'image d'une autre solution une rotation de -90° suivie d'une symétrie d'axe vertical coupant l'échiquier en deux parties égales ;
  • R 180° + MV permet d'éliminer les solutions qui sont l'image d'une autre solution une rotation de 180° suivie d'une symétrie d'axe vertical coupant l'échiquier en deux parties égales (ce qui correspond à une symétrie d'axe horizontal) ;

Légende

Au cours du déroulement de l'algorithme, les symboles suivants sont utilisés :

  • Les lignes rouges indiquent les directions selon lesquelles les reines en place prennent les autres pièces ;
  • Les cercles verts indiquent les positions possibles d'une reine sur sa ligne ;
  • Les cercles verts barrés en vert indiquent les positions possibles d'une reine sur sa ligne qui ont été essayées et ont mené à une solution ;
  • Les cercles verts barrés en rouge indiquent les positions possibles d'une reine sur sa ligne qui ont été essayées et ont mené à une impasse ;
  • Les croix rouges indiquent les positions impossibles pour une reine sur sa ligne ;
  • Les croix vertes indiquent les positions d'une reine sur sa ligne qui, bien que possibles, mèneraient à une solution qui est l'image d'une solution déjà trouvée par une des transformations cochées ;
  • Enfin, les cercles noirs indiquent la présence d'une reine sur la case.

AppletMarkup(PSS( width="470" height="450" code="HuitReines.class" archive="HuitReines.jar" codebase="/uploads/FISDA/"))