Hvert puslespill vi serverer er maskinverifisert
Vi håper ikke bare at puslespillene våre er rettferdige — vi beviser det, med en solver som kjører uavhengig av generatoren. Nedenfor er de virkelige dataene bak hvert garantimerke, og hvordan du reproduserer dem selv.
FreeCell — 99.9992 % av givene kan vinnes
Vi nummererer givene akkurat som Microsofts opprinnelige FreeCell (1 til 1,000,000), så hvert spill stemmer med tiår med FreeCell-registre. Av den første millionen giver er det bare 8 som aldri kan vinnes — og vår egen solver beviser hver enkelt uløselig ved å tømme hele spilltreet. Vi serverer dem aldri: hver giv i rotasjon trippelsjekkes (gi → løse → spille av).
Giv #11982 — det mest berømte uløselige FreeCell-spillet — bevises uløselig i 61,643 søkenoder.
| Giv nr. | Noder for å bevise uløselighet |
|---|---|
| #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 for øyeblikket 768 verifiserte giver — 0 uløselige, 0 uverifiserte.
Minesveiper — aldri gjett
Hvert brett kan ryddes med ren logikk fra første klikk. Ingen 50/50-myntkast. Vi genererer kandidatbrett og forkaster ethvert som ville tvinge fram en gjetting — på Ekspert betyr det å forkaste rundt 89 %.
| Vanskelighetsgrad | Brett som ville tvinge fram en gjetting (forkastet) |
|---|---|
| Lett 9×99×9 / 10 | 7% |
| Middels 16×1616×16 / 40 | 38.8% |
| Vanskelig 30×1630×16 / 99 | 89% |
100% · Uten gjetting — løsbart med logikk alene ✓
Nonogram — nøyaktig én løsning
Hvert bilde har én unik løsning du når kun med linje-for-linje-logikk. Mot intuisjonen er små rutenett vanskeligst å gjøre unike — vi forkaster rundt 88 % av 5×5-kandidatene.
| Størrelse | Kandidater uten unik linjelogikk-løsning (forkastet) |
|---|---|
| Lett 5×55×5 | 87.6% |
| Middels 10×1010×10 | 68.9% |
| Vanskelig 15×1515×15 | 49.6% |
100% · Én løsning — løsbart med ren logikk ✓
Water Sort — "par" er det ekte minimumet
Hvert nivå kan løses, og paret vi viser er nøyaktig færrest mulige trekk — bevist av en A*-solver, ikke estimert. Vanskeligere nivåer krever mer: Vanskelig ligger på 21–35 trekk.
| Vanskelighetsgrad | Færrest trekk (optimalt bevist) |
|---|---|
| Lett (7 rør)5 colors / 7 tubes | 8–16 (avg 11.8) |
| Middels (10 rør)8 colors / 10 tubes | 15–23 (avg 18.8) |
| Vanskelig (14 rør)12 colors / 14 tubes | 21–35 (avg 26.9) |
100% · Hvert brett løsbart — optimale trekk vist ✓
Slik sjekker du det selv
To regler holder disse garantiene ærlige. For det første er solveren uavhengig av generatoren — en generator vurderer aldri sitt eget arbeid. For det andre er alt reproduserbart: kjør node scripts/guarantee-stats.mjs, og du får de samme bevisstørrelsene. Hver solver er åpen i kodebasen vår.
Data generert 2026-07-26.
Ofte stilte spørsmål
Kan alle FreeCell-spill vinnes?
Nesten alle. Av de første 1,000,000 nummererte givene er nøyaktig 8 uløselige — rundt 99.9992 % kan vinnes. Vi beviser alle 8 uløselige med vår egen solver og serverer dem aldri.
Hvilke FreeCell-giver er umulige å vinne?
I den første millionen: #11982, #146692, #186216, #455889, #495505, #512118, #517776 og #781948. #11982 er den eneste uløselige given blant Microsofts opprinnelige 32,000.
Hva betyr Minesveiper uten gjetting?
Hvert brett kan løses kun med logikk — du kommer aldri til et punkt der to ruter er like sannsynlige for å være en mine og du må gjette. Brett som ville tvinge fram en gjetting, forkastes før vi serverer dem.
Har hvert Nonogram en unik løsning?
Ja. Hvert puslespill verifiseres til å ha nøyaktig én løsning, oppnåelig med linje-for-linje-logikk — så du trenger aldri å gjette eller gå tilbake fra en feil gren.
Er antall trekk i Water Sort det ekte minimumet?
Ja. Paret beregnes av en nøyaktig A*-solver som det beviselig færreste antall trekk for det nivået, ikke en tilnærming.