Técnicas de Sudoku: lista completa de estratégias de resolução

Um resumo completo das técnicas de Sudoku, da lógica para iniciantes aos padrões de especialista, com descrições curtas e links para os nossos guias detalhados.

InícioBlog › Técnicas de Sudoku: lista completa de estratégias de resolução

O Sudoku tem uma curva de aprendizagem muito satisfatória. Primeiro procura números em falta óbvios. Depois começa a escrever candidatos. Mais tarde, uma grelha só avança quando encontra um par, um candidato bloqueado, um peixe, uma asa, uma cadeia ou um truque de unicidade.

Esta é uma lista ampla e prática de técnicas de Sudoku. Não substitui tutoriais completos; é um mapa. Quando já temos um guia completo, o nome da técnica inclui o link.

Resposta rápida

As técnicas mais úteis são varredura, cross-hatching, naked singles, hidden singles, candidatos bloqueados, pares nus, pares ocultos, X-Wing, Swordfish, XY-Wing, Simple Colouring, Unique Rectangles, cadeias e Almost Locked Sets.

Técnicas de Sudoku para iniciantes

Estas técnicas são a base: rápidas, fiáveis e úteis em quase todos os puzzles.

Scanning

Scanning é uma técnica básica que ajuda a colocar dígitos ou limpar candidatos sem lógica avançada.

Cross-Hatching

Cross-Hatching é uma técnica básica que ajuda a colocar dígitos ou limpar candidatos sem lógica avançada.

Counting

Counting é uma técnica básica que ajuda a colocar dígitos ou limpar candidatos sem lógica avançada.

Full House

Full House é uma técnica básica que ajuda a colocar dígitos ou limpar candidatos sem lógica avançada.

Last Free Cell

Last Free Cell é uma técnica básica que ajuda a colocar dígitos ou limpar candidatos sem lógica avançada.

Last Possible Number

Last Possible Number é uma técnica básica que ajuda a colocar dígitos ou limpar candidatos sem lógica avançada.

Last Remaining Cell

Last Remaining Cell é uma técnica básica que ajuda a colocar dígitos ou limpar candidatos sem lógica avançada.

Candidate Elimination

Candidate Elimination é uma técnica básica que ajuda a colocar dígitos ou limpar candidatos sem lógica avançada.

Pencil Marks

Pencil Marks é uma técnica básica que ajuda a colocar dígitos ou limpar candidatos sem lógica avançada.

Snyder Notation

Snyder Notation é uma técnica básica que ajuda a colocar dígitos ou limpar candidatos sem lógica avançada.

Singles, pares, triplos e quádruplos

Os subconjuntos usam pequenos grupos de células ou candidatos numa mesma casa.

Naked Single

Naked Single encontra um pequeno conjunto de candidatos numa casa para remover possibilidades que já não podem ir noutro lugar.

Hidden Single

Hidden Single encontra um pequeno conjunto de candidatos numa casa para remover possibilidades que já não podem ir noutro lugar.

Naked Pair

Naked Pair encontra um pequeno conjunto de candidatos numa casa para remover possibilidades que já não podem ir noutro lugar.

Hidden Pair

Hidden Pair encontra um pequeno conjunto de candidatos numa casa para remover possibilidades que já não podem ir noutro lugar.

Naked Triple

Naked Triple encontra um pequeno conjunto de candidatos numa casa para remover possibilidades que já não podem ir noutro lugar.

Hidden Triple

Hidden Triple encontra um pequeno conjunto de candidatos numa casa para remover possibilidades que já não podem ir noutro lugar.

Naked Quad

Naked Quad encontra um pequeno conjunto de candidatos numa casa para remover possibilidades que já não podem ir noutro lugar.

Hidden Quad

Hidden Quad encontra um pequeno conjunto de candidatos numa casa para remover possibilidades que já não podem ir noutro lugar.

Técnicas de candidatos bloqueados

Os candidatos bloqueados ligam caixas a linhas e colunas.

Locked Candidates

Locked Candidates aproveita a interação entre caixa e linha ou coluna para remover um candidato impossível.

Pointing Pair

Pointing Pair aproveita a interação entre caixa e linha ou coluna para remover um candidato impossível.

Pointing Triple

Pointing Triple aproveita a interação entre caixa e linha ou coluna para remover um candidato impossível.

Box/Line Reduction

Box/Line Reduction aproveita a interação entre caixa e linha ou coluna para remover um candidato impossível.

Claiming Pair or Triple

Claiming Pair or Triple aproveita a interação entre caixa e linha ou coluna para remover um candidato impossível.

Técnicas de peixe

Os peixes analisam um candidato em várias linhas e colunas para forçar eliminações.

X-Wing

X-Wing segue um único candidato em várias linhas e colunas para bloquear posições e forçar eliminações.

Swordfish

Swordfish segue um único candidato em várias linhas e colunas para bloquear posições e forçar eliminações.

Jellyfish

Jellyfish segue um único candidato em várias linhas e colunas para bloquear posições e forçar eliminações.

Finned X-Wing

Finned X-Wing segue um único candidato em várias linhas e colunas para bloquear posições e forçar eliminações.

Finned Swordfish

Finned Swordfish segue um único candidato em várias linhas e colunas para bloquear posições e forçar eliminações.

Finned Jellyfish

Finned Jellyfish segue um único candidato em várias linhas e colunas para bloquear posições e forçar eliminações.

Sashimi X-Wing

Sashimi X-Wing segue um único candidato em várias linhas e colunas para bloquear posições e forçar eliminações.

Sashimi Swordfish

Sashimi Swordfish segue um único candidato em várias linhas e colunas para bloquear posições e forçar eliminações.

Turbot Fish

Turbot Fish segue um único candidato em várias linhas e colunas para bloquear posições e forçar eliminações.

Two-String Kite

Two-String Kite segue um único candidato em várias linhas e colunas para bloquear posições e forçar eliminações.

Empty Rectangle

Empty Rectangle segue um único candidato em várias linhas e colunas para bloquear posições e forçar eliminações.

Skyscraper

Skyscraper segue um único candidato em várias linhas e colunas para bloquear posições e forçar eliminações.

Técnicas de asas

As asas usam poucas células para criar uma alternativa lógica e eliminar candidatos.

XY-Wing

XY-Wing usa poucas células ligadas para mostrar que um candidato partilhado não pode sobreviver em certas células.

XYZ-Wing

XYZ-Wing usa poucas células ligadas para mostrar que um candidato partilhado não pode sobreviver em certas células.

W-Wing

W-Wing usa poucas células ligadas para mostrar que um candidato partilhado não pode sobreviver em certas células.

WXYZ-Wing

WXYZ-Wing usa poucas células ligadas para mostrar que um candidato partilhado não pode sobreviver em certas células.

M-Wing

M-Wing usa poucas células ligadas para mostrar que um candidato partilhado não pode sobreviver em certas células.

S-Wing

S-Wing usa poucas células ligadas para mostrar que um candidato partilhado não pode sobreviver em certas células.

XY-Chain

XY-Chain usa poucas células ligadas para mostrar que um candidato partilhado não pode sobreviver em certas células.

Cadeias e coloração

As cadeias seguem relações verdadeiro/falso; a coloração torna-as visíveis.

Simple Colouring

Simple Colouring segue uma cadeia de consequências verdadeiro/falso para provar uma eliminação ou colocação.

Multi-Colouring

Multi-Colouring segue uma cadeia de consequências verdadeiro/falso para provar uma eliminação ou colocação.

Remote Pairs

Remote Pairs segue uma cadeia de consequências verdadeiro/falso para provar uma eliminação ou colocação.

X-Chain

X-Chain segue uma cadeia de consequências verdadeiro/falso para provar uma eliminação ou colocação.

Alternating Inference Chain (AIC)

Alternating Inference Chain (AIC) segue uma cadeia de consequências verdadeiro/falso para provar uma eliminação ou colocação.

Nice Loop

Nice Loop segue uma cadeia de consequências verdadeiro/falso para provar uma eliminação ou colocação.

Grouped AIC

Grouped AIC segue uma cadeia de consequências verdadeiro/falso para provar uma eliminação ou colocação.

Forcing Chain

Forcing Chain segue uma cadeia de consequências verdadeiro/falso para provar uma eliminação ou colocação.

Nishio

Nishio segue uma cadeia de consequências verdadeiro/falso para provar uma eliminação ou colocação.

3D Medusa

3D Medusa segue uma cadeia de consequências verdadeiro/falso para provar uma eliminação ou colocação.

Técnicas de unicidade

Estas técnicas assumem que um Sudoku bem construído tem uma única solução.

Unique Rectangle

Unique Rectangle usa a ideia de solução única para evitar um padrão que permitiria duas soluções.

Unique Rectangle Type 1

Unique Rectangle Type 1 usa a ideia de solução única para evitar um padrão que permitiria duas soluções.

Unique Rectangle Type 2

Unique Rectangle Type 2 usa a ideia de solução única para evitar um padrão que permitiria duas soluções.

Unique Rectangle Type 3

Unique Rectangle Type 3 usa a ideia de solução única para evitar um padrão que permitiria duas soluções.

Unique Rectangle Type 4

Unique Rectangle Type 4 usa a ideia de solução única para evitar um padrão que permitiria duas soluções.

Hidden Rectangle

Hidden Rectangle usa a ideia de solução única para evitar um padrão que permitiria duas soluções.

Avoidable Rectangle

Avoidable Rectangle usa a ideia de solução única para evitar um padrão que permitiria duas soluções.

Unique Loop

Unique Loop usa a ideia de solução única para evitar um padrão que permitiria duas soluções.

BUG and BUG+1

BUG and BUG+1 usa a ideia de solução única para evitar um padrão que permitiria duas soluções.

Almost Locked Sets e técnicas de especialista

Estes métodos são menos comuns, mas essenciais em puzzles muito difíceis.

Almost Locked Set (ALS)

Almost Locked Set (ALS) usa Almost Locked Sets ou lógica de especialista relacionada para criar eliminações direcionadas.

ALS-XZ

ALS-XZ usa Almost Locked Sets ou lógica de especialista relacionada para criar eliminações direcionadas.

ALS-XY-Wing

ALS-XY-Wing usa Almost Locked Sets ou lógica de especialista relacionada para criar eliminações direcionadas.

Sue de Coq

Sue de Coq usa Almost Locked Sets ou lógica de especialista relacionada para criar eliminações direcionadas.

Death Blossom

Death Blossom usa Almost Locked Sets ou lógica de especialista relacionada para criar eliminações direcionadas.

Exocet

Exocet usa Almost Locked Sets ou lógica de especialista relacionada para criar eliminações direcionadas.

Pattern Overlay Method

Pattern Overlay Method usa Almost Locked Sets ou lógica de especialista relacionada para criar eliminações direcionadas.

Templates

Templates usa Almost Locked Sets ou lógica de especialista relacionada para criar eliminações direcionadas.

Técnicas de último recurso e de solucionador

Estes métodos são úteis de conhecer, mas menos elegantes para resolução humana.

Bifurcation

Bifurcation ajuda a verificar ou desbloquear uma grelha, mas costuma ser usada quando os padrões humanos já não bastam.

Trial and Error

Trial and Error ajuda a verificar ou desbloquear uma grelha, mas costuma ser usada quando os padrões humanos já não bastam.

Backtracking

Backtracking ajuda a verificar ou desbloquear uma grelha, mas costuma ser usada quando os padrões humanos já não bastam.

Brute Force

Brute Force ajuda a verificar ou desbloquear uma grelha, mas costuma ser usada quando os padrões humanos já não bastam.

Como usar esta lista

Não tente memorizar todas as técnicas de uma só vez. Aprenda um nível, pratique até parecer natural e depois avance.

Os melhores solucionadores seguem uma ordem fiável: colocam o óbvio, limpam candidatos, procuram subconjuntos comuns, verificam interações caixa-linha e só depois avançam para peixes, asas, cadeias, unicidade e ALS.

Perguntas frequentes

As mais importantes são varredura, cross-hatching, singles, pares, candidatos bloqueados, X-Wing, Swordfish, XY-Wing, Simple Colouring e Unique Rectangles.

Comece por varredura, cross-hatching, full houses, naked singles, hidden singles e eliminação básica de candidatos.

Uma ordem prática é: singles, candidatos bloqueados, subconjuntos nus e ocultos, peixes básicos, asas, coloração, cadeias, unicidade e ALS.

Não. X-Wing, XY-Wing, AIC, ALS-XZ e Unique Rectangles são métodos lógicos com regras comprováveis.

Existem dezenas de técnicas com nome; a contagem exata depende de como se contam variantes, subtipos, cadeias agrupadas, peixes com barbatanas, ALS e padrões de unicidade.