AIC-Ringe

Geschlossene alternierende Inferenzketten: same-digit-, bivalue- und gemischte Ringe, deren schließende schwache Inferenz unabhängig vom Pfad verifiziert wird.

Geschlossene Ketten: wenn das letzte Glied das erste beißt

Ein AIC-Ring ist eine alternierende Inferenzkette, deren Enden sich verbinden: Die schließende schwache Inferenz zwischen dem letzten und dem ersten starken Knoten wird unabhängig vom Pfad selbst verifiziert. Weil die Schleife kein freies Ende hat, liefert das Endpunkt-Theorem die fehlende starke Inferenz zwischen dem schließenden Paar, jede schwache Kante erhält eine komplementäre starke Inferenz, und Kandidaten, die beide Seiten einer schwachen Kante sehen, können entfernt werden.

Die Anleitungen hier behandeln same-digit-Ringe — von der Vier-Zellen-X-Wing-Schleife bis zu längeren L(1)-Ring-Strukturen — sowie bivalue- und gemischte Ringe aus Zell- und gruppierten starken Knoten. Jeder Ring auf diesen Seiten wird nach derselben Regel validiert: Die schließende schwache Verbindung muss unabhängig von dem Pfad existieren, den sie schließt.