A solução única
Um nonograma bem-feito tem exatamente uma resposta, e esse único fato é o que torna o quebra-cabeça justo. É a razão pela qual cada quadrado pode ser deduzido pela lógica, e a razão pela qual chutar nunca é necessário. Este guia explica o que uma solução única realmente significa, mostra o que acontece quando um quebra-cabeça não tem uma, e como garantimos que os nossos sempre tenham.
Uma imagem, e apenas uma
As pistas de um nonograma descrevem uma imagem, mas nem todo conjunto de pistas descreve exatamente uma imagem. "Solução única" significa que há precisamente uma maneira de preencher a grade de modo que a pista de cada linha e coluna seja satisfeita ao mesmo tempo — nem mais, nem menos. Essa é a propriedade que um quebra-cabeça correto deve ter.
Quando isso vale, resolver é pura dedução: a cada passo há um quadrado cujo estado é forçado, e seguir esses quadrados forçados leva à única resposta.
Como é a ambiguidade
O menor quebra-cabeça que quebra a regra é uma grade 2×2 onde cada linha e cada coluna têm a pista 1. Isso é satisfeito por duas imagens completamente diferentes — as duas diagonais abaixo. Ambas são respostas perfeitamente válidas às mesmas pistas, então não há como saber qual é a "correta".
Esse é um quebra-cabeça ambíguo, e é injusto: quem resolve seguindo uma lógica impecável poderia chegar a qualquer uma das imagens. Um quebra-cabeça assim não pode ser resolvido sem chutar — que é exatamente por que quebra-cabeças com mais de uma solução não deveriam ser publicados.
É por isso que você nunca precisa chutar
A unicidade e o não chutar são dois lados da mesma moeda. Se um quebra-cabeça tem uma solução e você chega a um ponto em que teria que chutar, isso significa que existe uma dedução que você ainda não notou — não que o quebra-cabeça esteja travado. O quadrado forçado está sempre em algum lugar do tabuleiro. Então, quando você sentir a tentação de chutar em um quebra-cabeça bem-feito, a jogada produtiva é continuar procurando a linha que se resolve sem apostar.
Como cada quebra-cabeça aqui é verificado
Não tomamos a unicidade como certa. Antes de um quebra-cabeça ser publicado, um solucionador o percorre e confirma que há exatamente uma solução — qualquer coisa com zero soluções (pistas contraditórias) ou mais de uma (ambíguo) é rejeitada de imediato. É o portão mais importante em como construímos os quebra-cabeças, descrito em mais detalhe na página "como fazemos nossos nonogramas". A conclusão para você: neste site, se parece que você precisa chutar, você não precisa — a resposta é sempre alcançável pela lógica.