Primeiros passos na dedução de quebra-cabeças lógicos

Dedução significa que o tabuleiro responde

Um quebra-cabeça lógico dedutivo é um pequeno contrato entre você e a grade. Cada pista é uma restrição rígida, não um palpite sobre o que provavelmente aconteceu. O número em uma ilha, em um muro ou dentro de uma célula afirma exatamente o que precisa ser verdade na solução final, e uma resolução correta é, na prática, uma prova: cada marca que você faz decorre de pistas já lidas, até que o tabuleiro não tenha mais liberdade. É por isso que adivinhar é opcional neste gênero. Quando bate a vontade de tentar algo só para ver o resultado, quase sempre existe em algum lugar um raciocínio legível que decide a questão em seu lugar.

As três escolhas abaixo vêm da Portable Puzzle Collection de Simon Tatham, um conjunto de motores de quebra-cabeças de código aberto adaptados aqui para o navegador. Cada uma treina um músculo dedutivo diferente. Hashi Bridges ensina conectividade e planejamento de rede. Akari Light Up ensina cobertura por linha de visão. Slitherlink ensina paridade e raciocínio sobre laços. Os três geram um novo quebra-cabeça depois que você pressiona Play, sem instalação e sem conta, e nenhum usa cronômetro, então o raciocínio pode durar o tempo que precisar. Esta é uma seleção editorial por mecânica, não um ranking de popularidade.

Hashi Bridges: planeje uma única rede conectada

Hashi mostra um arquipélago de ilhas numeradas. O número é a contagem exata de pontas de ponte que precisam tocar aquela ilha. As pontes correm na horizontal ou na vertical até a ilha visível mais próxima, é possível construir no máximo duas entre o mesmo par, e pontes não podem se cruzar. Acima da aritmética há uma restrição global: no fim, todas as ilhas devem pertencer a uma única rede conectada, então um grupo numericamente perfeito mas isolado do resto do mapa ainda é um tabuleiro fracassado.

Arraste de uma ilha em direção à vizinha para construir uma ponte; repita o mesmo arraste para transformá-la em ponte dupla e uma terceira vez para removê-la. Clicar em uma ilha a marca como concluída, o que é apenas um recurso de anotação, não uma prova de que está certa. Undo, Restart e New ficam no menu, e o menu Type muda o tamanho do tabuleiro. Na tela sensível ao toque, o mesmo arraste curto funciona.

A dedução de abertura clássica é a ilha esgotada. Um 8 com quatro vizinhas precisa de duas pontes em cada direção, porque dupla é o máximo permitido. Um 4 em um canto, com apenas duas vizinhas, força pontes duplas nos dois lados pelo mesmo motivo. O hábito seguinte é a verificação de conectividade: antes de desenhar uma ponte que completaria duas ilhas e selaria o canal entre elas, pergunte como aquela região ainda alcança o resto do mapa. Abra Hashi Bridges e seu guia de padrões.

Akari Light Up: cubra cada casa com luz

Akari pede que você posicione lâmpadas para que a luz alcance todas as casas brancas. Uma lâmpada ilumina sua linha e sua coluna até que um muro preto interrompa o feixe, e duas lâmpadas nunca podem iluminar uma à outra. Os muros numerados acrescentam um segundo tipo de restrição: o dígito conta apenas as lâmpadas imediatamente acima, abaixo, à esquerda e à direita daquele muro. Um tabuleiro concluído não tem casa escura, nenhum par de lâmpadas se encarando, e todos os números dos muros satisfeitos ao mesmo tempo.

Clique em uma casa branca para colocar uma lâmpada e clique de novo para removê-la. O clique secundário marca uma casa onde uma lâmpada não pode ficar, e no celular o botão Secondary oferece essa mesma ação de marcação. Undo desfaz as últimas jogadas. O hábito de marcar não é decorativo: as casas proibidas são as anotações que tornam visíveis as deduções seguintes.

Duas deduções básicas resolvem a maioria dos tabuleiros. Primeiro, leia os números dos muros ao pé da letra: um 0 proíbe imediatamente todas as casas adjacentes, um 4 força lâmpadas nos quatro lados, e um 3 na borda externa fixa as três vizinhas. Segundo, pratique o argumento da fonte única — encontre uma casa ainda escura e pergunte quais células poderiam iluminá-la; quando todas as alternativas foram eliminadas, a única célula restante precisa conter uma lâmpada, mesmo que nenhum muro numerado a toque. Abra Akari Light Up e suas notas de estratégia.

Slitherlink: raciocine sobre um único laço contínuo

Slitherlink imprime números dentro de uma grade, e você desenha exatamente um laço fechado ao longo das arestas entre os pontos. Um número indica quantas das quatro arestas da sua célula pertencem ao laço; células em branco não restringem nada diretamente. A linha não pode se ramificar nem se cruzar, e precisa ser um único anel, então dois anéis pequenos e arrumados são um fracasso, não um sucesso parcial. As marcas de exclusão carregam metade da lógica aqui: saber que uma aresta é impossível vale tanto quanto saber que uma aresta é certa.

Clique em uma aresta para desenhá-la e use o clique secundário para marcar uma aresta que deve ficar vazia; na tela sensível ao toque, ative o botão Secondary para colocar essas marcas e desative-o para voltar a desenhar. O menu Type muda o formato e o tamanho da grade, enquanto Undo e Restart cuidam das correções.

A abertura mais amigável é um 0: exclua na hora as quatro arestas ao redor dele e veja o que os vizinhos perderam. Um 3 em um canto força as duas arestas externas, por uma pequena prova — se uma das arestas externas fosse excluída, a linha terminaria em um beco sem saída no ponto do canto. Por trás de tudo está a regra dos vértices: em cada ponto, o laço usa zero arestas ou duas, nunca uma, então uma linha que chega a um ponto com duas saídas já excluídas precisa tomar a última. Abra Slitherlink e seus exemplos resolvidos.

Qual jogar primeiro?

Escolha o músculo, não o tema. Escolha Hashi Bridges se você gosta de pensar em uma rede inteira de uma vez e aprecia uma aritmética que se espalha a partir de uma única ilha forçada. Escolha Akari Light Up se prefere consequências visíveis, porque cada lâmpada desenha os próprios feixes e mostra na hora o que mudou. Escolha Slitherlink se você gosta de argumentos de paridade e da satisfação lenta de um caminho que precisa se fechar sobre si mesmo. Se estiver em dúvida, comece com um tabuleiro pequeno de Akari: o retorno é o mais literal, e seu hábito de marcação se transfere diretamente para os outros dois. Nenhum dos três é o mais fácil em geral; cada um apenas coloca seu raciocínio mais difícil em um lugar diferente.

Perguntas antes de jogar

Preciso chutar em algum momento?

Não. Todo quebra-cabeça gerado por esses motores pode ser resolvido por dedução, e a dificuldade vem do comprimento das cadeias dedutivas, não de ambiguidades escondidas. Se você travar, procure possibilidades que ainda não marcou como excluídas; a próxima jogada forçada costuma esperar em um canto anotado de forma incompleta.

São lançamentos oficiais dos programas originais?

Não. Hashi Bridges, Akari Light Up e Slitherlink no SonoTap são adaptações para navegador construídas sobre os motores de código aberto Bridges, Light Up e Loopy da Portable Puzzle Collection de Simon Tatham. Não são lançamentos oficiais do autor original, e as regras continuam sendo as descritas na página de cada jogo.

Dá para jogar bem no celular?

Sim, com pequenos ajustes. Hashi usa arrastes curtos, enquanto Akari e Slitherlink dependem do botão Secondary para as marcas de exclusão. Uma tela maior facilita a leitura de linhas de visão longas e arestas densas, então muitos jogadores fazem anotações no desktop e terminam os tabuleiros em qualquer lugar.