Auf dieser Seite
Ein Strong Link ist eine Beziehung zwischen zwei Kandidatenzuständen, bei der nicht beide falsch sein können.
In der Kandidatenlogik dieser Guides bedeutet das:
Wenn A falsch ist, muss B wahr sein.
Da die Beziehung in beide Richtungen gilt:
Wenn B falsch ist, muss A wahr sein.
Der bekannteste Strong Link entsteht, wenn für eine Ziffer in einer Zeile, Spalte oder einem 3×3-Block genau zwei mögliche Positionen übrig sind. Diese beiden Kandidaten bilden ein konjugiertes Paar.
Strong Links sind wichtig, weil sie eine negative Information — dieser Kandidat ist falsch — in eine positive Konsequenz verwandeln — der andere Kandidat muss wahr sein. Genau dieser Schritt von falsch zu wahr treibt viele fortgeschrittene Techniken an, darunter:
- Skyscraper;
- Two-String Kite;
- W-Wing;
- Simple Coloring;
- X-Chain;
- XY-Chain und allgemeinere Chains.
Du brauchst keine formale Chain-Notation, um Strong Links sicher zu nutzen. Zuerst musst du nur präzise erkennen können, warum eine Beziehung stark ist.
Kurzregel
Für zwei Kandidatenzustände A und B:
Strong Link
A falsch → B wahr
B falsch → A wahrGleichbedeutend ist:
A und B können nicht beide falsch sein.
A Falsch → B Wahr
Was beweist ein Strong Link?
Ein Strong Link bedeutet nicht, dass beide Kandidaten wahr sind.
Er bedeutet, dass die beiden Endpunkte im relevanten logischen Kontext alle verbleibenden Möglichkeiten abdecken. Fällt einer weg, ist der andere erzwungen.
Für ein gewöhnliches konjugiertes Paar derselben Ziffer ergeben sich effektiv diese Zustände:
| A | B | Möglich? |
|---|---|---|
| wahr | falsch | ja |
| falsch | wahr | ja |
| falsch | falsch | nein |
| wahr | wahr | nein, weil sich die Kandidaten ebenfalls sehen |
Die letzte Zeile wird durch die Weak-Link-Eigenschaft ausgeschlossen. Deshalb ist ein gewöhnliches konjugiertes Paar gleichzeitig Strong und Weak: Genau ein Endpunkt ist wahr.
Es lohnt sich trotzdem, beide Begriffe getrennt zu halten, weil Chains sie für unterschiedliche Inferenzrichtungen verwenden.
Konjugiertes Paar: der typische Strong Link derselben Ziffer
Angenommen, Zeile 4 braucht noch die Ziffer 7 und Kandidat 7 steht nur noch in:
r4c2;r4c9.
Es gibt in Zeile 4 keine dritte legale Position für 7.
Daher gilt:
- ist
r4c2nicht 7, mussr4c97 sein; - ist
r4c9nicht 7, mussr4c27 sein.
Diese beiden 7-Kandidaten bilden in Zeile 4 ein konjugiertes Paar.
Dieselbe Struktur kann in:
- einer Spalte;
- einem 3×3-Block
entstehen. Die Geometrie ändert sich, der Beweis nicht.
Warum „genau zwei“ entscheidend ist
Die Quelle des Links muss für diese Ziffer genau zwei verbleibende Positionen besitzen.
Stünde Kandidat 7 in Zeile 4 noch in drei Zellen, würde das Entfernen eines Kandidaten zwei Möglichkeiten übrig lassen. Kein bestimmter Partner wäre erzwungen.
Zwischen sich sehenden Kandidaten bestünde weiterhin ein Weak Link, aber kein Strong Link.
Strong Link innerhalb einer Bivalue-Zelle
Strong Links können auch verschiedene Kandidatenwerte innerhalb derselben Zelle verbinden.
Angenommen, eine Zelle enthält genau:
{3,8}Die Zelle muss am Ende einen dieser beiden Werte enthalten.
Also:
- nicht 3 → 8;
- nicht 8 → 3.
Das ist ein Strong Link zwischen Kandidat 3 und Kandidat 8 innerhalb der Zelle.
Die Beziehung ist gleichzeitig Weak, weil eine Zelle nicht beide Ziffern enthalten kann.
Diese zellinterne Struktur ist grundlegend für:
- XY-Wing;
- W-Wing-Logik;
- XY-Chains;
- AICs, die von einem Kandidatenwert zu einem anderen wechseln.
Eine Zelle {3,8,9} liefert dagegen keinen paarweisen Strong Link zwischen 3 und 8. Ist 3 falsch, können 8 oder 9 übrig bleiben; kein einzelner Partner wird erzwungen.
Strong Link vs. konjugiertes Paar
Die Begriffe liegen eng beieinander, sind aber nicht identisch.
Konjugiertes Paar
Bezeichnet normalerweise:
- dieselbe Ziffer;
- genau zwei verbleibende Kandidatenpositionen;
- innerhalb einer Zeile, Spalte oder eines Blocks.
Strong Link
Beschreibt die logische Inferenz:
Ein falscher Endpunkt erzwingt den anderen als wahr.
Jedes gewöhnliche konjugierte Paar erzeugt einen Strong Link.
Ein Strong Link kann aber auch zwischen zwei verschiedenen Kandidaten in einer Bivalue-Zelle bestehen. Deshalb wird nicht jeder Strong Link üblicherweise als konjugiertes Paar bezeichnet.
Strong Link vs. Weak Link
Diese Unterscheidung bildet die Grundlage von Chains.
Strong
A falsch → B wahrBedeutung:
A und B können nicht beide falsch sein.
Weak
A wahr → B falschBedeutung:
A und B können nicht beide wahr sein.
Ein normales konjugiertes Paar erfüllt beide Bedingungen:
- einer der beiden Kandidaten muss wahr sein;
- beide können nicht gleichzeitig wahr sein.
Damit ist genau einer wahr.
Ein ausschließlich schwaches Paar besitzt diese Vollständigkeit nicht.
Warum ein Strong Link oft auch als Weak Link dienen kann
Bei gewöhnlichen Kandidatenbeziehungen wie einem konjugierten Paar oder einer Bivalue-Zelle sind die Endpunkte sowohl vollständig als auch gegenseitig ausschließend.
Dadurch stehen beide für Chains benötigten Richtungen zur Verfügung:
falsch → wahr Strong-Rolle
wahr → falsch Weak-RolleDeshalb kann ein konjugiertes Paar häufig an einer Stelle einer Chain verwendet werden, die eine Weak-Link-Rolle verlangt.
Die Umkehrung gilt nicht allgemein.
Sehen sich zwei Kandidaten 6 lediglich in einer Zeile, in der insgesamt noch drei mögliche 6en stehen, dann gilt:
einer wahr → der andere falsch
aber nicht:
einer falsch → der andere zwingend wahr.
Weak wird nicht automatisch Strong.
Zwei Kandidaten sind nicht automatisch Strong
Angenommen, Zeile 5 enthält Kandidat 6 in:
r5c2;r5c4;r5c8.
Betrachte r5c2 und r5c4.
Sie sind weak verknüpft, weil beide in derselben Zeile nicht gleichzeitig 6 sein können.
Sie sind aber nicht strong verknüpft.
Ist r5c2 falsch, wird r5c4 nicht erzwungen, denn r5c8 könnte weiterhin die 6 enthalten.
Ein Strong Link braucht einen vollständigen Grund dafür, dass außerhalb der beiden Endpunkte keine Alternative übrig bleibt.
Beispiel Schritt für Schritt
Bevor du das Board liest, nutze diese Checkliste:
- Bestimme die Kandidatenziffer.
- Bestimme die Quell-Einheit oder Bivalue-Zelle.
- Bestätige, dass dort genau zwei Alternativen verbleiben.
- Setze gedanklich einen Endpunkt auf falsch.
- Prüfe, ob dadurch der andere Endpunkt zwingend wahr wird.
So findest du Strong Links in einem echten Sudoku
Strong Links sind viel leichter zu erkennen, wenn du ziffernorientiert suchst.
Für eine Kandidatenziffer:
- Filtere oder verfolge nur diese Ziffer.
- Prüfe jede Zeile auf genau zwei verbleibende Positionen.
- Prüfe jede Spalte.
- Prüfe jeden Block.
- Verbinde gedanklich jedes konjugierte Paar.
Du versuchst noch nicht, das gesamte Rätsel zu lösen.
Du baust eine Karte erzwungener binärer Beziehungen auf.
Ein nützliches Strong-Link-Netzwerk kann direkt auf:
- Skyscraper;
- Two-String Kite;
- Simple Coloring;
- X-Chain
hinweisen.
Wechsle danach zu einer zellorientierten Suche und beachte Bivalue-Zellen. Wiederkehrende Bivalue-Strukturen unterstützen unter anderem:
- W-Wing;
- XY-Wing;
- XY-Chain.
Strong Links können sich überlappen
Ein Kandidat kann gleichzeitig an mehreren konjugierten Beziehungen beteiligt sein.
Beispielsweise kann Kandidat 5 in einer Zelle Teil sein von:
- einem konjugierten Paar in einer Zeile;
- und einem konjugierten Paar in einem Block.
Diese Überlappung ist wertvoll, weil eine Inferenz dadurch von einer Einheit in eine andere weiterlaufen kann.
Coloring-Netzwerke und X-Chains wachsen häufig genau über solche Schnittpunkte.
Gehe also nicht davon aus, dass jeder Strong Link zu genau einer isolierten benannten Technik gehört. Dasselbe Kandidatennetz kann mehrere unterschiedliche Schlussfolgerungen tragen.
Strong Links und Group Nodes
Fortgeschrittenere Chain-Systeme können gruppierte Knoten verwenden, bei denen ein Endpunkt nicht aus einer einzelnen Kandidatenzelle besteht.
Zum Beispiel können mehrere Kandidaten innerhalb der Schnittmenge von Zeile und Block gemeinsam wie ein logischer Zustand gegenüber einem anderen Kandidaten oder einer anderen Gruppe wirken.
Diese Erweiterung ist wichtig für Grouped AICs und weitere Expertentechniken, liegt aber bewusst außerhalb dieses Einführungs-Guides.
Für den aktuellen Corpus genügt die zuverlässige Grundlage:
Ein Strong Link ist eine erzwungene Falsch-zu-Wahr-Beziehung zwischen zwei Kandidatenzuständen, die die relevante Möglichkeit vollständig abdecken.
Später wird dieses Konzept verallgemeinert.
Häufige Fehler
Jedes Paar derselben Ziffer als Strong bezeichnen
Zwei Kandidaten in derselben Einheit reichen nicht aus.
Es darf in der Quell-Einheit keine dritte legale Position für diese Ziffer geben.
Nur die beiden Endpunkte betrachten
Der Beweis hängt von der Quelle ab, die beide Endpunkte vollständig macht.
Du solltest immer wissen, ob der Link aus einer Zeile, Spalte, einem Block oder einer Bivalue-Zelle stammt.
Strong als wahr → wahr lesen
Strong Links sagen nicht, dass Wahrheit zu Wahrheit weitergegeben wird.
Die definierende Inferenz lautet:
falsch → wahr.
Strong und Weak als sich ausschließende Labels behandeln
Ein konjugiertes Paar ist das Standardbeispiel einer Beziehung, die gleichzeitig Strong und Weak ist.
Eine Trivalue-Zelle wie eine Bivalue-Zelle behandeln
In {3,8,9} erzwingt das Entfernen von 3 nicht die 8.
Die zusätzliche Alternative zerstört den paarweisen Strong Link.
Nach Chains suchen, bevor die Kandidaten stimmen
Eine fehlerhafte Kandidatenliste kann falsche konjugierte Paare und damit falsche Chains erzeugen.
Strong-Link-Arbeit setzt korrekte Kandidaten voraus.
Erkennungsübung
Frage für eine ausgewählte Ziffer immer wieder:
Genau zwei Positionen in dieser Einheit?
Wenn ja, hast du ein konjugiertes Paar derselben Ziffer.
Frage bei einer Zelle:
Genau zwei Kandidaten in dieser Zelle?
Wenn ja, bilden die beiden Kandidatenwerte eine starke zellinterne Beziehung.
Ergänze anschließend die Frage, die zum nächsten Guide führt:
Können beide Endpunkte wahr sein?
Wenn nein, ist die Beziehung zusätzlich Weak.
FAQ
Was ist ein Strong Link im Sudoku?
Ein Strong Link ist eine Beziehung, in der zwei Kandidatenzustände nicht beide falsch sein können. Ist ein Endpunkt falsch, muss der andere wahr sein.
Was ist ein konjugiertes Paar?
Ein konjugiertes Paar ist der typische Strong Link derselben Ziffer: In einer Zeile, Spalte oder einem Block bleiben für diese Ziffer genau zwei Positionen übrig.
Ist jeder Strong Link ein konjugiertes Paar?
Nein. Auch die zwei Kandidaten innerhalb einer Bivalue-Zelle sind strong verknüpft, obwohl es unterschiedliche Ziffern sind.
Kann ein Strong Link gleichzeitig Weak sein?
Ja. Gewöhnliche konjugierte Paare und die beiden Kandidaten einer Bivalue-Zelle sind Strong und Weak, weil genau einer ihrer beiden Kandidatenzustände wahr ist.
Warum sind Strong Links wichtig?
Sie verwandeln einen falschen Kandidaten in einen erzwungen wahren Kandidaten und lassen dadurch logische Zustände durch Coloring und Chains weiterlaufen.
Lösen Strong Links allein Zellen?
Manchmal kollabiert ein konjugiertes Paar später zu einem Single. Meist ist der Link aber deshalb wertvoll, weil er mit anderen Beziehungen eine Eliminierung oder einen Widerspruch erzeugt.
Was du als Nächstes lernen solltest
Lies als Nächstes Weak Links. Wenn beide Inferenzrichtungen klar sind, kannst du sie in Sudoku Chains kombinieren.