Anneaux AIC
Chaînes d'inférence alternées fermées : anneaux à un seul chiffre, bivalents et mixtes, dont l'inférence faible de clôture est vérifiée indépendamment du chemin.
Anneau AIC à un chiffre à deux nœuds
Un anneau AIC à un chiffre de quatre cases — la boucle X-Wing — avec une inférence faible de clôture vérifiée.
Continuer la lecture
Anneau AIC à trois nœuds (un chiffre)
Trois nœuds forts à un chiffre avec une fermeture en anneau continu vérifiée.
Continuer la lecture
Anneau AIC à trois nœuds groupé (un chiffre)
Trois nœuds forts, dont une proposition groupée, avec une fermeture en anneau continu vérifiée.
Continuer la lecture
Anneau AIC à un chiffre
Un anneau AIC à un seul chiffre dont les liens forts et faibles alternés se ferment en une boucle continue.
Continuer la lecture
Anneau AIC bivalent
Un anneau dont les inférences fortes passent toutes par des cases bivalentes, fermé par un lien faible vérifié.
Continuer la lecture
Anneau AIC mixte
Un anneau AIC mêlant liens forts bilocaux et bivalents, fermé par un lien faible vérifié.
Continuer la lectureChaînes fermées : quand le dernier maillon mord le premier
Un anneau AIC est une chaîne d'inférence alternée dont les extrémités se rejoignent : l'inférence faible de clôture entre le dernier et le premier nœud fort est vérifiée indépendamment du chemin lui-même. Parce que la boucle n'a pas d'extrémité libre, le théorème des extrémités fournit l'inférence forte manquante entre la paire de clôture, chaque arête faible gagne une inférence forte complémentaire, et les candidats qui voient les deux côtés d'une arête faible peuvent être supprimés.
Les guides ici couvrent les anneaux à un seul chiffre — de la boucle X-Wing à quatre cases jusqu'aux structures L(1)-Ring plus longues — ainsi que les anneaux bivalents et mixtes construits à partir de nœuds forts de cases et groupés. Chaque anneau de ces pages est validé par la même règle : le lien faible de clôture doit exister indépendamment du chemin qu'il ferme.