Sim, alguns puzzles Water Sort e Ball Sort são genuinamente insolúveis. Não importa o quão habilidoso você seja ou quantos movimentos tente, certas configurações de cores não têm sequência válida de movimentos que leve a um estado resolvido. Isso não é uma questão de dificuldade —— é um fato matemático sobre a estrutura do puzzle.
Por que alguns puzzles não podem ser resolvidos
Um puzzle de classificação por cor é solucionável apenas se existe um caminho através do espaço de estados —— o conjunto de todos os arranjos possíveis do tabuleiro —— da posição inicial até uma posição alvo. Quando tal caminho não existe, o puzzle é insolúvel.
As razões mais comuns para um puzzle acabar insolúvel:
Espaço vazio insuficiente
Tubos vazios são o espaço de trabalho que torna a classificação possível. Se um puzzle tem cores demais em relação ao seu espaço vazio, cores podem ficar permanentemente bloqueadas.
Arranjos de cor com bloqueio mútuo
Às vezes o arranjo inicial cria uma dependência circular. Cor A está presa sob a cor B, que está presa sob a cor C, que está presa sob a cor A. Nenhum movimento isolado pode quebrar o ciclo.
Contagens de cor incorretas
Um puzzle bem formado requer que cada cor apareça exatamente o mesmo número de vezes que a capacidade do tubo. Se uma cor aparece três vezes em um puzzle de tubos de quatro espaços, o puzzle não pode ser resolvido.
Como o ChromaOracle detecta puzzles insolúveis
O solucionador do ChromaOracle usa busca em largura (BFS), que explora sistematicamente cada estado alcançável do tabuleiro a partir da configuração inicial. Se BFS esgota todos os estados alcançáveis sem encontrar uma configuração resolvida, ele provou que nenhuma solução existe.
Como reconhecer um puzzle insolúvel você mesmo
Embora você não possa igualar a busca exaustiva de um computador, há sinais de aviso que sugerem que um puzzle pode ser insolúvel:
- Sem tubos vazios e sem correspondências imediatas —— se cada tubo está cheio e nenhuma cor superior corresponde ao topo de outro tubo, você não tem nem mesmo um primeiro movimento válido.
- Armadilhas circulares —— se você notar que classificar uma cor requer primeiro mover uma cor que ela mesma não pode ser movida sem classificar a primeira.
- Loops repetidos —— se você se encontrar desfazendo e refazendo os mesmos movimentos sem progresso.
- Incompatibilidade de contagem de cores —— conte cada cor. Se alguma cor não aparece o número exato de vezes para preencher um tubo, o puzzle está quebrado.
O que fazer quando você está preso
Se você está trabalhando em um puzzle por vários minutos sem progresso, siga estes passos:
- Insira o puzzle no ChromaOracle. O solucionador retornará a solução ideal ou confirmará que o puzzle é insolúvel.
- Verifique sua entrada de cor. Se o solucionador disser insolúvel, verifique novamente se você inseriu as cores corretamente.
- Aceite e siga em frente. Se o puzzle é confirmado como insolúvel, não há nada a ganhar continuando.
- Use o botão desfazer. Se o puzzle era solucionável, mas você fez uma sequência incorreta, desfaça até um estado viável.
Aplicativos de puzzle incluem níveis insolúveis intencionalmente?
Geralmente não intencionalmente. A maioria dos aplicativos de puzzle gera níveis algoritmicamente, e alguns métodos de geração não verificam a resolubilidade.
Perguntas frequentes
Quão comuns são puzzles insolúveis em aplicativos populares?
Varia por aplicativo. Aplicativos bem projetados que verificam a resolubilidade durante a geração de níveis têm zero níveis insolúveis. Aplicativos que geram níveis aleatoriamente sem verificação podem ter de 1 a 5 por cento.
Se um puzzle tem tubos vazios, é sempre solucionável?
Não. Tubos vazios tornam a resolubilidade mais provável, mas não a garantem.
Posso tornar um puzzle insolúvel solucionável adicionando um tubo vazio?
Em muitos casos, sim. Adicionar um tubo vazio expande o espaço de estados e pode quebrar bloqueios.