Une eureka

abi a écrit:

Bonjour Loumtom

OK, c'était donc bien tout ce qu'il y avait à comprendre...pas de subtilité à chercher

Amicalement,

Sophie

Bonjour à tous,

A vous lire, je ne vois pas ce que vous apportera la solution de mon solveur que j'ai commencé de regarder

amitiés

GPenet

Bonjour gpenet

Une solution qui utilise les mêmes cases pour prouver la même chose que dans une solution déjà donnée n'apporte pas grand chose SUR LE FOND, seule la forme (différente) sera intéressante.

Mais peut-être votre solveur a-t-il aussi trouvé quelque chose de complètement différent de tout de qui a été déjà dit sur cette grille, ici et sur euréka.

Amicalement,

Sophie

Bonsoir a Tous

Et bien je ne sais pas encore ce que le solveur de Gerard pourra donner mais on pouvait fixer rapidos le 3 en f5 et quelques elims sans le RI.
En ce qui me concerne apres les explications de abi sur le recours au RI vu comme un objet externe qui intervient pour presicer un placement
j ai revu ma propre mouture du Triangle Matriciel.je la pense plus lisible que ma premiere version et surtout plus lisible
que ma version chaine avec derivees - un peu trop nombreuses ici.

Independemment, j"ai revu le probleme autrement pour la perle perdue de h1=8
Je vous donne rendez vous pour une publication -
Une Curiosite plutot Extraordinaire
Vous Jugerez de cette Affaire

Pour GPenet.
J'ai ecrit un ou deux topos sur le cas des Tableaux Perliers sans perle ou avec 2 perles potentielles au final 1 seulement ou 2 selon cas
Que pensez vous de la demo et aussi du formalisme de redaction et "tables de verite" en logique Faux VRAI et conclusion
Si vous avez le temps, ce serait vraiment un plus
Au besoin par MP ou a mon adresse Internet car cela depasse un peu le cadre de ce theme
Merci par avance.

Sudocalement votre,
Loumtom.

Bonjour à tous,

Une réponse d'attente à ABI tout d'abord.

Je n'ai pas oublié ma promesse, mais la formalisation de ma solution demande un peu de temps et j'en manque en ce moment.
Je pars en tous cas en voyage avec la vôtre que je vais étudier dans les trains et avions.

Loumtom a écrit:

Pour GPenet.
J'ai ecrit un ou deux topos sur le cas des Tableaux Perliers sans perle ou avec 2 perles potentielles au final 1 seulement ou 2 selon cas
Que pensez vous de la demo et aussi du formalisme de redaction et "tables de verite" en logique Faux VRAI et conclusion
Si vous avez le temps, ce serait vraiment un plus
Au besoin par MP ou a mon adresse Internet car cela depasse un peu le cadre de ce theme
Merci par avance.

Sudocalement votre,
Loumtom.

Avez vous les liens vers ces explications que je n'ai pas trouvées.

De mon côté, je peux retrouver assez facilement des exemples de tableaux perliers "multiples" que Sudolu explainer traite et pour lesquels j'ai baissé les bras faute de règle simple.

A voir le semaine prochaine à mon retour

amitiés à tous

G.Penet

Bonjour,

Je suis parti avec un tableau de la mauvaise grille, celle d'eureka.
Un peu pour répondre à la remarque de Loumtom,
voici une expression en mode "chaînes" de la première élimination.
Je traite ici <8I3>

____a______b______c______|_d______e______f______|_g______h______i______|
-
1_|_189____13789__378____|_19_____4______2______|_3689___5689___35689__|
2_|_469____349____346____|_59_____359____8______|_1______2______7______|
3_|_189____2______5______|_6______1379___379____|_4______89_____389____|
-
4_|_3______6______478____|_2______789____479____|_789____15_____15_____|
5_|_4589___45789__1______|_4789___36789__34679__|_2______6789___689____|
6_|_289____789____278____|_1789___16789__5______|_6789___3______4______|
-
7_|_268____38_____2368___|_789____6789___1______|_5______4______3689___|
8_|_7______1458___9______|_3______568____46_____|_68_____168____2______|
9_|_14568__13458__3468___|_4589___2______469____|_36789__16789__13689__|

Un petit raccourci pour simplifier l'écriture
8I3->6G6 par 8I3/3I3_3EF3/1E3_1E6/6E6_6G6
et l'invalidation par le lien associé au RI (que ne fait pas encore mon solveur)

Code:

3I3 / 8I3
7H5 / 8H5_|8I5/8I3
          |8G4G6/8G8_6G8/6G6<-8I3

6H5I5/6G6<-8I3

Pour la BF326, j'ai réexaminé la solution de mon solveur.

En fait, il a depuis le départ <14>G1G2.
Je dois, pour le trouver, interdire les longues éliminations de "niveau inférieur"
Par contre, sans surprise, il n'a pas <12>G1G1 et <17>G1G2 que donne abi.

Je vais regarder ce qui lui manque pour les trouver

Voici son élimination <14> G1G2

__ A____ B_____ C_____ |D____ E____ F____ |G_____ H____ I_____
1||1____ 346789 234678 |26789 24679 4689_ |247___ 2467_ 5_____
2||268__ 4678__ 24678_ |25678 12467 14568 |1247__ 3____ 9_____
3||269__ 4679__ 5_____ |2679_ 3____ 1469_ |8_____ 12467 12467_
4||236__ 346___ 9_____ |367__ 5____ 136__ |12347_ 8____ 123467
5||7____ 34568_ 3468__ |3689_ 169__ 2____ |13459_ 1469_ 1346__
6||23568 1_____ 2368__ |4____ 679__ 3689_ |23579_ 2679_ 2367__
7||369__ 3679__ 1367__ |2369_ 8____ 3469_ |123479 5____ 12347_
8||35689 2_____ 1368__ |3569_ 469__ 7____ |1349__ 149__ 1348__
9||4____ 35789_ 378___ |1____ 29___ 359__ |6_____ 279__ 2378__

[]14G1G2 =>1F3/4F3_|sc|_4B3/4B4_|sc|_4I4/1I4_|sc|_1E2/1G2<=14G1G2

Dans cette écriture, _|sc|_ indique que ce lien est déduit du scenario(et valable uniquement dans ce scenario).
C'est un peu équivalent aux persistences d'abi.
Je reviens plus tard si je trouve une formulation interessante des solutions d'abi pour les deux autres.
amitiés

G.penet

Bonjour gpenet,

Toujours intéressée par votre solution de colBF2 326.
Je suis allée de temps en temps sur votre site mais ne l'y ai pas trouvée.
Peut-être n'avez-vous pas eu le temps de la formuler, mais dans le cas contraire, ce serait "ballot" qu'elle attende sagement et que je l'aie simplement "loupée"!
Si un lien existe, je me ferai un plaisir de le consulter.

Amicalement,

Sophie

abi a écrit:

Bonjour gpenet,

Toujours intéressée par votre solution de colBF2 326.
Je suis allée de temps en temps sur votre site mais ne l'y ai pas trouvée.
Peut-être n'avez-vous pas eu le temps de la formuler, mais dans le cas contraire, ce serait "ballot" qu'elle attende sagement et que je l'ai simplement "loupée"!
Si un lien existe, je me ferai un plaisir de le consulter.

Amicalement,

Sophie

Bonjour Sophie,


Me voici donc relancé par une ex accroc qui a rechuté:

De mémoire, j'ai bien commencé le travail de dépouillement de la BF 326, mais je n'y ai rien trouvé d'attrayant, juste ces gands réseaux de chaînes qu'à juste titre les joueurs n'aiment pas.

Il faut que je voie jusqu'ou je suis allé.

Dans l'intervalle, je me suis concentré sur d'autres sujets qui m'ont éloigné de ce site,

- le jeu sur trame de grille imposée où j'ai retrouvé joël, un bon moyen de progresser dans la génération de grilles, un sujet que j'avais à peine abordé, mais bien prenant,

- la recherche de nouvelles grilles extrêmes, mon véritable objectif, le jeu n'étant qu'un moyen d'apprendre quelles techniques appliquer,

- enfin, mais c'est un epiphénomène, la récriture de Sudoku Explainer dans une version infiniment plus rapide et aussi proche que possible de l'original, en utilisant le code de mon solveur.

Je fais quelques recherches sur BF326 et je reviens vers vous si j'ai des éléments plus précis.

amitiés

G.Penet

Re bonjour abi,

J'ai passé en revue ce que j'ai sur la BF 326.
J'ai essayé à peu près toutes les options, mais je n'ai rien vu qui mérite une publication.

J'avais peu être loupé à l'époque ce petit espoir:

Si on limite l'examen aux candidats 12467 (les autres étant regroupé sous le signe +,
on peut éliminer


1:I7
2:D1I3G6
6:E1E2I4

et les noeuds E1 A4 I4 I7 sont limités à 1467


c'est en principe mon départ pour la recherche de gros ensembles de rang 0.
Ci-après l'allure de la grille réduite.

Mon solveur ne trouve pas de logique de rang 0, et je n'ai rien cherché d'autre.

Code:

X      467+__ 2467+_ |267+__ 2467+_ 46+___ |247___ 2467__ X     
26+___ 467+__ 2467+_ |267+__ 12467_ 146+__ |1247__ X      X     
26+___ 467+__ X      |267+__ X      146+__ |X      12467_ 12467_

26+___ 46+___ X      |67+___ X      16+___ |1247+_ X      12467+
X      46+___ 46+___ |6+____ 16+___ X      |14+___ 146+__ 146+__
26+___ X      26+___ |X      67+___ 6+____ |27+___ 267+__ 267+__

6+____ 67+___ 167+__ |26+___ X      46+___ |1247+_ X      1247+_
6+____ X      16+___ |6+____ 46+___ X      |14+___ 14+___ 14+___
X      7+____ 7+____ |X      2+____ X      |X      27+___ 27+___

Pour ne pas rester sur un sentiment d'échec,

Ci après une inédite (que l'on peut appeler g122_109 puisqu'elle vient du jeu en cours)


.....9..8
..7.6..9.
.5.4..3..
..2.....1
.6..2..5.
3.....9..
..4..8.7.
.8..9.2..
1..6.....


vu par mon solveur, elle est vraiment coriace. Elle a un indice Sudoku Explainer 10.9

La symétrie de l'ensemble laisse espérer un raisonnement génial.

amitiés

G.Penet

Re- Bonjour gpenet

Merci beaucoup pour votre réponse.

Meuhhhhhhhh non, pas de rechute...c'était juste un FOPA => j'attendrai de lire le "génial raisonnement"

Amicalement,

Sophie