AIC-Ringe
Geschlossene alternierende Inferenzketten: same-digit-, bivalue- und gemischte Ringe, deren schließende schwache Inferenz unabhängig vom Pfad verifiziert wird.
Zwei-Knoten-AIC-Ring gleicher Ziffer
Ein Vier-Zellen-single-digit-AIC-Ring — die X-Wing-Schleife — mit einer verifizierten schließenden schwachen Inferenz.
Weiterlesen
Drei-Knoten-AIC-Ring (eine Ziffer)
Drei single-digit starke Knoten mit einem verifizierten Continuous-Ring-Abschluss.
Weiterlesen
Gruppierter Drei-Knoten-AIC-Ring (eine Ziffer)
Drei starke Knoten, einschließlich einer gruppierten Aussage, mit einem verifizierten Continuous-Ring-Abschluss.
Weiterlesen
AIC-Ring gleicher Ziffer
Ein single-digit AIC-Ring, dessen alternierende starke und schwache Verbindungen sich zu einer kontinuierlichen Schleife schließen.
Weiterlesen
Zweiwert-AIC-Ring
Ein Ring, dessen starke Inferenzen alle durch Zweiwert-Zellen laufen, geschlossen durch eine verifizierte schwache Verbindung.
Weiterlesen
Gemischter AIC-Ring
Ein AIC-Ring, der bilokale und zweiwertige starke Verbindungen mischt, geschlossen durch eine verifizierte schwache Verbindung.
WeiterlesenGeschlossene 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.