Um nonograma tem solução única quando exatamente uma grade completa de células preenchidas/vazias satisfaz todas as pistas de linhas e todas as pistas de colunas.
Se duas ou mais grades diferentes satisfazem as mesmas pistas, o quebra-cabeça é ambíguo. Se nenhuma grade as satisfaz, o conjunto de pistas é contraditório.
Para um quebra-cabeça lógico convencional publicado, a unicidade normalmente é um requisito básico de validade.
Um nonograma ambíguo mínimo
Considere uma grade 2×2 com estas pistas:
Linhas: 1, 1
Colunas: 1, 1Existem duas soluções:
■ × × ■
× ■ ■ ×Cada linha contém uma célula preenchida. Cada coluna contém uma célula preenchida. Nada nas pistas distingue as duas diagonais.
O quebra-cabeça não é “difícil porque você ainda não percebeu o truque”. Ele está subdeterminado. As duas respostas são logicamente válidas.
O que significa realmente ser único?
Unicidade é uma propriedade do sistema completo de pistas.
Uma solução precisa satisfazer simultaneamente todas as restrições de linhas e colunas. O quebra-cabeça só é único quando toda grade completa alternativa viola pelo menos uma dessas restrições.
Isso é mais forte do que dizer:
- a imagem pretendida corresponde às pistas;
- você encontrou pessoalmente uma solução;
- a imagem final parece reconhecível;
- um método específico de resolução chegou a uma resposta.
Encontrar uma grade válida prova que existe uma solução. Não prova que outra não exista.
Único não significa fácil
Essa distinção é fundamental.
Um quebra-cabeça pode ter exatamente uma solução e ainda resistir às deduções comuns feitas linha por linha e coluna por coluna. A solução pode ser globalmente determinada mesmo quando nenhum movimento local imediato está disponível.
Por isso, estas afirmações são diferentes:
- O quebra-cabeça tem uma solução.
- O quebra-cabeça pode ser resolvido pelas técnicas que uma pessoa ou solver específico utiliza.
- O quebra-cabeça é fácil para o público-alvo.
Um verificador de unicidade responde à primeira pergunta. Um modelo de dificuldade e uma análise do caminho de resolução respondem às outras.
Por que a ambiguidade acontece
A ambiguidade aparece quando as pistas deixam alguma estrutura intercambiável.
Causas comuns incluem:
Alternativas simétricas
Dois grupos de células podem trocar de posição mantendo todos os comprimentos de blocos das linhas e colunas.
Estrutura de pistas esparsa
Muitas pistas curtas em espaços abertos podem permitir várias colocações que as linhas cruzadas nunca conseguem distinguir por completo.
Regiões independentes
Um quebra-cabeça pode conter duas subestruturas não resolvidas que alternam entre possibilidades sem afetar o restante da grade.
Alterações de construção que preservam o comportamento das pistas
Mudar a imagem nem sempre fortalece o conjunto de pistas. Algumas alterações apenas deslocam a incerteza para outro lugar.
Como criadores testam a unicidade
Em quebra-cabeças minúsculos, todas as grades possíveis poderiam, em teoria, ser verificadas.
Para quebra-cabeças realistas, softwares usam métodos mais eficientes de resolução de restrições e busca. Um solver pode:
- encontrar uma solução completa;
- continuar procurando uma solução completa diferente;
- parar quando encontra uma segunda solução ou provar que nenhuma alternativa resta.
Ferramentas como o pbnsolve do WebPBN utilizam esse tipo de validação para quebra-cabeças criados por usuários.
A lógica pode provar unicidade enquanto você resolve?
Se uma sequência de deduções corretas parte apenas das pistas e preenche todas as células sem ramificação, então o resultado necessariamente é a única solução compatível com aquelas deduções e restrições.
Mas, quando um método normal de resolução de linhas trava, você não pode concluir que o quebra-cabeça é ambíguo. A dedução que falta pode exigir raciocínio mais forte, um solver de linha diferente, análise por contradição ou busca.
Da mesma forma, se o seu método encontra uma resposta por meio de ramificações, isso também não prova unicidade automaticamente. As ramificações não exploradas ainda importam.
Por que uma imagem reconhecível não resolve a ambiguidade
Imagine que uma solução válida pareça um gato e outra pareça uma versão um pouco deformada do gato.
Escolher o gato porque ele parece intencional não é uma dedução de nonograma. As pistas não provaram essa escolha.
Um quebra-cabeça devidamente validado não deve precisar de preferência estética para decidir entre grades legais.
A imagem que surge pode ajudar na orientação, mas nunca é evidência para o estado de uma célula.
Solução única vs caminho de resolução único
Uma solução única não implica uma ordem única de deduções.
Dois jogadores podem resolver o mesmo quebra-cabeça válido em sequências diferentes:
- um começa por uma linha longa;
- outro começa por uma coluna mais restringida;
- ambos acabam forçando a mesma grade final.
O destino é único mesmo quando o caminho não é.
Essa é uma propriedade útil para o design: um nonograma pode oferecer várias aberturas produtivas sem se tornar ambíguo.
E se um nonograma publicado tiver várias soluções?
Se as regras forem padrão e duas grades completas realmente satisfizerem todas as pistas, o quebra-cabeça é ambíguo independentemente da imagem que a editora pretendia.
Antes de concluir que o quebra-cabeça está quebrado, confirme que:
- a ordem das pistas foi preservada;
- blocos consecutivos estão separados corretamente;
- cada X é tratado como vazio, e não como desconhecido;
- nenhum bloco preenchido ultrapassa acidentalmente o valor da pista;
- a editora não está usando uma variante de regras.
Se as duas grades continuarem satisfazendo as mesmas pistas padrão, o conjunto de pistas não determina uma resposta única.
O que aprender a seguir
Para entender como criadores detectam esses casos, leia Como funcionam os solvers informáticos de nonogramas. Para entender por que unicidade e dificuldade humana se separam, continue em Como a dificuldade dos nonogramas é classificada.
FAQ
Todos os nonogramas têm uma única solução?
Não. Um conjunto arbitrário de pistas pode ter zero, uma ou várias soluções. Quebra-cabeças publicados e bem construídos normalmente buscam exatamente uma.
Se eu ficar travado, isso significa que o quebra-cabeça tem várias soluções?
Não. Pode simplesmente existir uma dedução que você ainda não encontrou ou ser necessário um método de raciocínio mais forte.
Um nonograma pode ter solução única e ainda exigir chute?
Ele pode ter solução única e resistir a um método local específico. Se uma análise mais forte por casos deve ser chamada de “chute” depende de como o raciocínio é feito; a G-011 diferencia chute sem justificativa de prova baseada em contradição.