Remote Pair

Ein Remote Pair ist eine Chain aus Bivalue-Zellen, die alle dasselbe Kandidatenpaar enthalten.

Beispiel:

{2,7} — {2,7} — {2,7} — {2,7}

Jede benachbarte Zelle sieht die nächste. Weil jede Zelle genau 2 oder 7 sein muss, alternieren die Wahrheitszustände entlang der Chain.

Bei gerader Chain-Länge besitzen die beiden Endzellen entgegengesetzte Polarität. Daher gilt: Für jede der beiden Paarziffern muss einer der Endpunkte diese Ziffer enthalten.

Eine externe Zelle, die beide entgegengesetzten Endpunkte sieht, kann deshalb 2 und 7 — soweit vorhanden — eliminieren.

Kurzregel

Ein Standard-Remote-Pair benötigt:

1. mehrere Bivalue-Zellen mit demselben Kandidatenpaar {X,Y};
2. jede aufeinanderfolgende Zelle muss die nächste sehen;
3. die Chain erhält alternierende Polarität;
4. zwei Endpunkte entgegengesetzter Polarität werden betrachtet;
5. eine externe Zelle, die beide Endpunkte sieht, kann X und/oder Y verlieren.

Warum identische Bivalue-Zellen eine Chain bilden

Nehmen wir zwei sichtbare Zellen:

A {2,7}
B {2,7}

Wenn A = 2, kann B wegen der gemeinsamen Einheit nicht 2 sein und muss daher 7 sein.

Wenn A = 7, muss B 2 sein.

Damit besitzen A und B entgegengesetzte Werte. Hängst du eine dritte sichtbare {2,7}-Zelle an B, muss sie wieder denselben Polaritätstyp wie A besitzen. Eine vierte erhält den Typ von B.

So entsteht eine alternierende Kette ohne dass du wissen musst, welche konkrete Polarität am Ende 2 oder 7 entspricht.

Remote-Pair-Beispiel Schritt für Schritt

Remote-Pair-Polarität

Eine praktische Darstellung ist:

A+ — B- — C+ — D-

+ und - bedeuten zunächst nicht „wahr“ und „falsch“ für eine bestimmte Ziffer. Sie markieren zwei gegenseitig ausschließende Belegungsmuster der gesamten Chain.

Für das Paar {2,7} gilt in einem der beiden Zustände etwa:

A=2, B=7, C=2, D=7

und im anderen:

A=7, B=2, C=7, D=2

Die Endpunkte A und D tragen in beiden möglichen Zuständen unterschiedliche Paarziffern.

Warum ein gemeinsamer Peer beide Paarziffern verlieren kann

Angenommen, eine externe Zelle T sieht sowohl A als auch D.

In jedem gültigen Zustand enthält einer dieser beiden Endpunkte 2 und der andere 7. T kann deshalb weder 2 noch 7 sein:

• Enthält T die 2, kollidiert sie mit dem Endpunkt, der im aktuellen Zustand 2 ist.
• Enthält T die 7, kollidiert sie mit dem Endpunkt, der im aktuellen Zustand 7 ist.

Daher dürfen beide Kandidaten aus T entfernt werden, sofern sie dort notiert sind.

Diese doppelte Eliminierung ist eines der charakteristischen Merkmale eines Remote Pair.

Warum die Chain normalerweise mindestens vier Zellen braucht, um beide Ziffern zu eliminieren

Zwei identische sichtbare Bivalue-Zellen bilden zwar bereits ein direktes Paar, sind aber nicht „remote“ im üblichen Sinn und liegen oft in derselben Einheit.

Mit drei Zellen besitzen erster und letzter Node dieselbe Polarität. Für die typische Eliminierung beider Paarziffern brauchst du Endpunkte entgegengesetzter Polarität, was bei einer einfachen linearen Chain mit vier Zellen erreicht wird.

Längere Chains sind möglich. Entscheidend bleibt die Polarität der ausgewählten Endpunkte, nicht eine feste Gesamtzahl von Zellen.

Remote Pair als Chain

Remote Pair ist keine isolierte Geometrie. Es ist eine spezielle Chain-Struktur.

Jede Bivalue-Zelle {X,Y} enthält eine starke interne Beziehung: Wenn X falsch ist, muss Y wahr sein und umgekehrt. Sehen zwei solche Zellen einander, erzeugt die gemeinsame Kandidatenziffer den notwendigen Ausschluss zwischen ihnen.

Weil dasselbe Paar in jeder Zelle erhalten bleibt, lässt sich die gesamte Chain besonders einfach als alternierende Polarität lesen.

Remote Pair vs. XY-Chain

Beide Techniken verwenden Bivalue-Zellen, aber die Kandidatenentwicklung unterscheidet sich.

Remote Pair

Jede Chain-Zelle besitzt dasselbe Paar, zum Beispiel {2,7}. Dadurch alternieren exakt diese beiden Ziffern durch die gesamte Kette.

XY-Chain

Die Kandidatenpaare ändern sich entlang der Chain, etwa:

{2,7} → {7,5} → {5,9} → {9,2}

Nur der gemeinsame Endkandidat muss an beiden Enden auftreten.

Remote Pair kann deshalb als besonders regelmäßiger Spezialfall der allgemeineren Bivalue-Chain-Idee verstanden werden, ist aber leichter visuell zu erkennen.

Remote Pair vs. Simple Coloring

Simple Coloring arbeitet mit einem Netzwerk konjugierter Paare für eine einzelne Ziffer und färbt die Nodes abwechselnd.

Remote Pair arbeitet gleichzeitig mit zwei Ziffern, weil jede Zelle genau dasselbe Bivalue-Paar enthält.

Beide verwenden Polarität, doch die erzeugende Struktur ist verschieden: Coloring folgt Strong Links einer Ziffer; Remote Pair folgt identischen Bivalue-Zellen.

Remote Pair vs. W-Wing

Beide beginnen häufig mit Bivalue-Zellen desselben Paars, aber der Beweis ist nicht gleich.

W-Wing

Ein W-Wing nutzt zwei nicht notwendigerweise verbundene Bivalue-Endzellen {X,Y} und einen externen Strong-Link-Mechanismus für eine der Ziffern, um die andere Ziffer aus gemeinsamen Peers zu eliminieren.

Remote Pair

Remote Pair verbindet eine Folge identischer Bivalue-Zellen direkt zu einer alternierenden Chain. Die Polarität der Endpunkte erlaubt potenziell die Eliminierung beider Paarziffern.

So findest du Remote Pairs

1. Suche wiederkehrende Bivalue-Paare

Scanne nach Zellen mit exakt demselben Kandidatenpaar, zum Beispiel mehreren {3,8}-Zellen.

2. Verbinde Zellen, die sich sehen

Zwei aufeinanderfolgende Chain-Zellen müssen Peers sein — also gemeinsame Zeile, Spalte oder gemeinsamen Block besitzen.

3. Verlängere die Chain

Folge weiteren Zellen mit demselben Paar. Die Kette darf Zeilen, Spalten und Blöcke wechseln.

4. Weise alternierende Polarität zu

Markiere gedanklich A/B/A/B oder zwei Farben. So erkennst du, welche Nodes entgegengesetzte Zustände besitzen.

5. Suche gemeinsame Peers entgegengesetzter Polarität

Nur Zellen, die beide gewählten Endpunkte sehen, sind Eliminationsziele.

6. Entferne nur Kandidaten, die tatsächlich vorhanden sind

Ein Ziel kann beide Paarziffern enthalten oder nur eine. Entferne nur die Kandidaten, deren Ausschluss bewiesen ist und die in der Zelle notiert sind.

7. Scanne das Raster erneut

Die Eliminierung kann Singles, Locked Candidates oder weitere Chains erzeugen.

Chains dürfen um Ecken gehen

Remote Pair ist nicht auf gerade Linien beschränkt.

Eine Verbindung kann über eine Zeile entstehen, die nächste über einen Block und die nächste über eine Spalte. Solange aufeinanderfolgende Zellen sich sehen, bleibt die Alternation gültig.

Das ist wichtig, weil echte Remote Pairs häufig durch mehrere Einheitentypen „wandern“.

Nicht jedes wiederholte Paar gehört zum selben Remote Pair

Mehrere {2,7}-Zellen im Raster bilden nicht automatisch eine einzige Chain.

Sie müssen über Sichtbeziehungen verbunden sein. Zwei räumlich getrennte Gruppen ohne Verbindung sind unabhängige Komponenten und dürfen nicht künstlich zusammengefügt werden.

Häufige Remote-Pair-Fehler

Fehler 1: Eine Chain-Zelle besitzt einen dritten Kandidaten

Dann ist sie nicht bivalue und die direkte X/Y-Alternation ist nicht mehr erzwungen.

Fehler 2: Zwei aufeinanderfolgende Zellen sehen sich nicht

Ohne Peer-Beziehung gibt es keinen Ausschluss, der die Alternation weitergibt.

Fehler 3: Zwei Nodes gleicher Polarität werden für die Eliminierung verwendet

Die typische doppelte Eliminierung benötigt entgegengesetzte Polarität.

Fehler 4: Jeder gemeinsame Peer verliert automatisch jeden Kandidaten

Es geht ausschließlich um die zwei Paarziffern des Remote Pair.

Fehler 5: Die Kandidatenpaare wechseln entlang der Chain

Dann bewegst du dich in Richtung XY-Chain und musst deren Inferenzregeln verwenden.

Fehler 6: Getrennte Paargruppen werden wie ein Netzwerk behandelt

Ohne verbindenden Pfad besteht keine gemeinsame Polaritätsbeziehung.

Eine praktische Erkennungsabkürzung

Wenn du vollständige Kandidaten verwendest, suche nach mehrfach vorkommenden Bivalue-Paaren.

Bei vier oder mehr Zellen mit demselben Paar lohnt sich die Frage:

1. Lassen sie sich über Peer-Beziehungen zu einer Chain verbinden?
2. Welche Zellen haben entgegengesetzte Polarität?
3. Gibt es eine externe Zelle, die ein solches Paar von Nodes gleichzeitig sieht?

So reduzierst du die Suche auf eine kleine Kandidatengruppe statt das gesamte Raster nach beliebigen Chains abzusuchen.

Zusätzlich lohnt es sich, die Chain nicht nur als Linie von Zellen, sondern als zwei globale Zustände zu lesen. Sobald du einer Startzelle gedanklich einen Wert zuweist, sind alle übrigen Werte entlang der verbundenen Komponente festgelegt. Du brauchst diese konkrete Zuordnung für die Eliminierung nicht zu kennen; sie erklärt aber, warum die Polaritätsmethode so robust ist.

In der Praxis ist das besonders hilfreich bei längeren Remote Pairs. Statt jede Verbindung erneut von vorn zu beweisen, kontrollierst du zuerst die Gültigkeit der Kanten und danach nur noch die Polarität der interessanten Endpunkte. So bleibt der Beweis auch bei einer Chain über mehrere Blöcke und Linien übersichtlich.

Ein weiterer nützlicher Check ist die Frage, ob eine scheinbare Remote-Pair-Eliminierung vielleicht bereits durch eine einfachere lokale Technik möglich ist. Prüfe dabei auch, ob die beiden ausgewählten Endpunkte wirklich zur selben verbundenen Komponente gehören und ob ihre Polarität sauber alterniert. Wenn ja, nimm die einfachere Erklärung. Die Remote-Pair-Perspektive bleibt trotzdem wertvoll, weil sie zeigt, wie sich dieselbe Bivalue-Logik über größere Entfernungen fortsetzt.

FAQ

Was ist ein Remote Pair im Sudoku?

Eine Chain aus Bivalue-Zellen mit demselben Kandidatenpaar. Durch die alternierende Polarität können gemeinsame Peers geeigneter Endpunkte Kandidaten des Paars verlieren.

Wie viele Zellen braucht ein Remote Pair?

Für die typische Eliminierung beider Paarziffern werden meist mindestens vier Chain-Zellen verwendet. Längere Chains sind möglich.

Kann Remote Pair beide Kandidaten aus einer Zelle eliminieren?

Ja. Sieht die Zielzelle zwei Endpunkte entgegengesetzter Polarität, kann sie beide Paarziffern verlieren, sofern beide dort vorhanden sind.

Müssen alle Remote-Pair-Zellen exakt dieselben Kandidaten haben?

Ja, im Standardmuster sind alle beteiligten Chain-Zellen bivalue und besitzen dasselbe Kandidatenpaar.

Ist Remote Pair eine XY-Chain?

Die Logik ist eng verwandt, aber Remote Pair hält dasselbe Paar durch die gesamte Kette, während XY-Chain wechselnde Bivalue-Paare verwendet.

Kann man Remote Pairs mit Coloring lösen?

Eine Polaritätsdarstellung ist sehr hilfreich und ähnelt Coloring. Standard-Simple-Coloring bezieht sich jedoch auf eine einzelne Ziffer und konjugierte Paare, während Remote Pair zwei Ziffern in identischen Bivalue-Zellen verfolgt.

Was du als Nächstes lernen solltest

Vergleiche Remote Pair mit XY-Chain, Simple Coloring und W-Wing. Dadurch wird klar, wie dieselben Grundideen von Bivalue-Zellen, Sichtbeziehungen und Polarität in unterschiedlichen Technikfamilien wiederkehren.