Votre espace personnel

S'identifier           S'inscrire

assistant-sudoku.com



Forum des commentaires

Commentaires classés par grille, du plus récent au plus ancien.
Retrouvez aussi chaque commentaire en bas de chaque grille.
Pour faire un commentaire en général, préférez le mode d'affichage par date.


Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°586


Répondre à Claude Renault

De Claude Renault
(Publié le 17/02/2019)

@ Robert Mauriès : exact ; ça m'avait échappé

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 16/02/2019)

@ Claude Renault : Bonjour Claude. Dans votre résolution, la bifurcation par 26L3C1 n'est pas nécessaire, P(3L9C3) est directement invalide dès lors qu'on a validé P(3L4C7).

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 16/02/2019)

@ Francis Labetoulle : Bonjour Francis. Effectivement les 3 de la grille sont intéressants. On peut d'ailleurs les utiliser comme ceci :
- P(3L5C8) invalide.
- P(3L4C7).P(3L9C3) invalide.
- P(3L4C7).P(3L9C1) couvre la grille.
Résolution proposée d'ailleurs par Claude qui néanmoins a utilisé une bifurcation superflue.

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 16/02/2019)

Bonjour
Parmi tous les backdoors présents 4L1C8 joue un rôle intéressant car son antipiste donne avec les 3 de B6 deux bifurcations invalides ce qui fait un taille 2 et sans doute une redite de l'un des cheminements proposés par Paolo.
Désolé ...si c'est le cas.

Répondre à Claude Renault

De Claude Renault
(Publié le 16/02/2019)

Tb : 3
JP(3B6) : P(3L5C8) invalide, P(3L4C7) valide
JP(3B7) : P(3L9C1) couvre la grille ; P(3L9C3).P(2L3C1) et P(3L9C3).P(6L3C1) invalides

Répondre à Paolo

De Paolo
(Publié le 15/02/2019)

Bonsoir,
3 placements par les TB initiales.
P(5L2C9)=>couvre la grille
1)P(2L2C9) => contradiction
2)P(4L2C9).P(5L5C8) => contradiction
3)P(4L2C9).P’(5L5C8) => contradiction=>solution.
ou
3 placements par les TB initiales.
P(4L1C8)=>couvre la grille
1)P(5L1C8) => contradiction
2)P(9L1C8).P(5L6C1) => contradiction
3)P(9L1C8).P(8L6C1) => contradiction=>solution.
ou
3 placements par les TB initiales.
P(4L1C8)=>couvre la grille
1)P(8L4C7) => contradiction =>validation P(8L6C7) (5 placements)
2)P(9L1C8)=> contradiction=>solution.
ou similaire
3 placements par les TB initiales.
P(4L1C8)=>couvre la grille
1)P'(5L5C8) => contradiction =>validation P(5L5C8) (5 placements)
2)P(9L1C8)=> contradiction=>solution.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 15/02/2019)

Indication : exploiter les 3 de la grille.



Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°585


Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 14/02/2019)

@ François C : Bien vu François. Bel exemple de résolution utilisant les paires d'ensembles. On peut indiquer aussi à nos lecteurs que le croisement (candidats communs) des deux pistes suffit pour conduire à la solution en assurant son unicité.

Répondre à Claude Renault

De Claude Renault
(Publié le 13/02/2019)

je n'ai trouvé que 6 placements par les TB
JP(8L7C1,8L7C7) : P(8L7C7) couvre la grille ; P(8L7C1).P(2L9C9) et P(8L7C1).P(1L9C9) invalides

Répondre à François C

De François C
(Publié le 12/02/2019)

Bonsoir,
en utilisant une paire d'ensembles de l'entité 3L7:
P(3L7C13) => contradiction
P(3L7C56) => solution
Résolution de taille 1.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 12/02/2019)

Après réduction de la grille par les TB (8 placements), on exploite les 4 de C9 :
- P(4L3C9) couvre la grille.
- P(4L4C9 et P(4L5C9) sont invalides.



Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°584


Répondre à François C

De François C
(Publié le 15/02/2019)

@ Paolo :

Bonjour,
Effectivement 6B8 est une paire équivalente à 68L7C8, qui est la seule avec 13L5C4 que j’ai trouvée pour démarrer une résolution de taille 3.

Répondre à Paolo

De Paolo
(Publié le 13/02/2019)

Bonsoir,
Une résolution similaire à celle décrite par François à partir de la paire de 6 du B8 (sans backdoor ni anti-backdoor dans le couple initial ).
2 placements par les TB initiales.
P(6L7C5).P(1L9C7)=>solution
P(6L7C5).P(2L9C7)=> contradiction
P(6L9C5).P(4L1C6)=> contradiction
P(6L9C5).P(9L1C6)=> contradiction
Également dans ce cas, nous utilisons une backdoor initiale P (1L9C7) apparemment masquée semblable à P (5L5C3) dans le cas de François.

Répondre à François C

De François C
(Publié le 13/02/2019)

@ Robert Mauriès :

Bonjour,
Tout à fait d’accord , mais ma remarque se limitait à des paires de candidats appartenant à une même entité. En effet mon logiciel ne prend en compte que les paires, triplets, n-uplets (n>3) de candidats ou d’ensembles de candidats appartenant à une même entité, ce qui n’est déjà pas mal.
Effectivement cela ne représente qu’une partie des possibilités, car on peut construire des ensembles à partir de candidats quelconques et là, bien évidemment, le nombre de combinaisons devient gigantesque et il serait impossible de les tester dans un temps raisonnable.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 13/02/2019)

@ François C : Bonjour François. Ce que je voulais dire en qualifiant votre résolution d'intéressante, c'est qu'elle ne s'appuie pas sur un backdoor ou un anti-backdoor à priori difficiles à déceler "à la main", mais sur la construction plus rationnelle d'un jeu de pistes que l'on prolonge ensuite par des extensions.
Merci pour votre analyse globale de la grille fournie par votre lociciel.
Ceci dit, cette grille compte plusieurs backdoors (7L9C5, 5L5C3, 8L3C7, 9L5C7, etc...) et il est naturel dès lors qu'ils sont identifiés de chercher à les utiliser puis de prouver l'unicité en montrant que les antipistes correspondantes sont invalides, ce qu'a fait Paolo avec succès.
Voici d'ailleurs une résolution originale qui utilise deux backdoors engendrant un jeu de pistes conjuguées :
- P(5L5C3) et P(9L5C7) couvrent la grilles respectivement, car 5L5C3 et 9L5C7 sont des backdoors.
- L'antipiste P'({5L5C3,9L5C7}) est invalide car P'.P(9L5C1) et P'.P(9L5C6).P(68L7C8) sont invalides.
- En conséquence P(5L5C3) et P(9L5C7) sont conjuguées et leur intersection couvre la grille en fournissant une solution unique.

Répondre à François C

De François C
(Publié le 12/02/2019)

@ Robert Mauriès :

Vous voulez dire que je n'utilise pas de backdoor dans la paire initiale (13L5C4). J'ajoute que cette paire ne contient pas non plus d'anti-backdoor (ce que je définis comme un candidat qui mène directement à une contradiction avec les seules TB).
En fait, en faisant tourner ma moulinette informatique, j'ai observé ceci:
il y a 18 paires de candidats indépendantes. Parmi celles-ci seulement 4 paires contiennent un anti-backdoor et aucune ne contient un backdoor.
De plus, il n'y a que deux paires qui constituent un bon démarrage pour une résolution de taille 3: 13L5C4 (que j'ai donnée) et 68L7C8. Et bien aucune des deux ne contient un backdoor ou un anti-backdoor !
Cela n'est effectivement pas très prévisible.
Par ailleurs il y a beaucoup de résolutions de taille 3 utilisant des paires d'ensembles et quelques-unes utilisant des triplets (comme celle de Paolo).

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 12/02/2019)

@ François C : Bonjour François. Résolution de taille 3 intéressante car elle n'utilise pas les backdoors de la grille. Bien vu !

Répondre à François C

De François C
(Publié le 12/02/2019)

Bonjour,
2 placements avec les TB, et ensuite:
P(1L5C4).P(5L5C3) => solution
P(1L5C4).P(8L5C3) => contradiction
P(3L5C4).P(6L7C8) => contradiction
P(3L5C4).P(8L7C8) => contradiction

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 12/02/2019)

@ Paolo : Belle résolution Paolo, bravo !

Répondre à Paolo

De Paolo
(Publié le 11/02/2019)

Bonsoir,
2 placements par les TB initiales.
P(5L5C3)=>couvre la grille
1)P(8L5C3) => contradiction
2)P(1L5C3).P(2L9C1) => contradiction
3)P(1L5C3).P(7L9C1) => contradiction=>solution.



Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°583


Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 09/02/2019)

@ Paolo : Effectivement Paolo, la TDP n'est pas nécessaire mais rien n'empêche de l'utiliser.
En fait, ne voulant pas proposer une grille trop difficile, je l'ai trop simplifiée. Vous pouvez reprende la résolution de la grille avec un dévoilé de moins, par exemple sans le 3L8C8. Sauf erreur de ma part, la TDP devient alors indispensable.

Répondre à Paolo

De Paolo
(Publié le 08/02/2019)


Bonsoir,
Résolution de la grille par les TB.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 08/02/2019)

@ Claude Renault : Effectivement Claude, j'avais un léger bogue dans les codes sources de la page. J'ai corrigé et la grille s'affiche correctement maintenant. Merci pour votre remarque.

Répondre à Claude Renault

De Claude Renault
(Publié le 08/02/2019)

@Robert : après avoir traité la grille par les procédures de base, je m'aperçois qu'il d'agit d'une grille hyper sudoku dans laquelle il y aurait des zones jaunes ; or la grille en cours n'en comporte aucune ?

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 08/02/2019)

Rappelons que sur une grille hyper-sudoku les parties en jaune sont des zones sudoku au même titre que les lignes, les colonnes et les blocs et en conséquence ne doivent compter qu'une seule occurrence de même valeur par zone.
Après réduction de la grille par les TB (45 placements), un jeu de pistes JP(9B6) vient à bout de la grille par simple croisement des deux pistes qui place le 6L5C9, laquelle grille se termine alors par les TB.



Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°582


Répondre à Claude Renault

De Claude Renault
(Publié le 07/02/2019)

TB : 11
P(7L8C8) invalide ;
P(8L6C9) couvre la grille ; P(8L5C9).P(2L6C5) invalide ; P(8L5C9).P(8L6C5) invalide

Répondre à François C

De François C
(Publié le 06/02/2019)

bizarre, je croyais pourtant n'avoir qu'envoyé un commentaire.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 06/02/2019)

@ François C : Bonjour François. En fait vous avez créé un nouveau compte et votre commentaire a été ajouté sur ce nouveau compte. J'ai corrigé en mettant votre commentaire sur votre compte habituel (François C) et j'ai supprimé ce nouveau compte. Tout est en ordre maintenant.

Répondre à François C

De François C
(Publié le 06/02/2019)

Bonjour,
Les TB donnent 11 placements, 6 alignements et 2 paires.
Ensuite en partant des trois 4 de la colonne 2:
P(4L5C2) => contradiction
P(4L9C2) => contradiction
P(4L1C2) . P(7L1C1) => contradiction
P(4L1C2) . P(7L3C1) => solution.
Donc, résolution de taille 3 et solution unique.

N.B: j 'ai été obligé de passer par la ribrique "Forum commentaires" pour pouvoir taper le code de sécurité.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 04/02/2019)

Se reporter à "Voir la résolution" par le lien ci-dessus.



Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°581


Répondre à Claude Renault

De Claude Renault
(Publié le 04/02/2019)

TB : 11
En L7C8, JP(1,8) : 3 placements
P(4L5C8) invalide
P(5L5C8).P(5L3C2) couvre la grille, P(5L5C8).P(7L3C2) invalide

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 04/02/2019)

Un taille 2 avec les pistes issues des trois 5 de L6...

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 04/02/2019)

@ Stéphane D. : Bonjour Stéphane. C'était un oubli de ma part, voilà qui est réparé.

Répondre à Stéphane D.

De Stéphane D.
(Publié le 04/02/2019)

Bonjour
Pouvez vous donner la grille solution
Merci bien

Répondre à Paolo

De Paolo
(Publié le 04/02/2019)

Bonjour,
11 placements par les TB initiales.
P(7L9C5).P(4L2C8) => couvre la grille
1)P(5L9C5) => contradiction+2 placements
2)P’(4L2C8) => contradiction =>solution

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 04/02/2019)

Après réduction de la grille par les TB (11 placements), un premier jeu de pistes JP(1B6) permet 3 placements supplémentaires puisque P(1L6B9) est invalide.
Un second jeu de pistes JP(5B5) vient à bout de la grille avec P(5L4C6) qui couvre la grille et P(5L6C5) invalide qui assure l'unicité de la solution.



Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°580


Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 02/02/2019)

@ Paolo : Bien vu Paolo, un seul jeu de pistes suffit et il en est de même avec la résolution que j'ai proposée où le premier et le troisième jeux de pistes ne sont pas nécessaires puisque JP(12L4C4) et JP(19L2C5) sont équivalents.

Répondre à Paolo

De Paolo
(Publié le 01/02/2019)

Bonsoir,
13 placements par les TB initiales après élimination des candidats (2,3,4) hors des diagonales en B5
1)P(5L3C3)=>contradiction
2)P(1L4C4)=>contradiction=>validation P(2L4C4) =>solution.

la démonstration de l'invalidité de la piste P(5L3C3) n'est pas nécessaire.
13 placements par les TB initiales après élimination des candidats (2,3,4) hors des diagonales en B5
1)P(1L4C4)=>contradiction=>validation P(2L4C4) =>solution.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 01/02/2019)

Après réduction de la grille par les TB (13 placements), un premier jeu de pistes JP(9C7) permet quelques éliminations par interactions des deux pistes et par les TB.
Deux autres jeux de pistes successifs viennent à bout de la grille :
- JP(19L2C5) -> P(1L2C5) invalide soit 19 placements des candidats de P(9L2C5).
- JP(9B5) -> solution par simple croisement des deux pistes, ou P(9L4C6) couvre la grille et P(9L6C6) est invalide.



Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°579


Répondre à François C

De François C
(Publié le 31/01/2019)

Bonsoir,
1 placement avec les TB.
Ensuite:
P(1L6C1) conduit à une solution par extension via les 4 de B2.
P(5L6C1) conduit à une impossibilité par extension via les 3 de B8.
Taille 5.

Répondre à Claude Renault

De Claude Renault
(Publié le 31/01/2019)

TB 1
JP(P(1L5C7), P’(1L5C7)) : 3 résolutions par croisements
P(8L8C6).P(2L1C5) invalide ; P(8L8C6).P(9L1C5) invalide donc P(8L7C6) valide : 2 résolutions
JP(P(37, 2L8C4),; P(2L8C4) invalide ;
JP(P(47,6L9C2), P(47L9C2) invalide ; P(6L9C2) couvre la grille

Répondre à Paolo

De Paolo
(Publié le 31/01/2019)

Bonjour,
1 placement par les TB initiales.
Toutes les résolutions que j'ai trouvées passent par la démonstration de l'invalidité de la piste P (1L5C3), qui est également la clé de la résolution de Robert Mauriès.L'un de ces points est le suivant:
1)P(1L5C3).P(3L7C4)=> contradiction.
2)P(1L5C3).P(7L7C4)=> contradiction.
3)P(3L5C3) => contradiction.
4)P(8L5C3) => contradiction=>validation P(6L5C3).
5)P(4L1C3) => contradiction=>solution.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 30/01/2019)

En attendant de trouver mieux, voici une résolution de taille 5.
Un placement par les TB puis :
- P(1L5C3).P(3L9C18) invalide -> 3 placements.
- P(6L9C2) couvre la grille.
- P(6L9C5).P(6L8C2) invalide.
- P(6L9C5).P(6L8C3).P(48L1C3) invalide.



Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°578


Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 29/01/2019)

Bonjour
Encore un taille 2: P(9L2C9) invalide.
P(3L2C9).P(4L4C6) couvre la grille et P(3L2C9).P'(4L4C6) invalide.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 29/01/2019)

@ Claude Renault : Bonjour Claude. Je vois avec plaisir que vous maîtrisez parfaitement les notations utilisées sur le forum pour la TDP. Merci à vous.

Répondre à Claude Renault

De Claude Renault
(Publié le 28/01/2019)

TB : 2
P'(1L56C5) couvre la grille
P(1L56C5).P(3L4C9) invalide
P(1L56C5).P(6L4C9) invalide

Répondre à Paolo

De Paolo
(Publié le 28/01/2019)

Bonjour,
1)2 placements par les TB initiales.
2)P(1L6C4)=>couvre la grille.
3)P(1L2C4).P(3L5C5)=> contradiction
4)P(1L2C4).P(9L5C5)=> contradiction=> validation P(1L6C4)=> solution.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 28/01/2019)

2 placements par les TB, puis JP(1B2) :
- P(1L1C5) couvre la grille.
- P(1L2C4).P(4B5) invalide.



Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°577


Répondre à Paolo

De Paolo
(Publié le 27/01/2019)

@ Claude Renault :
Bonsoir,
Un ordre d'insertion logique possible peut être le suivant: 4L9C2=>4L5C3;6L3C4;6L2C2;2L3C2;2L4C3;1L7C3(backdoor initiale) ;1L8C4;8L9C4(backdoor initiale);9L2C3;5L3C6;5L6C1….

Répondre à Claude Renault

De Claude Renault
(Publié le 27/01/2019)

@ Paolo : dans votre 2ème résolution, je trouve bien comme vous les invalidités du 8L9C2 mais je n'arrive pas à montrer que le 4 couvre la grille (mes seules résolutions sont : 4B4 ; 1,4 et 8 de B7 ; 1,8 de B8)

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 26/01/2019)

@ Paolo : Belles résolutions de taille 2 Paolo, ce qui établit à 2 le niveau TDP de cette grille.

Répondre à Paolo

De Paolo
(Publié le 25/01/2019)

Bonjour,
6 placements par les TB initiales.
P(9L7C1) => couvre la grille
1)P(4L7C1).P(4L5C2) => contradiction
2)P(4L7C1).P(9L5C2) => contradiction
3)P(3L7C1) => contradiction =>solution.
ou
P(4L9C2) => couvre la grille
1)P(8L9C2).P(4L5C2) => contradiction
2)P(8L9C2).P(9L5C2) =>contradiction=>solution.
ou
P(1L7C3) => couvre la grille
1)P'(1L7C3).P(9L5C2) => contradiction
2)P'(1L7C3).P'(9L5C2) =>contradiction=>solution.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 24/01/2019)

Résolution de taille 4 en attendant de trouver mieux.
Après le 6 placements que permettent les TB, on porte son attention sur la case L3C9, en remarquant que P(2L3C9) et P(5L7C9) se développant facilement sont invalides. Dès lors cela permet par les TB de placer 4 candidats supplémentaires.
On tire ensuite la solution de la case L6C9 avec P(9L3C9) qui couvre la grille, P(5L6C9) et P(6L6C9) étant invalides.



Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°576


Répondre à François C

De François C
(Publié le 22/01/2019)

Bonsoir,

Il y a quelques résolutions de taille 3 dont celle-ci :
Les TB => 12 placements + 1 paire cachée.
Ensuite:
P(5L1C7) => contradiction
Son anti-piste P’(5L1C7) ne produit aucun placement ni suppression mais son extension via le triplet de la case L6C1 est intéressant car :
P’(5L1C7). P(1L6C1) => solution
P’(5L1C7). P(3L6C1) => contradiction
P’(5L1C7). P(4L6C1) => contradiction

Répondre à Claude Renault

De Claude Renault
(Publié le 22/01/2019)

TB 12
JP(1B5) : P(1L4C6).P(3L1C2) invalide
P(1L4C6).P(5L1C1) solution
P(1L4C6).P(3L1C1) invalide
P(1L6C4).P(4L6C5) invalide
P(1L6C4).P(5L6C5) invalide

Répondre à Paolo

De Paolo
(Publié le 22/01/2019)

Bonjour,
12 placements par les TB initiales.
1)P(5L1C4).P(2L5C2) => contradiction
2)P(5L1C4).P(4L5C2) => contradiction
P(3L3C1) => couvre la grille
3)P(1L3C1) => contradiction
4)P(5L3C1)=> contradiction=>solution.
ou
P(2L5C2) => couvre la grille
3)P(3L5C2) => contradiction
4)P(4L5C2)=> contradiction=>solution.
ou
P(9L2C9) => couvre la grille
3)P(1L2C9) => contradiction
4)P(5L2C9)=> contradiction=>solution.
ou
P(9L4C7) => couvre la grille
3)P(3L4C7) => contradiction
4)P(4L4C7)=> contradiction=>solution.
ou
P(2L4C9) => couvre la grille
3)P(2L5C9).P(1L2C9) => contradiction
4)P(2L5C9).P(5L2C9) =>contradiction=>solution.
ou
P(3L2C6) => couvre la grille
3)P(3L4C6) => contradiction
4)P(3L3C6)=> contradiction=>solution.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 22/01/2019)

Après simplification de la grille par les TB (12 placements), on débute la résolution avec le jeu de pistes JP(4B5) issues de la paire 4B5. Les deux pistes comptent plusieurs candidats mais n'ont pas d'interactions visibles. On utilise donc des extensions pour les prolonger.
- Pour P(4L4C6) l'extension P(4L4C6).P(3L4C7) est invalide ce qui permet de prolonger P(4L4C6) via le 3L6C8 et d'obtenir quelques placements par croisement des deux pistes de JP(4B5).
- Pour P(4L6C5) l'extension P(4L6C5).P(1L6C4) est invalide ce qui permet de prolonger P(4L6C5) via le 1L4C6 et d'obtenir quelques placements supplémentaires par croisement des deux pistes de JP(4B5).
Sur la grille alors bien simplifiée, On utilise un autre jeu de pistes JP(9B6) qui conduit à la solution par interaction des deux pistes.
Cette résolution de taille 4 établit donc la diificulté de la grille à un niveau TDP inférieur ou égal à 4. Mais sans doute peut-on faire mieux.



Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°575


Répondre à Claude Renault

De Claude Renault
(Publié le 19/01/2019)

@ Paolo : vous avez raison ; après vérification, j'ai fait une erreur

Répondre à Paolo

De Paolo
(Publié le 19/01/2019)

@ Claude Renault:
Bonjour Claude.Je ne pouvais pas prouver, en utilisant uniquement le TB, que L6C8 = 9 ou à l'identique que L6C8≠8. Pouvez-vous expliquer comment vous l'avez fait?

Répondre à Claude Renault

De Claude Renault
(Publié le 19/01/2019)

TB : 3 (3L1C2, 2L3C9,9L6C8) ; Paolo en trouve 2 ;
paire (29) en L9C5 ; le 2 couvre la grille en utilisant les croisements et les cases inter-actives;

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 19/01/2019)

@ Stéphane D. : Bonjour Stéphane. L'évaluation du niveau conventionnel d'une grille ne prend pas en compte la notion de backdoor considéré comme le hasard de la recherche. Ici le 9L1C1 est un backdoor ce qui vous donne le sentiment que la grille est facile.
C'est pourquoi le niveau de difficulté TDP nécessite de démontrer l'unicité de la solution, ici en prouvant que la piste issue du 9L3C2 est invalide. Une extension est nécessaire et le niveau TDP s'établit à 2, c'est à dire l'équivalent d'une grille de niveau conventionnel 12.

Répondre à Stéphane D.

De Stéphane D.
(Publié le 18/01/2019)

Bonjour
JP(9B1)donne très facilement la solution
Pas sur que ce soit un niveau 12 conventionnel ?
Crdlt

Répondre à Paolo

De Paolo
(Publié le 18/01/2019)

Bonsoir,
2 placements par les TB initiales.
P(9L1C1)=>couvre la grille
1)P(4L1C1) => contradiction
2)P(8L1C1) => contradiction=>solution.
ou
2 placements par les TB initiales.
P(9L8C5)=>couvre la grille
1)P(2L8C5).P(3L8C7) => contradiction
2)P(2L8C5).P(3L8C9) => contradiction=>solution.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 18/01/2019)

Après simplification de la grille par les TB, on exploite le doublet 29B8 avec le jeu de pistes JP(2L89C5) :
- P(2L9C5) couvre la grille.
- P(2L8C5).P(3B9) est invalide.
Ce qui établit à 2 la taille de cette résolution.
A noter que le choix de la paire 3B9 pour réaliser l'extension de P(2L8C5) est fait en remarquant que P(3L8C7) est opposée à P(2L9C5) donc contient les candidats de P(2L8C5) ce qui facilite son développement et permet de démontrer que le 3L8C9 est solution, et avec lui plusieurs autres candidats de la grille. Toutes choses qui facilitent le développement de JP(2L89C5).



Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°574


Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 19/01/2019)

@ François C : Merci pour ces explications que je vais fouiller au mieux.

Répondre à François C

De François C
(Publié le 18/01/2019)

@ Francis Labetoulle :

D’autre part si c’est la notion de "profondeur" qui vous gêne, c’est très simple :
pour avoir la profondeur d’une résolution il suffit de l’écrire sous forme d’arbre, à raison d’un "chemin" par ligne, chaque chemin aboutissant à une contradiction où à une solution.
On repère alors le(s) chemin(s) le plus long, c’est-à-dire qui comprend le plus grand nombre d’extensions, soit N. La profondeur de la résolution est alors N+1 (on pourrait choisir de dire qu’elle vaut N, c’est purement conventionnel).
Exemple : dans ma résolution (ci-dessus) il y a 4 lignes, c’est-à-dire 4 chemins comprenant tous une seule extension, donc la profondeur est égale à 2.

Si j’écris votre résolution sous forme d’arbre cela donne :
P(9L6C7) . P(1L6C6) => contradiction
P(9L6C7) . P(1L6C1) => solution
P’(9L6C7) . P(3L4C2) => contradiction
P’(9L6C7) . P(3L4C4) . P(2L5C5) => contradiction
P’(9L6C7) . P(3L4C4) . P(2L5C7) => contradiction

La profondeur est donc ici égale à 3.

Mon programme explore toutes les possibilités de profondeur 2 en moins de 30 secondes, mais sur une profondeur 3 cela demanderait sûrement plusieurs heures.
C’est pourquoi, pour cette grille, j’ai pu signaler les 4 possibilités de résolutions de profondeur 2 et de taille 3, mais je ne connais pas les possibilités de profondeur 3 et de taille 3 (j’en ai trouvé une mais je ne sais pas s’il y en a d’autres, ni combien).

Répondre à François C

De François C
(Publié le 18/01/2019)

@ Francis Labetoulle :

Bonjour,
pour ce qui concerne les analyses de JC, je ne m'y suis jamais plongé non plus et ce n'est pas ma tasse de thé !

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 17/01/2019)

@ François C :
Merci pour ces "précisions" que je n'ai hélas pas pu appréhender en profondeur, de même d'ailleurs que l'approche méthodologique de JC.
Je ne désespère pas d'y parvenir... Avec un peu d'aide peut-être.
Bonne soirée

Répondre à François C

De François C
(Publié le 17/01/2019)

@ Francis Labetoulle :

Ce que j’ai dit dans mon message précédent est inexact :
ce n’est vrai que si l’on cherche une arborescence de profondeur <= 2 (c’est-à-dire avec des bifurcations éventuelles mais sans bifurcation dans une bifurcation).
Avec une profondeur de 3, cette grille présente d’autres possibilités que celles que j’ai signalées.

Néanmoins, pour ce qui est des résolutions de profondeur <= 2, elle présente très peu de possibilités de taille 3 par rapport à d’autres grilles de niveau TDP = 3.

Répondre à François C

De François C
(Publié le 17/01/2019)

@ Francis Labetoulle :

Bonsoir,
Il se trouve que pour cette grille vous aviez en effet peu de chances de trouver une résolution de taille 3 « à la main » car, sauf erreur de ma part, il n’y a que 4 entités de départ qui donnent une résolution de taille 3 et aucune ne donne une taille 2 :
L4C2 (la plus simple et que j’ai choisie)
L3C4
3L2
1L3

… à moins peut-être de faire des analyses comme celles de JC.

Donc on peut dire que cette grille est de niveau TDP 3+

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 16/01/2019)

Bonjour
Voilà une solution de taille 4, sauf erreur, que je n'avais pas proposée, François ayant "tué le match".
P= P(9L6C7) puis P.P(1L6C6) invalide et P.P(1L6C1) solution. Soit P' son antipiste.
P'.P(3L4C2) invalide, de même que P'.P(3L4C4).P(2L5C5) et P'.P(3L4C4).P(2L5C7).

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 16/01/2019)

@ Paolo : Bonjour Paolo. Je pense que j'ai commis une erreur car je ne retrouve pas l'invalidité directe de P(5L4C3).P(4L1C2). Il faut donc une extension de plus et votre résolution, comme la mienne, est bien de taille 5. Avec mes excuses !

Répondre à Paolo

De Paolo
(Publié le 16/01/2019)

@ Robert Mauriès
Bonjour Robert.
Je ne comprenais pas pourquoi dans la résolution de taille 5 de mon post précédent, la démonstration de l’invalidité de la piste P(8L6C1).P(5L4C3).P(2L5C5) n’était pas nécessaire. Aussi, je ne sais pas si connecté à ce que je viens de dire, je ne pourrais pas prouver dans votre résolution de taille 4 l’invalidité de la piste P(5L4C3).P(4L1C2). Pouvez-vous me dire où est mon erreur?

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 15/01/2019)

@ François C : Belle résolution de taille 3 François, ceci correspond au niveau 15 conventionnel de la grille.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 15/01/2019)

@ Claude Renault : Bonjour Claude.
La notation correcte est "le point" et non la virgule, P(A).P(B) signifiant que l'on prolonge P(A) avec P(B). Cette notation est assimilable à un produit de convolution, et c'est ce que j'ai appelé une extension ou une P-Piste (voir Théorie des pistes ci-contre).

Répondre à François C

De François C
(Publié le 15/01/2019)

Bonjour,

Les TB donnent 5 placements puis un alignement.
Ensuite je pars du jeu de pistes de L4C2:

P(1L4C2).P(2L6C4) => contradiction
P(1L4C2).P(2L6C7) => contradiction
P(3L4C2).P(9L6C6) => contradiction
P(3L4C2).P(9L6C7) => solution

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 15/01/2019)

@ Paolo : Bonjour Paolo. Nos deux résolutions sont très voisines. Mais dans la votre l'extension P(8L6C1).P(5L4C3).P(2L5C5) n'est pas nécessaire.

Répondre à Paolo

De Paolo
(Publié le 15/01/2019)

Bonjour,
5 placements par les TB initiales.
P(1L6C1) => couvre la grille
1)P(8L6C1).P(5L5C3) => contradiction
2)P(8L6C1).P(5L4C3).P(2L5C5) => contradiction
3)P(8L6C1).P(5L4C3).P(2L6C4).P(1L1C2) => contradiction
4)P(8L6C1).P(5L4C3).P(2L6C4).P(3L1C2) => contradiction
5)P(8L6C1).P(5L4C3).P(2L6C4).P(4L1C2) => contradiction=>solution.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 15/01/2019)

Après simplification de la grille par les TB (5 placements), la paire 5B4 conduit à la solution avec P(5L5C3).P(3L1C26) qui couvre la grille, mais l'invalidité de P(5L4C3) assurant l'unicité demande plusieurs extensions, à partir des trois candidats de L1C2 par exemple.



Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°573


Répondre à François C

De François C
(Publié le 12/01/2019)

Pardon, c'est la 1ere proposition de Paolo !

Répondre à François C

De François C
(Publié le 12/01/2019)

Bonsoir,

il y avait aussi le triplet de la case L8C3.

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 11/01/2019)

Bonjour
Cheminement quasi identique à ceux proposés.
P(2L6C5) invalide.
Son antipiste P' = P(2L8C5) se développe bien.
Enfin P'.P(1L4C3) et P'.P(1L8C3) se croisent jusqu'à couvrir la grille. J'écris cela à cause de l'aspect "ludique" associé et sans me soucier ( à tort bien sûr) des propriétés inconnues des pistes invalides...

Répondre à Paolo

De Paolo
(Publié le 11/01/2019)

Bonjour,
4 placements par les TB initiales.
P(5L8C3) => couvre la grille
1)P(1L8C3) => contradiction
2)P(2L8C3) => contradiction=> solution
ou
4 placements par les TB initiales.
P(8L3C8) => couvre la grille
1)P(8L3C9).P(2L8C3)=> contradiction
2)P(8L3C9).P’(2L8C3)=> contradiction=> solution

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 11/01/2019)

Résolution de taille 2 qui exploite les 2 de la grille.
Après réduction par les TB (4 placements et 3 alignements), puis :
- P(2L9C1).P(2L2C46) couvre la grille.
- P(2L9C1).P(2L2C19) invalide.
- P(2L8C3) invalide.



Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°572


Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 10/01/2019)

@ Robert Mauriès : Bonsoir
J'ai effectivement corrigé l'erreur de frappe qui s'était glissée dans ma solution. Encore merci à Paolo pour me l'avoir signalée.

Répondre à Claude Renault

De Claude Renault
(Publié le 10/01/2019)

TB : 3
(1-9)L5C3 : 1 invalide, 9 valide
(15-37)L7C3 : 37 invalide, 15 valide
(2-48)L8C1 : 48 couvre la grille, 2 invalide

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 10/01/2019)

@ Paolo et Francis : Bonjour à tous les deux. Francis n'a pas écrit P(6L5C6) dans la présentation de sa résolution mais bien P(6L5C7) .
C'est Paolo qui a mal lu ou Francis qui a corrigé sont texte initial à la suite de la remarque de Paolo ?

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 09/01/2019)

@ Paolo : Merci de m'avertir de cette coquille. Il s'agit en fait de P(6L5C7), qui est bien invalide,
J'espère ne pas avoir commis d'autres fautes de frappe...

Répondre à François C

De François C
(Publié le 09/01/2019)

Bonjour,

Les TB => 3 placements, 4 alignements et un triplet.
Ensuite, en considérant les 1 de B4:
P(1L4C2) => contradiction.
P(1L5C3) => contradiction.
P(1L6C2) => solution
P(1L6C3) => contradiction

A noter : la simplicité de ces 4 pistes qui se construisent toutes à l’aide des seules règles d’unicité (induction).

Répondre à Paolo

De Paolo
(Publié le 09/01/2019)

@ Francis Labetoulle

Bonjour,

Votre résolution n'est pas claire pour moi. La piste P (6L5C6) n’est pas valide depuis le début. La première piste invalide est probablement P (6L4C4).

Répondre à Paolo

De Paolo
(Publié le 09/01/2019)

Bonjour,
3 placements par les TB initiales.
P(2L6C1) => couvre la grille
1)P(6L6C1).P(1L4C2)=> contradiction
2)P(6L6C1).P(9L4C2)=> contradiction
3)P(8L6C1)=> contradiction => solution.
ou
3 placements par les TB initiales.
P(9L3C5) => couvre la grille
1)P(9L1C5).P(4L5C7)=> contradiction
2)P(9L1C5).P(6L5C7)=> contradiction
3)P(9L1C5).P(9L5C7)=> contradiction => solution.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 09/01/2019)

Une autre résolution de taille 3 après réduction initiale de la grille par les TB (3 placements), résolution basée sur l'exploitation des paires 6B4 et 7B7 :
- P(7L7C1).P(6L4C1) -> solution
- P(7L7C1).P(6L6C1) -> invalide
- P(7L7C3).P(6L4C1) -> invalide
- P(7L7C3).P(6L6C1) -> invalide

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 09/01/2019)

Bonjour
Après TB dont 3 placements voici, en attendant " mieux" un taille 3 à partir de L5 qui semble prometteur.
P(6L5C7) invalide puis P(1L5C3) invalide ce qui permet quelques placements.
Enfin, avec les 9 de L1: P(9L1C5) invalide tandis que P(9L1C9) couvre la grille.



Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°571


Répondre à Claude Renault

De Claude Renault
(Publié le 08/01/2019)

après reprise :
TB : 10
5C8L14 : 5L1 invalide, 5L4 valide
1-4L2C6 : 1 invalide, 4 couvre la grille

Répondre à Claude Renault

De Claude Renault
(Publié le 07/01/2019)

@ Robert Mauriès : bonjour Robert ; après vérification, je suis parti avec 11 (et non pas 10) résolutions par TB ce qui explique mon résultat ; ceci dit, je n'ai toujours pas reçu l'annonce de cette grille ; ça arrive de temps en temps et reste inexplicable

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 07/01/2019)

@ Claude Renault : Bonjour Claude. Je pense que vous avez des erreurs dans le tracé des deux pistes, car pour ma part je ne trouve pas que ce jeu de pistes conduise au résultat sans des extensions (bifurcations).

Répondre à Claude Renault

De Claude Renault
(Publié le 06/01/2019)

TB : 10
L1C7 : 4 couvre la grille, 5 invalide
ai-je fait une erreur bénéfique ?

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 05/01/2019)

Bonjour à tous
Un autre taille 3, sauf erreurs, après TB dont 10 placements:
P(9L6C9) invalide, P(9L6C8) invalide donc validation de 1L6C8 et 9 L6C1.
Restent deux 4 dans C1: P(4L1C1) invalide , tandis que P(4L8C1) couvre la grille. C'est d'ailleurs un "backdoor" de taille 1.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 05/01/2019)

@ François Cordoliani : Bonjour François.
Pour changer de pseudo, il faut aller dans "votre espace personnel" en haut à droite de la page, puis cliquer sur l'onglet "vos identifiants" pour utiliser le formulaire permettant de changer les informations qui y figurent : nom (pseudo), mail et passe.

Répondre à François C

De François C
(Publié le 05/01/2019)

Bonjour et bonne année 2019 à tous !

Tout d’abord une question à Robert : comment faire pour changer de pseudo ?

La grille : les TB => 10 placements puis 2 alignements puis une paire.
Ensuite en partant de la case L2C2 :
P(1L2C2) => contradiction
P(4L2C2) => contradiction
P(8L2C2) ne donne pas grand-chose (un simple alignement) mais avec une extension par les 8C8 on aboutit à la solution :
P(8L2C2).P(8L5C8) => solution
P(8L2C2).P(8L8C8) => contradiction
Donc solution unique et résolution de taille 3.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 05/01/2019)

Pas de commentaire pour l'instant.



Ajouter un commentaire | Voir la résolution | Résoudre la grille

Grille N°570


Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 04/01/2019)

@ Frandou : Bonjour. Oui cette grille existe bien en 2018, mais j'avais oublié de la publier. Elle l'est maintenant !

Répondre à Frandou

De Frandou
(Publié le 03/01/2019)

@ Robert Mauriès :
Bonjour,
Merci pour vos vœux, je souhaite aussi bonne année à tous les adeptes de la TDP.
A propos est-ce qu’il y a eu une grille 569 ?

Répondre à Claude Renault

De Claude Renault
(Publié le 03/01/2019)

9B4 : 9L4C3 invalide, 9L5C1 valide et couvre la grille

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 02/01/2019)

@ Francis Labetoulle : Belle résolution de taille 1 Francis !
On peut noter aussi que les deux pistes conduisent à la solution par simples interactions sans en invalider aucune.

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 01/01/2019)

Bonjour
Avec les 6 de B4 : P(6L4C3) couvre la grille alors que P(6L5C2) est invalide.

Répondre à Robert Mauriès

De Robert Mauriès
(Publié le 01/01/2019)

Bonne année 2019 à tous !

En savoir plus ...


Nos partenaires














assistant-sudoku.com est la propriété de Robert Mauriès (assistant.sudoku(AT)free.fr). Toute reproduction interdite sans son autorisation.