Sudoku Löser

Extreme

Y-Cycle (Diskontinuierlich)

Eine Kette von zweiwertigen Zellen, die eine Schleife mit einem "Bruch" formt, was beweist, dass der Startkandidat unmöglich ist.

Y-Cycle (Diskontinuierlich) ist eine fortgeschrittene Logik-Strategie ähnlich zum XY-Cycle (Diskontinuierlich) und XY-Chain. Sie involviert das Prüfen eines spezifischen Kandidaten in einer spezifischen Zelle, um zu sehen, ob eine Kette von Konsequenzen zu einem Widerspruch führt.

Wenn die Annahme "Zelle A ist 1" schließlich beweist, dass "Zelle A ist NICHT 1", dann war die ursprüngliche Annahme unmöglich.

[!NOTE] Echtes Beispiel Ausstehend: Diese Strategie ist eine spezifische Variante der XY-Cycle/Chain Familie. Wir warten aktuell auf ein pures Beispiel in unserer Datenbank. Das Folgende ist eine theoretische Erklärung.

Interactive Example

1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9

Click "Apply Logic" to see the strategy in action.

Die Logik: Die "Widerspruchs-Schleife"

Stell dir eine Kette von zweiwertigen Zellen (Zellen mit exakt 2 Kandidaten) vor, die zum Start zurückführt:

  1. Start: Zelle A {1, 2}. Nimm an A = 1.
  2. Link: Zelle B {2, 3}. Wenn A=1 → dann ... (Kettenlogik)
  3. Link: Zelle C {3, 4}.
  4. ...
  5. Rückkehr: Die Kette erzwingt schließlich Zelle A zu 2.

Der Widerspruch: - Wir starteten mit der Annahme A = 1. - Die Logik bewies, dass dies zu A = 2 führt (was bedeutet A ≠ 1). - Deshalb kann A nicht 1 sein. - Eliminierung: Entferne 1 aus Zelle A.

Visueller Leitfaden

``` Schritt 1: Nimm an START ist 1 [START] {1,2} = 1 (AN) ↓ [Zelle B] {1,3} = 3 (Impliziert) ↓ [Zelle C] {3,4} = 4 (Impliziert) ↓ [Zelle D] {4,2} = 2 (Impliziert) ↓ [START] {1,2} = 2 (Impliziert) -> NICHT 1 (AUS)

ERGEBNIS: Start=1 impliziert Start≠1. SCHLUSSFOLGERUNG: Start ist NICHT 1. ```

Warum "Diskontinuierlich"?

  • Kontinuierliche Schleife: Alle Links repräsentieren "starke" Beziehungen. Du kannst überall starten, in jede Richtung gehen und es funktioniert perfekt.
  • Diskontinuierliche Schleife: Es gibt einen "Bruch" oder eine "Schwäche" in der Logik, die einen spezifischen Widerspruch an einem Punkt erzeugt (die Diskontinuität).

In diesem Fall ist die Diskontinuität bei der Start/Ende Zelle. Die Kette funktioniert überall sonst fein, aber sie "crasht", wenn sie versucht, sich wieder mit dem Start zu verbinden.

Vergleichstabelle

Strategie Ketten-Komponenten Logik Typ Eliminierung
X-Cycle Einzelne Ziffer (Stark/Schwach Links) Widerspruch Basierend auf spezifischen Ziffern-Links
XY-Chain Zweiwertige Zellen Endpunkt Inferenz Nur am Start/Ende
Y-Cycle (Disc.) Zweiwertige Zellen Selbst-Widerspruch An der Startzelle selbst

Wie man es erkennt

  1. Markiere Zweiwertige Zellen: Diese Strategie nutzt exklusiv Zellen mit 2 Kandidaten.
  2. Wähle einen Start: Wähle eine zweiwertige Zelle und "teste" einen Kandidaten mental.
  3. Folge der Kette: Verfolge die erzwungenen Implikationen (Wenn das A ist, muss jenes B sein...).
  4. Suche nach Rückkehr: Kurvt die Kette zurück zu deiner Startzelle?
  5. Prüfe Ergebnis: Wenn sie als der gegenteilige Wert zurückkommt, hast du einen Y-Cycle Diskontinuierlich gefunden.

Verwandte Strategien