Ein Naked Subset ist eine Gruppe von N Zellen innerhalb eines Hauses (Zeile, Spalte oder Block), deren kombinierte Kandidaten genau N verschiedene Ziffern enthalten. Da diese N Ziffern diese N Zellen füllen müssen, können sie in keinem anderen zelle in diesem Haus vorkommen. So kannst du diese Ziffern sicher aus den übrigen Zellen eliminieren.

Das Wort "naked" bedeutet, dass die Kandidaten vollständig sichtbar und offen liegen. Du musst nicht nach Ziffern suchen, die zwischen anderen Kandidaten verborgen sind. Das Subset zeigt sich deutlich durch die Bleistiftnotizen in diesen Zellen.

Es gibt vier Naked-Subset-Techniken, eine für jede mögliche Gruppengröße:

- Nacktes Einzel (N=1) – ein zelle mit einem Kandidaten

- Nacktes Paar (N=2) – zwei Zellen, deren kombinierte Kandidaten genau zwei Ziffern sind

- Nacktes Tripel (N=3) – drei Zellen, deren kombinierte Kandidaten genau drei Ziffern sind

- Nacktes Quadrupel (N=4) – vier Zellen, deren kombinierte Kandidaten genau vier Ziffern sind

Diese vier Techniken bilden eine Familie. Sie teilen dieselbe zugrunde liegende Logik und unterscheiden sich nur in der Anzahl der beteiligten Zellen. Sobald du das Kernprinzip verstehst, werden die größeren Subsets zu natürlichen Erweiterungen der einfacheren.

Die Logik hinter Naked Subsets beruht auf einem grundlegenden Zählargument, das manchmal Schubfachprinzip genannt wird. Einfach gesagt: Wenn du N Plätze und genau N Elemente zum Füllen hast, kommt jedes Element in genau einen Platz, und keine anderen Elemente können diese Plätze belegen.

Betrachte eine Zeile mit neun Zellen. Jede ungelöste zelle hat eine Menge von Kandidatenziffern, die Bleistiftnotizen, die noch legal in diese zelle passen könnten. Angenommen, du findest zwei Zellen in dieser Zeile, deren Kandidaten beide aus demselben zweistelligen Pool stammen, sagen wir {4, 6}. Eine dieser Zellen muss 4 enthalten und die andere muss 6 enthalten. Für eine andere Anordnung ist kein Platz. Das bedeutet, dass keine andere zelle in der Zeile 4 oder 6 enthalten kann, da beide Ziffern vollständig durch diese zwei Zellen abgedeckt sind.

Dieselbe Logik lässt sich erweitern. Drei Zellen, deren kombinierte Kandidaten genau drei Ziffern ergeben, sperren diese drei Ziffern in diese drei Zellen. Vier Zellen mit vier kombinierten Kandidaten sperren alle vier Ziffern. In jedem zelle können die gesperrten Ziffern aus allen anderen Zellen im gemeinsamen Haus eliminiert werden.

Dieses Prinzip gilt gleichermaßen, ob das Haus eine Zeile, eine Spalte oder ein 3x3-Block ist. Die einzige Voraussetzung ist, dass alle N Zellen zum selben Haus gehören.

Ein Nacktes Einzel ist die einfachste mögliche nackte Teilmenge. Er tritt auf, wenn ein zelle nur noch einen einzigen Kandidaten in seinen Bleistiftmarkierungen hat. Da es nur eine Ziffer gibt, die legal in dieses zelle gesetzt werden kann, ist diese Ziffer die Lösung für das zelle.

Jeder Sudoku-Löser, ob Mensch oder Algorithmus, verlässt sich auf nackte Einzelkandidaten. Sie sind der letzte Schritt in der Eliminationskette: Nachdem alle Einschränkungen aus Zeile, Spalte und Block unmögliche Ziffern entfernt haben, ist der letzte verbleibende Kandidat die Antwort.

Um einen Nacktes Einzel zu finden, musst du die Bleistiftmarkierungen für jedes zelle sorgfältig verfolgen. Ein zelle beginnt mit bis zu neun möglichen Kandidaten. Wenn du Ziffern an anderer Stelle auf dem Spielfeld platzierst, werden Kandidaten eliminiert:

- Wenn eine Ziffer irgendwo in derselben Zeile platziert wird, entferne sie aus den Kandidaten des zelle.

- Wenn eine Ziffer irgendwo in derselben Spalte platziert wird, entferne sie aus den Kandidaten des zelle.

- Wenn eine Ziffer irgendwo im selben 3x3-Block platziert wird, entferne sie aus den Kandidaten des zelle.

Wenn diese Eliminierungen ein zelle auf einen einzigen Kandidaten reduzieren, hast du einen Nacktes Einzel gefunden.

Betrachte zelle R5C3 in einem teilweise gelösten Rätsel. Die Einschränkungen aus Zeile, Spalte und Block eliminieren die folgenden Ziffern:

- Zeile 5 enthält bereits: 1, 3, 5, 8

- Spalte 3 enthält bereits: 2, 6, 9

- Block 4 (der mittlere linke Block) enthält bereits: 7

Zusammengenommen sind die Ziffern 1, 2, 3, 5, 6, 7, 8 und 9 alle eliminiert. Der einzige verbleibende Kandidat ist 4. Zelle R5C3 muss 4 sein. Dies ist ein Nacktes Einzel.

Nackte Einzelkandidaten sollten deine erste Prüfung nach jedem Zug sein. Jedes Mal, wenn du eine Ziffer platzierst, kann dies benachbarte Zellen auf einen einzigen Kandidaten reduzieren. In einfacheren Rätseln können Ketten von nackten Einzelkandidaten große Teile des Spielfelds ohne jede andere Technik lösen. Selbst in schwierigeren Rätseln räumen nackte Einzelkandidaten das Spielfeld auf, nachdem fortgeschrittenere Techniken Kandidaten eliminiert haben.

Ein Nacktes Paar tritt auf, wenn zwei Zellen im selben Haus jeweils genau dieselben zwei Kandidaten und keine anderen Kandidaten enthalten. Da diese beiden Ziffern in diese beiden Zellen müssen, kannst du beide Ziffern aus jeder anderen zelle in diesem Haus eliminieren.

Nackte Paare gehören zu den am häufigsten angewandten fortgeschrittenen Sudoku-Strategien. Sie treten häufig auf und ermöglichen oft großen Fortschritt, indem sie Kandidaten entfernen, die andere Techniken blockieren.

Angenommen, zwei Zellen in Reihe 1 enthalten beide die Kandidaten {4, 6} und keine anderen Kandidaten:

- R1C2 hat Kandidaten: {4, 6}

- R1C7 hat Kandidaten: {4, 6}

Eine dieser Zellen wird 4 sein und die andere 6. Wir wissen noch nicht, welche welche ist, aber wir wissen sicher, dass 4 und 6 vollständig von diesen beiden Zellen verbraucht werden. Daher kann keine andere zelle in Reihe 1 eine 4 oder 6 enthalten.

Wenn R1C4 die Kandidaten {3, 4, 6, 9} hätte, kann sie durch Entfernen von 4 und 6 auf {3, 9} reduziert werden. Wenn R1C8 die Kandidaten {2, 6} hätte, kann sie auf {2} reduziert werden. Diese Reduktion auf einen einzigen Kandidaten ist selbst ein Nacktes Einzel, der die zelle sofort löst.

Durchsuche jedes Haus nach Zellen mit genau zwei Kandidaten. Wenn du zwei Zellen im selben Haus mit identischen Zwei-Kandidaten-Mengen findest, hast du ein Nacktes Paar. Da Zellen mit nur zwei Bleistiftmarkierungen visuell auffallen, gehören nackte Paare zu den am leichtesten zu erkennenden fortgeschrittenen Techniken.

Eine nützliche Gewohnheit: Wann immer du ein zelle mit nur zwei Kandidaten bemerkst, prüfe sofort, ob eine andere zelle in derselben Reihe, Spalte oder demselben Block dasselbe Paar teilt.

Ein Nacktes Tripel tritt auf, wenn drei Zellen im selben Haus Kandidaten haben, die vollständig aus demselben Pool von genau drei Ziffern stammen. Die vereinigte Menge aller Kandidaten der drei Zellen enthält genau drei verschiedene Ziffern.

Hier ist die entscheidende Erkenntnis, die viele Löser überrascht: Jede einzelne zelle muss nicht alle drei Ziffern enthalten. Eine gültige Nacktes Tripel kann Zellen mit nur zwei der drei Ziffern umfassen. Entscheidend ist, dass die Vereinigung aller Kandidaten der drei Zellen genau drei verschiedene Werte ergibt.

Viele Spieler lernen zuerst nackte Paare und nehmen dann an, nackte Tripel erforderten drei Zellen, die jeweils dieselben drei Kandidaten enthalten, wie {1, 3, 7} in allen drei Zellen. Das ist zwar eine gültige Form eines Nacktes Tripel, aber nicht die einzige und nicht einmal die häufigste.

Betrachte diese drei Zellen in Spalte 5:

- R2C5: {1, 3}

- R4C5: {1, 7}

- R8C5: {3, 7}

Die vereinigten Kandidaten sind {1, 3, 7}, also genau drei Ziffern in drei Zellen. Dies ist ein gültiges Nacktes Tripel, obwohl keine einzelne zelle alle drei Ziffern enthält.

Die Logik ist dieselbe wie bei nackten Paaren. Diese drei Ziffern müssen diese drei Zellen in irgendeiner Reihenfolge füllen. Eine zelle bekommt 1, eine bekommt 3, eine bekommt 7. Daher können 1, 3 und 7 aus jeder anderen zelle in Spalte 5 eliminiert werden.

Beginne damit, Zellen mit zwei oder drei Kandidaten zu identifizieren. Wenn du in einem Haus drei Zellen findest, deren vereinigte Kandidaten eine Menge von genau drei Ziffern bilden, hast du ein Nacktes Tripel.

Ein praktischer Ansatz:

1. Liste in jedem Haus alle ungelösten Zellen mit drei oder weniger Kandidaten auf.

2. Wähle eine beliebige Kombination von drei solchen Zellen.

3. Bilde die Vereinigung ihrer Kandidaten. Wenn die Vereinigung genau drei Ziffern hat, ist es ein Nacktes Tripel.

Da es mehrere mögliche Kombinationen gibt, erfordern nackte Tripel ein sorgfältigeres Scannen als nackte Paare. Das macht sie zu einer Technik höheren Schwierigkeitsgrades.

Ein Nacktes Quadrupel ist die größte üblicherweise verwendete nackte Teilmenge. Sie liegt vor, wenn vier Zellen in einer Einheit Kandidaten haben, die vollständig aus demselben Pool von genau vier Ziffern stammen. Wie bei Triples müssen einzelne Zellen nicht alle vier Ziffern enthalten. Die entscheidende Bedingung ist, dass die Vereinigung der Kandidaten über alle vier Zellen genau vier verschiedene Werte ergibt.

Die Logik ist identisch mit kleineren nackten Teilmengen. Vier Ziffern müssen vier Zellen füllen. Diese Ziffern dürfen nirgendwo sonst in der Einheit vorkommen.

Nackte Quads werden beim beiläufigen Scannen selten gefunden. Bei vier Zellen und vier Ziffern gibt es viel mehr mögliche Kombinationen zu prüfen. In einer Einheit mit sechs ungelösten Zellen gibt es 15 mögliche Arten, vier davon auszuwählen. Jede Kombination im Kopf zu prüfen, ist mühsam.

Die meisten Löser, die nackte Quads finden, tun dies entweder durch systematisches Prüfen oder indem sie zuerst erkennen, dass die übrigen Zellen eine komplementäre versteckte Teilmenge bilden.

Trotz ihrer Seltenheit kommen nackte Quads in echten Rätseln vor, besonders bei solchen mit mittlerem bis anspruchsvollem Schwierigkeitsgrad. Wenn Sie die Technik beherrschen, sitzen Sie nicht fest, wenn einfachere Techniken ausgeschöpft sind.

Nackte Teilmengen effizient zu finden erfordert ein strukturiertes Vorgehen statt zufälligem Scannen. Hier sind Techniken, die erfahrene Löser verwenden:

Mit kleinen Kandidatenzahlen beginnen: Zellen mit weniger Kandidaten nehmen eher an nackten Teilmengen teil. Ein zelle mit zwei Kandidaten kann Teil eines Paares, Triples oder Quads sein. Ein zelle mit fünf Kandidaten ist weniger nützlich, weil er zu viele Ziffern zur Vereinigung beiträgt. Durchsuchen Sie jede Einheit zuerst nach Zellen mit zwei Kandidaten. Suchen Sie nach passenden Paaren. Betrachten Sie dann Zellen mit zwei oder drei Kandidaten zusammen, um Triples zu finden.

Einheit für Einheit vorgehen: Wählen Sie eine Zeile, Spalte oder einen Block und untersuchen Sie alle ungelösten Zellen gemeinsam. Listen Sie ihre Kandidaten auf. Suchen Sie nach Gruppen von Zellen, deren Kandidaten sich innerhalb eines kleinen Ziffernpools überschneiden.

Die Zählprüfung nutzen: Zählen Sie für jede Gruppe von N Zellen, die Ihrer Meinung nach eine nackte Teilmenge bilden könnte, die verschiedenen Ziffern in ihren kombinierten Kandidaten. Ist die Anzahl gleich N, haben Sie eine nackte Teilmenge gefunden. Übersteigt die Anzahl N, sind diese Zellen keine nackte Teilmenge.

Nach jeder Eliminierung prüfen: Wenn eine andere Technik Kandidaten aus einem zelle entfernt, prüfen Sie die Einheit dieses zelle erneut. Die Eliminierung kann eine neue nackte Teilmenge geschaffen haben, die vorher nicht sichtbar war. Viele nackte Paare entstehen als Nebenwirkung früherer Eliminierungen.

Nach dem Komplement suchen: Wenn eine Einheit K ungelöste Zellen hat und Sie vermuten, dass eine nackte Teilmenge existiert, sie aber nicht direkt finden, versuchen Sie, das Komplement zu betrachten. Eine versteckte Teilmenge der Größe M zu finden impliziert automatisch eine nackte Teilmenge der Größe K - M.

Nackte Teilmengen und versteckte Teilmengen sind zwei Seiten derselben Medaille. Ihr Dualitätsverständnis vertieft dein Verständnis der Sudoku-Logik und kann dir helfen, Muster zu finden, die du sonst übersehen würdest.

Eine versteckte Teilmenge entsteht, wenn N Ziffern in einer Einheit nur in N bestimmten Zellen vorkommen. Die Ziffern sind "versteckt", weil diese Zellen auch andere Kandidaten enthalten können. Die Eliminierung entfernt die überzähligen Kandidaten aus diesen N Zellen und lässt nur die versteckten Ziffern übrig.

In jeder Einheit mit K ungelösten Zellen gilt: Wenn es eine nackte Teilmenge der Größe N gibt, gibt es automatisch eine versteckte Teilmenge der Größe K - N. Die beiden Teilmengen sind komplementär: Sie teilen die ungelösten Zellen und die verbleibenden Ziffern in zwei nicht überlappende Gruppen auf.

Betrachte zum Beispiel eine Zeile mit 6 ungelösten Zellen. Wenn zwei dieser Zellen ein Nacktes Paar bilden, bilden die verbleibenden vier Zellen ein Versteckte Vierergruppe (oder äquivalent dazu existiert ein Nacktes Quadrupel unter den ausgeschlossenen Ziffern dieser vier Zellen). Du kannst entweder das eine oder das andere finden und die entsprechenden Eliminierungen anwenden.

Diese Dualität bedeutet, dass du zwei Wege zur selben Eliminierung hast. Hat eine Einheit viele ungelöste Zellen, ist eine kleine nackte Teilmenge (Paar oder Tripel) leichter zu erkennen als eine große versteckte Teilmenge. Umgekehrt könnte bei einer Einheit mit wenigen ungelösten Zellen ein Verstecktes Paar leichter zu finden sein als die Suche nach dem komplementären Nacktes Quadrupel.

Erfahrene Löser wechseln je nach Situation zwischen der nackten und der versteckten Perspektive. Die Fähigkeit, beide Seiten zu sehen, verschafft dir einen erheblichen Vorteil.

Die vier Nackte-Teilmenge-Techniken erstrecken sich über mehrere Schwierigkeitsstufen und spiegeln wider, wie viel schwerer sie bei größerer Gruppengröße zu finden sind:

Nacktes Einzel (N=1): Stufe 2, Einfach

Nacktes Paar (N=2): Stufe 3, Einfach

Nacktes Tripel (N=3): Stufe 4, Mittel

Nacktes Quadrupel (N=4): Stufe 5, Anspruchsvoll

Die steigende Schwierigkeit liegt nicht an der Logik, die in jedem zelle identisch ist, sondern an der Suchkomplexität:

Nacktes Einzel: Du musst nur ein zelle prüfen. Hat es einen Kandidaten, bist du fertig. Es ist keine Kombinationssuche nötig.

Nacktes Paar: Du musst zwei Zellen mit übereinstimmenden Kandidaten finden. In einem Haus mit sechs ungelösten Zellen gibt es 15 mögliche Paare zu prüfen. Da du aber Zellen mit genau zwei identischen Kandidaten suchst, ist das visuelle Muster unverwechselbar und leicht zu erkennen.

Nacktes Tripel: Du musst drei Zellen finden, deren kombinierte Kandidaten insgesamt drei Ziffern ergeben. In einem Haus mit sechs ungelösten Zellen gibt es 20 mögliche Tripel. Die Suche ist schwieriger, weil die Zellen keine identischen Kandidatenmengen haben müssen.

Nacktes Quadrupel: Du musst vier Zellen aus potenziell vielen ungelösten Zellen finden. Die Anzahl der Kombinationen wächst, und vierstellige Vereinigungen sind im Kopf schwerer zu berechnen. Die meisten Quads werden indirekt gefunden, entweder durch systematisches Zählen der Kandidaten oder durch Erkennen des komplementären Verstecktes Paar.

Die Schwierigkeitsbewertung von Rätseln hängt oft davon ab, welche Techniken zu ihrer Lösung nötig sind. Ein Rätsel, das nichts über nackte Einzelkandidaten und Paare hinaus benötigt, gilt als einfach. Ein Rätsel, das nackte Tripel erfordert, kommt in den mittleren Bereich. Ein Rätsel, das ein Nacktes Quadrupel verlangt, ist mindestens anspruchsvoll.

Fehler 1: Erwarten, dass alle Zellen alle Ziffern enthalten

Der häufigste Fehler bei nackten Triples und Quads ist die Annahme, dass jede zelle in der Teilmenge alle N Ziffern enthalten muss. Das ist falsch. Eine Nacktes Tripel mit den Zellen {1,3}, {1,7} und {3,7} ist völlig gültig, obwohl keine zelle alle von 1, 3 und 7 enthält.

So vermeidest du es: Prüfe immer die Vereinigung der Kandidaten, nicht einzelne Zellen. Zähle die verschiedenen Ziffern über alle Zellen der Gruppe. Entspricht die Anzahl der Zellen, ist es eine nackte Teilmenge, egal wie die Ziffern auf die einzelnen Zellen verteilt sind.

Fehler 2: Nackte und versteckte Teilmengen verwechseln

Eine Nacktes Paar hat N Zellen mit auf N Ziffern beschränkten Kandidaten. Eine Verstecktes Paar hat N Ziffern, die auf N Zellen beschränkt sind, aber diese Zellen können zusätzliche Kandidaten haben.

Bei einer Nacktes Paar eliminierst du die Ziffern des Paares aus anderen Zellen im Haus. Bei einer Verstecktes Paar eliminierst du die Nicht-Paar-Ziffern aus den Zellen des Paares selbst.

So vermeidest du es: Frage dich: "Betrachte ich Zellen mit eingeschränkten Kandidaten (nackt) oder Ziffern mit eingeschränkten Positionen (versteckt)?" Die Richtung der Einschränkung bestimmt, welche Art von Teilmenge du gefunden hast.

Fehler 3: Aus den falschen Zellen eliminieren

Wenn du eine Nacktes Paar {4, 6} in den Zellen R1C2 und R1C7 findest, eliminierst du 4 und 6 aus den anderen Zellen in Zeile 1. Du eliminierst nicht andere Kandidaten aus R1C2 und R1C7 selbst. Die Kandidaten der Nacktes Paar bleiben in den eigenen Zellen der Teilmenge intakt.

So vermeidest du es: Denke an die Regel: Nackte Teilmengen eliminieren ihre Ziffern aus Zellen außerhalb der Teilmenge. Versteckte Teilmengen eliminieren Nicht-Teilmengen-Ziffern aus Zellen innerhalb der Teilmenge.

Fehler 4: Vergessen, alle gemeinsamen Häuser zu prüfen

Zwei Zellen können mehr als ein Haus teilen. Zum Beispiel teilen R1C1 und R1C3 sowohl Zeile 1 als auch Block 1. Wenn sie eine Nacktes Paar bilden, kannst du die Ziffern des Paares aus anderen Zellen in Zeile 1 und aus anderen Zellen in Block 1 eliminieren. Beschränke deine Eliminierungen nicht auf nur ein Haus.

So vermeidest du es: Prüfe für jede nackte Teilmenge, die du findest, welche Häuser alle Zellen der Teilmenge teilen. Wende Eliminierungen in jedem gemeinsamen Haus an.

Nackte Teilmengen sollten der Reihe nach von der kleinsten zur größten geprüft werden:

1. Zuerst nackte Singles. Suche nach jeder Platzierung nach neuen nackten Singles. Sie sind kostenlos und sofort verfügbar.

2. Zweitens nackte Paare. Sobald keine nackten Singles mehr übrig sind, suche in jeder Zeile, Spalte und jedem Block nach nackten Paaren. Sie sind die häufigste fortgeschrittene Technik und schalten oft weitere nackte Singles frei.

3. Drittens nackte Triples. Wenn Paare nicht ausreichen, erweitere deine Suche auf Triples. Konzentriere dich auf Häuser, in denen mehrere Zellen zwei oder drei Kandidaten haben.

4. Zuletzt nackte Quads. Suche nur dann nach Quads, wenn kleinere Teilmengen und andere Techniken ausgeschöpft sind. Angesichts ihrer Schwierigkeit solltest du zuerst nach versteckten Paaren oder Triples suchen, da diese leichter zu finden sein können und durch das Dualitätsprinzip dieselbe Information offenbaren.

Wenn du dieser Reihenfolge folgst, wendest du die einfachsten und produktivsten Techniken zuerst an und sparst geistige Anstrengung für den Moment auf, in dem sie wirklich nötig ist.

Nackte Teilmengen sind eine Familie von vier Sudoku-Techniken, vereint durch ein einziges elegantes Prinzip: N Zellen in einem Haus mit genau N kombinierten Kandidaten sperren diese Ziffern fest, sodass du sie aus allen anderen Zellen des Hauses eliminieren kannst.

Von den bescheidenen Nacktes Einzel, die einen zelle direkt lösen, über nackte Paare und Triples, die Kandidaten beseitigen, bis hin zu den schwer fassbaren Nacktes Quadrupel, die eine sorgfältige systematische Suche erfordern, bilden diese Techniken das Rückgrat des logischen Sudoku-Lösens. Wenn du sie beherrschst, erhältst du zuverlässige Werkzeuge, die bei Rätseln jeder Schwierigkeitsstufe funktionieren, und legst die Grundlage für noch fortgeschrittenere Strategien wie versteckte Teilmengen, Fischmuster und Ketten.