De Robert Mauriès
(Publié le 31/08/2018)
Pas de commentaire pour l'instant.
De Paolo
(Publié le 01/09/2018)
Bonjour, 1)1 placement par les TB initiales. 2) P(8L3C4)=> contradiction 3) P(7L3C4).P(2L2C6) => contradiction 4) P(7L3C4).P(3L2C6) => contradiction=>validation P(2L3C4)+ 2 placements 5) P’(1L1C6)=> contradiction=>validation P (1L1C6) 6) P(3L4C1).P(6L4C9) => contradiction 7) P(3L4C1).P(6L6C9) => contradiction=>-3L4C1 8) P(3L4C7).P(4L4C9) => contradiction 9) P(3L4C7).P(6L4C9) => contradiction=>-3L4C7=>validation P(3L4C3)=>solution.
De François C.
(Publié le 04/09/2018)
Bonjour, Un placement avec les TB,et ensuite: P(8L6C2).P(9L6C1) => C .P(9L5C2).P(6L4C1) => S .P(6L4C3) => C P(8L4C3).P(4L7C4).P(4L4C5) => C .P(4L5C5) => C P’(4L7C4).P(7L2C1) => C .P’(7L2C1) => C C = contradiction S = solution P' = anti-piste
De François C.
(Publié le 04/09/2018)
Avec une meilleure présentation: un placement avec les TB,et ensuite: P(8L6C2).P(9L6C1) => C ---------.P(9L5C2).P(6L4C1) => S -------------------.P(6L4C3) => C P(8L4C3).P(4L7C4).P(4L4C5) => C ------------------.P(4L5C5) => C ---------.P’(4L7C4).P(7L2C1) => C --------------------.P’(7L2C1) => C C = contradiction S = solution P' = anti-piste
De Robert Mauriès
(Publié le 06/09/2018)
@ François Cordoliani : Belle utilisation des antipistes pour prouver l'invalidité de 8L4C3.
Un seul placement par les TB.
P(8L6C2).P(2L3C4).P(1L6C1) -> solution
P(8L6C2).P(2L3C4).P(1L5C3) invalide
P(8L6C2).P(7L3C4).P(2B3) invalide.
P(8L4C3) -> invalide (voir la démonstration donnée par F. Cordoliani dans le forum).