Games
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.