Técnicas de Sudoku

Uma célula cuja linha, coluna e região já contêm oito dígitos diferentes entre si tem apenas um candidato restante — e esse dígito precisa ser colocado.

Dentro de uma casa, um dígito tem apenas uma célula onde pode legalmente ficar — mesmo que essa célula ainda mostre outros candidatos.

O hábito de varrer o tabuleiro em busca de um dígito de cada vez, usando as posições já preenchidas para projetar linhas de eliminação sobre regiões vazias.

Uma varredura disciplinada focada numa única região: use as linhas e colunas que a cruzam para eliminar células até que um dígito tenha apenas um lugar possível.

Quando uma casa tem apenas uma célula vazia, o único dígito que falta entra direto — sem precisar analisar candidatos.

Quando um candidato dentro de uma região fica confinado a uma única linha ou coluna, ele 'aponta' para fora, permitindo eliminá-lo do resto dessa linha.

O espelho do par apontador. Quando uma linha confina um candidato a uma única região, a linha o 'reivindica', eliminando-o do resto dessa região.

O termo guarda-chuva para apontamento e reivindicação: um candidato preso na interseção entre uma região e uma linha pode ser removido do restante da área que ele não precisa ocupar.

Duas células de uma casa que mostram exatamente os mesmos dois candidatos. Esses dígitos ficam reservados para essas células e podem ser eliminados do resto da casa.

Dois dígitos que só podem aparecer nas mesmas duas células de uma casa, disfarçados por candidatos extras. Esses extras podem ser removidos.

Três células de uma casa cujos candidatos, somados, usam apenas três dígitos. Esses dígitos ficam travados no trio e são eliminados do resto da casa.

Três dígitos confinados às mesmas três células de uma casa, escondidos entre outros candidatos que podem então ser removidos.

Um caso nomeado de candidatos bloqueados em que uma linha restringe um dígito a uma única região, eliminando-o das outras células dessa região. A espinha dorsal da poda em puzzles difíceis.

Um candidato que forma um retângulo em duas linhas e duas colunas permite eliminá-lo do resto dessas colunas (ou linhas).

Um X-Wing em escala maior, com três linhas e três colunas. Um candidato confinado a três colunas compartilhadas em três linhas é eliminado no restante dessas colunas.

O 'peixe' de quatro linhas. Um candidato confinado a quatro colunas em quatro linhas é eliminado no restante dessas colunas.

Uma célula pivô {X,Y} enxerga duas pinças {X,Z} e {Y,Z}. Seja qual for o valor do pivô, uma das pinças precisa ser Z — então Z é eliminado das células que ambas as pinças enxergam.

Um XY-Wing cujo pivô carrega três candidatos {X,Y,Z}. Como o pivô também poderia ser Z, as eliminações se aplicam só às células vistas pelas três células ao mesmo tempo.

Uma cadeia de um único dígito: duas linhas têm o candidato em exatamente duas células cada, compartilhando uma coluna. As pontas mais distantes eliminam o candidato das células que enxergam as duas.

Um padrão de um único dígito que usa um par conjugado em linha e um par conjugado em coluna que se encontram numa região compartilhada. As duas pontas soltas eliminam o dígito da célula que ambas enxergam.

Explora a garantia de solução única: quatro células formando um retângulo em duas regiões com o mesmo par permitiriam duas soluções, então esse padrão mortal precisa ser quebrado.

Uma cadeia de células com dois candidatos que compartilham o mesmo par {X,Y}. Alternando X/Y ao longo da cadeia, as duas pontas ficam opostas, então qualquer célula que enxergue as duas perde ambos os candidatos.

Para um candidato, colora alternadamente as pontas dos pares conjugados e propague. Contradições na coloração geram eliminações.

Ligações fortes e fracas alternadas num único candidato. Seguir a cadeia gera eliminações onde os dois extremos enxergam uma célula em comum.

Cadeias que se fecham formando um loop. Um loop totalmente alternado força eliminações ao longo de cada ligação fraca dele, muitas vezes várias de uma vez.

Suponha cada candidato de uma célula, um de cada vez, e siga as consequências forçadas. Se toda suposição levar ao mesmo resultado em algum ponto, esse resultado é certo.