unique_rectangle_1
Quatre cases formant un rectangle sur deux lignes, deux colonnes et deux boîtes : trois portent exactement {a,b}, la quatrième porte {a,b} plus autre chose.
Si la quatrième valait a ou b, les quatre coins seraient interchangeables en diagonale et la grille aurait deux solutions. Une grille correcte n'en a qu'une : la quatrième case prend forcément l'un de ses candidats supplémentaires.
Deux paires identiques sur une ligne, deux mêmes colonnes ailleurs — et un coin un peu plus chargé.
🔴 L'argument repose sur l'UNICITÉ de la solution. Sur une grille importée d'on ne sait où, il ne vaut rien : le moteur refuse de l'utiliser tant qu'il n'a pas vérifié que la solution est unique.
Des positions réelles, tous les petits chiffres déjà posés. Tu cherches le motif ; la réponse ne vient que si tu la demandes.
R6C1, R6C9, R5C1 valent toutes {3,6} sur deux boîtes. Si R5C9 valait 3 ou 6, la grille aurait deux solutions — elle n'en a qu'une.
Le moteur retire 3 de R5C9, 6 de R5C9.
Ici le moteur commencerait par Single nu : le motif est bien là, tu le sortiras quand les coups simples seront épuisés. C'est comme ça qu'il arrive en vrai.
R6C1, R6C9, R5C1 valent toutes {3,6} sur deux boîtes. Si R5C9 valait 3 ou 6, la grille aurait deux solutions — elle n'en a qu'une.
Le moteur retire 3 de R5C9, 6 de R5C9.
Ici le moteur commencerait par Single nu : le motif est bien là, tu le sortiras quand les coups simples seront épuisés. C'est comme ça qu'il arrive en vrai.
R4C1, R4C5, R5C1 valent toutes {1,7} sur deux boîtes. Si R5C5 valait 1 ou 7, la grille aurait deux solutions — elle n'en a qu'une.
Le moteur retire 1 de R5C5, 7 de R5C5.
Ici le moteur commencerait par Dernière case : le motif est bien là, tu le sortiras quand les coups simples seront épuisés. C'est comme ça qu'il arrive en vrai.
R4C1, R4C5, R5C1 valent toutes {1,7} sur deux boîtes. Si R5C5 valait 1 ou 7, la grille aurait deux solutions — elle n'en a qu'une.
Le moteur retire 1 de R5C5, 7 de R5C5.
Ici le moteur commencerait par Single nu : le motif est bien là, tu le sortiras quand les coups simples seront épuisés. C'est comme ça qu'il arrive en vrai.