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°464


Répondre à Paolo

De Paolo
(Publié le 20/02/2018)

Bonsoir,
1)7 placements par les TB iniziales.
2)Antipiste 7L4C2=> contradiction (L9C1= Ø) =>validation P7L4C2=>solution.
ou
1)7 placements par les TB iniziales.
2)P(348)L2C4=> contradiction (L5C3= Ø) =>validation P1L2C4=>solution.


Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 19/02/2018)

Les pistes issues des 4 de L7 se croisent suffisamment pour couvrir la grille.
De manière équivalente avec des ensembles:
P(67L9C9) couvre la grille et son antipiste P(14L9C9) est invalide.

Répondre à Robert Mauriès

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

7 placements par les TB et un jeu de pistes JP(6C6) ou JP(6L7).



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

Grille N°463


Répondre à Paolo

De Paolo
(Publié le 16/02/2018)

1) 3 placements par les TB iniziales.
2) 1L4C2 => contradiction L3C6=Ø=>-1L4C2+19 placements
3) 1L5C2=> contradiction L9C1=Ø=>-1L5C2=>solution.

ou

1)3 placements par les TB iniziales.

2)1L8C2=>couvre la grille

3)1L8C1=> petit piste comportant 1canditat

4)Bifurcation de (3) avec 1L4C9 et 9L4C9

5)1L8C1+1L4C9=> contradiction (L4C7=Ø)

6)1L8C1+9L4C9=> contradiction (L3C6=Ø)=>-1L8C1=>solution.

Répondre à Richard

De Richard
(Publié le 16/02/2018)

Bonsoir,

3 placements par les TB initiales. Voir aussi la paire cachée (36) en L9C23.

Étudions les 1 de la ligne 4 :

(1) 1L4C2 => contradiction via une réduction bloc/ligne : dans la colonne 2 les 5 sont cantonnés dans le bloc 7 (L78C2) ce qui force 5L9C6 à faire partie de la piste.

(2) 1L4C9 => piste étendue comportant 18 candidats via triplet 1-6-7 dans le bloc 4 en L4C3 et L5C12, qui force 5L4C2 à faire partie de la piste.

On place donc les 19 candidats de la piste 2.

On étudie maintenant les 6 de la ligne 4 : le croisement des pistes suffit à résoudre la grille sans avoir besoin d'aller au bout des 2 pistes. En effet à un moment on peut placer 2L3C2 et la grille tombe.

Pour être complet :

(3) 6L4C3 => contradiction.
(4) 6L4C7 => résolution.

Solution de taille 2 qui maintient le niveau TDP de la grille à 2 maximum.

Répondre à Francis Labetoulle

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

Bonsoir
P(2L3C9) invalide.
P(2L5C9) et bifurcations des 4 de B5 qui couvrent la grille par croisements de pistes.

Répondre à Robert Mauriès

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

Après réduction de la grille par les TB (3 placements), résolution de taille 2 avec deux jeux de pistes successifs :
- JP(2B3), P(2L3C9) invalide, 19 placements des candidats de P(2L2C7).
- JP(1B7), P(1L8C1) invalide, P(1L8C2) couvre la grille.



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

Grille N°462


Répondre à jeanluc

De jeanluc
(Publié le 19/02/2018)

Bonjour
je pense que vous êtes passé à autre chose mais pour ma part, je suis bloqué sur vos raisonnements, ma piste 8L7C9 comporte plus de 23 candidats et ne sont pas liés à une antipiste.
Par les TB, on place 2 chiffres et on élimine 15 candidats (6 dans le B1, 2 dans le B4 et 7 dans le B5). Est-ce que vous êtes d'accord avec cela?
Merci

Répondre à Robert Mauriès

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

@ jeanluc : Pour compléter les réponses de Richard et Paolo, j'ajoute que lorsqu'on construit une antipiste P'(E) issue d'un ensemble E de candidats (ici E={3L9C4, 8L7C9}) trois possibilités s'offrent à nous en général :
- soit l'antipiste couvre la grille ce qui donne la solution,
- soit l'antipiste est invalide et on génère un jeu de pistes conjuguées dont on peut exploiter les croisements.
- soit on étudie l'interaction du jeu de piste-antipiste P(E) et P'(E) issues de E (jeu de 3 pistes en général) qui est un jeu de pistes conjuguées .
On trouve donc toujours ou presque un certain intérêt à étudier des antipistes.

Répondre à Paolo

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

@ jeanluc :
La piste 8L7C9 ne se révèle pas immédiatement invalide. Elle est composée de 23 candidats, dont 10 sont liés à l'antipiste 3L4C9. Pour cette raison, la bifurcation est nécessaire pour prouver l'invalidité de la piste 8L7C9 et par conséquent la validité de l'antipiste 8L7C9. L'antipiste 8L7C9 ne couvre pas la grille sans les 10 certains candidats de l'antipiste 3L4C9. C'est pourquoi il est nécessaire de montrer que la piste 3L4C9 est invalide.

Répondre à Richard

De Richard
(Publié le 15/02/2018)

Bonsoir,

@ Robert : effectivement étant donné que je construis les pistes vraiment à partir de coloriage virtuel, j'utilise toujours le terme de candidats virtuels.
C'est l'habitude de fréquenter le site de Bernard. :)

@ Jean-Luc : personnellement je ne trouve pas que 1L7C3 fait partie de la piste issue du 8L7C9. Dans le bloc 7 je trouve 2L7C2, 8L8C2 et 9L9C3 (issus de la piste) mais rien d'autre.
La méthode que j'ai utilisée consiste à utiliser 2 pistes issues de candidats qui sont indépendants l'un par rapport à l'autre et une 3ème piste est créée en supposant que les 2 candidats générateurs des 2 premières pistes n'existent pas (l'anti-piste).
Ici l'anti-piste a abouti à la résolution de la grille (pas de 3L4C9, donc 3L4C4 virtuellement validé, et pas de 8L7C9, donc 8L6C9 virtuellement validé).

Répondre à jeanluc

De jeanluc
(Publié le 15/02/2018)

erreur lire:
Quel est l'intérêt de cette piste 3L4C9?

Répondre à jeanluc

De jeanluc
(Publié le 15/02/2018)

@ Richard :
Bonjour
la piste 8L7C9 aboutit à une contradiction sans faire de bifurcation sur les 1 du bloc 7 puisque le 1L7C3 fait partie de cette piste. J'imagine que suite à cela vous validez le 8L6C9 (et pas uniquement avec la piste 3L4C9 sinon quelque chose m'échappe)
Quel est l'intérêt de cette piste 3L6C9? Qu'Est-ce qui vous fait associer ces 2 pistes?
Cordialement

Répondre à Robert Mauriès

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

@ Richard : Oui, je comprend ici que ne sachant pas quel est le statut de la piste P(8L7C9) vous utilisez ces termes, mais je fais référence à d'autres grilles, par exemple la 459 avec JP(3B3), où connaissant le statut de la piste vous utilisez encore cette terminologie.
La notion de candidat virtuel est propre au coloriage virtuel par opposition à celle de candidat générique. Mais en matière de technique des pistes cette distinction n'existe pas.
On pourrait donc penser qu'il y a une définition propre à la technique des pistes de cette notion de candidat virtuel, ce qui n'est pas le cas.
Cela dit, je n'en fait pas une affaire, car tout le monde comprend je crois de quoi vous voulez parler !
Bien cordialement, Robert.

Répondre à Richard

De Richard
(Publié le 15/02/2018)

Bonjour,

@Robert : c'est l'anti-piste issue de (1) et (2) qui couvre la grille.

La piste (2) aboutit à une contradiction après la bifurcation avec les 1 du bloc 7.

Répondre à Robert Mauriès

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

@ Richard : Pourquoi, une fois acquise l'invalidité d'une des deux pistes d'un jeu de pistes, utilisez-vous le termes de "candidats virtuels" pour les candidats de la piste valide ? Ces candidats sont placés et sont bien réels !

Répondre à Paolo

De Paolo
(Publié le 14/02/2018)

Bonsoir,

Je n'ai pas trouvé de solution de taille 2 différente de celle de Robert Mauriès.
Je pense que l'invalidité de la piste P(8L5C7) est décisive.

Répondre à Richard

De Richard
(Publié le 14/02/2018)

Bonsoir,

2 placements par les TB initiales. Voir également la paire cachée (17) en L56C4.

Soient la piste (1) issue de 3L4C9 et la piste (2) issue de 8L7C9 :

(1) 3L4C9 => contradiction via une réduction bloc/ligne : dans la ligne 8 les 8 sont cantonnés bloc 9 ce qui force 8L6C9 à faire partie de la piste.

(2) 8L7C9 => piste très étendue comportant au moins 20 candidats virtuels.

L'anti-piste issue de (1) et (2) est solution de la grille !

Bifurcation de (2) avec les 1 du bloc 7 :

(3) 8L7C9 + 1L7C1 => contradiction.

(4) 8L7C9 + 1L7C3 => contradiction.

Ceci constitue donc une solution de taille 3.

@ Francis : le calcul de niveau d'une grille est estimé essentiellement à partir du nombre de candidats, du nombres de liens forts directs et du nombre de liens faibles internes.
Voir là : https://www.coloriagevirtuel.fr/app/download/8322949085/Niveau+d%27une+grille.pdf?t=1509875597
C'est donc bien une estimation.
Nous utilisons souvent des liens forts de groupes qui, si vous lisez le document, ne sont pas pris en compte dans le calcul du niveau de la grille.
Ceci peut éventuellement expliquer cela et peut-être certainement d'autres choses. Mais ça c'est une autre histoire.

Répondre à Paolo

De Paolo
(Publié le 14/02/2018)

Bonjour,

1) 2 placements par les TB iniziales.

2) Antipiste P(3L3C5) => contradiction (L7C1=Ø)=>validation P(3L3C5) (10 placements)

P(9L45C3)=>couvre la grille

3) P(9L9C3) piste comportant 5 candidats virtuels

Bifurcation de (3) avec 8L5

3) P(9L9C3)+P(8L5C3)=> contradiction (L3C3=Ø)

4) P(9L9C3)+P(8L5C7)=> contradiction (L1C2=Ø)=>-9L9C3=>valdation P(9L45C3)=>solution.

Répondre à Robert Mauriès

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

Après réduction de la grille par les TB, résolution de taille 2 avec 2 jeux de pistes successifs :
- JP(3L4) -> P(3L4C9) invalide, 3L4C4 placé avec 9 autres candidats.
- JP(8L5C7, 8L6C79) -> P(8L5C7) invalide, P(8L6C79) couvre la grille.



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

Grille N°461


Répondre à Claude Renault

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

Antipiste du 2L9C8 invalide valide la piste ; paire 46L2C8 ; 6 invalide, 4 couvre la grille

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 13/02/2018)

Un "autre" taille 2 : P(4L3C7) invalide donc 2L3C7, puis P(4L3C5) couvre la grille alors que P(4L2C6) est invalide.
A Richard : cela montre, me semble-t-il, l'aspect relatif de la difficulté d'une grille, avec des distortions qui mériteraient une analyse?

Répondre à Paolo

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

Deux autres solutions

1)5 placements par les TB iniziales.

2) P2L9C7 => contradiction(L1C3=Ø) =>-2L9C7+ 4 placements

3) P1L6C5=> contradiction(L4C4=Ø) =>-1L6C5=>validation P5L6C5=>solution.

ou

1)5 placements par les TB iniziales.

P(139)L5C6=>couvre la grille

2) P8L5C6 => piste comportant 1 candidat virtuel

Bifurcation de (2) avec P8L9C5 et P(46)L9C5

3) P8L5C6+P8L9C5=> contradiction(L9C1=Ø).
4) P P8L5C6+P(46)L9C5=> contradiction(L7C2=Ø)=>-8L5C6 et validation P(139)L5C6)=>solution.

Répondre à Paolo

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

Bonjour,

1)5 placements par les TB iniziales.

P4L3C5=>couvre la grille

3) P2L3C5 => contradiction(L1C3=Ø) =>-2L3C5
4) P5L3C5)=> contradiction(L4C1=Ø) =>-5L3C5=>solution.

Répondre à Robert Mauriès

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

Après réduction de la grille par les TB (5 placements), résolution de taille 2 avec deux jeux de pistes successifs :
- JP(2B9) -> P(2L9C7) invalide, 2L9C8 placé + 3 placements
- JP(3B3) -> P(3L1C8) invalide, 3L3C8 placé, solution et unicité.



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

Grille N°460


Répondre à Robert Mauriès

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

@ Claude Renault : Je ne crois pas avoir écrit, en dehors de la première édition de mon livre, que les formations en croix (x-wing) faisaient partie des techniques de base, ni dans mon livre (2ème et 3ème édition), ni dans le document "Théorie des pistes" , ni dans la page "Technique de base" ci-contre. J'ai retiré les X-wing des TB après un débat sur le sujet et pour définir correctement la notion de niveau TDP et de taille d'une résolution.
En revanche j'ai écrit que l'on pouvait utiliser les méthodes expertes (x-wing, Swordfich, etc...) dans le cadre de la technique des pistes.
Mais s'agissant d'établir le niveau TDP ou la taille d'une solution, seules les TB doivent être utilisées.

Répondre à Claude Renault

De Claude Renault
(Publié le 12/02/2018)

@ Robert Mauriès : Bonjour Robert
Vous avez toujours dit que vous acceptiez la formation en croix en tant que procédure de base ; je ne vois pas pourquoi on n'y inclurait pas ce que j'appelle pseudo-formation en croix qui en est un cas particulier quand la rangée qui contient l'une des paires possède un ou deux candidats supplémentaires dans l'un des blocs

Répondre à Richard

De Richard
(Publié le 11/02/2018)

Bonsoir,

@ Francis : la grille d'aujourd'hui du site de Bernard Borrelly est de niveau TDP 2 au maximum.
Je doute qu'on puisse trouver une solution de niveau TDP égal à 1 mais bon, on ne sait jamais.

Répondre à Robert Mauriès

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

@ Richard et Claude : Cette formation finned X-Wing des 7 n'est pas une technique de base, elle est équivalente à un jeu de pistes issues des 7C1 ou des 7L1.

Répondre à Robert Mauriès

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

@ Paolo : Oui, toutes les techniques complexes de résolution peuvent être remplacées par des jeux de pistes à condition d'y associer, quand c'est nécessaire, des extensions de pistes (bifurcations).

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 11/02/2018)

Parmi d'autres choix les 6 de C7 permettent d'obtenir un taille 1. Ce qui est surprenant c'est l'obligation apparente d'obtenir le résultat avec un jeu de deux pistes. Le XYZ- wing de B7 résout le problème....
De même on obtient un taille 3 ( et peut-être mieux?) dans la grille du dimanche 11/02/18 de coloriage virtuel, réputée de niveau 17, en remarquant que P(9L7C7) est invalide.

Répondre à Paolo

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

@ Robert Mauriès :

Je crois que toutes les éliminations individuelles obtenues avec (basic fish,finned fish, complex fish, alternating inference chains, forcing chains) peuvent toujours être obtenues avec des contradictions des pistes obtenues avec l'élément à éliminer alors que l'inverse n'est pas vrai. La question que je me pose est de savoir si les méthodes plus complexes telles que (SK loop, multifish, multi sector locked sets et le même exocet) qui déterminent un nombre élevé de éliminations et qui sont efficaces lors de la résolution des schémas les plus difficiles peuvent être traduites et incorporées avec des jeux de pistes de la technique des pistes.

Répondre à Richard

De Richard
(Publié le 11/02/2018)

Bonjour Claude,

Vous avez vu juste.
Il y a bien un "finned X-Wing" avec les candidats 7 en colonne 1 et 4 qui
permet de supprimer les candidats 7 de L2C5 et de L9C4 et donc de placer
directement 5L9C4. La grille tombe alors facilement.

Répondre à Claude Renault

De Claude Renault
(Publié le 11/02/2018)

Je ne sais pas si j'ai résolu la grille par erreur mais, en la traitant par les TB, j'ai trouvé une pseudo formation en croix dans l'écriture des 7 permettant la suppression de 7L7C3, 7L9C4 et 7L2C5 à la suite de quoi j'ai (sauf erreur) résolu la grille ?

Répondre à Richard

De Richard
(Publié le 11/02/2018)

Bonjour,

16 placements initiaux également.

Solution en utilisant des paires d'ensemble dans la case L9C1 :
(1) (56)L9C1 => résolution de la grille.
(2) (78)L9C1 => contradiction.

Il n'est nul besoin de développer les pistes beaucoup. En effet le croisement
des pistes permet à un moment de placer 7L1C4 et, dès lors, la grille tombe.

Répondre à Paolo

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

Bonjour,

1)16 placements par les TB iniziales.
P7L2C5=>contradiction=>-7L2C5=>solution.

Eureka Sudopedia
[7L2C5-7L2C1=7L9C1-7L7C3 et 7L2C5-7L12C4=7L9C4-7L7C56]=>contradiction (aucun 7 dans L7)=>-7L2C5=>solution

Répondre à Robert Mauriès

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

Après réduction de la grille par les TB (16 placements), un jeu de pistes suffit pour terminer la grille et assurer l'unicité de sa solution.
Les deux pistes du jeu de pistes JP(7L1) qui ont en commun le doublet caché 27L7C56 se croisent sur le 6L8C6 et le 6L7C8 qui sont solutions de la grille, ce qui suffit pour terminer celle-ci par les TB. 6L8C6 et 6L7C8 sont donc des backdoors (il y en bien d'autres).



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

Grille N°459


Répondre à Robert Mauriès

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

@ Richard : Bravo Richard pour cette résolution de taille 2. Cela me fait voir d'ailleurs que je n'avais pas besoin du 3ème jeu de piste dans la résolution que j'ai proposée, puisque P(8L4C1) couvre la grille si on remarque la paire cachée 15C6, ce que je n'avais pas vu.

Répondre à Paolo

De Paolo
(Publié le 10/02/2018)

Bonsoir,

Une autre solution
1)1 placement par les TB iniziales.
2) 9L5C3 => contradiction(L8C1=Ø) =>-9L5C3+ 9 placements
3) P(39L4C6)=> contradiction(L4C4=Ø) =>-39L4C6=>validation P(28L4C6)=>solution.

ou

3) P(3L89C5)=> contradiction(L9C5=Ø) =>-3L89C5=>validation P(3L78C6)=>solution.

ou

3) P(6L78C8)=> contradiction(L9C2=Ø) =>-6L78C8=>validation P (6L7C7;6L8C9)=>solution.

Répondre à Richard

De Richard
(Publié le 10/02/2018)

Bonjour,

1 seul placement par les TB initiales.

On commence par étudier les 3 du bloc 3 :

(1) 3L2C9 => contradiction via une réduction bloc/ligne : dans le bloc 6 les 7 sont cantonnés colonne 7 ce qui force 7L9C9 à faire partie de la piste.
(2) 3L3C9 => petite piste comportant 7 candidats virtuels.

On place donc les 8 chiffres de la piste (2) : 4L2C4, 9L2C5, 4L3C3, 8L3C4, 7L3C6, 3L3C9, 3 L5C3 et 9L6C3.
Facultatif : on supprime les candidats 5 de L1C89 au vu de la paire (15) évidente de la ligne 1. On peut aussi voir la paire cachée (29) dans le bloc 8 en L8C6 et L9C4.

On termine par des paires d'ensemble dans la case L4C1 :

(3) (24)L4C1 => très rapide contradiction (pas de 7 possible dans le bloc 4).
(4) (78)L4C1 => résolution de la grille via la paire (78) de L14C1 puis via la
paire (15) de L16C6.

En étant jusqu'au boutiste le croisement des 2 pistes permettrait de trouver la solution sans avoir besoin d'aller au bout des 2.
Toutefois ce n'est pas très utile vu le fait que la contradiction de (3) est "quasi" instantanée.

Ceci constitue donc une solution de taille 2. Le niveau TDP de la grille est donc de 2 au maximum.

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 09/02/2018)

Un autre "taille 3":
P(7L4C7) couvre la grille.
Concernant son antipiste, P(6L4C7), commençons par les 4 de C3:
P(4L6C3) s'avère invalide et P(4L3C3, avec les 8 restants de L5 donne deux pistes invalides.

Répondre à Claude Renault

De Claude Renault
(Publié le 09/02/2018)

b3-j4 en L3C3 : le JP bloque ; ajoutons la piste indépendante v8L3C6 qui s'avère opposée à j donc prolongée par b ; v est trouvée rapidement invalide ce qui résout le 7L3C6, rend b invalide et j valide ; le 7L4C7 couvre alors la grille

Répondre à Paolo

De Paolo
(Publié le 09/02/2018)

Une autre solution

1)1 placement par les TB iniziales.
2) 9L5C4 =>couvre la grille
3) 9L46C4=> contradiction(L6C6=Ø) =>-9L46C4
4) 9L2C4 => contradiction(L8C6=Ø)=>-9L2C4+ 1 placement
5) 9L9C4 => contradiction(L5C4=Ø)=>solution

Répondre à Paolo

De Paolo
(Publié le 09/02/2018)

Bonjour,
1) 1 placement par les TB iniziales.
2) P6L4C4 =>couvre la grille
3) P2L4C4=> contradiction (L3C4=Ø)
4) P8L4C4=> contradiction (L6C4=Ø)
5) P9L4C4=> contradiction (L9C2=Ø=>validation P6L4C4=>solution.

Répondre à Robert Mauriès

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

Après simplification de la grille par les TB (1 placement), résolution de taille 3 avec des jeux de pistes successifs :
- JP(4B2) -> 7 placements.
- JP(8B4) -> 11 placements.
- JP(1B2) -> solution unique.
A noter que la grille admet le 3L7C6 comme backdoor.



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

Grille N°458


Répondre à Paolo

De Paolo
(Publié le 07/02/2018)

Bonsoir,

Une autre résolution

1) 4 placements par les TB iniziales.
2) P7L6C4 =>piste comportant 4 candidats virtuels

Bifurcation de (2) avec 6L8C2 et 6L8C7

3) P7L6C4+6L8C2=> contradiction (L7C5=Ø)
4) P7L6C4+6L8C7=> contradiction (L2C1=Ø)=>-7L6C4=>validation 7L6C9+5 placements

5) P7L6C9+antipiste 5L6C4=> contradiction (L1C8=Ø) =>validation P5L6C4=>solution.

Répondre à Paolo

De Paolo
(Publié le 07/02/2018)

Bonsoir,
1) 4 placements par les TB iniziales.
2) P5L3C5=>couvre la grille
3) P5L3C1 =>piste comportant 11 candidats virtuels
Bifurcation de (3) avec la case L6C2
5) P5L3C1+P1L6C2=> contradiction (deux certain 1 en C8)
6) P5L3C1+P3L6C2=> contradiction (L7C3=Ø)
7) P5L3C1+P6L6C2=> contradiction (L7C4=Ø) =>-5L3C1
8)P5L3C7=> contradiction (L2C1=Ø) =>-5L3C7=>solution.

Répondre à Robert Mauriès

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

Après simplification de la grille par les TB, on trouve plusieurs résolution de taille 4. En voici une utilisant les paires 7B6, 5B5 et 6B7 :
- La P-piste P(7L6C9).P(5L5C1) couvre la grille.
- La P-piste P(7L6C9).P(5L6C3) est invalide.
- La P-piste P(7L4C8).P(5L5C1) est invalide.
- La P-piste P(7L4C8).P(5L6C3) est invalide via une extension P(7L4C8).P(5L6C3).P(6B7) issue de 6B7.
Pour information j'indique que les notions de P-piste et d'extension sont définies dans le document "Théorie des pistes" de la colonne de gauche ci-contre.



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

Grille N°457


Répondre à Robert Mauriès

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

@ Claude Renault : Pour la grille N°456, je n'ai envoyé aucun mail, cette grille venant seulement compléter les débats sur l'Exocet lors de la grille N°455. C'est donc normal Claude que vous n'ayez rien reçu concernant cette grille.
En revanche, un mail a été adressé à tous les inscrits du site pour la grille N°457. Pensez à regarder vos mails indésirables où parfois ce genre de mail (mailing-list) se loge.

Répondre à Claude Renault

De Claude Renault
(Publié le 05/02/2018)

Paire 1-(45)?L3C2 valide le 1 ; paire 3-4L3C3 valide le 4 ; paire 1-4L8C7 valide le 1 et couvre la grille
Pour info : après résolution de la grille 455, je n'ai rien reçu et j'ai été surpris aujourd'hui en regardant le site de voir qu' on etait déjà rendu à la 457

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 05/02/2018)

Pour Richard:
La grille mentionnée ( sudokuwiki) est une petite merveille d'application du cas de base.
L'exocet (235L8C89) se résout aisément avec pistes annexes parfois (xwing ou fishs de JC).

Répondre à Paolo

De Paolo
(Publié le 05/02/2018)

3 placements par les TB iniziales.
2L6C7=>couvre la grille
P(1L6C7) => contradiction (L5C9=Ø)=>-1L6C7
P(7L6C7) => contradiction (L8C3=Ø)=>-7L6C7=>solution.

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 05/02/2018)

D'abord merci à Richard et à Robert pour ces exemples d'exocets. Le compendium à étudier, " c'est du lourd!".
Concernant la présente grille:
P(6L8C5) invalide puis les pistes issues des 7 de B8 se croisent (pas tout de suite...) pour couvrir la grille.

Répondre à Robert Mauriès

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

Après réduction de la grille par les TB (3 placements), résolution de taille 2 avec JP(1B9) :
- P(1L8C7) couvre la grille (1L8C7 backdoor).
- P(1L9C9) invalide via une extension issue de 7B1.
On peut aussi utiliser deux jeux de pistes successifs JP(7B8) puis JP(1B9) pour en exploiter seulement les validations de candidats par simple croisement (voir la résolution dans "Résolutions guidées").



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

Grille N°456


Répondre à Robert Mauriès

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

@ Paolo : Ravi de vous retrouver sur le forum Paolo. Votre résolution de taille 5 est plus conforme au niveau réel de cette grille. La résolution que j'ai proposée de taille 8 n'avait pour but que d'utiliser la configuration exocet de cette grille pour choisir des jeux de pistes, ce qui n'est pas, votre résolution en est la preuve, la meilleur méthode pour établir le niveau TDP.

Répondre à Paolo

De Paolo
(Publié le 05/02/2018)

Ma résolution.
1)Aucun placements par les TB iniziales.
Etude de la case L6C2
2) 3L6C2 => contradiction (L4C7=Ø)=>-3L6C2
3) 5L6C2 => contradiction (L9C2=Ø)=>-5L6C2
4) 7L6C2 => contradiction (L5C3=Ø)=>-7L6C2+ 2 placements
8L6C9=>couvre la grille
5) 8L6C3=> piste comportant 10 candidats virtuels.
Bifurcation de (5) avec 3L1C8 et 9L1C8.
6) 8L6C3+3L1C8 => contradiction (L6C1=Ø)
7) 8L6C3+9L1C8 => contradiction (L6C4=Ø) =>-8L6C3=>solution

Répondre à Robert Mauriès

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

Pour faire suite au débat très intéressant consacré à la configuration Exocet dans les commentaires de la grille précédente (N°455), vous trouverez une résolution par la TDP de la grille à laquelle Richard fait référence, grille proposée par Bernard Borrelly dans son blog (www.coloriagevirtuel.fr/blog/) et reprise ici sous le N°456.
Cette résolution par la TDP s'appuie sur l'existence de cette configuration exocet pour choisir les jeux de pistes.



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

Grille N°455


Répondre à Richard

De Richard
(Publié le 04/02/2018)

@Francis,

Je vous conseille cette grille :
http://www.sudokuwiki.org/Weekly_Sudoku.asp

Il y a un petit exocet bien sympathique.

Répondre à Francis Labetoulle

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

@ Richard : Effectivement j'avais omis les cas de présence de 9 ou 6 dans T1, et 2 ou 5 dans T2, cas que j'avais malgré tout vérifié antérieurement comme étant invalides.
Les cellules auxquelles vous faites allusion sont les cellules compagnons?, qui, par hypothèse, ne doivent pas contenir de candidats de base, si j'ai bien compris.
Je crois sincèrement avoir bien progressé sur le sujet cet après-midi. Encore une fois merci.

Répondre à Richard

De Richard
(Publié le 04/02/2018)

@Francis,

Pour ce qui est du premier point, même si 6 et 9 sont exclus de T2, ils sont
toujours présents dans T1, donc je ne vois pas pourquoi on devrait exclure ces 2 candidats de la base, et encore plus de T1 !
La seule combinaison qu'il est possible d'éliminer immédiatement est 6&9.

Petite précision, il y a une autre condition importante de validité d'un junior exocet :
* la case présente à côté de T1, qui ne voit pas les 2 cases bases (donc L1C1 dans notre cas), ne doit contenir aucun des candidats de la base (ici c'est le cas puisque c'est un chiffre donné, 1).
* même chose pour T2, donc L5C2 (c'est le cas aussi vu que c'est également un chiffre donné, 1).

Autre chose concernant les cases bases : l'une des cases bases peut être un chiffre donné (ou placé).

Répondre à Francis Labetoulle

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

@ Richard : Un grand merci, c'est très clair concernant les cases S, et ça marche remarquablement bien sur l'exemple traité! Je vais approfondir le sujet sur de bonnes bases.
Concernant le premier point je voulais simplement dire que la solution, si elle existe et si elle obéit aux propriétés d'un JE (ce qui doit être le cas dans l'exemple traité) ne peut être autre que (5,2) dans les cases B.
Cela n'empêche pas bien sûr, de vérifier l'invalidité de tous les autres cas de figure.

Répondre à Richard

De Richard
(Publié le 04/02/2018)

@Francis :
Supposons que 6 soit solution de T2, alors forcément on aurait un 6 dans l'une des 2 cases bases et, dès lors, dans la colonne 2 seul L1C2 pourrait contenir le candidat 6. Or L1C2 étant la première case cible, ce cas de figure n'est pas possible puisque ça violerait le principe de l'exocet.
Le raisonnement est identique pour 9 en T2.
Voilà l'utilité des cases miroirs. Il ne faut en déduire rien d'autre.

Pour les cases S :

Nous avons 6 cases S associées à T1 en ligne 1 : il s'agit des 6 cases L1C456789.
Nous avons 6 cases S associées à T2 en ligne 5 : il s'agit des 6 cases L5C456789.
Nous avons 6 cases S associées aux cases base en ligne 9 : il s'agit des 6 cases L9C456789.

Pour que l'exocet soit valable, il faut que :
* chacun des candidats de la base apparaisse au moins une fois, au plus 2 fois dans chacune des 3 lignes (ou colonnes) S.
* si on "superpose" les 3 lignes (ou colonnes) S, chaque candidat de la base doit apparaître sur 2 colonnes différentes (ou lignes), ni plus, ni moins.

Vérifications sur la grille en question :
* 2 est présent en L1C56, L5C56, L9C56.
* 5 est présent en L1C56, L5C56, L9C56.
* 6 est présent en L1C6, L5C8, L9C68.
* 9 est présent en L1C89, L5C89, L9C89.

Les conditions pour les cases S sont donc vérifiées.

Répondre à Francis Labetoulle

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

@ Richard : Bonsoir
Je ne comprends vraiment pas pourquoi, si 6 et 9 sont exclus de T2, ces candidats pourraient se retrouver ailleurs (dans B1 et B2), ce qui entrainerait une contradiction basique avec les lois du JE.
Par ailleurs, il me semble que pour exclure 6 et 9 de T2, il faut supposer ces candidats présents dans B1 ou B2 et en déduire une contradiction (présence de ces candidats dans T1) liée à leur absence dans les cases miroirs M2.
Enfin pouvez-vous éventuellement préciser la stratégie de vérification de la validité du JE, concernant les cases S? Il faut à chaque fois envisager la vérification pour chaque candidat, ou existe-t-il des conditions plus précises que celles mentionnées dans le commentaire précédent?

Répondre à Richard

De Richard
(Publié le 04/02/2018)

Bonjour,

@Francis : il ne faut surtout pas faire ce genre de simplifications : les cases miroirs de T1 ne doivent être associées qu'à T1 (idem pour T2). Il ne faut surtout pas en déduire autre chose pour la base ou pour l'autre case cible, au risque d'obtenir une grille fausse. Ici le fait que 69 puissent être supprimés de T2 et que les bons candidats de la bases soient 2 et 5 est une coïncidence.

Personnellement je vérifie toujours que les conditions de validité du junior exocet sont vérifiées, ensuite j'effectue des simplifications de T1 et T2 et ensuite j'effectue l'analyse des différentes combinaisons possibles dans la base, en commençant toujours par les candidats a&b de la base où a et b sont présents dans les 2 cases de la bases. En effet ces combinaisons amènent souvent (mais pas toujours) à des configurations de rectangle interdit comme c'était le cas avec les candidats 5 et 6 de la grille en question.

Enfin il faut garder à l'esprit, qu'à partir du moment où on sait que 2 candidats a et b définis sont forcément solutions (après avoir prouvé que les autres cas de figure aboutissaient à une contradiction) mais qu'on ne sait pas dans quel ordre, alors les cases T1 et T2 sont liées entre elles par un lien fort alors même que ces cases ne se voient pas (si a est dans T1 alors T2 contiendra b, et réciproquement, si b est dans T1 alors T2 contiendra a).

Répondre à Francis Labetoulle

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

@ Richard : Bonjour
À propos de la résolution de la grille du mois de janvier par la méthode de l'exocet, ayant remarqué qu'il n'y a pas de candidats 6 et 9 dans les cellules miroirs M2, et donc dans T2 ne faut-il pas en conclure que ces candidats doivent être absents de B1, B2 T1 et T2, ce qui donne de suite 2L8C3 et 5L7C3 ?
Cela est assujetti à une répartition convenable des candidats de base dans les cellules S. Ça semble contenir ici avec 2 candidats donnés dans chaque "cross line" et une disposition " convenable" dans les "cover lines". Il faut que je traduise encore un peu d'anglais pas toujours très explicite dans l'espoir de trouver la distribution la plus générale possible, ou peut-être faut-il vérifier la configuration au cas par cas?

Répondre à Robert Mauriès

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

@ Richard : Belle démonstration de l'utilisation d'un exocet !

Répondre à Richard

De Richard
(Publié le 03/02/2018)

Bonsoir,

Pour ceux que ça intéresse j'ai publié sur le site de Bernard Borelly, pour la grille du mois (de janvier), la résolution de la grille avec la combinaison exocet/coloriage virtuel.

Bon week-end.

Répondre à Richard

De Richard
(Publié le 03/02/2018)

Bonsoir,

5 placements par les TB initiales en 2 vagues (d'abord 2 puis 3 autres avec des réductions bloc/ligne).

On commence en étudiant les 1 de la colonne 2 :

(1) 1L4C2 => contradiction via triplet (358) de L4C789 (qui induit une paire
4-7 en L4C56 bien sûr).
(2) 1L6C2 => petite piste comportant 2 candidats virtuels.

On place donc la piste (2) : 1L6C2, 5L6C4 et 1L5C4.

Soient maintenant la piste (3) issue de 7L7C2 et la piste (4) issue de 9L8C4.

(3) 7L7C2 => piste composée de 3 candidats virtuels via la paire cachée (47) de L4C56 qui implique que 8L5C6 fait partie de la piste.
(4) 9L8C4 => piste composée de 4 candidats virtuels.

L'anti-piste issue de (3) et (4) aboutit à la résolution de la grille.

Bifurcation de (3) avec les 3 de la colonne 2 :

(5) 7L7C2 + 3L1C2 => contradiction.
(6) 7L7C2 + 3L4C2 => contradiction.

Bifurcation de (4) de nouveau avec les 3 de la colonne 2 :

(7) 9L8C4 + 3L1C2 => contradiction.
(8) 9L8C4 + 3L4C2 => contradiction.

Ceci constitue une solution de taille 5, le niveau TDP de la grille reste à 4.

Répondre à Claude Renault

De Claude Renault
(Publié le 03/02/2018)

Je suis parti de l'ensemble (358)L5C7 qui est trouvé invalide
J'utilise ensuite les 3 pistes issues de (129)L5C7 qui donnent l'élimination du 1 ; la conjugaison du 2 et du 9 donne quelques croisements (1L6C2, 1L5C4, 5L6C4)
Après choix du 9 prolongé par la paire 38L8C3, le 8 est trouvé invalide et le 3 couvre enfin la grille

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 02/02/2018)

Ma solution, basée sur les possibilités de L7, exploitant le "backdoor" P(7L7C8) , puis les pistes issues de 7L7C2 et 8L7C2 est en fait identique à celle de Robert. Mes autres approches sont de tailles plus grandes.
Comment pouvait-on utiliser les précédents commentaires du forum pour résoudre cette grille?

Répondre à Robert Mauriès

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

Après simplification de la grille par les TB (5 placements), résolution de taille 4 en exploitant les 7 de L7 et B3 :
- P(7L7C8) couvre la grille (solution).
- P(7L7C2) invalide via une bifurcation sur la paire 7B3.
- P(7L7C6) invalide via une bifurcation sur la paire 7B3.



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

Grille N°454


Répondre à Robert Mauriès

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

@ Francis Labetoulle : Pour moi aussi l'exocet reste mystérieux, car je ne comprend pas la démonstration qui conduit à l'élimination dans les cases cibles. Je ne suis donc pas en mesure de vous répondre sur le rôle précis des cover lines et des cross lines. Je vais étudier de plus près le document transmis par Richard.

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 01/02/2018)

@ Robert Mauriès : Bonsoir
Concernant la grille mentionnée : 569L7C3 et 256LL8C3, j'ai vérifié tous les cas de figure potentiels (5,2), (5,6), (6,2), (6,5), (9,2),(9,5) et (9,6). Le cas (5,2) couvre la grille, les autres sont invalides, me semble-t-il. Les cellules cibles contiennent bien tous les candidats concernés. J'aimerais savoir si ces contraintes sont nécessaires et/ou suffisantes et les rôles des "cover lines" et des "cross lines".
Merci à Richard pour la référence fournie qui va sans nul doute m'aider à approfondir le sujet.

Répondre à Richard

De Richard
(Publié le 01/02/2018)

Bonjour,

Ce n'est pas l'exocet en lui même qui résout la grille.

J'ai utilisé les propriétés du "junior exocet", ce qui, couplé avec le coloriage virtuel, produit de très bons résultats.

D'ailleurs au moins une fois j'avais proposé une solution détaillée pour résoudre une grille du mois de cette façon sur le site de Bernard.

Françis vous pouvez trouvez votre bonheur là :
http://forum.enjoysudoku.com/jexocet-compendium-t32370.html

Mais c'est en anglais.

Répondre à Robert Mauriès

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

@ Francis Labetoulle et Richard : Avant de dire aussi mon admiration à Richard en matière d'exocet, j'aimerais bien que Richard nous explique comment fonctionne cet exocet sur la grille de Dimanche dans le forum de Bernard Borrelly et en quoi cela résout la dite grille.

Répondre à Claude Renault

De Claude Renault
(Publié le 01/02/2018)

JP5L6 résout le 5L6C1 ; JP46L6C7 résout le 9L6C7 ; (68)L13C1 couvre la grille

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 31/01/2018)

Un petit mot sur la grille 453: je n'ai pas trouvé d'autre taille3 et ne doit pas être le seul! Bravo pour cette solution.
Concernant la présente grille, après application de nombreuses TB, dont deux 4-uplets,
-avec les 6 de B7 P(6L7C1) invalide donc validation de 6 L9C3.
Ensuite les pistes issues des 5 de L6 se croisent suffisamment pour couvrir la grille.
Je me permets de dire mon admiration à Richard pour son brio pour déceler les Exocets. Un grand merci s'il peut me fournir de la doc sur ce sujet? J'en suis resté à celle de sudowiki.org.

Répondre à Robert Mauriès

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

Après réduction de la grille par les TB (5 placements et quelques éliminations), résolution de taille 2 par simple croisement (donc sans invalider aucune piste) des pistes de deux jeux de pistes successifs JP(7B7) puis JP(2B5).



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

Grille N°453


Répondre à Robert Mauriès

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

Deux placements par les TB, puis résolution de taille 3 :
- P(8L8C3) invalide.
- P(7L8C2) couvre la grille (solution).
- P(7L7C1) invalide via une bifurcation par la paire 3B9.
Voir les détails de la résolution dans "voir la résolution".



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

Grille N°452


Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 27/01/2018)

À la recherche d'un taille 3....
Même début (premier essai): P(6L3C6) invalide donc validation de 6L1C4 et sqq.
Ensuite P(7L7C2) couvre la grille.
Son antipiste P(8L7C2) , avec les bifurcations des 3 de B4 donne 2 pistes invalides .

Répondre à Paolo

De Paolo
(Publié le 26/01/2018)

Une autre résolution.

1) 4 placements par les TB iniziales.
2)P6L3C6=>contradiction (L4C3=Ø)=>-6L3C6+ 8 placements
3) P3L4C3=>contradiction (L7C5=Ø)=>-3L4C3+10 placements
4) P8L7C2=>contradiction (L7C8=Ø)=>-8L7C2=>validation 7L7C2=>solution.

Répondre à Robert Mauriès

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

@ Paolo : Merci pour cette précision Paolo. Indiquons à ceux qui nous lisent qu'en fait vous avez montré que l'antipiste P'(E1) issue de l'ensemble E1=7L17C2 est invalide, donc que la piste P(E2) issue de l'ensemble E2=7L689C2 est invalide aussi puisque ces deux ensembles formant une paire d'ensembles on a P'(E1)=P(E2) (voir théorème 2-1 de "Théorie des pistes").
Cela fait que votre résolution est de taille 3. Bravo !

Répondre à Richard

De Richard
(Publié le 26/01/2018)

Bonsoir,

5 placements par les TB initiales (4 d'abord puis 5L3C5 en voyant la paire 4-6 présente dans le bloc 2).

Voici une solution de taille 4.

On commence avec les 2 de la ligne 9 :

(1) 2L9C3 => contradiction via paire (17) de L89C2.
(2) 2L9C2 => petite piste composée de 3 candidats virtuels.

On place donc la piste 2 : 2L9C2, 2L2C3, 2L6C1 et 1L8C2.

On poursuit avec la case L6C2 :

(3) 3L6C2 => petite piste composée de 4 candidats virtuels.
(4) 4L6C2 => contradiction.
(5) (78)L6C2 => contradiction.

On place donc la piste 3 : 3L6C2, 3L3C3, 9L4C3, 4L4C1 et 9L7C1.

On termine avec la case L7C8 :

(6) (35)L7C8 => contradiction via paire (35) de L47C8 qui force 9L2C8 à faire partie de la piste.
(7) (78)L7C8 => résolution de la grille.

A noter que le croisement des pistes (6) et (7) permet de trouver la solution sans avoir besoin d'aller au bout des 2 pistes.

Répondre à Paolo

De Paolo
(Publié le 26/01/2018)

@ Robert Mauriès :

Je pense que c'est correct. J'ai construit la piste avec le 7 de la colonne 2 éliminant les candidats 7L1C2 et 7L7C2.

Répondre à Robert Mauriès

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

@ Paolo : Comment construisez-vous la piste P(7L689C2) ?

Répondre à Paolo

De Paolo
(Publié le 26/01/2018)

Bonsoir

1) 4 placements par les TB iniziales.
2) P6L3C6=>contradiction (L4C3=Ø)=>-6L3C6 +8 placements
3) P(7L689C2=>contradiction (L2C8=Ø)=>-7L689C2
4) P7L1C2=>contradiction (L7C8=Ø)=>-7L1C2=>validation P7L7C2=> solution.

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 26/01/2018)

Un "taille 4" pour commencer, avec les paires paraissant les plus prometteuses:
D'abord les 6 de B2, avecP(6L3C6) invalide donc 6L1C4 et sqq.
Puis les 4 de L4: P(L4C7) invalide donc 4L4C1 et sqq.
Puis les 3 de B4: P(3L4C3) invalide donc 3L6C2 et...
Enfin les pistes issues des 5 de L7 donnent la solution par croisements.



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

Grille N°451


Répondre à Robert Mauriès

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

@ Paolo : Je crois m'être déjà exprimé sur ce sujet Paolo. Le croisement de deux pistes invalides P1 et P2 forme nécessairement une piste invalide P3. Ce qui peut se produire, c'est que tous les candidats solutions soient des candidats de P3, mais l'inverse est faux.

Répondre à Robert Mauriès

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

@ Francis Labetoulle : Vous avez raison Francis, le concept de pistes conjuguées reste utilisable sur une grille dont on ne sait pas à priori qu'elle est sans solution. C'est en constatant que les deux pistes, en principe conjuguées, sont toutes deux invalides que l'on peut conclure que la grille est sans solution.

Répondre à Paolo

De Paolo
(Publié le 26/01/2018)

@ Francis Labetoulle :
Bonjour,


Il me semble que le seul résultat logiquement valide utilisant l'intersection de deux pistes potentiellement conjuguées est que la piste obtenue est invalide et donc que les deux pistes ne sont pas conjuguées. Dans certains cas, en fait il m'est arrivé que l'intersection de deux pistes invalides, si elles ne sont pas développées jusqu'à la fin, mène à une piste qui est une solution au puzzle. Cependant, ce fait ne permet pas de conclure que les deux pistes sont conjuguées et qu'il y a donc plus d'une solution (la solution pourrait toujours être la même).

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 26/01/2018)

@ Robert Mauriès : avec une grille sans solution, ce qu'on ignore à priori, on peut utiliser le concept de pistes supposées conjuguées pour aboutir à des contradictions, et conclure à l'absence de solution et donc de pistes conjuguées, forme de démonstration par l'absurde, ou de fil d'Ariane dans un labyrinthe sans issue. Faut- il créer pour autant un nouveau vocabulaire?

Répondre à Robert Mauriès

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

@ Francis Labetoulle : La notion de validité n'a pas de sens pour des grilles sans solution puisque pour ces grilles toute piste est invalide. Dès lors, on ne peut plus parler de pistes conjuguées pour de telles grilles.

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 25/01/2018)

@ Paolo : Rebonsoir
Le but poursuivi est, bien sûr, de prouver l'unicité (ou 0 ou plusieurs solutions). Dans cette optique, et dans la recherche d'une éventuelle autre solution, on peut et doit, en présence de 3 candidats dans une zone, éliminer celui qui a conduit à la solution et donc considérer que, dans l'hypothèse envisagée, les deux autres sont "potentiellement" conjugués.
On parvient, en généralisant ce procédé, à trouver parfois des solutions multiples.
Le caractère conjugué de deux pistes dépend de la solution. Que dire quand il n'y a pas de solution?

Répondre à Paolo

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

@ Francis Labetoulle : Bonsoir

C'est vrai ce que tu dis mais l'usage que tu fais dans la dernière solution que je qualifierais de "croisements de deux pistes pour l'absurde". J'essaie de mieux expliquer, dans votre dernière démonstration nous partons de l'hypothèse que les deux pistes sont conjuguées et il s'avère que l'intersection produit une invalidité en prouvant précisément que les deux pistes ne sont pas conjuguées.

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 25/01/2018)

@ Paolo : Bonsoir
La solution que je propose est, sauf erreur, de taille 4.
C'est par préférence marquée pour cet aspect que j'essaie le plus possible d'exploiter les simplifications et croisements de deux pistes conjuguées, même si dans le principe ça n'apporte rien de plus que d'exploiter séparément chacune des deux pistes, sauf si ces pistes servent accessoirement pour des éliminations de candidats ( fishs, xwing, etc.)
Voir commentaire de JC, que je salue, à ce sujet. Il faut remonter assez loin dans le forum pour celà.
Concernant le calcul de la taille, voir niveau TDP et autres commentaires.

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 25/01/2018)

@ jeanluc :
Bonsoir
Le terme candidat clé est un clin d'oeil à Robert à propos d'un livre de Sudoku paru en 2016(M.Delmas).
En fait, si ce candidat 6 s'avère vrai, il entraîne la validité d'un grand nombre d'autres 6, et cela peut donc nettement simplifier le problème. Il se trouve effectivement que dans de nombreuses grilles, même très difficiles, de tels candidats sont souvent présents.

Répondre à Robert Mauriès

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

@ Paolo : La validation du 6L5C3 étant obtenue par l'invalidation des deux pistes P(6L7C3) et P(6L8C3), cela compte pour 2 dans le calcul du niveau TDP.

Répondre à Paolo

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

Il est évident que si la piste P6L5C3 étaient invalides (en raison de la validité de la piste P6L4C1), les deux pistes P6L7C3 et P6L8C3 seraient conjuguées. Le croisement de deux pistes invalides conduit généralement à une piste invalide. Si cela se produit, la prémisse P6L5C3 invalide ne serait pas correcte et l'hypothèse alternative P6L5C3 valide serait valide. La question que je pose est celle-ci dans le calcul de la TDP ce type de démonstration est compté avec une ou deux contradictions?

Répondre à Paolo

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

Dans la solution de Francis je crois que pour valider la piste P (6L5C3) il suffit de démontrer directement l'invalidité des deux pistes P (6L7C3) et (P6L8C3) sans avoir besoin de prouver l'invalidité
  de la piste P (6L4C1) à travers la bifurcation avec les deux pistes P6L7C3 et P6L8C3.

Répondre à jeanluc

De jeanluc
(Publié le 25/01/2018)

@Francis
Bonjour
qu'est-ce que c'est que la notion de candidat clé? le 6L5C3 fait paire avec 6L4C1 mais je ne lui vois rien de particulier. Cette piste au départ du 6L5C3 comporte selon moi aussi 6L7C1 6L8C6 6L4C4 et je vois rien d'interessant ensuite. Mais je n'ai pas votre expérience
Cordialement

Répondre à Luis

De Luis
(Publié le 25/01/2018)

@ Robert Mauriès :
Bonjour,
Concernant vos observations:
1)Le bloc4, vous avez raison, j'ai été trop rapide car le 1L5C3 fait également passer par le candidat 8 L5C2.

2)En développant cette piste je n'ai rencontré aucune contradiction, mais en situation de blocage avec les blocs :B3/B6/B9, l'analyse dans ces blocs laissait apparaître des paires 7et8,et si je plaçais le7 en L4C9 j'entrai en contradiction (4 en L2C7 et L3C7), le 8 débloquait la piste et a amené à la résolution de cette grille.

3)Pour moi la technique des pistes consistai à développer un cheminement à partir d'un candidat choisi, puis en cas de blocage dégager une ou plusieurs piste.

4)Pour suivre votre conseil,je vais commencer par essayer d'utiliser un jeu de deux pistes issues d'une paire...
Merci de votre attention.

Répondre à Robert Mauriès

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

@ Luis : Je ne comprend pas du tout votre résolution Louis, et en tout cas il ne s'agit pas de la technique des pistes. Une piste, un jeu de pistes conjuguées, les notions de validité et d'invalidité ... répondent à des définitions bien précises que je vous invite à voir dans le document "Théorie des pistes" publié sur ce site.
Concernant, votre résolution :
- vous déclarez la piste issue du 7L5C3 comme valide parce que la piste issue du 7L5C2 est invalide. Cette implication n'est pas justifiée car rien ne prouve que ces deux pistes sont conjuguées et de surcroît le 7L5C3 n'est pas solution.
- vous utilisez une chaîne de couple de candidats et concluez au placement du 8L4C9 comme solution, ce qui est faux.
J'ai donc des doutes sur votre méthode. Mais peut-être pouvez-vous nous apporter quelques explications et je vous en remercie par avance.

Répondre à Francis Labetoulle

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

TB avec 10 placements.
P(6L5C3) et bifurcations des 8 de C8:
Solution avec 8L1C8, et les deux autres pistes se croisent jusqu'à contradiction.
P(6L4C1) et pistes conjuguées issues de la boucle des 6 restants: contradiction par croisement.
Remarque : le choix du premier 6 de L5C3 est lié à son rôle de "candidat clé".

Répondre à Luis

De Luis
(Publié le 24/01/2018)

Bonsoir,
1) Départ 7L5C2 piste en contradiction,
2) Départ 7L5C3 piste valide, je bloque, mais je constate que j'ai une piste de 7et8 en L4C9 L7C9 L8C8 L1C8 qui s'accroche avec une identité remarquable L2C7/L3C7/L4C7 et que pour que cette chaine soit valide il faut que ce soit le 8L4C9 qui soit candidat...La grille est résolue

Répondre à Paolo

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

Bonsoir.


1)10 placements par les TB iniziales.
2) 8L1C2 piste comportant 13 candidats virtuels
Bifurcation de (2) avec L1C8

3) 8L1C2+1L1C8 => contradiction(L5C7=Ø)
4) 8L1C2+7L1C8 => contradiction(L4C9=Ø)=>-8L1C2+1 placement
5) 8L1C1=> contradiction (L6C6=Ø)=>-8L1C1+ 13 placements
6) 4L1C1=> contradiction (L6C5=Ø)=>-4L1C1=>validation 4L2C1=>solution.

Répondre à Robert Mauriès

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

Pas de commentaire pour l'instant.



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

Grille N°450


Répondre à Robert Mauriès

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

@ Francis Labetoulle et Paolo : Vos résolutions de taille 1 sont équivalentes car les pistes des jeux de pistes que vous utilisez sont identiques deux à deux. Ceci dit, vos résolutions ont chacune leur originalité par le choix des ensembles générateurs des pistes. Bravo à l'un et l'autre !

Répondre à Paolo

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

C'est certainement une solution originale. Dans ma première résolution, je ne pensais pas qu'il suffisait d'utiliser la seule contradiction P(3L4C1).

Répondre à Francis Labetoulle

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

En étudiant les solutions proposées je constate qu'il suffit de remarquer que P(3 L4C1) est invalide.
Son antipiste couvre la grille, via le magnifique 4-uplet dans B4, ce qui rejoint alors la solution de Paolo.
Peut-être que cette remarque est une "redite"?

Répondre à Luis

De Luis
(Publié le 23/01/2018)

Bonsoir,
Après examen de la grille, je suis parti du 6L5C7 et la grille est résolue (le bloc B1 est très intéressant à travailler...)

Répondre à Robert Mauriès

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

@ Francis Labetoulle : C'est une belle résolution Francis, différente de celles proposées précédemment sur le forum.

Répondre à Robert Mauriès

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

@ Paolo : Très belle résolution de taille 1 au départ de L5C1 avec le jeu de pistes issues de la paire d'ensembles 43L5C1/679L5C1. Bravo Paolo !

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 22/01/2018)

Ma solution est-elle nouvelle? Je la donne néanmoins.
P(6L4C8) invalide donc validation de 3L4C8.
P(8L7C3) est invalide alors que P(8L7C6) couvre la grille.

Répondre à Paolo

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

Deux autres solutions


1)3 placements par les TB iniziales.
P(34)L5C1(backdoor)=>couvre la grille
2)3L5C2=>contradiction (L2C3= Ø)=>-3L5C2
3)3L5C9=>contradiction (L1C2= Ø)=>-3L5C9 =>solution
ou
2)P(679) L5C1=>contradiction (L5C1= Ø)=>-679L5C1=>solution

Répondre à Paolo

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

Bonsoir

1)3 placements par les TB iniziales.
6L4C1(backdoor)=>couvre la grille
2)2L4C1=>contradiction (L8C6= Ø)=>-2L4C1
3)3L4C1=>contradiction (L9C8= Ø)=>-3L4C1 =>solution
ou
2)6L4C6=>contradiction (L8C6= Ø)=>-6L4C6 +4 placements
3)6L4C8=>contradiction (L1C2= Ø)=>-6L4C8 =>solution

Répondre à Robert Mauriès

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

Après simplification de la grille par les TB, résolution de taille 2 par les 6L4 :
P(6L4C1) couvre la grille, P(6L4C6) et P(6L4C8) invalides.



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

Grille N°449


Répondre à Richard

De Richard
(Publié le 21/01/2018)

Bonjour,

6 placements par les TB initiales.

Voici une autre solution de taille 2.

La case L1C3 est un HUB, on démarre donc avec cette case.

(1) (18)L1C3 => contradiction via une réduction bloc/ligne :
à un moment dans la ligne 2 les 8 sont cantonnés bloc 3 donc 4L3C7 fait partie de la piste.

(2) 6L1C3 => résolution de la grille.

(3) 7L1C8 => contradiction.

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 20/01/2018)

P(6L4C1) couvre la grille. P(5L4C1) conduit, avec les bifurcations (2 L6C1) et (3L6C1) à contradiction.

Répondre à Claude Renault

De Claude Renault
(Publié le 20/01/2018)

Backdoor 4L8C2 qui, je vois, à été trouvé
Pour montrer l'unicité, la double bifurcation du 5L8C2 par la paire 28L8C1 mène à 2 contradictions

Répondre à Robert Mauriès

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

@ Luis : Oui, le 4L8C2 est ce qu'on appelle un "backdoor", c'est à dire un candidat dont le placement permet de résoudre la grille avec seulement les techniques de base. Tomber sur un backdoor relève du hasard, mais le hasard fait aussi partie du jeu. Bravo !

Répondre à Luis

De Luis
(Publié le 20/01/2018)

Luis: J'ai peut-être de la chance mais en partant du 4L8C2 la grille est résolue...

Répondre à Robert Mauriès

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

@ Paolo : Effectivement Paolo, je n'avais pas assez simplifié la grille en ne voyant pas l'alignement 5L8C12. Je m'en excuse auprès de Ginette, mais cela aura été l'occasion de rappeler comment on construit une piste issue d'un ensemble.

Répondre à Paolo

De Paolo
(Publié le 20/01/2018)

Il me semble que la piste P (56L9C2) est identique à la piste P(6L9C2) parce que L9C2 = 5 est éliminé par les TB iniziales.

Répondre à Robert Mauriès

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

@ Ginette : Pour construire P(56L9C2) il suffit d'utiliser la définition d'une piste issue d'un ensemble E (ici E=56L9C2), à savoir qu'elle est constituée des candidats communs aux pistes issues des candidats de E, donc ici les candidats communs de P(5L9C2) et P(6L9C2). Ces deux pistes, faciles à tracer, ont en commun le 4L8C2 ce qui suffit ensuite à construire les autres candidats de P(E).
Mais on peut aussi, plus simplement, dire que 56L4C2-56L9C2 constitue un doublet caché de P(E), donc que le 5L8C2 n'est pas une candidat de P(E), donc que 4L8C2 est un candidat de P(E).

Répondre à Paolo

De Paolo
(Publié le 20/01/2018)

Bonjour.

1)6 placements par les TB iniziales
P5L8C1(backdoor)=> couvre la grille

2) 2L8C1=> contradiction (L6C8= Ø)=>-=>-2L8C1
3) 8L8C1=> contradiction (deux 7 in C4) =>-8L8C1=>solution.
ou
3) résolution par le croisement de deux pistes conjuguées 8L8C1 et 5L8C1.

Répondre à Ginette

De Ginette
(Publié le 20/01/2018)

@ Robert Mauriès : peu expérimentée dans la TDP, j’ai regardé votre résolution avant de rechercher la mienne. Je ne comprend pas comment vous construisez la piste P(56L9C2) !

Répondre à Robert Mauriès

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

Après 6 placements et quelques éliminations par les TB, résolution de taille 2 en partant de L9C2.
- P(56L9C2) couvre la grille.
- P(7L9C2) est invalide via une bifurcation par 13L2C2.



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

Grille N°448


Répondre à Robert Mauriès

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

@ Luis : Vous commettez une erreur de raisonnement en pensant que l'invalidité de la piste issue du 2L8C1 rend invalide le 7L5C7. Si une piste est invalide on peut seulement conclure que son candidat de départ est invalide.

Répondre à Luis

De Luis
(Publié le 20/01/2018)

@ Robert Mauriès : Grille 448:
Le 2L8C1 me fait placer le 7L9C1 , le 6L2C1 et le 6L3C7 puis le 7L5C7,cette piste est invalide.
Je constate donc que le 6L5C7 doit être valide. cette piste est valide jusqu'à résolution

Répondre à Robert Mauriès

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

@ Luis : Bienvenue sur le forum Luis. Je ne comprend pas votre résolution, car la piste issue du 2L8C1 étant invalide cela n'a pour effet que de placer le 2L9C1. Ensuite la piste issue du 6L5C7 est invalide aussi, ce qui a pour effet de placer le 7L5C7 et deux autres candidats. Je ne trouve donc pas que la grille est résolue après ces deux opérations ! Pourriez-vous détailler un peu plus votre résolution ?

Répondre à Luis

De Luis
(Publié le 19/01/2018)

Démarrage en L8C1 par le 2...Contradiction... qui passe par le 7 de L5C7,
Redémarrage en L5C7 par le 6 ... La grille est résolue...

Répondre à Francis Labetoulle

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

@ Robert Mauriès : Désolé, une simplification abusive...
Variante de solution de taille 3:
1) validation de 6L4C8
2) P(1L5C4) et P(8L5C4). La seconde piste et invalide donc on développe la première.
3) Avec la paire restante des 7 de C5 on couvre la grille par croisement.
J'avais omis le 2) ...

Répondre à Paolo

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

Après avoir prouvé l'invalidité de la piste p5L4C8 déclenche plusieurs backdoors. Certains entraînent des résolutions de taille 3 telles que 8L1C9 (backdoor) en raison de l'invalidité des pistes 7L1C9 et 3L1C9 ou de la piste P4L9C5 (backdoor) en raison de l'invalidité des pistes 4L8C4 et 4L8C6.

Répondre à Robert Mauriès

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

@ Francis Labetoulle : Votre seconde résolution ne me semble pas bonne Francis. Après utilisation du jeu de pistes JP(56L4C8), je ne vois pas une paire de 7 dans C5 ! Pouvez-vous expliquer ?

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 18/01/2018)

Après les TB et ses multiples placements :
P(5L4C8) s'avère invalide donc validation de P(6L4C8).
Nouvelles pistes appariées: P(8L5C4) et P(1L5C4). La première s'avère invalide ( après éliminations...) donc validation de la seconde.
Enfin P(7L6C4) et P(7L6C6), issues de paires dans ces conditions, se croisent suffisamment pour couvrir la grille, la première étant la piste valide. Un "taille3" sauf erreurs de ma part...

Répondre à Paolo

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

Une autre résolution.

1) 8 placements par les TB iniziales.
2) 5L4C8=>contradiction (L1C8=Ø)=>-5L4C8+6 placements
3L8C9=>couvre la grille
3) 8L8C9=>contradiction (L2C7=Ø)=>-8L8C9
4) 7L8C9=>contradiction (L5C5=Ø)=>-7L8C9=>solution.

Répondre à Paolo

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

Bonjour.
1) 8 placements par les TB iniziales.
3L2C8=>couvre la grille
2) 6L2C8=>contradiction (L1C8=Ø)=>-6L2C8
3) 8L2C8=>contradiction (L9C3=Ø)=>-8L2C8
4) 7L2C8=>contradiction (L7C3=Ø)=>-7L2C8=>solution.

Répondre à Robert Mauriès

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

Résolution de taille 4, après les 8 placements par les TB, avec les jeux de pistes successifs JP(5B5), JP(6B1), JP(5B9) et JP(3B9). Mais on peut faire mieux !



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

Grille N°447


Répondre à Francis Labetoulle

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

Bonjour
P(3L1C3) permet un grand développement pour s'avérer invalide.
Poursuivons avec les pistes conjuguées P(3L3C2) et P(3L3C5). La première couvre la grille et la deuxième conduit, via les 5 restants de L5, à deux pistes invalides, donc un taille 3...

Répondre à Claude Renault

De Claude Renault
(Publié le 16/01/2018)

L'antipiste du 2L7C3 couvre la grille après contradiction sur la bifurcation du 5L7C1

Répondre à Paolo

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

Bonsoir


1)10 placements par les TB iniziales.
2L2C3=>couvre la grille
3) 2L2C8=> piste comportant 8 candidats virtuels
Bifurcation de (3) avec L2C1
4) 2L2C8+4L2C1 => contradiction (L1C4= Ø)
5) 2L2C8+5L2C1=> contradiction (L3C7= Ø)
5) 2L2C8+9L2C1=> contradiction (L6C6= Ø)=>-2L2C8=>solution.



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

Grille N°446


Répondre à Paolo

De Paolo
(Publié le 14/01/2018)

1)8 placements par les TB iniziales.
2)9L59C4=>contradiction (L8C7= Ø)=>-9L59C4 et -9L1C56
9L7C3=>couvre la grille
3) 3L7C3=> piste comportant 7 candidats virtuels
Bifurcation de (3) avec 8L4C4 et 8L5C4
4) 3L7C3+8L4C4 => contradiction (L7C9= Ø)
5) 3L7C3+8L5C4 => contradiction (L8C7= Ø)=>-3L7C3=>solution.

Répondre à Claude Renault

De Claude Renault
(Publié le 14/01/2018)

Je pars de la paire 39 en L7C3 ; le 3 est trouvé invalide après 2 bifurcations 3L1C2 puis 6L5C4 ; le 9L7C3 est donc valide et sa bifurcation 7L8C1 couvre la grille

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 13/01/2018)

Après les placements par TB j'essaie d'utiliser les blocs B2 et B3.
Je remarque d'abord que P(6L2C4) se développe bien jusqu'à...une contradiction.
Ayant éliminé 6L2C4 la case L1C8 devient intéressante. En effet:
P(8L1C8) couvre la grille et P(9L1C8) avec les bifurcations (6L5C4) et (8L5C4) donne deux pistes invalides.
Solution de taille 3....
Variante : le bloc B1 peut aussi nous aider! En effet P(6L2C3) couvre la grille.
La suite est identique à la première solution, pour l'étude de l'antipste de (6L2C3), avec des conclusions adaptées:
(8L1C8) est alors invalide (rôle de 8L6C3) de même que (9L1C8) avec les bifurcations mentionnées.

Répondre à Richard

De Richard
(Publié le 13/01/2018)

Bonsoir,

8 placements par les TB initiales.

Solution de taille 3 basée sur les 9 du bloc 1 :

(1) 9L1C2 => résolution de la grille.
(2) 9L2C3 => piste composée uniquement d'un candidat virtuel.

Bifurcation de (2) avec les 7 du bloc 2 :

(3) 9L2C3 + 7L2C4 => petite piste composée de 4 candidats virtuels.
(4) 9L2C3 + 7L3C4 => contradiction.

Bifurcation de (3) avec le couple 3-6 de L9C4 :

(5) 9L2C3 + 7L2C4 + 3L9C4 => contradiction via la paire (68) de L4C34.
(6) 9L2C3 + 7L2C4 + 6L9C4 => contradiction via le triplet (378) de L5C124.

Répondre à Robert Mauriès

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

Pas de commentaire poir l'instant.



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

Grille N°445


Répondre à Robert Mauriès

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

@ jeanluc : Le fait que la piste P(9L8C8) passe par le 6L4C9 permet de dire qu'elle est opposée à la piste P(1L4C9) laquelle est invalide puisque sa construction conduit à une impossibilité, ce qui au passage permet de valider le 6L4C9.
Hélas, cela ne permet pas de dire que la piste P(9L8C8) est valide et que le 9L8C8 est solution, car deux pistes opposées ne sont pas forcément conjuguées.
On peut facilement construire des contre-exemples de deux pistes opposées qui sont toutes les deux invalides, donc ne sont pas conjuguées.

Répondre à jeanluc

De jeanluc
(Publié le 13/01/2018)

Peut-on conclure quelque chose des jeux de piste suivants (je ne vois rien dans la théorie des pistes et pourtant j'ai l'intuition qu'on peut en déduire quelque chose, un peu le contraire de pistes opposées)
jeu de pistes conjuguées L4C9 (ok sur le candidat 6 on ne va nul part)
jeu de pistes conjuguées L8C8
La piste 9L8C8 a un candidat commun à la piste 6L4C9 c'est 6L4C9
La piste 9L8C8 a un candidat commun à la piste 1L4C9 c'est 6L2C4
Peut-on en déduire que la piste 9L8C8 est solution?

Répondre à Claude Renault

De Claude Renault
(Publié le 12/01/2018)

@ Paolo : vous avez raison, je suis allé un peu vite

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 12/01/2018)

Après les TB ( ne pas oublier le 4-uplet) B6 et B9 semblent offrir de grandes possibilités.
La case L4C7 est un "hub cell" mais la taille associée est trop élevée.
Avec B9 la paire de 4 est exploitable :
P(4L9C7) est invalide et P(4L7C7) offre de nombreux placements simplifiant la grille. À ce stade la case L9C4 donne la clé: P(4L9C4) couvre la grille alors que P(7L9C4) est invalide.

Répondre à Paolo

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

@ Claude Renault :
Je confirme que la piste 1L6C9 (L6C9 = 1, L6C8 = 3, L6C1 = 7, L9C1 = 6, L1C7 = 1, L4C7 = 7, L4C9 = 6 et L8C3 = 7) ne produit pas de contradictions.

Répondre à Claude Renault

De Claude Renault
(Publié le 11/01/2018)

@ Paolo : j'ai trouvé 2 fois le 5 dans C4 ; je me suis peut-être trompé ; voici un lien vers m'a grille
https://www.dropbox.com/s/azlh2llubkvjp6a/Nouveau%20document%202018-01-11_1.pdf?dl=0

Répondre à Paolo

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

@ Claude Renault :
En utilisant uniquement les TB, je n'ai pas pu prouver l'invalidité des pistes 1L6C9. Pouvez-vous expliquer comment vous avez réussi à prouver l'invalidité de la piste 1L6C9?

Répondre à Paolo

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

Bonjour
1) 8 placements par les TB iniziales.
P4L13C5(backdoor)=>couvre la grille
2) 4L7C5=>contradiction (L1C9=Ø)=>-4L7C5+12 placements
3) 4L9C5=>contradiction (L1C7=Ø)=>-4L9C5=>solution.

Répondre à Claude Renault

De Claude Renault
(Publié le 11/01/2018)

Paire b1L6C1-j1L6C9 : j1L6C9 invalide ; bifurcation bv4L9C5 invalide ; bm6L9C5 couvre la grille

Répondre à Robert Mauriès

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

Pas de commentaire pour l'instant.



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

Grille N°444


Répondre à Claude Renault

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

Le 2L6C7 est un backdoor

Répondre à Paolo

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

1) 7 placements par les TB iniziales.
2L6C7=>couvre la grille
2) 2L4C7=>contradiction (L4C1=Ø)
3) 2L8C7=>contradiction (L9C1=Ø)=>solution

Répondre à JC

De JC
(Publié le 09/01/2018)

Comme Francis :

6 placements
HP(16)L4C13, L5C3=8, HT(247)L6C678
4 -> -4L89C8
5 -> -5L4C9
7 -> -7L4C789
8 -> -8L47C9
Fish seulement possible sur 3 chiffres [2, 3 et 8] -> puzzle "généralement" facile

2L6C6 + 8L37C6 -> 0 solution
4L6C6 -> 1 solution

TDP=2

Répondre à Francis Labetoulle

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

Un autre "taille2":
P(8L9C4) est invalide donc validation de 8L7C6.
P(2L6C6) s'avère invalide alors que P(4L6C6) couvre la grille. Il me semble que dans ce cas les seules éliminations et les croisements de pistes ne permettent pas de conclure, la première piste menant assez vite à une contradiction.

Répondre à Robert Mauriès

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

Après placements et éliminations par les TB, résolution de taille 2 avec les 4C6:
- J(4L6C6) couvre la grille.
- J(4L2C6) et J(4L3C6) invalides.



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

Grille N°443


Répondre à Robert Mauriès

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

@ Richard : Oui Richard, c'est une erreur d'écriture, j'ai corrigé. Merci de me l'avoir signalée.

Répondre à Richard

De Richard
(Publié le 07/01/2018)

Bonjour,

Effectivement, je voulais changer en utilisant ces jeux pistes et anti-piste associées. ;)

@Robert : pour la grille précédente la solution que vous proposez est de taille 3, pas 4.

Répondre à Robert Mauriès

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

@ Paolo : Je confirme la remarque de Paolo, mais à condition de considérer la résolution, non pas comme l'a fait Richard avec 3 pistes indépendantes, mais comme celle de deux jeux de pistes successifs : JP(5B3), puis JP(28L3C3).

Répondre à Paolo

De Paolo
(Publié le 07/01/2018)

Bonjour

Il me semble que la solution de Richard est de Taille 2. La piste 8L3C3 est directement invalide sans besoin de bifurcation après l'élimination de 5 en L2C8 et 4 placements.

Répondre à Philippe

De Philippe
(Publié le 06/01/2018)

Bonjour
9 placements
1/ P1: 8L3C3 - P2: 8L9C3 (issues d'une paire)
2/ PS11: 6L5C5 - PS12: 6L5C8 (issues d'une paire)
Contradiction sur PS11 et PS12 - P1 invalide - P2 OK
3/ P1: 5L5C1 - Invalidation P1 - Validation 5 L5C8

Solution pas à pas ci-dessous:
https://www.dropbox.com/s/ax3gzbfg38q93z0/Grille%20443%20SPAP.pdf?dl=0

Répondre à Richard

De Richard
(Publié le 06/01/2018)

Bonsoir,

9 placements par les TB initiales. Bien voir aussi les paires 2-7 de L6C78, 2-7 de L69C7, 3-7 de L7C56 qui induit une autre paire 2-8 en L89C4.

Voici une solution de taille 3 utilisant deux pistes et l'anti-piste associée.

Soient la piste (1) issue de 5L2C8 et la piste (2) issue de 8L3C3.

(1) 5L2C8 => contradiction.
(2) 8L3C3 => piste comportant 10 candidats virtuels via paire (46) de L3C27 qui force 4L1C6 à faire partie de la piste.

L'anti-piste de (1) et (2) aboutit à la résolution de la grille.

Bifurcation de (2) avec les 7 de la ligne 4 :

(3) 8L3C3 + 7L4C4 => contradiction.
(4) 8L3C3 + 7L4C6 => contradiction.

Répondre à Paolo

De Paolo
(Publié le 06/01/2018)

Bonjour

9 placements
P(4L2C4)=>couvre la grille.
P(7L2C4) invalide.
P(6L2C4) invalide.

Répondre à Francis Labetoulle

De Francis Labetoulle
(Publié le 06/01/2018)

P(5L4C7) invalide.
P(5L5C8) avec croisements des bifurcations (2L2C3) et(3L2C3): solution .
.

Répondre à JC

De JC
(Publié le 06/01/2018)

9 placements
HP(28)L89C4, HP(56)L4C7.L5C8, HT(456)L234C7, HT(348)L6C125
3 -> -3L3C6
4 -> -4L5C1
5 -> -5L2C12
Fish seulement possible sur 3 chiffres [2, 6 et 8] -> puzzle "généralement" facile

6L4C4 -> 0 solution; L4C7=6 et 3 placements
8L3C3 -> 0 solution; L9C3=8 et fin



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

Grille N°442


Répondre à Richard

De Richard
(Publié le 06/01/2018)

Bonsoir,

@Robert : votre solution est de taille 3, pas 4. Bravo !

Répondre à Robert Mauriès

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

Résolution de taille 3 en partant des cases L7C1 et L4C4 :
- P(3L7C1) invalide et P(56L7C1) invalide -> placement des candidats de P(2L7C1).
- P(5L4C4) invalide et P(6L4C4) couvre la grille

Répondre à Francis Labetoulle

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

Bonjour
J'essaie d'exploiter C5.
D'abord la case L7C5: P(3L7C5) conduit, avec les deux 4 de B2 en bifurcation une contradiction par croisement.
Je valide donc 9L7C5.
Puis la case L3C5 : P(1L3C5) conduit, avec les deux 2 de C2 en bifurcation, à une solution par croisements.
Enfin P(3L3C5) donne, avec les deux 5 de C6 en bifurcation une contradiction par croisements.
Unicité et solution de taille 5.


Répondre à Richard

De Richard
(Publié le 05/01/2018)

Bonsoir et bonne année à tous.

Aucun placement par les TB initiales.

Solution de taille 5 basée sur les 3 de la ligne 3 :

(1) 3L3C4 => petite piste comportant 2 candidats virtuels.
(2) 3L3C5 => petite piste comportant 5 candidats virtuels.
(3) 3L3C679 => contradiction via une réduction bloc/ligne : dans le bloc 2 les 3 sont cantonnés colonne 6 ce qui implique que 1L6C6 fait partie de la piste.
Plus tard voir également la paire 56 de L79C3.

Bifurcation de (1) avec la case L1C4 :

(4) 3L3C4 + 4L1C4 => résolution de la grille via triplet (129) en L2C123 qui force 5L1C1 à faire partie de la piste.
(5) 3L3C4 + 6L1C4 => contradiction.
(6) 3L3C4 + 8L1C4 => contradiction.

Bifurcation de (2) avec la case L1C4 :

(7) 3L3C5 + 6L1C4 => contradiction.
(8) 3L3C5 + 8L1C4 => contradiction.

Répondre à JC

De JC
(Publié le 05/01/2018)

6 -> -6L1C78
9 -> -9L7C13

3L2C6 -> 0 solution via HP(49)L8C23
L2C7=3, L2C8=6
1 -> -1L1C2
2 -> -2L3C1

2L2C1 -> 0 solution
L2C1=9, L2C2=L7C1=L3C7=2
1 -> -1L56C3
3 -> -3L5C2
5 -> -5L3C3
6 -> -6L56C3
L6C3=L1C2=L2C6=8, L2C3=1

6L1C45 -> 1 solution unique par croisements des pistes



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

Grille N°441


Répondre à Claude Renault

De Claude Renault
(Publié le 04/01/2018)

Bonne année à tous
le 9L9C3 est un backdoor

Répondre à Paolo

De Paolo
(Publié le 01/01/2018)

Bonne année 2018 !
1)5 placements par les TB iniziales.
2)3L4C2=>contradiction (L1C3= Ø)=>-3L4C2
3)8L4C2=>contradiction=>-8L4C2=>solution.
Ou
3) résolution par le croisement de deux pistes conjuguées 3L6C2 et 3L2C2.

Répondre à Francis Labetoulle

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

Bonne année à tous!
P(6L8C1) fournit une solution via les croisements des bifurcations issues des 3 de C5.
P(6L9C3) conduit à une contradiction via les croisements des bifurcations issues des 8 de B7.
Autre méthode plus efficace :
P(1L7C2) est invalide.
P(1L9C2) donne la solution via les croisements des bifurcations issues des 7 de C6.

Répondre à Robert Mauriès

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

Bonne année 2018 !
Résolution de taille 2 avec deux jeux de pistes successifs, par simple croisement des pistes : JP(8B7) puis JP(7B3).

En savoir plus ...



Nos partenaires














assistant-sudoku.com est la propriété de 2IAsystem sarl, 8 rue du romarin, 31520 Ramonville St Agne. Toute reproduction interdite.