遊び方 · asobikata
Como jogar
Hashiwokakero (橋をかけろ, “construa pontes!”) é um puzzle de lógica publicado pela Nikoli. Ligue todas as ilhas com pontes para que cada ilha tenha exatamente tantas pontes quanto indica seu número.
Conte as pontes
O número de uma ilha diz quantas pontes terminam nela.
Uma ou duas
As ilhas podem ser ligadas por uma ponte simples de madeira ou por uma ponte dupla vermelhão, nunca mais.
Retas, sem cruzamentos
As pontes são horizontais ou verticais e não podem cruzar outras pontes nem ilhas.
Um só arquipélago
No fim, deve ser possível chegar a qualquer ilha a partir de qualquer outra.
Um puzzle resolvido
Controles 操作
Clique na água entre duas ilhas para construir uma ponte, de novo para uma segunda, e um terceiro clique remove as duas.
Ou arraste de uma ilha em direção à vizinha, ou clique em duas ilhas, uma depois da outra.
Clique direito / Shift + clique remove uma ponte.
Ctrl Z Desfazer · Ctrl Y Refazer · H Dica
Ilhas completas ficam verdes, as que passaram do número ficam vermelhas. Travou? Peça ao solver SAT uma dica ou para verificar suas pontes.
Por dentro 仕組み
Cada ponte possível e entre duas ilhas vizinhas recebe duas variáveis booleanas: e₁ (pelo menos uma ponte) e e₂ (uma segunda ponte), com e₂ → e₁, para que cada arranjo tenha exatamente um modelo.
¬e₂ ∨ e₁Uma ilha com número n precisa que exatamente n de suas variáveis sejam verdadeiras, escrito como cláusulas sobre todas as combinações. Pontes que se cruzam se excluem:
¬h₁ ∨ ¬v₁A conectividade é difícil de expressar em CNF, então é adicionada sob demanda: sempre que o solver devolve grupos separados de ilhas, uma cláusula exigindo uma ponte saindo desse grupo é adicionada e o solver roda de novo.
O gerador cria um arquipélago aleatório e prova a unicidade bloqueando a solução encontrada e pedindo outra ao solver. Experimente os diferentes modos de solver no laboratório.
よくある質問 · FAQ
Perguntas sobre Hashiwokakero
- O que é Hashiwokakero?
- Hashiwokakero (橋をかけろ, “construa pontes”), também chamado de Pontes ou Hashi, é um puzzle de lógica japonês publicado pela Nikoli. A grade mostra ilhas numeradas; você as liga com pontes horizontais e verticais para que cada ilha tenha exatamente tantas pontes quanto seu número, nenhuma ponte se cruze e todas as ilhas formem um único grupo conectado.
- Quantas pontes podem ligar duas ilhas?
- No máximo duas. Uma ponte simples ou dupla pode ligar duas ilhas que estejam na mesma linha ou coluna sem nada entre elas.
- As pontes podem se cruzar?
- Não. As pontes são retas, horizontais ou verticais, e não podem cruzar outras pontes nem passar por cima de ilhas.
- Todas as ilhas precisam estar conectadas?
- Sim. Num puzzle concluído, dá para ir de qualquer ilha a qualquer outra pelas pontes; as ilhas formam uma única rede.
- Sempre há exatamente uma solução?
- No Hashi, sim: cada puzzle gerado é verificado por um solver SAT, que prova que não existe uma segunda solução, então você nunca precisa chutar.