Forcing-Fallback

Erschöpfendes Forcing: Jede Alternative einer Quellzelle oder -einheit wird geprüft, und nur Schlussfolgerungen, die alle Zweige teilen, werden behalten.

Forcing Chain

Eine offene gemischte X/Y-Implicationskette, die eine Platzierung oder Eliminierung beweist.

Nishio

Eine Single-Value-Annahme wird durch einen Widerspruch widerlegt.

A Cell Forcing Net testing every candidate of one cell

Zellen-Forcing-Netz

Jeder Kandidat in einer Quellzelle führt zu derselben Schlussfolgerung.

A Region Forcing Net testing every position of a digit in one house

Regionen-Forcing-Netz

Jede mögliche Position für eine Ziffer in einem Haus führt zu derselben Schlussfolgerung.

Dynamic Forcing Chain

Kandidaten-Folgen, die während der Kette entdeckt werden, erzeugen neue Implikationen.

Dynamic Forcing Chain Plus

Eine dynamische Kette, die eine zusätzliche Ebene von Unterregeln nutzen kann.

Nested Forcing Chain

Forcing-Chain-Schlussfolgerungen sind in einer anderen Forcing-Chain verschachtelt.

Wenn Verzweigung das ehrliche Werkzeug ist

Diese Methoden verwenden bewusst Fallanalyse. Ein Forcing-Netz startet von einer genau-eine-Bedingung — jedem Kandidaten einer Zelle oder jeder Position einer Ziffer in einer Einheit — und behält nur die Schlussfolgerungen, die alle Zweige teilen. Nishio testet einen einzelnen Kandidaten und verwirft ihn, wenn der Zweig den Regeln für diese Ziffer widerspricht.

Dynamische Forcing-Ketten lassen Implikationen, die mitten im Zweig entdeckt werden, die Analyse erweitern, und die verschachtelte Form erlaubt einer Kette, eine weitere in sich aufzurufen. Sie sind die mächtigsten Einträge in dieser Referenz und zugleich diejenigen, die Trial-and-Error am nächsten kommen: Jede Seite nennt die Quellmenge und die geteilte Schlussfolgerung explizit, damit die Deduktion überprüfbar bleibt.

← Zurück zu Sudoku-Techniken