Chaînes AIC
Chaînes d'inférence alternées ouvertes (AIC) : des alternatives exhaustives comme nœuds d'inférence forte reliés, les nœuds successifs étant joints par des inférences faibles. Ce groupe couvre les X-Chains à un chiffre et les XY-Chains à cellules bivale.
Skyscraper
Une X-Chain à deux nœuds avec des inférences fortes en lignes ou colonnes parallèles.
Continuer la lecture
2-String Kite
Une X-Chain à deux nœuds avec des inférences fortes en ligne et en colonne reliées par un bloc.
Continuer la lecture
X-Chain à deux nœuds (Rectangle vide — minimal)
La signature générale à un chiffre (A=B)-(C=D).
Continuer la lecture
Rectangle vide
Une X-Chain à deux nœuds avec un lien fort groupé en rectangle vide (ERI).
Continuer la lecture
X-Chain à trois nœuds
La signature générale L(1)-Wing (A=B)-(C=D)-(E=F).
Continuer la lecture
X-Chain à trois nœuds groupée
Le L(1)-Wing général avec un ou plusieurs côtés groupés.
Continuer la lecture
Chaîne X à 4+ nœuds
Une chaîne d'inférence alternée (AIC) ouverte à un seul chiffre de quatre nœuds d'inférence forte ou plus.
Continuer la lecture
Chaîne XY
Une chaîne d'inférence alternée ouverte à travers des cases bivalentes.
Continuer la lectureComment une chaîne d'inférence alternée prouve une élimination
Écrivez une AIC ouverte comme (A=B)-(C=D)-...-(Y=Z). Chaque signe égal est une inférence forte entre alternatives exhaustives : si un côté est faux, l'autre est vrai. Chaque tiret est une inférence faible : ses côtés reliés ne peuvent pas être vrais tous les deux. L'alternance de ces relations prouve la disjonction inclusive des extrémités A OU Z ; elle ne choisit pas une affectation interne unique.
Une cible ne peut être retirée que si elle entre en conflit avec chaque candidat représenté par les deux extrémités. Les côtés groupés sont des disjonctions et exigent une incompatibilité universelle à chaque inférence faible. Skyscraper et 2-String Kite restreignent la signature de maisons d'une X-Chain à deux nœuds ; les chaînes à un chiffre de longueur 3 sont des L(1)-Wings de signature (A=B)-(C=D)-(E=F), incluant les formes en lignes parallèles, en lignes-colonnes alternées et groupées. Ce sont des variantes d'un même construit, pas des techniques nommées séparées. Les sous-classes basées sur ERi comme Dual Empty Rectangle, Rec't Kite et Bridged Empty Rectangle exigent leurs signatures de liens spécifiques. Les XY-Chains utilisent des nœuds à cellules bivale, tandis que la lecture AIC équivalente de l'Aile XY est enseignée dans le groupe des Ailes ALS-XZ.