Platon Sudoku · Sudoku-Studienraum

Einziffer-Gruppen-AIC · Beispiel Schritt für Schritt

Ein Gruppenknoten bedeutet, dass mindestens einer seiner Kandidaten wahr ist. Entferne ein Ziel, das von den Enden der Kette ausgeschlossen wird.

Dieser Kurs wurde aus der App Platon Sudoku für das Web aufbereitet. Lies hier das vollständige Beispiel und lerne und übe anschließend in der App weiter.

Bei Google Play ansehen

Muster erkennen

Ein Gruppenknoten bedeutet, dass mindestens einer seiner Kandidaten wahr ist.

So findest du es

Prüfe die gemeinsame Einheit der Gruppe und folge starken und schwachen Beziehungen durch die Gruppen.

Das folgt daraus

Entferne ein Ziel, das von den Enden der Kette ausgeschlossen wird.

Verwechslung vermeiden

Eine wahre Gruppe bedeutet nicht, dass jedes Mitglied wahr ist.

Beispiel Schritt für Schritt · Eine Gruppe

Dieses Beispiel beginnt an einem gespeicherten Zwischenstand. Die Kandidaten enthalten frühere logische Ausschlüsse und sind keine frisch erzeugten automatischen Notizen.

Blau: Belege. Grün: Schlussfolgerung. Durchgestrichene Ziffern: ausgeschlossene Kandidaten. R1C1 bedeutet Zeile 1, Spalte 1.

Schritt 1 · Wo du suchen solltest

In Block 6 kann 2 nur in R4C7, R4C8, R5C8 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen.

In Block 6 kann 2 nur in R4C7, R4C8, R5C8 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen. — In Block 6 kann 2 nur in R4C7, R4C8, R5C8 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen.
G1: R4C8=2, R5C8=2

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr

Schritt 2 · Herleitung

In Spalte 5 kann 2 nur in R1C5, R4C5 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen.

In Spalte 5 kann 2 nur in R1C5, R4C5 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen. — In Spalte 5 kann 2 nur in R1C5, R4C5 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen.
G1: R4C8=2, R5C8=2

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr

Schritt 3 · Herleitung

In Spalte 9 kann 2 nur in R1C9, R8C9 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen.

In Spalte 9 kann 2 nur in R1C9, R8C9 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen. — In Spalte 9 kann 2 nur in R1C9, R8C9 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen.
G1: R4C8=2, R5C8=2

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr

Schritt 4 · Die OR-Kandidatengruppen benennen

Die nummerierten Klammern und die Legende definieren diese Gruppen: OR-Kandidatengruppe A = R4C8=2, R5C8=2. Jede Gruppe ist ein OR-Zustand: Mindestens ein Kandidat darin ist wahr, aber nicht zwangsläufig alle gleichzeitig.

Die nummerierten Klammern und die Legende definieren diese Gruppen: OR-Kandidatengruppe A = R4C8=2, R5C8=2. Jede Gruppe ist ein OR-Zustand: Mindestens ein Kandidat darin ist wahr, aber nicht zwangsläufig alle gleichzeitig. — Die nummerierten Klammern und die Legende definieren diese Gruppen: OR-Kandidatengruppe A = R4C8=2, R5C8=2. Jede Gruppe ist ein OR-Zustand: Mindestens ein Kandidat darin ist wahr, aber nicht zwangsläufig alle gleichzeitig.
G1: R4C8=2, R5C8=2

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr

Schritt 5 · Herleitung

Zweig 1: Nehmen wir an, OR-Kandidatengruppe A ist falsch.

Zweig 1: Nehmen wir an, OR-Kandidatengruppe A ist falsch. — Zweig 1: Nehmen wir an, OR-Kandidatengruppe A ist falsch.
G1: R4C8=2, R5C8=2

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr

Schritt 6 · Gruppenstarklink: die andere Seite erzwingen

Fall 1: OR-Kandidatengruppe A ist falsch, daher erzwingt der Gruppenstarklink R4C7=2. Bei einer OR-Gruppe bedeutet das: Mindestens ein Kandidat darin ist wahr.

Fall 1: OR-Kandidatengruppe A ist falsch, daher erzwingt der Gruppenstarklink R4C7=2. Bei einer OR-Gruppe bedeutet das: Mindestens ein Kandidat darin ist wahr. — Fall 1: OR-Kandidatengruppe A ist falsch, daher erzwingt der Gruppenstarklink R4C7=2. Bei einer OR-Gruppe bedeutet das: Mindestens ein Kandidat darin ist wahr.
G1: R4C8=2, R5C8=2

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr

Schritt 7 · Gruppenschwachlink: die Gegenseite ausschließen

R4C7=2 ist als Kettenzustand wahr; die unvereinbare Seite R4C5=2 ist daher falsch.

R4C7=2 ist als Kettenzustand wahr; die unvereinbare Seite R4C5=2 ist daher falsch. — R4C7=2 ist als Kettenzustand wahr; die unvereinbare Seite R4C5=2 ist daher falsch.
G1: R4C8=2, R5C8=2

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr

Schritt 8 · Gruppenstarklink: eine Seite muss bleiben

R4C5=2 ist falsch, daher erzwingt der Gruppenstarklink R1C5=2.

R4C5=2 ist falsch, daher erzwingt der Gruppenstarklink R1C5=2. — R4C5=2 ist falsch, daher erzwingt der Gruppenstarklink R1C5=2.
G1: R4C8=2, R5C8=2

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr

Schritt 9 · Gruppenschwachlink: die Gegenseite ausschließen

R1C5=2 ist als Kettenzustand wahr; die unvereinbare Seite R1C9=2 ist daher falsch.

R1C5=2 ist als Kettenzustand wahr; die unvereinbare Seite R1C9=2 ist daher falsch. — R1C5=2 ist als Kettenzustand wahr; die unvereinbare Seite R1C9=2 ist daher falsch.
G1: R4C8=2, R5C8=2

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr

Schritt 10 · Der indirekte Endpunkt schließt die Ziele aus

R8C9=2 ist als Endzustand wahr und schließt deshalb die Ziele aus.

R8C9=2 ist als Endzustand wahr und schließt deshalb die Ziele aus. — R8C9=2 ist als Endzustand wahr und schließt deshalb die Ziele aus.
G1: R4C8=2, R5C8=2

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr

Schritt 11 · Die vorherige Rechteckbelegung zurücknehmen

Wir nehmen diese Annahme und ihre Folgen zurück. Vor der nächsten Möglichkeit gilt wieder der unveränderte Kandidatenstand.

Wir nehmen diese Annahme und ihre Folgen zurück. Vor der nächsten Möglichkeit gilt wieder der unveränderte Kandidatenstand. — Wir nehmen diese Annahme und ihre Folgen zurück. Vor der nächsten Möglichkeit gilt wieder der unveränderte Kandidatenstand.
G1: R4C8=2, R5C8=2

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr

Schritt 12 · Fall 2: Der Startpunkt ist wahr

Der Startpunkt OR-Kandidatengruppe A ist als OR-Zustand wahr und schließt deshalb die Ziele aus.

Der Startpunkt OR-Kandidatengruppe A ist als OR-Zustand wahr und schließt deshalb die Ziele aus. — Der Startpunkt OR-Kandidatengruppe A ist als OR-Zustand wahr und schließt deshalb die Ziele aus.
G1: R4C8=2, R5C8=2

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr

Schritt 13 · Beide Endpunktfälle stimmen überein

Die beiden Endpunktfälle erfassen alle Möglichkeiten und schließen beide R7C8=2, R8C8=2 aus. Nach Rücknahme der vorläufigen Zustände können sie entfernt werden.

Die beiden Endpunktfälle erfassen alle Möglichkeiten und schließen beide R7C8=2, R8C8=2 aus. Nach Rücknahme der vorläufigen Zustände können sie entfernt werden. — Die beiden Endpunktfälle erfassen alle Möglichkeiten und schließen beide R7C8=2, R8C8=2 aus. Nach Rücknahme der vorläufigen Zustände können sie entfernt werden.
G1: R4C8=2, R5C8=2

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr

Das folgt daraus

Die beiden Endpunktfälle erfassen alle Möglichkeiten und schließen beide R7C8=2, R8C8=2 aus. Nach Rücknahme der vorläufigen Zustände können sie entfernt werden.

Einziffer-Gruppen-AIC · Entferne ein Ziel, das von den Enden der Kette ausgeschlossen wird.

Beispiel Schritt für Schritt · Mehrere Gruppen

Dieses Beispiel beginnt an einem gespeicherten Zwischenstand. Die Kandidaten enthalten frühere logische Ausschlüsse und sind keine frisch erzeugten automatischen Notizen.

Blau: Belege. Grün: Schlussfolgerung. Durchgestrichene Ziffern: ausgeschlossene Kandidaten. R1C1 bedeutet Zeile 1, Spalte 1.

Schritt 1 · Wo du suchen solltest

In Block 1 kann 8 nur in R2C2, R3C1 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen.

In Block 1 kann 8 nur in R2C2, R3C1 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen. — In Block 1 kann 8 nur in R2C2, R3C1 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr · 2: OR-Gruppe B: Mindestens ein Kandidat ist wahr

Schritt 2 · Herleitung

In Block 2 kann 8 nur in R1C6, R2C4, R2C5 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen.

In Block 2 kann 8 nur in R1C6, R2C4, R2C5 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen. — In Block 2 kann 8 nur in R1C6, R2C4, R2C5 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr · 2: OR-Gruppe B: Mindestens ein Kandidat ist wahr

Schritt 3 · Herleitung

In Zeile 8 kann 8 nur in R8C1, R8C2, R8C3, R8C6 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen.

In Zeile 8 kann 8 nur in R8C1, R8C2, R8C3, R8C6 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen. — In Zeile 8 kann 8 nur in R8C1, R8C2, R8C3, R8C6 stehen. Die Ziffer muss in diesem Bereich einmal vorkommen.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr · 2: OR-Gruppe B: Mindestens ein Kandidat ist wahr

Schritt 4 · Die OR-Kandidatengruppen benennen

Die nummerierten Klammern und die Legende definieren diese Gruppen: OR-Kandidatengruppe A = R2C4=8, R2C5=8, OR-Kandidatengruppe B = R8C1=8, R8C2=8, R8C3=8. Jede Gruppe ist ein OR-Zustand: Mindestens ein Kandidat darin ist wahr, aber nicht zwangsläufig alle gleichzeitig.

Die nummerierten Klammern und die Legende definieren diese Gruppen: OR-Kandidatengruppe A = R2C4=8, R2C5=8, OR-Kandidatengruppe B = R8C1=8, R8C2=8, R8C3=8. Jede Gruppe ist ein OR-Zustand: Mindestens ein Kandidat darin ist wahr, aber nicht zwangsläufig alle gleichzeitig. — Die nummerierten Klammern und die Legende definieren diese Gruppen: OR-Kandidatengruppe A = R2C4=8, R2C5=8, OR-Kandidatengruppe B = R8C1=8, R8C2=8, R8C3=8. Jede Gruppe ist ein OR-Zustand: Mindestens ein Kandidat darin ist wahr, aber nicht zwangsläufig alle gleichzeitig.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr · 2: OR-Gruppe B: Mindestens ein Kandidat ist wahr

Schritt 5 · Herleitung

Zweig 1: Nehmen wir an, R3C1=8 ist falsch.

Zweig 1: Nehmen wir an, R3C1=8 ist falsch. — Zweig 1: Nehmen wir an, R3C1=8 ist falsch.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr · 2: OR-Gruppe B: Mindestens ein Kandidat ist wahr

Schritt 6 · Gruppenstarklink: die andere Seite erzwingen

Fall 1: R3C1=8 ist falsch, daher erzwingt der Gruppenstarklink R2C2=8. Bei einer OR-Gruppe bedeutet das: Mindestens ein Kandidat darin ist wahr.

Fall 1: R3C1=8 ist falsch, daher erzwingt der Gruppenstarklink R2C2=8. Bei einer OR-Gruppe bedeutet das: Mindestens ein Kandidat darin ist wahr. — Fall 1: R3C1=8 ist falsch, daher erzwingt der Gruppenstarklink R2C2=8. Bei einer OR-Gruppe bedeutet das: Mindestens ein Kandidat darin ist wahr.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr · 2: OR-Gruppe B: Mindestens ein Kandidat ist wahr

Schritt 7 · Gruppenschwachlink: die Gegenseite ausschließen

R2C2=8 ist als Kettenzustand wahr; die unvereinbare Seite R2C4=8, R2C5=8 ist daher falsch.

R2C2=8 ist als Kettenzustand wahr; die unvereinbare Seite R2C4=8, R2C5=8 ist daher falsch. — R2C2=8 ist als Kettenzustand wahr; die unvereinbare Seite R2C4=8, R2C5=8 ist daher falsch.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr · 2: OR-Gruppe B: Mindestens ein Kandidat ist wahr

Schritt 8 · Gruppenstarklink: eine Seite muss bleiben

OR-Kandidatengruppe A ist falsch, daher erzwingt der Gruppenstarklink R1C6=8.

OR-Kandidatengruppe A ist falsch, daher erzwingt der Gruppenstarklink R1C6=8. — OR-Kandidatengruppe A ist falsch, daher erzwingt der Gruppenstarklink R1C6=8.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr · 2: OR-Gruppe B: Mindestens ein Kandidat ist wahr

Schritt 9 · Gruppenschwachlink: die Gegenseite ausschließen

R1C6=8 ist als Kettenzustand wahr; die unvereinbare Seite R8C6=8 ist daher falsch.

R1C6=8 ist als Kettenzustand wahr; die unvereinbare Seite R8C6=8 ist daher falsch. — R1C6=8 ist als Kettenzustand wahr; die unvereinbare Seite R8C6=8 ist daher falsch.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr · 2: OR-Gruppe B: Mindestens ein Kandidat ist wahr

Schritt 10 · Der indirekte Endpunkt schließt die Ziele aus

OR-Kandidatengruppe B ist als Endzustand wahr und schließt deshalb die Ziele aus.

OR-Kandidatengruppe B ist als Endzustand wahr und schließt deshalb die Ziele aus. — OR-Kandidatengruppe B ist als Endzustand wahr und schließt deshalb die Ziele aus.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr · 2: OR-Gruppe B: Mindestens ein Kandidat ist wahr

Schritt 11 · Die vorherige Rechteckbelegung zurücknehmen

Wir nehmen diese Annahme und ihre Folgen zurück. Vor der nächsten Möglichkeit gilt wieder der unveränderte Kandidatenstand.

Wir nehmen diese Annahme und ihre Folgen zurück. Vor der nächsten Möglichkeit gilt wieder der unveränderte Kandidatenstand. — Wir nehmen diese Annahme und ihre Folgen zurück. Vor der nächsten Möglichkeit gilt wieder der unveränderte Kandidatenstand.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr · 2: OR-Gruppe B: Mindestens ein Kandidat ist wahr

Schritt 12 · Fall 2: Der Startpunkt ist wahr

Der Startpunkt R3C1=8 ist als OR-Zustand wahr und schließt deshalb die Ziele aus.

Der Startpunkt R3C1=8 ist als OR-Zustand wahr und schließt deshalb die Ziele aus. — Der Startpunkt R3C1=8 ist als OR-Zustand wahr und schließt deshalb die Ziele aus.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr · 2: OR-Gruppe B: Mindestens ein Kandidat ist wahr

Schritt 13 · Beide Endpunktfälle stimmen überein

Die beiden Endpunktfälle erfassen alle Möglichkeiten und schließen beide R9C1=8 aus. Nach Rücknahme der vorläufigen Zustände können sie entfernt werden.

Die beiden Endpunktfälle erfassen alle Möglichkeiten und schließen beide R9C1=8 aus. Nach Rücknahme der vorläufigen Zustände können sie entfernt werden. — Die beiden Endpunktfälle erfassen alle Möglichkeiten und schließen beide R9C1=8 aus. Nach Rücknahme der vorläufigen Zustände können sie entfernt werden.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: OR-Gruppe A: Mindestens ein Kandidat ist wahr · 2: OR-Gruppe B: Mindestens ein Kandidat ist wahr

Das folgt daraus

Die beiden Endpunktfälle erfassen alle Möglichkeiten und schließen beide R9C1=8 aus. Nach Rücknahme der vorläufigen Zustände können sie entfernt werden.

Einziffer-Gruppen-AIC · Entferne ein Ziel, das von den Enden der Kette ausgeschlossen wird.

Üben

Dieser Kurs wurde aus der App Platon Sudoku für das Web aufbereitet. Lies hier das vollständige Beispiel und lerne und übe anschließend in der App weiter.

Bei Google Play ansehen