assistant-sudoku.com

Commentaires sur cette grille

De Paolo
(Publié le 23/04/2018)

Bonsoir, 1) 1 placement par les TB iniziales. Antipiste (7L1C4)=>couvre la grille extension P(7L1C4) avec les candidats de la la case L5C7 2)P(7L1C4).P(1L5C7)=> contradiction(L7C2=Ø) 3)P(7L1C4).P(4L5C7)=> contradiction(L5C8=Ø) 4)P(7L1C4).P(5L5C7)=> contradiction(L2C5=Ø) 5)P(7L1C4).P(7L5C7)=> contradiction(L5C8=Ø) )=>Validation AntipisteP(7L1C4)=>solution.

De Robert Mauriès
(Publié le 23/04/2018)

Un seul placement par les TB. On étudie ensuite la paire d'ensemble 48/76L3C4 et le jeu de pistes qui en sont issues et que l'on développe par des extensions successives (cascade de P-pistes) : P(48L3C4).P(1L5C5) est invalide -> extension P(48L3C4).P(1L6C6) par le 1L6C6. P(48L3C4).P(1L6C6).P(5L2C5) est invalide -> extension P(48L3C4).P(1L6C6).P(8L2C5) par le 8L2C5 qui conduit à son invalidité -> validité de P(76L3C4). Un second jeu de pistes JP(2B5) vient à bout de la grille avec P(2L5C5) qui couvre la grille et P(2L4C6) qui est invalide. Donc une résolution de taille 4.

De Francis Labetoulle
(Publié le 24/04/2018)

Bonjour Un seul placement: 3L6C1, et une modeste invitation à utiliser C1. Soient P1= P(5L5C1) et P2 = P(5L7C1). Extensions de P1 avec les 2 de B5: P1.P(2L5C5) couvre la grille par croisement des branches (9L9C2) et (9L9C4), la première donnant la solution. P1.P(2L4C6) est invalide. De même, avec les 1 de B5, P2.P(1L5C5) et P2.P(1L6C6) donnent deux invalidités.

De François C.
(Publié le 24/04/2018)

Bonjour, la piste P(6L4C9) ne donne qu'un placement et pourtant en faisant une bifurcation avec les 2 du bloc 5 on obtient: une contradiction avec la branche P(6L4C9).P(2L4C6) et une solution avec la branche P(6L4C9).P(2L5C5) D'autre part l'anti-piste P'(6L4C9) aboutit directement à une contradiction. Donc résolution de taille 2.

De François C.
(Publié le 24/04/2018)

A Robert: en vérifiant votre solution il me semble que l'ensemble {1L5C5,5L2C5} ne constitue pas une unité (cachée ou virtuelle comme vous voulez). Par contre P(48L3C4).P'(1L5C5,5L2C5) est bien invalide mais ça coûte un point de plus au niveau de la taille de la résolution.

De François C.
(Publié le 24/04/2018)

A Robert Excusez-moi, je viens de me rendre compte que, étant donné qu'il y a 36 façons de construire une piste invalide (ici P(48L3C4), j'aurais du mal à dire que {1L5C5,5L2C5} ne constitue pas une unité (cachée ou virtuelle) !! :-)

De Robert Mauriès
(Publié le 24/04/2018)

@ François Cordoliani : Belle résolution François et bonne "vista", car il fallait la trouver celle-là ! Le niveau TDP ainsi établi est plus conforme au niveau conventionnelle qui est de 12.

De Robert Mauriès
(Publié le 24/04/2018)

@ François Cordoliani : Dans ma proposition, sans doute mal formulée, je ne ne considère pas le 1L5C5 et le 5L2C5 comme une paire cachée, mais je fais l'extension de la piste P(48L3C4) en deux temps, d'abord avec le 1 puis ensuite avec le 5.

De François C.
(Publié le 24/04/2018)

@ Robert Mauriès : Désolé mais je ne comprends pas ces 2 extensions successives dont vous parlez. Ne faut-il pas que l'anti-piste P'(1L5C5,5L2C5) soit prouvée invalide pour qu'on puisse conclure quoi que ce soit ?

De Paolo
(Publié le 24/04/2018)

Bonsoir, 1) 1 placement par les TB iniziales. 2)P(76L3C9)=> contradiction(L5C8=Ø)=>-76L3C9=>validation P(483L3C9) 3)P(1L5C5)=> contradiction(L6C6=Ø)=>validation P(1L6C6)=>solution. Ou 3)P(5L4C2) )=> contradiction(L6C6=Ø)=> validation P(5L5C12)=>solution. Ou identically 3)P(5L5C578)=> contradiction(L6C6=Ø)=> validation P(5L5C12)=>solution. Ou identically 3)P(5L5C78)=> contradiction(L6C6=Ø)=> validation P(5L6C78)=>solution.

De Robert Mauriès
(Publié le 24/04/2018)

@ François Cordoliani : Non, ce que j'ai fait est une cascade de P-pistes et cela peut s'écrire ainsi : P(48L3C4).P(1L5C5) invalide puis P(48L3C4).P(1L6C6).P(5L2C5) et P(48L3C4).P(1L6C6).P(8L2C5) invalides. J'ai réécrit cela dans mon premier commentaire pour que ce soit plus clair.

De François C.
(Publié le 24/04/2018)

A Robert Ah ça va mieux comme ça, merci !

De Francis Labetoulle
(Publié le 24/04/2018)

@ Paolo : Bravo! Cette partition de la case L3C9 est très efficace.

De Robert Mauriès
(Publié le 24/04/2018)

@ Francis, François et Paolo : En fait, les résolutions de Paolo et François sont équivalentes car l'antipiste P'(6L4C9) et la piste P(67L3C9) sont les mêmes.

De Paolo
(Publié le 24/04/2018)

@ Robert,Francis et François : Bonsoir, Je crois que les deux pistes P '(6L4C9) et la piste P (67L3C9) ne sont pas parfaitement identiques. En effet les deux pistes sont toutes deux invalides mais alors que le P '(6L4C9) implique le P (67L3C9), le P (67L3C9) n'implique pas le P' (6L4C9). Ce fait est évident dans les deux pistes validées qui sont différentes P (6L4C9) => L4C8 = 3 et L4C9 = 6 alors que le P (348L3C9) => L4C8 = 3, L4C9 = 6, L5C9 = 7 et L6C2 = 7

De Francis Labetoulle
(Publié le 24/04/2018)

@ Robert Mauriès : Bonsoir Je n'avais pas lu la solution de François quand j'ai pris connaissance de celle de Paolo. Il me semble que commencer par les 2 de B5 est plausible. Ensuite il faut déceler les propriétés remarquables des cases L4C9 ou L3C9, la première étant peut-être plus simple à déceler. Enfin il faut permuter l'ordre des choix. Exemple Instructif !

Ajouter un commentaire