Nice Loops: Eine alternierende Schlussfolgerungskette schließen
In der Kandidatenknoten-Notation wechseln sich in einem kontinuierlichen Nice Loop starke und schwache Verbindungen durchgehend ab, auch an der Schließstelle. Dabei wird nicht einfach eine Ecke als wahr angenommen. In einem diskontinuierlichen Nice Loop wechseln sich starke und schwache Verbindungen bis auf einen Kandidaten ab: Treffen dort zwei schwache Verbindungen aufeinander, schließen sie ihn aus; treffen dort zwei starke Verbindungen aufeinander, muss er wahr sein. Jede Verbindung muss begründet sein.
Kernidee
In einer kontinuierlichen Schleife ergibt sich aus jeder schwachen Verbindung zusätzlich eine starke Folgerung: Mindestens einer ihrer Endpunkte muss wahr sein. Streiche Kandidaten, die mit beiden Endpunkten unvereinbar sind.
Sieh dir den Zug Schritt für Schritt an
Verfolge eine Schleife mit vier Knoten für den Kandidaten 7 in den Zeilen 1 und 4.
Schritt 1 von 4
Wähle ein Kandidatennetzwerk
Filtere nach dem Kandidaten 7 und finde konjugierte Paare, die sich über gemeinsame Einheiten verbinden lassen.
Schritt 2 von 4
Starke und schwache Verbindungen abwechseln
Die vier Eckkandidaten bilden eine geschlossene Schleife: In jeder Zeile besteht eine starke Verbindung, in jeder Spalte eine schwache Verbindung.
Schritt 3 von 4
Die Folgerung aus dem Loop nutzen
R5C1 sieht entlang der Spalte 1 beide Zustände des Loops, daher kann der Kandidat 7 dort nicht bleiben.
Schritt 4 von 4
Die Schleife beibehalten, den Außenseiter entfernen
Der Loop selbst bleibt ungelöst, während der Kandidat 7 aus R5C1 entfernt wird.
Probiere es mit dem heutigen Rätsel aus
Eine starke Verbindung bedeutet, dass mindestens einer der beiden Endpunkte wahr ist; eine schwache Verbindung bedeutet, dass höchstens einer der beiden Endpunkte wahr ist. In diesem Beispiel enthalten entweder R1C1 und R4C3 die 7 oder R1C3 und R4C1 die 7. In beiden Fällen sieht R5C1 eine 7 in Spalte 1, sodass der Kandidat 7 aus R5C1 gestrichen wird, während die Eckfelder ungelöst bleiben. Die bloße Rückkehr zur Ausgangsannahme ist kein Widerspruch; zähle die Folgerungen, statt nur zu prüfen, ob die Anzahl der schwachen Verbindungen gerade oder ungerade ist.
Heute spielen