Essais et erreurs : testez un candidat jusqu’à la contradiction
La méthode par essais et erreurs suppose temporairement un candidat, ne suit que les coups forcés et vérifie si la branche aboutit à une contradiction.
Idée clé
Une hypothèse qui mène à une contradiction est fausse : l’autre candidat est donc vrai. La méthode n’est rigoureuse que si chaque étape de propagation est consignée et réversible.
Suivez le coup, étape par étape
Testez le candidat 2 en R1C5 et suivez les conséquences dans la colonne 5.
Étape 1 sur 4
Choisissez une case à deux candidats
R1C5 contient 2 et 8. La colonne 5 offre un chemin court et vérifiable pour tester le candidat 2.
Étape 2 sur 4
Marquez l’hypothèse
Supposez que R1C5 vaut 2. Des singles forcés placent alors 7 en R7C5 et 3 en R8C5.
Étape 3 sur 4
Arrêtez-vous à la première contradiction
R9C5 perd 2, 3 et 7 et ne possède plus aucun candidat autorisé. La branche est impossible.
Étape 4 sur 4
Annulez la branche et conservez sa preuve
Retirez 2 de R1C5 et placez 8. Toutes les valeurs temporaires de la branche sont annulées.
Essayez cette stratégie sur la grille du jour
N’utilisez cette méthode qu’après avoir épuisé les techniques systématiques. Changez une seule hypothèse à la fois, notez chaque conséquence forcée et annulez entièrement la branche avant de continuer.
Jouer aujourd’hui