2-String Kite
Un 2-String Kite est la forme ligne-plus-colonne de la X-Chain à deux nœuds. Pour un chiffre, un nœud d'inférence forte en ligne et un nœud d'inférence forte en colonne forment (A=B)-(C=D) ; le tiret est une inférence faible à travers leur bloc partagé. La chaîne prouve A OU D, ce qui permet des éliminations chez les candidats qui voient les deux extrémités.
Qu'est-ce qu'un 2-String Kite ?
Écrivez le cerf-volant (A=B)-(C=D). A=B est un lien fort (XOR) dans une ligne et C=D est un lien fort (XOR) dans une colonne : chaque maison doit placer le chiffre sur au moins un côté représenté. Les côtés reliés B et C se trouvent dans un bloc et ne peuvent pas tous les deux contenir le chiffre, ce qui donne l'inférence faible (NAND) B-C. Dans le système de signatures de strmckr, les côtés de nœud peuvent être des alternatives uniques ou des alternatives groupées correctement justifiées.
Exemple détaillé
Un exemple détaillé d’un Cerf-volant à deux cordes écrit sous la forme (A=B)-(C=D) : une inférence forte en ligne et une en colonne reliées par une inférence faible dans un bloc.
Étape 1
Considérez la X-Chain à deux nœuds pour 1 dans ligne 1 et colonne 2.
Étape 2
Écrivez la chaîne comme (E1=C1)-(B3=B8). Chaque signe égal est un lien fort (XOR) : dans ligne 1, exactement l'une des cases E1 et C1 contient 1 ; dans colonne 2, exactement l'une des cases B3 et B8 contient 1. Le tiret est une inférence faible (NAND) : C1 et B3 se voient dans ce bloc, donc elles ne peuvent pas contenir 1 toutes les deux. Si E1 est faux, C1 est vrai, B3 est faux, et B8 est vrai. Par conséquent les extrémités satisfont E1 OU B8 : au moins l'une contient 1, éventuellement les deux.
Étape 3
C'est l'élimination de type 1 du même chiffre : puisque E1 OU B8 est prouvée pour 1, supprimez 1 de tout candidat qui voit les deux extrémités.
La signature ligne-plus-colonne (A=B)-(C=D) relie deux liens forts (XOR) par une inférence faible de bloc (NAND) et prouve A OU D. Cette relation entre extrémités justifie le retrait du chiffre d’un candidat qui voit les deux côtés. Il s’agit de l’élimination de Type 1 sur un même chiffre. Vous pouvez essayer nos grilles de Sudoku gratuites pour vous entraîner avec l’état actuel des candidats visible.
Comment le repérer
Pour un chiffre, trouvez une inférence forte en ligne et une inférence forte en colonne justifiées. Vérifiez si un côté du nœud en ligne et un côté du nœud en colonne partagent un bloc et entrent universellement en conflit ; c'est l'inférence faible. Les côtés non reliés A et D sont les extrémités. Ne retirez le chiffre que d'une cible qui voit chaque candidat représenté par les deux extrémités.
La logique
Si A est faux, le lien fort en ligne rend B vrai. L'inférence faible en bloc B-C rend C faux, et le lien fort en colonne rend D vrai. Donc A OU D est vrai, possiblement les deux. Un candidat qui entre en conflit avec les deux extrémités peut être retiré. C'est l'élimination de type 1 du même chiffre. Le Skyscraper a le même théorème à deux nœuds, mais utilise deux nœuds en lignes parallèles ou deux nœuds en colonnes parallèles.