De Robert Mauriès
(Publié le 03/03/2022)
Résolution détaillée en 3 étapes en cliquant sur le lien "Voir la résolution" ci-dessus.
Après simplification de la grille par les TB, résolution en 3 étapes :
1) P(7r2c6) est invalide, en effet : 7r2c6->{ [ 7r6c5->9r5c4->8r4c4->2r4c2->6r4c5 ]->( 2r3c5 et 2r5c6 ) }->2r8c7->... => 2b8 vide.
Donc 7r2c6 est éliminé => -1245r2c89, -7p12378b3, -2r3c456 =>-2r45c4, -2r56c6, => -2r4c78, -2r6c89
2) P(8r5c4) est invalide, en effet : 8r5c4->[ ( 9r6c5->6r6c1->6r3c3 )->7r3c5 ]->4r3c2->[ 15r2c13->1r3c6 et 4r8c1->3r8c7->7r5c7->7r6c6 ]->... => 5c6 vide
Donc 8r5c4 est éliminé => r4C4=8 et 34 placements par induction.
3) P(1r1c1) est invalide, en effet : 1r1c1->1r3c7->6r3c6->5r1c4->... => r1c9 vide
Donc 1r1c1 est éliminé => r1c1 =6 et fin de la grille par induction