Nishio

Nishio escolhe um único candidato, coloca-o tentativamente e segue deduções forçadas até que apareça uma contradição ou uma conclusão válida. Uma contradição elimina o candidato.
?

Nishio é lógica de tentativa de candidato único. Escolha um candidato, coloque-o provisoriamente, siga cada movimento forçado. Se a cadeia quebrar o grid, o candidato estava errado — apague-o.

Como funciona

Escolha uma célula vazia com um candidato que vale testar. Coloque esse candidato como tentativa. A partir desse preenchimento, aplique cada movimento forçado que o grid permite: hidden singles, naked singles, pointing pairs, qualquer coisa que não exija uma segunda hipótese. A cadeia corre até travar, produzir uma contradição ou completar o puzzle.

Uma contradição é dois do mesmo dígito em uma linha, coluna ou bloco, ou uma célula sem candidatos restantes. Quando isso acontece, o candidato de tentativa original não pode ser a resposta. Apague-o.

Se a cadeia chegar à completação, você resolveu o puzzle. Se a cadeia travar sem contradição ou completação, desfaça a tentativa e tente um candidato diferente.

3829116842996187429156812375393749351212896961276913

Quando procurá-lo

Último recurso. Puristas consideram Nishio adivinhação; pragmáticos o usam quando todas as outras técnicas falham. Quando você chegar a isso, Coloring, XY-Wing e Forcing Chains já terão ficado aquém.

Escolha candidatos de partida com consequências ricas. Um candidato que desencadeia muitos movimentos forçados imediatos tem mais chance de produzir uma contradição dentro de uma cadeia curta.

Exemplo passo a passo

  1. Escolha uma célula bivalor com candidatos {A, B}. Escolha um candidato para testar.
  2. Coloque o candidato provisoriamente. Use uma cor diferente de lápis para que os movimentos de tentativa permaneçam distinguíveis dos reais.
  3. Avance. Aplique cada movimento forçado (hidden singles, naked singles, pointing pairs). Pare quando não houver mais movimentos forçados ou quando algo quebrar.
  4. Se a cadeia atingir uma contradição, o candidato original estava errado. Desfaça cada preenchimento de tentativa e apague o candidato da célula inicial.
  5. Se a cadeia travar sem conclusão, desfaça e tente o outro candidato, ou escolha uma nova célula de partida.

Nishio vs Forcing Chains

NishioForcing Chains
RamosUm candidato de tentativaAmbos os candidatos de uma célula bivalor
Tipo de conclusãoContradição elimina o candidatoConvergência coloca um dígito, contradição elimina
EsforçoMenor por tentativaMaior por tentativa
PurezaFrequentemente considerado adivinhaçãoConsiderado lógico
Nishio explora um ramo. Forcing Chains executam os dois.

Dicas para identificar

  • Escolha candidatos de partida que desencadeiam cadeias progressivas ricas. Células bivalor em unidades apertadas são melhores.
  • Use marcações de lápis coloridas ou modo de tentativa digital para que os preenchimentos de tentativa sejam óbvios.
  • Limite cada tentativa a uma profundidade razoável. Se você escreveu vinte preenchimentos de tentativa sem conclusão, troque de ponto de partida.
  • Documente a ordem da cadeia. Apagar em sentido inverso mantém as coisas limpas se o ramo falhar.

Erros comuns

  • Esquecer de desfazer os preenchimentos de tentativa quando o ramo falha. Catastrófico.
  • Chamar de adivinhação. A eliminação é lógica: a contradição prova que o candidato é impossível.
  • Recorrer a Nishio antes de técnicas mais simples. A maioria dos puzzles diabólicos cede a Coloring ou Forcing Chains primeiro.
  • Misturar preenchimentos reais com tentativas usando a mesma notação. Sempre distinga.

Pratique

Reserve Nishio para os puzzles mais difíceis no diabólico. Quando tudo mais tiver travado, escolha um candidato com consequências fortes e siga a cadeia. A habilidade se transfere diretamente de volta para as Forcing Chains; cada tentativa Nishio é metade de um par de forcing chains.

Perguntas frequentes

O que é a técnica Nishio no sudoku?
Nishio é um método de tentativa e erro em que você coloca provisoriamente um único candidato em uma célula e segue suas consequências diretas para ver se ele leva a uma contradição. Se assumir esse candidato força uma situação impossível, como uma região sem lugar para algum dígito, então o candidato pode ser eliminado. Ela foca em testar um candidato de cada vez, em vez de resolver ramos inteiros.
Nishio é só chute?
Não, Nishio é um teste lógico controlado, não um chute aleatório. Você assume um candidato especificamente para procurar uma contradição, e só tira uma conclusão firme quando a suposição comprovadamente falha. O posicionamento provisório é sempre desfeito, então você nunca se compromete com um valor não verificado.
Como o Nishio difere de uma cadeia forçada?
O Nishio testa um único candidato e busca apenas uma contradição que permita eliminá-lo. Já as cadeias forçadas traçam múltiplas suposições iniciais para encontrar uma conclusão compartilhada, que pode ser um posicionamento ou uma eliminação. Em resumo, o Nishio prova o que não pode ser verdadeiro, enquanto as cadeias forçadas conseguem provar o que precisa ser verdadeiro.
Quando devo usar a técnica Nishio?
O Nishio é mais indicado para puzzles difíceis, onde os únicos, subconjuntos e peixes padrão travaram e não há nenhuma cadeia mais simples disponível. Como envolve traçar consequências hipotéticas, muitos solucionadores o tratam como um último recurso, mais mecânico e menos elegante do que a lógica baseada em padrões. Ele é mais eficiente quando um candidato tem poucas implicações fáceis de acompanhar.