Vu le 010221 en suivi sur Simplenote
La contrainte d'unicité au Sudoku impose que 4 cases ( en 2 lignes, 2 colonnes, 2 blocs) ne puissent toutes contenir les deux mêmes candidats notés a,b .
ce qui amènerait la grille à avoir 2 solutions que l'on peut noter ( a, b, a, b) , ( b, a, b, a) , valeurs des 4 cases du rectangle , parcourues par exemple dans le sens des aiguilles d'une montre .
Dans le cas de la grille en https://sudoku.megastar.fr/2018/05/31/les-espions-lt-uniqueness/
pour la grille Virtuose n° 46, p.67, compte tenu des liens rappelés sur la première image (double flèche pour double paire , flèche simple : liaison forte du type paire pour le candidat 2) , les cas 1 et 2 aboutissent aux valeurs des cases indiquées ci-dessous dans le sens des aiguilles d'une montre , les points symbolisant la présence d'autres candidats (autres que 2 et 6)
cas 1 : ( 2, 6, 2, 6...)
cas 2 : ( 6, 2, 6...., 2 ...)
L'existance des points, donc d'autres candidats, montre que l'on n'a pas le rectangle unique dans sa version de base . Quelle propriété permet de supprimer le candidat 6 en L9C5 dans le cas 1comme le fait la page megastar citée ?
Note le 210420 : On ne peut pas avoir 6 en L9C5 car les positions du candidat 2 serait L9C6 ou L7C5 ; si c'est L9C6 on a le rectangle unique ; si c'est L7C5 , il n'y a plus de candidat pour L1C5 dans la colonne 5 .