Hvert puslespil vi serverer er maskinverificeret
Vi håber ikke bare, at vores puslespil er fair — vi beviser det med en solver, der kører uafhængigt af generatoren. Nedenfor er de rigtige data bag hvert garantimærke, og hvordan du selv reproducerer dem.
FreeCell — 99.9992 % af givene kan vindes
Vi nummererer givene præcis som Microsofts oprindelige FreeCell (1 til 1,000,000), så hvert spil passer med årtiers FreeCell-optegnelser. Af den første million give kan kun 8 aldrig vindes — og vores egen solver beviser hver enkelt uløselig ved at udtømme hele spiltræet. Vi serverer dem aldrig: hver giv i rotation tjekkes tre gange (giv → løs → afspil).
Giv #11982 — det mest berømte uløselige FreeCell-spil — bevises uløseligt i 61,643 søgeknuder.
| Giv nr. | Knuder til at bevise uløselighed |
|---|---|
| #11982 | 61,643 |
| #146692 | 8,637 |
| #186216 | 16,606 |
| #455889 | 11,806 |
| #495505 | 27,688 |
| #512118 | 22,490 |
| #517776 | 67,016 |
| #781948 | 4,381 |
Vi serverer i øjeblikket 768 verificerede give — 0 uløselige, 0 uverificerede.
Minestryger — aldrig gæt
Hvert bræt kan ryddes med ren logik fra første klik. Ingen 50/50-plat-eller-krone. Vi genererer kandidatbrætter og forkaster ethvert, der ville tvinge et gæt — på Ekspert betyder det at forkaste omkring 89 %.
| Sværhedsgrad | Brætter der ville tvinge et gæt (forkastet) |
|---|---|
| Let 9×99×9 / 10 | 7% |
| Mellem 16×1616×16 / 40 | 38.8% |
| Svær 30×1630×16 / 99 | 89% |
100% · Uden gætteri — løsbart med logik alene ✓
Nonogram — præcis én løsning
Hvert billede har én unik løsning, du kan nå udelukkende med linje-for-linje-logik. Imod intuitionen er små gitre sværest at gøre unikke — vi forkaster omkring 88 % af 5×5-kandidaterne.
| Størrelse | Kandidater uden unik linjelogik-løsning (forkastet) |
|---|---|
| Let 5×55×5 | 87.6% |
| Mellem 10×1010×10 | 68.9% |
| Svært 15×1515×15 | 49.6% |
100% · Én løsning — løseligt med ren logik ✓
Water Sort — "par" er det ægte minimum
Hvert niveau kan løses, og det par, vi viser, er præcis det færreste mulige antal træk — bevist af en A*-solver, ikke estimeret. Sværere niveauer kræver mere: Svær ligger på 21–35 træk.
| Sværhedsgrad | Færrest træk (optimalt bevist) |
|---|---|
| Let (7 rør)5 colors / 7 tubes | 8–16 (avg 11.8) |
| Mellem (10 rør)8 colors / 10 tubes | 15–23 (avg 18.8) |
| Svært (14 rør)12 colors / 14 tubes | 21–35 (avg 26.9) |
100% · Hvert bræt løseligt — optimale træk vist ✓
Sådan tjekker du det selv
To regler holder disse garantier ærlige. For det første er solveren uafhængig af generatoren — en generator bedømmer aldrig sit eget arbejde. For det andet er alt reproducerbart: kør node scripts/guarantee-stats.mjs, og du får de samme bevisstørrelser. Hver solver er åben i vores kodebase.
Data genereret 2026-07-26.
Ofte stillede spørgsmål
Kan alle FreeCell-spil vindes?
Næsten alle. Af de første 1,000,000 nummererede give er præcis 8 uløselige — omkring 99.9992 % kan vindes. Vi beviser alle 8 uløselige med vores egen solver og serverer dem aldrig.
Hvilke FreeCell-give er umulige at vinde?
I den første million: #11982, #146692, #186216, #455889, #495505, #512118, #517776 og #781948. #11982 er den eneste uløselige giv blandt Microsofts oprindelige 32,000.
Hvad betyder Minestryger uden gæt?
Hvert bræt kan løses udelukkende med logik — du når aldrig et sted, hvor to felter er lige sandsynlige for at være en mine, og du må gætte. Brætter der ville tvinge et gæt, forkastes, før vi serverer dem.
Har hvert Nonogram en unik løsning?
Ja. Hvert puslespil verificeres til at have præcis én løsning, der kan nås med linje-for-linje-logik — så du behøver aldrig gætte eller gå tilbage fra en forkert gren.
Er Water Sorts antal træk det ægte minimum?
Ja. Par beregnes af en præcis A*-solver som det beviseligt færreste antal træk for det niveau, ikke en tilnærmelse.