Cada puzzle que servimos é verificado por máquina
Não ficamos só a torcer para que os nossos puzzles sejam justos: nós provamos, com um solucionador que corre de forma independente do gerador. Abaixo estão os dados reais por trás de cada selo de garantia e como reproduzi-los você mesmo.
FreeCell — 99.9992% dos jogos têm solução
Numeramos os jogos exatamente como o FreeCell original da Microsoft (de 1 a 1,000,000), por isso cada partida coincide com décadas de registos de FreeCell. Do primeiro milhão de jogos, apenas 8 nunca podem ser vencidos, e o nosso próprio solucionador prova que cada um é insolúvel esgotando toda a árvore do jogo. Nunca os servimos: cada jogo em rotação passa por tripla verificação (distribuir → resolver → repetir).
O jogo #11982 — a partida de FreeCell insolúvel mais famosa — é provado insolúvel em 61,643 nós de busca.
| Jogo n.º | Nós para provar que é insolúvel |
|---|---|
| #11982 | 61,643 |
| #146692 | 8,637 |
| #186216 | 16,606 |
| #455889 | 11,806 |
| #495505 | 27,688 |
| #512118 | 22,490 |
| #517776 | 67,016 |
| #781948 | 4,381 |
Atualmente servimos 768 jogos verificados — 0 insolúveis, 0 não verificados.
Campo Minado — nunca adivinhar
Cada tabuleiro pode ser limpo com pura lógica a partir do primeiro clique. Sem chutes de 50/50. Geramos tabuleiros candidatos e rejeitamos qualquer um que obrigue a adivinhar; no Especialista, isso significa rejeitar cerca de 89%.
| Dificuldade | Tabuleiros que obrigariam a adivinhar (rejeitados) |
|---|---|
| Fácil 9×99×9 / 10 | 7% |
| Médio 16×1616×16 / 40 | 38.8% |
| Difícil 30×1630×16 / 99 | 89% |
100% · Sem adivinhar — solucionável só com lógica ✓
Nonograma — exatamente uma solução
Cada imagem tem uma única solução a que se chega apenas com lógica linha a linha. Ao contrário do que parece, as grelhas pequenas são as mais difíceis de tornar únicas: rejeitamos cerca de 88% das candidatas 5×5.
| Tamanho | Candidatas sem solução única por lógica de linhas (rejeitadas) |
|---|---|
| Fácil 5×55×5 | 87.6% |
| Médio 10×1010×10 | 68.9% |
| Difícil 15×1515×15 | 49.6% |
100% · Solução única — resolvível só com lógica ✓
Water Sort — o "par" é o mínimo verdadeiro
Cada nível tem solução, e o par que mostramos é o número exato de jogadas mínimas, provado por um solucionador A*, não estimado. Os níveis mais difíceis precisam de mais: o Difícil fica entre 21–35 jogadas.
| Dificuldade | Menos jogadas (ótimo provado) |
|---|---|
| Fácil (7 tubos)5 colors / 7 tubes | 8–16 (avg 11.8) |
| Médio (10 tubos)8 colors / 10 tubes | 15–23 (avg 18.8) |
| Difícil (14 tubos)12 colors / 14 tubes | 21–35 (avg 26.9) |
100% · Todo tabuleiro com solução — jogadas ótimas à vista ✓
Como verificar você mesmo
Duas regras mantêm estas garantias honestas. Primeira, o solucionador é independente do gerador — um gerador nunca corrige o próprio trabalho. Segunda, tudo é reproduzível: execute node scripts/guarantee-stats.mjs e obterá os mesmos tamanhos de prova. Todos os solucionadores estão abertos no nosso código.
Dados gerados em 2026-07-26.
Perguntas frequentes
Todos os jogos de FreeCell têm solução?
Quase todos. Dos primeiros 1,000,000 jogos numerados, exatamente 8 são insolúveis — cerca de 99.9992% têm solução. Provamos que os 8 são insolúveis com o nosso próprio solucionador e nunca os servimos.
Que jogos de FreeCell são impossíveis de vencer?
No primeiro milhão: #11982, #146692, #186216, #455889, #495505, #512118, #517776 e #781948. O #11982 é o único jogo insolúvel entre os 32,000 originais da Microsoft.
O que significa Campo Minado sem adivinhação?
Cada tabuleiro pode ser resolvido só com lógica — nunca chega a um ponto em que duas casas tenham igual probabilidade de ser mina e você precise adivinhar. Os tabuleiros que obrigariam a adivinhar são rejeitados antes de os servirmos.
Todo Nonograma tem uma solução única?
Sim. Cada puzzle é verificado para ter exatamente uma solução, alcançável por lógica linha a linha — por isso nunca precisa de adivinhar nem de voltar atrás a partir de um ramo errado.
O número de jogadas do Water Sort é o mínimo real?
Sim. O par é calculado por um solucionador A* exato como o número de jogadas comprovadamente mínimo para aquele nível, não uma aproximação.