Turbot Fish
Turbot Fish est un nom générique retiré pour les chaînes courtes à un seul chiffre. Ses formes sont désormais classées comme X-Chains — les formes à deux maillons apparaissent comme Skyscraper, 2-String Kite ou Two-Node X-Chain, et les plus longues comme X-Chains à trois nœuds ou quatre nœuds et plus. La construction est une AIC ouverte à un seul chiffre : si la première extrémité est fausse, la chaîne force l'extrémité lointaine vraie, donc au moins une extrémité est vraie — possiblement les deux — et le chiffre peut être supprimé d'un candidat qui voit les deux extrémités.
Qu'est-ce qu'un Turbot Fish ?
Écrivez la construction comme (A=B)-(C=D) : A=B et C=D sont des liens forts (paires de nœuds XOR), tandis que B-C est une inférence faible (NAND), c'est-à-dire que B et C ne peuvent pas être vrais tous les deux. Il s'ensuit que A ou D est vrai. Il ne s'ensuit pas que A et D ont toujours des valeurs de vérité opposées.
Où le trouver aujourd’hui : les formes à deux liens sont le Gratte-ciel, le Cerf-volant à deux cordes, le Rectangle vide et la Chaîne X à deux nœuds ; les chaînes plus longues d’un même chiffre sont traitées sur la page Chaîne X.
Exemple détaillé
Un exemple détaillé de l’ancien nom Turbot Fish sous la forme moderne de la Chaîne X à deux nœuds (A=B)-(C=D).
Étape 1
Considérez ces cases.
Étape 2
Les candidats en surbrillance forment le X-Chain ouvert (A6=G6)-(H5=H3)-(E3=E8)-(F7=A7). Chaque signe égal est un lien fort (XOR) ; chaque tiret est une inférence faible (NAND). Le théorème des extrémités prouve A6=2 OR A7=2.
Étape 3
Ce sont des éliminations de type 1 du même chiffre : A1 et A2 voient les deux extrémités A6=2 et A7=2, et la chaîne prouve A6=2 OU A7=2 pour 2.
La preuve moderne est la Chaîne X à deux nœuds (A=B)-(C=D) : deux liens forts (XOR) et une inférence faible (NAND) prouvent A OU D et justifient l’élimination sur les cases paires communes. Il s’agit de l’élimination de Type 1 sur un même chiffre. Turbot Fish ne reste qu’un ancien terme générique. Vous pouvez jouer au Sudoku en ligne pour vous entraîner avec l’état actuel des candidats visible.
Comment le repérer
Pour un chiffre, trouvez deux nœuds d'inférence forte justifiés et une inférence faible valide entre un côté de chacun. Partager un point géométrique ne suffit pas, sauf si les propositions de candidats sont distinctes et incompatibles. Les côtés non connectés sont les extrémités d'élimination ; une cible doit voir les deux.
La logique
Si A est faux, B est vrai ; comme B et C ne peuvent pas être vrais tous les deux, C est faux ; donc D est vrai. Ainsi A ou D est vrai. Une cible qui voit les deux extrémités rendrait les deux fausses si elle contenait le chiffre, en contradiction avec la chaîne ; le candidat cible peut donc être supprimé. C'est l'élimination de type 1 du même chiffre.