De Robert Mauriès
(Publié le 23/11/2019)
Pas de commentaire pour l'instant.
De Paolo
(Publié le 24/11/2019)
Bonjour 1) 2 placements par les TB initiales. 2) P(6L4C8).P(4L7C7) => contradiction 3) P(6L4C8).P(8L7C7) => contradiction+2 placements 4) P(4L4C8))=> contradiction P(5L4C8).P4(4L5C1)=>couvre la grille 5) P(5L4C8).P9(4L5C1)=>contradiction => solution.
De François C.
(Publié le 24/11/2019)
Bonsoir, Les TB donnent 2 placements puis 5 alignements. Ensuite je considère la paire d’ensembles E1 = {4L5C1234} et E2 = {4L5C79}. P(E1) = P’(E2) ne se développe pas du tout mais une extension par la case L5C9 lui permet de couvrir la grille. Plus précisément: P(E1). P(7L5C9) => solution et P(E1). P(58L5C9) => contradiction. P(E2) = P’(E1) se développe peu (2 candidats placés) mais une extension par l’entité 9L1 (contenant 2 candidats) permet de prouver son invalidité. Donc, solution unique et résolution de taille 3, mais cette grille est plus difficile que la précédente car les résolutions de taille 3 sont beaucoup plus rares.