O que e um resolvedor Binary?
Um resolvedor Binary completa uma grelha feita apenas de 0 e 1. Tambem e procurado como Takuzu solver, Binairo solver, Binero solver, 0h h1 solver, Tic-Tac-Logic solver e ajuda Binary.
O resolvedor segue as regras padrao: cada linha e coluna tem o mesmo numero de zeros e uns, nao ha tres digitos iguais seguidos, e linhas ou colunas completas nao se repetem.
- Resolva um Binary de jornal, livro, app ou ficha imprimivel.
- Verifique se uma grelha Takuzu parcial ainda e valida.
- Encontre o proximo movimento logico sem mostrar toda a solucao.
- Teste um Binairo criado a mao para validade e unicidade.
Como usar este resolvedor Binary
Escolha o tamanho da grelha e clique nas celulas para inserir os 0 e 1 conhecidos. As celulas desconhecidas ficam vazias.
Resolver completa o puzzle. Verificar mostra nenhuma, uma ou varias solucoes. Proximo movimento revela uma deducao Binary de cada vez.
- 6x6 e bom para principiantes.
- 8x8 e o tamanho Takuzu mais comum.
- 10x10 e 12x12 sao grelhas Binairo maiores.
- Aplique uma jogada apenas se quiser escreve-la na grelha.
- Limpar remove entradas; Repor volta a 8x8.
Regras Binary usadas pelo resolvedor
Uma grelha 8x8 precisa de quatro zeros e quatro uns em cada linha e coluna; uma 10x10 precisa de cinco; uma 12x12 precisa de seis.
A regra de nao haver tres vale na horizontal e vertical. A unicidade e verificada em linhas e colunas completas.
- Every empty cell becomes 0 or 1.
- Each row has the same number of 0s and 1s.
- Each column has the same number of 0s and 1s.
- 000 and 111 are not allowed.
- Completed rows and columns must be unique.
Proximo movimento e estrategias Binary
A ajuda comeca por padroes humanos. 00_ ou _00 obriga 1; 11_ ou _11 obriga 0. Tambem 0_0 obriga 1 e 1_1 obriga 0.
Depois o resolvedor conta cada linha e coluna. Se uma linha ja tem metade de um digito, as restantes celulas devem ser o outro digito.
Por fim compara linhas: uma linha quase completa nao pode copiar uma linha completa.
- Start with pair patterns.
- Count zeros and ones in nearly full lines.
- Compare completed and nearly completed lines.
- Avoid guessing; a good Binary has a forced next step.
- Use Solve only to check the final answer.
Porque a unicidade importa
Um bom Binary deve ter uma unica resposta. Com dois finais validos, o jogador pode ter de adivinhar.
O resolvedor assinala varias solucoes quando ha poucas pistas. Isto ajuda a criar, copiar e verificar puzzles.
Um exemplo de dedução binária
As três regras alimentam-se mutuamente, e encadeá-las é toda a habilidade. Suponha que uma linha de uma grelha 8x8 já mostra dois 1 lado a lado. Nenhuma ponta pode ser outro 1 — faria três seguidos — por isso ambas as células vizinhas são 0. Se um desses 0 ficar ao lado de um 0 existente, a célula seguinte é forçada a 1 para evitar um triplo de zeros. Um único par pode propagar-se por várias células.
A contagem fecha depois as linhas. Cada linha de uma grelha 8x8 tem exatamente quatro 0 e quatro 1, por isso assim que uma linha tem o seu quarto 1, todas as células restantes são 0. E se completar uma linha a tornasse idêntica a uma linha terminada, a regra de unicidade força o valor oposto na célula decisiva. Alterne entre a regra dos três, a contagem e a unicidade, e a grelha resolve-se sem adivinhar.
- Duas células iguais lado a lado forçam o oposto em ambas as pontas.
- Um espaço entre duas células iguais (0_0 ou 1_1) força o oposto no meio.
- Quando uma linha atinge metade de um dígito, o resto é o outro.
- Nunca deixe uma linha copiar uma linha ou coluna terminada.
- Cicle entre regra dos três, contagem e unicidade até resolver.
Binairo, Takuzu, Unruly: os muitos nomes do puzzle binário
O puzzle binário viaja com vários nomes. Em jornais e apps é muito vendido como Binairo e como Takuzu, o nome de estilo japonês; o nome mais antigo Tohu wa Vohu também aparece, e a popular coleção de código aberto de Simon Tatham inclui-o como Unruly. Todos são o mesmo puzzle com as mesmas três regras.
Seja qual for a etiqueta, preenche uma grelha com dois símbolos — normalmente 0 e 1, às vezes duas cores — de modo que nenhum triplo igual fique em linha, cada linha e coluna esteja equilibrada, e não haja duas linhas ou colunas iguais. Como as regras são idênticas, este solucionador e as estratégias acima servem para Binairo, Takuzu, Unruly e qualquer outro puzzle binário.
- Binairo e Takuzu são os nomes comerciais mais comuns.
- Tohu wa Vohu é um nome mais antigo do mesmo puzzle.
- Unruly é a versão da coleção de Simon Tatham.
- Algumas edições usam duas cores em vez de 0 e 1.
- As três regras são idênticas com qualquer nome.
Puzzle binário comparado com o Sudoku
Os puzzles binários e o Sudoku são ambos puzzles de grelha para preencher, sem sorte, mas restringem de forma diferente. O Sudoku usa os dígitos 1 a 9 e proíbe repetições em cada linha, coluna e caixa. Um puzzle binário usa apenas dois símbolos e não tem caixas; o seu desafio vem de três regras de aparência mais simples que trabalham juntas.
Essas regras — não três seguidos, igual quantidade de cada símbolo por linha, e nenhuma linha ou coluna repetida — tornam a lógica muito diferente do Sudoku. Há menos aritmética e mais deteção de padrões, e as regras de equilíbrio e unicidade criam deduções que o Sudoku nunca tem. Se o Sudoku lhe é familiar, o puzzle binário é uma mudança refrescante com o mesmo raciocínio paciente.
Binary solving techniques
These are the techniques used by the next move helper. They also make a compact strategy checklist when solving Takuzu or Binairo by hand.
No Three in a Row
BeginnerTwo equal digits together, or separated by one empty square, force the surrounding empty square to be the opposite digit.
Balance Rule
BeginnerEvery row and column must contain half zeros and half ones, so a line that has reached its limit forces the rest of the line.
Line Completion
BeginnerIf the remaining empty cells in a row or column must all be zeros or all be ones to hit the required count, they can be filled immediately.
Uniqueness Check
IntermediateCompleted rows and columns cannot repeat. A nearly identical line may force the open square to keep the two lines different.
Forced in Every Solution
AdvancedWhen the direct rules pause, the helper can compare all valid completions it finds and show a cell that has the same value in every solution.