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.

Kakuro-/Fillomino-/Masyu-/Yajilin-/Hashiwokakero-/Nurikabe-/Slitherlink-/Star-Battle-Puzzle-Generator mit Eindeutigkeits-Beweis | Kostenloses Online-Tool

Kakuro-/Fillomino-/Masyu-/Yajilin-/Hashiwokakero-/Nurikabe-/Slitherlink-/Star-Battle-Puzzle-Generator mit Eindeutigkeits-Beweis | Kostenloses Online-Tool | Elysia Tools

Beispiele

1. Generierung eines eindeutigen Slitherlink-Rätsels

Rätselredakteur

Hintergrund

Ein Redakteur benötigt für eine wöchentliche Rätselkolumne ein Slitherlink-Gitter mit nachweislich nur einer Lösung.

Aufgabe

Rätsel mit mehreren Lösungswegen müssen vermieden werden, ohne jedes Gitter manuell durchzurechnen.

Verwendung

Wählen Sie als Familie 'Slitherlink', tragen Sie Seed 12345 ein und aktivieren Sie die Option 'Lösungs-SVG anzeigen'.

family: slitherlink, seed: 12345, showSolution: true

Ergebnis

Erzeugt ein 5×5 Slitherlink-Gitter mit 17 Hinweisen, dessen Eindeutigkeit in 840 Knoten bewiesen wurde, samt Lösungs-SVG.

2. Erstellung eines Star-Battle-Wettbewerbsgitters

Wettbewerbsorganisator

Hintergrund

Für eine Denkspiel-Meisterschaft wird ein deterministisches Star-Battle-Rätsel mit zwei Sternen pro Zeile, Spalte und Region benötigt.

Aufgabe

Alle Teilnehmer müssen identische, fehlerfreie Bedingungen ohne Mehrdeutigkeiten erhalten.

Verwendung

Wählen Sie 'Star Battle' als Familie, geben Sie den Seed 777 ein und starten Sie die Generierung.

family: star-battle, seed: 777, showSolution: true

Ergebnis

Liefert ein 8×8-Gitter mit 8 Regionen und 16 Sternen, dessen Eindeutigkeit nach 218 Knoten bewiesen ist, inklusive Lösungsansicht.

Kakuro-/Fillomino-/Masyu-/Yajilin-/Hashiwokakero-/Nurikabe-/Slitherlink-/Star-Battle-Puzzle-Generator mit Eindeutigkeits-Beweis

Wobei dieses Tool hilft

Dieses Tool ausführen

Beispiele zu diesem Tool

Mit verwandten Tools und Themen fortfahren

Erfahren Sie, wann dieses Tool passt, was es unterstützt und wie Nutzer es anwenden.

Wichtige Fakten

Überblick

Wann verwenden

So funktioniert es

Anwendungsfälle

Beispiele

1. Generierung eines eindeutigen Slitherlink-Rätsels

2. Erstellung eines Star-Battle-Wettbewerbsgitters

FAQ

SVG Beispiele

D3.js Datenvisualisierung Beispiele

SVG-Beispiele

XML-Beispiele

CSS-Farbverlaufs-Mesh-Generator (konisch + radial)

CSV-Diagrammstudio: Histogramm, Streudiagramm und Boxplot

SVG-Sprite-Sheet-Generator

SVG-Favicon-Generator