Ein Empty Rectangle ist eine Ein-Ziffer-Technik, die zwei Teile der Kandidatenlogik verbindet:
- innerhalb eines 3×3-Blocks sind alle Kandidaten einer Ziffer auf eine Zeile und eine Spalte beschränkt;
- ein externes konjugiertes Paar derselben Ziffer verbindet sich mit einer Seite dieser Blockstruktur.
Zusammen bilden diese Beziehungen eine kurze Inferenzkette.
Ein Kandidat, der von beiden Enden dieser Chain widerlegt wird, kann eliminiert werden.
Wichtig ist nicht, dass im Block buchstäblich eine leere Rechteckform zu sehen ist. Entscheidend ist, dass die Kandidatenpositionen im Block auf ein L-förmiges Zeilen-/Spalten-Gerüst beschränkt sind.
Im Block muss die Ziffer auf der ER-Zeilenseite oder auf der ER-Spaltenseite liegen. Ein externer Strong Link kann diese Entweder-oder-Beziehung in eine Eliminierung verwandeln.
Empty Rectangle gehört in dieselbe Ein-Ziffer-Welt wie Skyscraper, Two-String Kite, Turbot Fish, X-Chains und einige Finned-Fish-Deutungen.
Kurzregel
Für eine Kandidatenziffer X:
- finde einen Block, in dem jeder X-Kandidat auf einer ausgewählten Zeile oder einer ausgewählten Spalte dieses Blocks liegt;
- behandle Zeilenseite und Spaltenseite als Entweder-oder-Beziehung;
- verbinde eine Seite mit einem externen konjugierten Paar für X;
- bestimme den entfernten Endpunkt dieses konjugierten Paars;
- eliminiere X nur aus einem Ziel, das durch beide Enden der entstehenden Chain sicher falsch wird.
Kannst du die Eliminierung nicht als gültige Inferenzkette erklären, darfst du sie nicht allein aufgrund einer rechteckig wirkenden Kandidatenkarte durchführen.
Was bedeutet „Empty Rectangle“?
Der Name bezieht sich auf die Zellen im Block, die nicht vom Zeilen-/Spalten-Gerüst der Kandidaten belegt sind.
Angenommen, Kandidat 6 ist innerhalb eines Blocks beschränkt auf:
- mehrere Zellen in Zeile 5;
- und mehrere Zellen in Spalte 4.
Im restlichen Block gibt es keinen Kandidaten 6.
Die ungenutzten Zellen bilden optisch den Bereich des „leeren Rechtecks“.
Für den Beweis sind diese leeren Zellen aber nicht das wichtigste Objekt.
Nützlich ist die Aussage:
Jede mögliche 6 im Block gehört entweder zur gewählten Zeilenseite oder zur gewählten Spaltenseite.
Damit entsteht eine gruppierte starke Beziehung zwischen beiden Seiten.
Warum der Block eine Entweder-oder-Beziehung erzeugt
Ein Sudoku-Block muss die betreffende Ziffer genau einmal enthalten.
Liegen alle legalen Positionen für X innerhalb des Blocks auf der Vereinigung von:
- Zeile R;
- Spalte C;
dann muss mindestens eine dieser beiden Seiten das spätere X enthalten.
Man kann den Block als zwei Kandidatengruppen betrachten:
- R-Seite: X-Kandidaten in der ER-Zeile innerhalb des Blocks;
- C-Seite: X-Kandidaten in der ER-Spalte innerhalb des Blocks.
Beide Gruppen können nicht vollständig falsch sein, weil der Block weiterhin ein X benötigt.
Das ist das Fundament der Technik.
Die Gruppen müssen keine einzelnen Zellen sein. Genau deshalb bildet Empty Rectangle eine gute Brücke von gewöhnlichen konjugierten Paaren zu Grouped Links und Grouped AICs.
Ein externes konjugiertes Paar hinzufügen
Die Blockbeziehung allein erzeugt normalerweise noch keine Eliminierung.
Du benötigst eine weitere starke Beziehung für dieselbe Kandidatenziffer.
Ein konjugiertes Paar bedeutet: In einer Zeile, Spalte oder einem Block besitzt X genau zwei legale Positionen.
Wenn ein Endpunkt dieses externen Paars mit einer Seite des Empty Rectangle interagiert, kann die Chain zu einem weiteren Endpunkt außerhalb des Blocks verlängert werden.
Konzeptionell sieht die Logik ungefähr so aus:
ER-Seite A =X= ER-Seite B -X- Endpunkt 1 =X= Endpunkt 2Die genaue Notation kann variieren, weil eine ER-Seite eine Gruppe statt eines einzelnen Kandidaten sein kann.
Entscheidend ist, dass die Inferenz korrekt alterniert.
Der Zwei-Fälle-Beweis
Eine praktische Methode zur Prüfung eines Empty Rectangle ist die Betrachtung zweier Fälle.
Nehmen wir ein ER für Kandidat X und ein externes konjugiertes Paar.
Fall 1: X liegt auf der ersten ER-Seite
Dann ist auf dieser Seite X wahr.
Jeder Zielkandidat, der diese wahre Seite bzw. den relevanten Endpunkt sieht, kann in diesem Zweig nicht X sein.
Je nach konkreter Geometrie kann damit bereits eine Hälfte des Zielbeweises feststehen.
Fall 2: X liegt nicht auf dieser ER-Seite
Da der Block X trotzdem enthalten muss, wird die andere ER-Seite wahr.
Diese Wahrheit bzw. das dadurch erzwungene Falsch am angeschlossenen Kandidaten aktiviert das externe konjugierte Paar.
Der gegenüberliegende Endpunkt dieses Paars wird dadurch wahr.
Sieht dasselbe Ziel auch diesen entfernten Endpunkt, ist X im zweiten Zweig ebenfalls ausgeschlossen.
Wird dasselbe Ziel in beiden Fällen eliminiert, ist der Kandidat sicher falsch.
Das ist der wiederverwendbare Beweis hinter Empty Rectangle.
Empty-Rectangle-Beispiel Schritt für Schritt
Beginne immer mit einer einzelnen Kandidatenziffer.
Prüfe dann:
- Sind alle Kandidaten dieser Ziffer im ausgewählten Block von einer Zeile plus einer Spalte abgedeckt?
- Welche zwei logischen Seiten entstehen daraus?
- Wo verbindet sich eine Seite mit einem externen konjugierten Paar?
- Welcher entfernte Endpunkt wird im zweiten Fall erzwungen?
- Welche Zielzelle sieht die relevanten Endpunkte beider Beweiszweige?
Erst danach wird eliminiert.
Empty Rectangle als kurze X-Chain
Empty Rectangle ist keine isolierte Magie.
Das Muster kann als X-Chain oder als gruppierte alternierende Inferenzkette für eine einzelne Ziffer dargestellt werden.
Diese Sichtweise ist nützlich, weil sie ein auswendig gelerntes Bild durch Standardlogik ersetzt:
- starke Inferenz aus dem eingeschränkten Block;
- schwache Interaktion zwischen Kandidaten, die einander sehen;
- starke Inferenz aus dem konjugierten Paar;
- Eliminierung aus einem Ziel, das von beiden Endpunkten widerlegt wird.
Wenn du X-Chains bereits verstehst, erscheint ein Empty Rectangle häufig als besonders kompakte Kandidatengeometrie derselben Logik.
Empty Rectangle vs. Two-String Kite
Beide Techniken:
- verwenden eine Kandidatenziffer;
- kombinieren starke Beziehungen;
- erzeugen häufig eine einzelne präzise Eliminierung;
- lassen sich als kurze Chains darstellen.
Ein Two-String Kite wird normalerweise erkannt durch:
- ein konjugiertes Paar in einer Zeile;
- ein konjugiertes Paar in einer Spalte;
- je einen Endpunkt beider Paare, die im selben Block interagieren.
Ein Empty Rectangle beginnt mit einer anderen Blockstruktur:
- Kandidat X ist im Block auf eine Zeile und eine Spalte beschränkt;
- diese gruppierte Blockbeziehung wird mit einem externen konjugierten Paar verbunden.
Die Schlussfolgerung kann ähnlich aussehen, doch die gesuchte Ausgangsstruktur ist verschieden.
Empty Rectangle vs. Skyscraper
Ein Skyscraper verwendet normalerweise zwei zeilenbasierte oder zwei spaltenbasierte konjugierte Paare mit ausgerichteten Basen und zwei Roof-Kandidaten.
Empty Rectangle verwendet stattdessen:
- eine blockbasierte Zeilen-/Spalten-Beschränkung;
- plus ein externes konjugiertes Paar.
Beide lassen sich oft in kurze X-Chains übersetzen.
Darum ist das Verständnis der Link-Logik zuverlässiger als das Auswendiglernen von Silhouetten.
Empty Rectangle vs. Turbot Fish
Turbot Fish ist ein breiterer Name für kurze Ein-Ziffer-Chains, die zwei starke Beziehungen über einen Weak Link verbinden.
Skyscraper, Two-String Kite und manche Empty-Rectangle-Eliminierungen lassen sich alle in diesem allgemeinen Inferenzrahmen verstehen.
Daher:
- Turbot Fish beschreibt eine allgemeine Familie kurzer Chains;
- Empty Rectangle beschreibt eine konkrete blockzentrierte Geometrie.
VeyraPlay behandelt Empty Rectangle als eigene Guide, weil die Blockbeschränkung charakteristisch und direkt suchbar ist.
Empty Rectangle vs. Finned X-Wing
Einige Empty-Rectangle-Strukturen können auch mit fortgeschrittener Fish-Sprache beschrieben werden, einschließlich Finned- oder Mutant-Fish-Deutungen.
Das macht die Techniken für Lernzwecke nicht austauschbar.
Für Empty Rectangle lautet der einfachste menschliche Beweis meist:
eingeschränkter Block → starke Beziehung → externes konjugiertes Paar → gemeinsames Ziel.
Für Finned X-Wing ist die einfachste Erklärung dagegen typischerweise:
Basic Fish, wenn die Fins falsch sind → direkter Peer-Konflikt, wenn die Fins wahr sind → Schnittmenge der Eliminationsbereiche.
Verwende die Darstellung, die den Beweis am klarsten macht.
Was ist ein Dual Empty Rectangle?
Ein Dual Empty Rectangle liegt vor, wenn die Kandidatengeometrie die Empty-Rectangle-Inferenz in beiden Richtungen unterstützt.
Mit anderen Worten können zwei starke Beziehungen ihre Rollen tauschen und aus derselben Struktur zwei verwandte Eliminierungen erzeugen.
Es ist eine Erweiterung derselben Grundlogik und keine neue Fundamenttechnik.
Für die aktuelle VeyraPlay-Architektur gehört Dual Empty Rectangle deshalb in diese Guide und benötigt keine eigene URL.
So findest du Empty Rectangles effizient
Suche nicht in jedem Block nach einem abstrakten Rechteck.
Verwende einen kandidatenorientierten Workflow.
1. Eine Kandidatenziffer wählen
Empty Rectangle ist ein Ein-Ziffer-Muster.
Blende gedanklich alle anderen Kandidaten aus.
2. Jeden Block untersuchen
Suche Blöcke, in denen jede verbleibende Position für X auf:
- einer Zeile;
- einer Spalte;
- oder der Vereinigung genau einer Zeile und einer Spalte
liegt.
Gesucht wird eine klare Zeilen-/Spalten-Beschränkung.
3. Die zwei ER-Seiten bestimmen
Trenne die Kandidatenpositionen in:
- Kandidaten der Zeilenseite;
- Kandidaten der Spaltenseite.
Bestätige, dass es innerhalb des Blocks kein X außerhalb dieses Gerüsts gibt.
4. Nach außen nach einem konjugierten Paar suchen
Folge der ER-Zeile oder ER-Spalte aus dem Block heraus.
Suche eine Zeile oder Spalte, in der X genau zwei legale Positionen besitzt.
5. Den entfernten Endpunkt prüfen
Frage, welche Kandidaten:
- den relevanten ER-Endpunkt oder die ER-Gruppe;
- und den entfernten Endpunkt des konjugierten Paars
sehen.
Nur ein Kandidat, der durch die vollständige Chain widerlegt wird, ist ein gültiges Ziel.
6. Nach der Eliminierung erneut scannen
Wie bei vielen fortgeschrittenen Techniken kann das Ergebnis nur eine einzige Kandidatenlöschung sein.
Diese Löschung kann sofort erzeugen:
- einen Single;
- Locked Candidates;
- ein Subset;
- ein neues konjugiertes Paar.
Kehre deshalb zuerst zu einfacherer Logik zurück.
Häufige Fehler beim Empty Rectangle
Fehler 1: Der Block hat Kandidaten außerhalb der gewählten Zeile und Spalte
Dann existiert die ER-Strong-Beziehung nicht.
Jeder Kandidat der Ziffer im Block muss vom ausgewählten Zeilen-/Spalten-Gerüst abgedeckt sein.
Fehler 2: Jedes Kandidatenpaar als konjugiertes Paar behandeln
Ein konjugiertes Paar benötigt genau zwei legale Positionen für diese Ziffer in der betreffenden Einheit.
Zwei markierte Kandidaten sind nicht automatisch strongly linked.
Fehler 3: Jeden Kandidaten in der Nähe des Musters eliminieren
Das Eliminationsziel muss aus der vollständigen Inferenzkette folgen.
Geometrische Nähe ist kein Beweis.
Fehler 4: Annehmen, jedes ER müsse dieselbe Orientierung haben
Die Struktur kann gedreht oder gespiegelt werden:
- zuerst Zeilenseite oder zuerst Spaltenseite;
- Block an jeder Position im Raster;
- externes konjugiertes Paar horizontal oder vertikal.
Suche Beziehungen statt einer festen Zeichnung.
Fehler 5: Gruppierte ERs ablehnen, weil eine Seite mehrere Kandidaten besitzt
Die Zeilen- oder Spaltenseite kann mehr als einen Kandidaten enthalten.
Wichtig ist, dass der Block X auf die eine oder die andere Seite zwingt.
Wann solltest du nach Empty Rectangle suchen?
Empty Rectangle ist besonders nützlich, wenn gewöhnliche Ein-Ziffer-Techniken keinen Fortschritt mehr liefern.
Eine sinnvolle Reihenfolge ist:
- Singles und Locked Candidates;
- Subsets;
- X-Wing/Swordfish, wenn passend;
- Skyscraper und Two-String Kite;
- Empty Rectangle;
- längere X-Chains oder allgemeinere AIC-Logik.
Das ist keine universelle Schwierigkeitsskala, aber eine praktische Reihenfolge für die Mustererkennung.
FAQ
Ist Empty Rectangle eine Fish-Technik?
Es kann mit fortgeschrittener Fish-Sprache dargestellt werden. Menschliche Solver lernen es jedoch meist als kurze Ein-Ziffer-Chain aus eingeschränktem Block und konjugiertem Paar.
Ist Empty Rectangle eine X-Chain?
Die Eliminierung lässt sich als X-Chain oder gruppierte Ein-Ziffer-Inferenzkette ausdrücken. Empty Rectangle ist die erkennbare Geometrie, mit der diese Chain schnell gefunden wird.
Muss das Rechteck selbst wirklich frei von Kandidaten sein?
Der Name ist historische Kurzform für die Geometrie der Zeilen-/Spalten-Beschränkung im Block. Logisch erforderlich ist, dass alle Kandidaten der gewählten Ziffer im Block auf die ausgewählte Zeile und Spalte beschränkt sind.
Kann ein Empty Rectangle auf einer Seite mehrere Kandidaten verwenden?
Ja. Eine oder beide ER-Seiten können als gruppierte Kandidatenknoten wirken. Entscheidend ist die Entweder-oder-Inferenz des Blocks.
Ist Dual Empty Rectangle eine andere Technik?
Es ist eine Erweiterung desselben Musters, bei der die Struktur Eliminierungen in beiden Richtungen unterstützt. Eine neue Grundregel ist dafür nicht nötig.
Was solltest du als Nächstes lernen?
Wenn Empty Rectangle als Chain statt als Bild verständlich ist, gehe zu X-Chain und Alternating Inference Chains weiter. Diese Guides verallgemeinern dieselbe Strong-/Weak-Inferenzsprache über diese konkrete Geometrie hinaus.