Como verificamos os 2.000 tabuleiros de blocos deslizantes

Um solucionador só ajuda se sua interpretação dos movimentos corresponder ao jogo. Uma peça desliza até a parede, outra peça ou uma porta que não aceita sua cor. O OutBrick também tem estados adicionais: chaves mudam portas, o gelo precisa de vários deslizes e geradores introduzem peças à espera. Uma implementação simplificada deixaria erros possíveis exatamente onde mais importam.

Por isso, a busca pede ao próprio motor do jogo os movimentos legais e usa o mesmo código de transição. A chave do estado também inclui o estado das portas e um contador de movimentos quando portas cíclicas ou temporizadas o tornam relevante. Dois tabuleiros visualmente iguais, mas com portas em estados ativos diferentes, precisam continuar sendo estados de busca distintos.

O solucionador usa A* ponderado. Sua heurística ExitTable calcula quantos deslizes cada peça exigiria para sair pela porta adequada caso as demais peças fossem removidas. Esse tabuleiro simplificado é mais barato de analisar e oferece uma estimativa útil do trabalho restante. Dar mais peso à heurística favorece encontrar uma solução rapidamente.

Essa escolha tem um limite: não garante que a rota encontrada tenha o menor número de movimentos. A busca também pode alcançar o limite de nós. Nesse caso, o resultado é desconhecido, não impossível. Só esgotar todo o espaço de estados alcançáveis permite concluir que não há solução. Distinguir esses resultados evita transformar um atraso ou cancelamento em uma afirmação falsa sobre o tabuleiro.

Encontrar uma sequência não é a verificação final. Para cada tabuleiro criado, guardamos uma prova: a sequência de movimentos entre o estado inicial e a conclusão. A reprodução começa em um estado novo, confere a validade da prova e aplica cada movimento pelas regras reais. Um movimento ilegal encerra a verificação com falha.

O verificador também executa cada movimento outra vez a partir do mesmo estado anterior e compara estado resultante, eventos e resultado, para detectar transições inconsistentes. Depois de cada jogada, confere se cada peça continua em uma célula válida e se nenhuma ocupa a mesma célula que outra. No final, o tabuleiro precisa estar realmente vazio. Uma sequência plausível que deixa uma peça para trás não serve.

Uma sequência legal prova que existe um caminho. Não prova que uma pessoa vai encontrá-lo, considerá-lo justo ou sentir a dificuldade desejada. A solução do computador também não demonstra o menor número possível de movimentos. São questões separadas: reproduzir o conjunto inteiro verifica correção; ritmo e dificuldade são avaliados à parte.

O limite de movimentos também precisa permitir a rota verificada. A pessoa pode pensar quanto tempo precisar: o limite conta movimentos, e o OutBrick não tem cronômetro. Assim, o quebra-cabeça mantém pressão sem transformar a validação em uma corrida.

O resultado útil não é “o solucionador rodou uma vez”, mas que cada tabuleiro tinha uma prova reproduzida corretamente conforme as regras publicadas. Se uma regra ou um tabuleiro mudar, o conjunto pode ser verificado outra vez. O primeiro movimento que falhar indica o problema: legalidade, determinismo, geometria ou condição final.

Foi assim que conferimos os 2.000 tabuleiros do OutBrick antes da publicação. Experimente esse tipo de quebra-cabeça no tabuleiro gratuito no navegador ou baixe o OutBrick para iPhone e iPad.