De Robert Mauriès
(Publié le 16/09/2019)
Réduction de la grille par les TB (7 placements). Le 4L5C6 (ou le 2L4C4, ou le 8L4C4, ou le 7L4C6) est un backdoor car P(4L5C6) couvre la grille. L'invalidité de l'antipiste associée P'(4L5C6) nécessite au plus deux extensions -> niveau TDP au plus égal à 3.
De Paolo
(Publié le 16/09/2019)
Bonjour, 1) 7 placements par les TB initiales. 2) P(8L6C9)=> contradiction P(2L1C6)=>couvre la grille 3) P(2L1C5)=> contradiction 4) P(2L1C8)=> contradiction=> solution
De Claude Renault
(Publié le 16/09/2019)
7 placements par procédures de base P(2L1C5) invalide ; P(4L8C9) invalide ; P(68L8C9) solution ; niveau TDP 2
De Paolo
(Publié le 17/09/2019)
Bonjour, 1)7 placements par les TB initiales. P(2L5C4)=>couvre la grille P(1L3C4)=>couvre la grille P(6L2C6)=>couvre la grille 2) P’(2L5C4).P’(1L3C4).P’(6L2C6) => contradiction 3) P(2L5C4).P(1L3C4).P(6L2C6) => solution Toutes les autres combinaisons (extensions) entre pistes et antipistes des trois Backdoors sont clairement des pistes invalides
De François C.
(Publié le 17/09/2019)
Bonjour, Les TB donnent 7 placements, 5 alignements et une paire cachée. Ensuite, 8L4C4 est un backdoor et P(7L4C4) est prouvée invalide grâce à une extension par la paire 1C1. Résolution de taille 2.
De François C.
(Publié le 17/09/2019)
@ Claude Renault : Bonjour Claude, Après avoir éliminé le 2L1C5 et le 4L8C9 je peux faire 7 placements et 2 alignements avec les TB. Ensuite P(6L8C9) => contradiction mais je ne trouve pas que P(8L8C9) => solution. (9 placements seulement pour cette piste).
De Claude Renault
(Publié le 17/09/2019)
@ François C : j'ai utilisé P(68L8C9) et non P(8L8C9) ; en utilisant l'ensemble, le 6 est éliminé dans le développement
De Claude Renault
(Publié le 17/09/2019)
@ François C : vous devez avoir raison car je n'arrive plus à le reproduire
Réduction de la grille par les TB (7 placements).
Le 4L5C6 (ou le 2L4C4, ou le 8L4C4, ou le 7L4C6) est un backdoor car P(4L5C6) couvre la grille. L'invalidité de l'antipiste associée P'(4L5C6) nécessite au plus deux extensions -> niveau TDP au plus égal à 3.