Strong Links und Weak Links

Ergebnis

Du kannst entscheiden, ob zwei Kandidaten einen Strong Link, einen Weak Link, beides oder keinen direkten Link besitzen, und die Richtung jeder Implikation korrekt verwenden.

Die zwei Ideen

Chains werden aus zwei einfachen Aussagen aufgebaut:

• Strong Link: Die beiden Kandidaten können nicht beide falsch sein.
• Weak Link: Die beiden Kandidaten können nicht beide wahr sein.

Daraus folgen zwei sichere Implikationen:

Strong: falsch → wahr
Weak:   wahr   → falsch

Die Pfeile sind nicht austauschbar. Ein Weak Link bedeutet nicht, dass ein falscher Kandidat den anderen wahr erzwingt.

Schritt 1 — Ein Strong Link in einer Einheit

Stell dir vor, Kandidat 7 kommt in einer Zeile genau in zwei Zellen vor.

Ist die linke 7 falsch, muss die rechte 7 wahr sein, weil die Zeile irgendwo noch eine 7 benötigt.

Das ist die Strong-Link-Idee:

Ein falscher Endpunkt erzwingt den anderen als wahr.

Schritt 2 — Ein Weak Link

Nun enthält dieselbe Zeile vier mögliche 7en.

Wähle zwei Kandidaten, die sich sehen. Ist der erste wahr, muss der zweite falsch sein — eine Zeile kann nicht zwei 7en enthalten.

Ist der erste jedoch falsch, wird der zweite nicht wahr erzwungen. Zwei weitere Positionen bleiben übrig.

Dieses Paar ist nur Weak.

Schritt 3 — Ein Paar kann beides sein

Ein konjugiertes Paar — genau zwei Positionen einer Ziffer in einer Einheit — ist Strong und Weak zugleich:

• beide können nicht falsch sein;
• beide können nicht wahr sein.

Bivalue Zellen verhalten sich intern genauso. Enthält eine Zelle nur {3,8}, erzwingt ein falscher Kandidat den anderen als wahr und ein wahrer Kandidat den anderen als falsch.

Schritt 4 — Innerhalb einer Zelle

Vergleiche:

{3,8}

mit:

{3,8,9}

In der bivalue Zelle sind 3 und 8 Strong + Weak.

In der trivalue Zelle sind 3 und 8 nur Weak: Ist 3 falsch, wird 8 nicht erzwungen, weil 9 noch möglich ist.

Schritt 5 — Klassifiziere die Beziehung

Stelle für jedes Paar zwei Fragen:

1. Können beide wahr sein?
2. Können beide falsch sein?

Dann klassifiziere:

• können nicht beide wahr sein → Weak;
• können nicht beide falsch sein → Strong;
• beide Aussagen gelten → Strong + Weak;
• keine Aussage ist garantiert → kein direkter Link.

Schritt 6 — Propagiere eine kurze Chain

Betrachte:

A = B - C = D

Beginne mit A = falsch.

Ein Strong Link erzwingt B = wahr. Der Weak Link erzwingt dann C = falsch. Der letzte Strong Link erzwingt D = wahr.

Die wichtige Fähigkeit besteht nicht darin, die Symbole zu zeichnen, sondern zu verstehen, warum jeder Zustand aus dem vorherigen folgt.

Schnelltest

Klassifiziere die Beziehungen und leite die Implikationen weiter, ohne einen Weak Link umzukehren.

Merke dir

Strong bedeutet nicht beide falsch. Weak bedeutet nicht beide wahr.

Dasselbe Kandidatenpaar kann beide Definitionen erfüllen.

Als Nächstes

Wie Chains funktionieren

Kombiniere diese Beziehungen nun zu Schlussfolgerungen, deren Endpunkte etwas Nützliches beweisen.

Referenz

Lies Strong Links und Weak Links für die vollständigen Definitionen und weitere Beispiele.