# Kakuro-/Fillomino-/Masyu-/Yajilin-/Hashiwokakero-/Nurikabe-/Slitherlink-/Star-Battle-Puzzle-Generator mit Eindeutigkeits-Beweis Solver (alle erschöpfend, nicht heuristisch): Kakuro zellenweise mit Summenschranken; Fillomino per Regionsplatzierung (feste Polyominoes, ankerfixiert in Scan-Reihenfolge — jede Pflasterung wird einmal gezählt; die Schachbrett-Freilegung garantiert Vollständigkeit: jede Region ≥2 Zellen enthält einen freigelegten Hinweis); Masyu/Yajilin per Zyklusenumeration (Anker mit Kantenreihenfolge zur Deduplizierung, Perlen beim Verlassen geprüft); Hashiwokakero je Linie 0/1/2 Brücken (Grade, vorberechnete Kreuzungen, finale Konnektivität); Nurikabe per Platzierung (Insel = genau ein Hinweis exakter Größe, Meer zusammenhängend, ohne 2×2-Tümpel); Slitherlink kantenweise nach Scheiteln gruppiert + Zyklusschluss via Union-Find; Star Battle zeilenweise. Schwierigkeit = Knoten (<2k leicht, <30k mittel). Eindeutigkeit: Zählen bis 2 — count=1 ohne Budgeteerschöpfung = „bewiesen“; erschöpft ehrlich „unproven“. Gleiches Familien+Seed, gleiches Brett. > Kanonische Seite: https://elysiatools.com/de/tools/kakuro-fillomino-masyu-yajilin-hashiwokakero-nurikabe-slitherlink-and-star-battle-puzzle-generator-with-uniqueness-prover - **Kategorie:** Games - **Schlagwörter:** Puzzle-Generator, eindeutige Lösung, Nikoli, Logikpuzzle, Kakuro, Slitherlink, Nurikabe ## Überblick Solver (alle erschöpfend, nicht heuristisch): Kakuro zellenweise mit Summenschranken; Fillomino per Regionsplatzierung (feste Polyominoes, ankerfixiert in Scan-Reihenfolge — jede Pflasterung wird einmal gezählt; die Schachbrett-Freilegung garantiert Vollständigkeit: jede Region ≥2 Zellen enthält einen freigelegten Hinweis); Masyu/Yajilin per Zyklusenumeration (Anker mit Kantenreihenfolge zur Deduplizierung, Perlen beim Verlassen geprüft); Hashiwokakero je Linie 0/1/2 Brücken (Grade, vorberechnete Kreuzungen, finale Konnektivität); Nurikabe per Platzierung (Insel = genau ein Hinweis exakter Größe, Meer zusammenhängend, ohne 2×2-Tümpel); Slitherlink kantenweise nach Scheiteln gruppiert + Zyklusschluss via Union-Find; Star Battle zeilenweise. Schwierigkeit = Knoten (<2k leicht, <30k mittel). Eindeutigkeit: Zählen bis 2 — count=1 ohne Budgeteerschöpfung = „bewiesen“; erschöpft ehrlich „unproven“. Gleiches Familien+Seed, gleiches Brett. ## Eingaben - **Puzzle-Familie** (select) - **Seed (deterministisch)** (number): 12345 - **Lösungs-SVG anzeigen** (checkbox) ## Wann verwenden - Wenn mathematisch verifizierte Logikrätsel mit garantierter Eindeutigkeit für Publikationen oder Rätselhefte benötigt werden. - Wenn reproduzierbare Rätselinstanzen über feste Seed-Werte für Wettbewerbe oder Lehrmaterialien erstellt werden sollen. - Wenn formatierte SVG-Grafiken für Rätselgitter und deren zugehörige Lösungswege zur direkten Einbindung gebraucht werden. ## Funktionsweise - Wählen Sie die gewünschte Rätselfamilie wie Slitherlink, Star Battle, Kakuro, Nurikabe, Fillomino, Masyu, Yajilin oder Hashiwokakero aus. - Geben Sie einen numerischen Seed-Wert für die deterministische Erstellung an und legen Sie fest, ob das Lösungs-SVG generiert werden soll. - Der integrierte Solver baut das Spielfeld auf und prüft über vollständiges Backtracking, ob exakt eine einzige gültige Lösung existiert. - Das Ergebnis wird als HTML mit den generierten SVG-Grafiken für das Rätsel, dem Lösungspfad und detaillierten Solver-Metriken ausgegeben. ## Anwendungsfälle - Erstellung druckfertiger Logikrätsel inklusive Lösungsbildern für Zeitungen, Zeitschriften oder Rätselbücher. - Bereitstellung reproduzierbarer Aufgabenstellungen für Logikwettbewerbe über Seed-Vorgaben. - Generierung von Anschauungsmaterial und Übungsaufgaben für den Informatik- und Mathematikunterricht. ## Häufig gestellte Fragen ### Wie wird die Eindeutigkeit der Rätsel bewiesen? Ein erschöpfender Backtracking-Solver zählt Lösungen bis maximal zwei. Findet er genau eine Lösung ohne Budgetüberschreitung, gilt die Eindeutigkeit als bewiesen. ### Wie wird der Schwierigkeitsgrad ermittelt? Die Einstufung basiert auf den durchsuchten Solver-Knoten: Unter 2.000 Knoten gilt das Rätsel als leicht, unter 30.000 als mittel und darüber als schwer. ### Erzeugt derselbe Seed immer das gleiche Rätsel? Ja, die Kombination aus identischer Puzzle-Familie und identischem Seed liefert stets exakt dasselbe Spielfeld. ### Welche Rätseltypen stehen zur Auswahl? Es werden Kakuro, Fillomino, Masyu, Yajilin, Hashiwokakero (Brücken), Nurikabe, Slitherlink und Star Battle unterstützt. ### Was bedeutet der Status „unproven“? Wenn der Solver das festgelegte Suchknoten-Budget erschöpft, ohne alle Pfade vollständig zu prüfen, wird die Eindeutigkeit als unbewiesen ausgewiesen. ## Ähnliche Tools - [CSS-Farbverlaufs-Mesh-Generator (konisch + radial)](https://elysiatools.com/de/tools/css-gradient-mesh-generator): Erzeugt das seit 2024 auf Dribbble/Behance populäre „Gradient-Mesh“: mehrere radiale Verläufe (Farbfleck → Ausblendung in transparent derselben Farbe) über einer Basiskolorit (optional eine konische Schicht), mit Mischmodi, SVG-Filmkorn, geseedeten Layouts (Ecken / Ring / Streuung / Raster), Live-Vorschau, kopierbarem CSS und Tailwind-Willkürklasse. Flecken blenden über 8-stelliges Hex #RRGGBB00 aus — ohne den grauen Ring des transparent-Schlüsselworts. - [CSV-Diagrammstudio: Histogramm, Streudiagramm und Boxplot](https://elysiatools.com/de/tools/csv-histogram-scatter-box-plot-chart-studio): CSV hochladen oder einfügen und sofort zeichnen: Histogramme nach Sturges / Freedman-Diaconis / Scott, Streudiagramme mit Pearson-r und Ausgleichsgerade sowie Tukey-Boxplots — jedes Diagramm als PNG und SVG herunterladbar. - [SVG-Sprite-Sheet-Generator](https://elysiatools.com/de/tools/svg-sprite-generator): Lade bis zu 30 SVG-Icons hoch und füge sie zu einem Sprite-Sheet zusammen: \-Modus für inline , \-Modus für externe Datei-Fragmente. Ergänzt viewBox (aus width/height), dedupliziert Icons, entfernt optional fill/stroke für currentColor, säubert immer und on\*-Attribute und erzeugt HTML-/React-/Vue-/CSS-Snippets mit Live-Vorschau jedes Icons. - [SVG-Favicon-Generator](https://elysiatools.com/de/tools/svg-favicon-generator): Erzeugt aus einem SVG- oder Rasterlogo ein komplettes Favicon-Paket mit ICO, PNG-Varianten, Apple-Touch-Icon und Web-Manifest - [OAuth-2.0-/OIDC-Autorisierungscode-mit-PKCE-Ablaufvisualisierer](https://elysiatools.com/de/tools/oauth-oidc-authorization-code-pkce-flow-visualizer): Simuliert den Autorisierungscode-Ablauf mit PKCE vollständig: Verifier/Challenge-Erzeugung, Autorisierungs-URL, Token-Austausch, ID-Token-Prüfcheckliste und eine Abfangangriffs-Demo. - [PKCE Code Verifier & Challenge Generator](https://elysiatools.com/de/tools/pkce-code-verifier-generator): Erzeugt, validiert und verifiziert OAuth2-/OIDC-PKCE (RFC 7636) Code-Verifier-/Challenge-Paare. Drei Modi: (1) ein frisches Paar aus kryptografisch sicheren Zufallsbytes (256/384/512/768 Bit) erzeugen, (2) einen eigenen Verifier gegen den RFC prüfen — Länge (43–128), Zeichensatz \[A-Za-z0-9-._~\] und ≥256 Bit Entropie, und (3) ein Paar verifizieren durch Neuberechnung von BASE64URL(SHA256(verifier)). Optional werden die vollständige Autorisierungs-URL und der Token-Austausch-Body gebaut. Ergänzt den generischen Nonce-Generator (der nur das Paar ausgibt) um RFC-Konformitäts-Audit und Paar-Verifikation. - [Offline TOTP / HOTP Code-Generator](https://elysiatools.com/de/tools/totp-hotp-offline-generator): Erzeugt Einmalpasswörter TOTP RFC 6238 (6/8 Ziffern, 30/60 s) und HOTP RFC 4226 (zählerbasiert) aus einem base32-Secret, offline, mit HMAC-SHA1/256/512, und exportiert eine otpauth://-URI - [Data-URI-Generator](https://elysiatools.com/de/tools/data-uri-generator): Konvertiert Dateien in Data URIs (Base64 oder prozent-kodiert), um Bilder, Schriftarten und Ressourcen direkt in HTML, CSS oder Markdown einzubetten ## Beispiele - [SVG Beispiele](https://elysiatools.com/de/samples/svg-samples): Beispiele für skalierbare Vektorgrafiken (SVG), die verschiedene SVG-Funktionen und -Techniken demonstrieren - [D3.js Datenvisualisierung Beispiele](https://elysiatools.com/de/samples/d3js-data-visualization): Umfassende D3.js datenvisualisierung beispiele einschließlich diagramme, karten, animationen und interaktive visualisierungen - [SVG-Beispiele](https://elysiatools.com/de/samples/svg-viewer-samples): Vektorgrafik-Beispiele für den SVG-Viewer im Browser - [XML-Beispiele](https://elysiatools.com/de/samples/xml-samples): XML (eXtensible Markup Language)-Formatbeispiele von einfachen bis komplexen Strukturen