A estratégia para resolver um quebra-cabeça pode ser considerada como a combinação de três processos: digitalização, marcação e análise.

Verificação
A verificação é realizada desde o início e periodicamente, ao longo da resolução. A verificação pode precisar ser executada várias vezes entre os períodos de verificação. A digitalização consiste em duas técnicas básicas: hachura e contagem, que podem ser usadas alternativamente.

• A hachura cruzada é a varredura de linhas (ou colunas) para identificar qual linha em uma região específica pode conter um determinado número por meio de um processo de eliminação. Este processo é então repetido com as colunas (ou linhas). Para resultados mais rápidos, os números são digitalizados em ordem, de acordo com a frequência de aparecimento. É importante realizar este processo de forma sistemática, verificando todos os dígitos de 1 a 9.
• Conte de 1 a 9 por regiões, linhas e colunas para identificar números ausentes. A contagem com base no último número descoberto pode aumentar a velocidade da busca. Também pode ser o caso (típico em quebra-cabeças mais difíceis) de que o valor de uma célula individual possa ser determinado por contagem reversa, ou seja, examinando sua região, linha ou coluna em busca de valores que não podem ser, para ver o que está acontecendo. faltando.

Os solucionadores avançados procuram “contingências” durante a varredura, ou seja, restringem a localização de um número em uma linha, coluna ou região ou em duas ou três células. Quando todas essas células estão na mesma linha (ou coluna) e região, elas podem ser usadas para fins de eliminação durante a hachura cruzada e a contagem. Quebra-cabeças particularmente desafiadores podem exigir o reconhecimento de múltiplas contingências, talvez em múltiplas direções ou mesmo interseções – relegando a maioria dos solucionadores à marcação (conforme descrito abaixo). Os quebra-cabeças que podem ser resolvidos apenas pela varredura, sem a necessidade de detecção de contingências, são classificados como quebra-cabeças “fáceis”; Outros quebra-cabeças mais difíceis, por definição, não podem ser resolvidos apenas pela digitalização.

Discagem
A verificação é interrompida quando nenhum novo número pode ser descoberto. Neste ponto é necessário focar em alguma análise lógica. A maioria acha útil orientar esta análise marcando os números candidatos em células vazias. Existem duas notações populares: subscritos e pontos. Na notação subscrita, os números candidatos são escritos em letras pequenas nas células. A desvantagem é que os quebra-cabeças originais são publicados em jornais que normalmente não deixam muito espaço para acomodar mais do que alguns dígitos. Se essa notação for usada, os solucionadores geralmente criam uma cópia maior do quebra-cabeça e usam um lápis afiado. A segunda notação é um padrão de pontos com um ponto no canto superior esquerdo representando 1 e um ponto no canto inferior direito representando 9. Essa notação tem a vantagem de poder ser usada no quebra-cabeça original. É necessária habilidade para posicionar os pontos, porque pontos deslocados ou marcas inadvertidas inevitavelmente levam à confusão e não são fáceis de apagar sem adicionar mais confusão.

Análise
Existem duas abordagens principais: eliminação e hipótese.

• Na eliminação, o progresso é feito eliminando sucessivamente números candidatos para uma ou mais células, até que reste apenas uma escolha. Após cada resposta ser alcançada, uma nova varredura deve ser realizada (geralmente verificando o efeito do último número). Existem várias táticas de eliminação. Uma das mais comuns é a “exclusão de candidato sem correspondência”. Diz-se que as células com configuração idêntica de números candidatos correspondem se o número de números candidatos em cada uma for igual ao número de células que as contêm. Por exemplo, diz-se que as células correspondem a uma linha, coluna ou região específica se duas células contêm o mesmo par de números candidatos (p,q) e nenhum outro, ou se três células contêm o mesmo trio de números candidatos (p,q). ). ,r) e não outros. Estas são, essencialmente, contingências coincidentes. Esses números (p,q,r) que aparecem como candidatos em qualquer lugar da mesma linha, coluna ou região em células não correspondentes podem ser excluídos.
• Na abordagem hipotética, uma célula com apenas dois números candidatos é selecionada e uma estimativa é feita. As etapas acima são repetidas a menos que seja encontrada uma duplicação, caso em que o candidato alternativo é a solução. Em termos lógicos este método é conhecido como redução ao absurdo. Nishio é uma forma limitada desta abordagem: para cada célula candidata, surge a questão: um determinado número de uma configuração caberá em outro local? Se a resposta for sim, esse candidato pode ser eliminado. A abordagem “e se” requer lápis e borracha. Essa abordagem pode ser desaprovada pelos puristas lógicos por muitas tentativas e erros, mas pode chegar a soluções de forma clara e rápida.

Idealmente, você precisa encontrar uma combinação de técnicas que evite algumas das desvantagens dos elementos acima. Contar regiões, linhas e colunas pode ser enfadonho. Digitar números de candidatos em células vazias pode ser demorado. A abordagem “e se” pode ser confusa, a menos que você esteja bem organizado. O cerne da questão é encontrar uma técnica que minimize a contagem, marcação e exclusão.