Zellen-Forcing-Netz
Ein Cell Forcing Net — die Technik, traditionell als Cell Forcing Chain gelistet — startet von jedem Kandidaten in einer ausgewählten Zelle und folgt nur erzwungenen Konsequenzen. Weil die Quell-Alternativen erschöpfend sind, ist eine Schlussfolgerung, die jede Verzweigung erreicht, unbedingt.
Was ist ein Cell Forcing Net?
Ein wahrer Kandidat macht jeden schwach verlinkten Kandidaten falsch. Ein falscher Kandidat macht die andere Seite einer starken Inferenz wahr. Falsch auf einer Seite einer schwachen Inferenz allein beweist nichts. Eine Verzweigungswahl, die nicht erzwungen ist, kann nicht als Konsequenz behandelt werden. Jede verbleibende Quell-Alternative muss getestet werden; eine fehlgeschlagene Verzweigung entscheidet die Quelle nicht.
Beispiel mit Erklärung
Ein Walkthrough eines Zellen-Forcing-Netzes: jeder Kandidat der Quellzelle wird als Zweig geprüft, und nur eine von allen Zweigen geteilte Schlussfolgerung wird angewendet.
Schritt 1
Betrachte diese Zellen.
Schritt 2
Mit dieser Lösungstechnik werden wir die folgenden Aussagen beweisen: 1. Wenn F6 den Wert 1 enthält, dann E5 muss den Wert 6 enthalten 2. Wenn F6 den Wert 3 enthält, dann E5 muss den Wert 6 enthalten 3. Wenn F6 den Wert 9 enthält, dann E5 muss den Wert 6 enthalten Da die Zelle F6 keine anderen Werte enthalten kann und die Ergebnisse gleich sind, können wir schließen, dass E5 muss den Wert 6 enthalten. Jede Aussage wird durch eine andere Kette einfacher Regeln bewiesen. Die Ketten sind statisch, was bedeutet, dass jede Regel der Kette verstanden werden kann, ohne sich die Ergebnisse vorheriger Regeln merken zu müssen. Kette 1: 1. Wenn F6 enthält den Wert 1, dann kann nicht enthalten E5 den Wert 1 (der Wert kann im Block nur einmal vorkommen) 2. Wenn E5 enthält nicht den Wert 1, dann muss enthalten E5 den Wert 6 (einziger verbleibender möglicher Wert in der Zelle) Kette 2: 1. Wenn F6 enthält den Wert 3, dann kann nicht enthalten D5 den Wert 3 (der Wert kann im Block nur einmal vorkommen) 2. Wenn D5 enthält nicht den Wert 3, dann muss enthalten D5 den Wert 1 (einziger verbleibender möglicher Wert in der Zelle) 3. Wenn D5 enthält den Wert 1, dann kann nicht enthalten E5 den Wert 1 (der Wert kann im Block nur einmal vorkommen) 4. Wenn E5 enthält nicht den Wert 1, dann muss enthalten E5 den Wert 6 (einziger verbleibender möglicher Wert in der Zelle) Kette 3: 1. Wenn F6 enthält den Wert 9, dann kann nicht enthalten D6 den Wert 9 (der Wert kann im Block nur einmal vorkommen) 2. Wenn D6 enthält nicht den Wert 9, dann muss enthalten D9 den Wert 9 (einzige verbleibende mögliche Position in der Spalte) 3. Wenn D9 enthält den Wert 9, dann kann nicht enthalten E9 den Wert 9 (der Wert kann im Block nur einmal vorkommen) 4. Wenn E9 enthält nicht den Wert 9, dann muss enthalten E9 den Wert 1 (einziger verbleibender möglicher Wert in der Zelle) 5. Wenn E9 enthält den Wert 1, dann kann nicht enthalten E5 den Wert 1 (der Wert kann in der Spalte nur einmal vorkommen) 6. Wenn E5 enthält nicht den Wert 1, dann muss enthalten E5 den Wert 6 (einziger verbleibender möglicher Wert in der Zelle)
Schritt 3
Daher kann Wert 1 aus E5 entfernt werden: Alle möglichen Quellpositionen erzwingen, dass E5 den Wert 6 enthalten muss, sodass kein anderer Wert dorthin kann.
Dieser Walkthrough zeigt ein gültiges Beispiel der definierten Deduktion. Prüfen Sie die angegebene Quellmenge oder Annahme, dass jeder Zweig getestet wurde und dass die angewendete Schlussfolgerung von allen geteilt wird, bevor Sie dieselbe Deduktion auf ein anderes Gitter anwenden. Sie können Sudoku kostenlos spielen, um mit sichtbarem aktuellem Kandidatenzustand zu üben.
Wie man sie findet
Nennen Sie die Quellaussage oder die erschöpfende Quellmenge, dann annotieren Sie jeden Schritt mit seinem Grund. Vergleichen Sie alle Verzweigungen und akzeptieren Sie nur einen Zielwahrheitswert, den jede von ihnen teilt.
Die Logik
Mindestens eine Quell-Alternative ist wahr. Impliziert jede Alternative dieselbe Zielschlussfolgerung, gilt die Zielschlussfolgerung unabhängig davon, welche Quelle wahr ist. Optionale Verzweigungen müssen Alternativen bleiben, statt als erzwungene Verbindungen berichtet zu werden.