AIC-Ketten

Offene alternierende Inferenzketten (AICs): erschöpfende Alternativen als starke Inferenzknoten verbunden, wobei aufeinanderfolgende Knoten durch schwache Inferenzen verbunden sind. Diese Gruppe behandelt same-digit X-Chains und bivalue-cell XY-Chains.

Skyscraper

Eine Zwei-Knoten-X-Chain mit parallelen Reihen- oder Spalten-starken-Inferenzen.

A row and a column strong link of one digit connected through a Sudoku box

2-String Kite

Eine Zwei-Knoten-X-Chain mit Reihen- und Spalten-starken-Inferenzen, verbunden durch einen Block.

Two strong-inference nodes of one digit joined by a weak inference in a Sudoku grid

Zwei-Knoten-X-Chain (Empty Rectangle — minimal)

Die allgemeine same-digit Signatur (A=B)-(C=D).

Empty Rectangle

Eine Zwei-Knoten-X-Kette mit einer Empty-Rectangle-(ERI)-gruppierten starken Verbindung.

Three strong-inference nodes of one digit joined by weak inferences in a Sudoku grid

Drei-Knoten-X-Chain

Die allgemeine L(1)-Wing-Signatur (A=B)-(C=D)-(E=F).

Three strong-inference nodes of one digit with a grouped side in a Sudoku grid

Gruppierte Drei-Knoten-X-Chain

Der allgemeine L(1)-Wing mit einer oder mehreren gruppierten Seiten.

An X-Chain of one digit in a Sudoku grid

X-Kette mit 4+ Knoten

Eine offene single-digit alternierende Inferenzkette (AIC) mit vier oder mehr starken Inferenzknoten.

An XY-Chain between bivalue cells in a Sudoku grid

XY-Kette

Eine offene alternierende Inferenzkette durch Zweiwert-Zellen.

Wie eine alternierende Inferenzkette eine Eliminierung beweist

Schreiben Sie eine offene AIC als (A=B)-(C=D)-...-(Y=Z). Jedes Gleichheitszeichen ist eine starke Inferenz zwischen erschöpfenden Alternativen: Ist eine Seite falsch, ist die andere wahr. Jeder Strich ist eine schwache Inferenz: Ihre verbundenen Seiten können nicht beide wahr sein. Das Alternieren dieser Beziehungen beweist die inklusive Endpunkt-Disjunktion A ODER Z; es wählt keine eindeutige interne Belegung.

Ein Ziel kann nur entfernt werden, wenn es mit jedem Kandidaten kollidiert, den beide Endpunkte repräsentieren. Gruppierte Seiten sind Disjunktionen und erfordern universelle Unvereinbarkeit bei jeder schwachen Inferenz. Skyscraper und 2-String Kite beschränken die Einheiten-Signatur einer Zwei-Knoten-X-Chain; die length-3 same-digit Ketten sind L(1)-Wings mit Signatur (A=B)-(C=D)-(E=F), einschließlich Parallel-Line-, Alternating-Row-Column- und Grouped-Formen. Dies sind Varianten eines Konstrukts, keine separaten benannten Techniken. ERi-basierte Unterklassen wie Dual Empty Rectangle, Rec't Kite und Bridged Empty Rectangle erfordern ihre spezifischen Link-Signaturen. XY-Chains verwenden Bivalue-Cell-Knoten, während die äquivalente AIC-Lesart von XY-Wing in der ALS-XZ-Wings-Gruppe gelehrt wird.

← Zurück zu Sudoku-Techniken