Glossário de Sudoku

Este glossário é a referência canônica de vocabulário do Sudoku no VeyraPlay.

Use-o quando um guia, uma lição, uma mensagem do solucionador ou um rótulo da interface apresentar um termo desconhecido. As definições são intencionalmente concisas; a demonstração completa de cada técnica permanece em seu guia específico.

Quando diferentes comunidades usam vários nomes para a mesma ideia, o VeyraPlay escolhe um termo público preferido e mantém aliases importantes fáceis de encontrar. Assim o produto permanece consistente sem fingir que toda a comunidade de Sudoku usa exatamente o mesmo vocabulário.

Como ler o glossário

Os termos se dividem em quatro grupos úteis:

• vocabulário da grade — célula, linha, coluna, bloco, célula relacionada, unidade;
• vocabulário de candidatos — candidato, marca de lápis, bivalue, par conjugado;
• vocabulário de técnicas — Singles, subconjuntos, Fish, Wings, Cadeias;
• vocabulário de quebra-cabeça e teoria — pista, solução única, Sudoku minimal, dificuldade, simetria.

Em textos para iniciantes, prefira termos simples como bloco, pista e unidade. Termos de comunidades internacionais como box, house e given permanecem no glossário porque o jogador pode encontrá-los em outros recursos.

A

AIC — Alternating Inference Chain

Uma cadeia geral que alterna relações de inferência Forte e Fraca entre candidatos.

A resolução completa com AIC vai além do material introdutório de Cadeias no Sudoku e pertence à família mais ampla de raciocínio avançado por cadeias.

B

Backtracking

Algoritmo de busca sistemática que escolhe temporariamente uma possibilidade, propaga suas consequências e retorna a uma decisão anterior quando aquele ramo falha.

Um software pode usar backtracking para validar correção e unicidade, enquanto um percurso de aprendizagem humana pode se concentrar em deduções explicáveis.

Banda — Band

Grupo horizontal de três blocos 3×3.

Um Sudoku clássico 9×9 contém três bandas.

Conjunto base — Base set

Na terminologia de Fish, uma linha ou coluna escolhida como uma das unidades de origem cujas posições de um candidato são cobertas por um conjunto correspondente de linhas ou colunas.

Em um X-Wing baseado em linhas, as duas linhas de origem são os conjuntos base.

Célula bivalue — Bivalue cell

Célula não resolvida com exatamente dois candidatos.

Células bivalue são especialmente importantes em:

• XY-Wing;
• W-Wing;
• XY-Chains.

Block

Alternativa internacional comum para bloco.

O VeyraPlay prefere bloco em português brasileiro.

Redução Caixa-Linha — Box-Line Reduction

A direção Claiming de Candidatos Bloqueados.

Uma linha ou coluna restringe um dígito a um único bloco, permitindo removê-lo do restante do bloco.

Também chamada Claiming ou Locked Candidates Type 2.

Bloco — Box

Uma das nove regiões 3×3 do Sudoku clássico.

Quando o Sudoku está completo, cada bloco contém os dígitos 1–9 exatamente uma vez.

C

Candidato — Candidate

Dígito que ainda pode ocupar legalmente uma célula não resolvida de acordo com o estado atual da grade.

Os candidatos costumam aparecer como números pequenos dentro da célula.

Conjunto de candidatos — Candidate set

Conjunto completo de dígitos atualmente permitidos em uma célula não resolvida.

Exemplo:

{2,5,7}

Eliminação de candidato — Candidate elimination

Remoção de um dígito do conjunto de candidatos de uma célula porque uma dedução lógica prova que ele não pode ser colocado ali.

Uma eliminação é uma jogada válida mesmo quando não produz imediatamente uma colocação.

Célula — Cell

Um quadrado da grade de Sudoku.

O Sudoku clássico possui 81 células.

Cadeia — Chain

Sequência de implicações lógicas que conecta candidatos.

As cadeias introdutórias são construídas com Enlaces Fortes e Fracos.

Claiming

Direção de Candidatos Bloqueados em que todas as posições de um dígito dentro de uma linha ou coluna ficam no mesmo bloco.

O dígito pode então ser removido das demais células desse bloco.

A página pública específica do VeyraPlay se chama Redução Caixa-Linha, mantendo Claiming como alias.

Pista — Clue

Dígito fornecido pelo quebra-cabeça antes de o jogador começar.

Também chamado given ou número inicial.

Color Trap

Eliminação de Colorização Simples em que um candidato sem cor enxerga as duas cores opostas do mesmo componente conectado.

Como uma das polaridades precisa ser verdadeira, o candidato sem cor é falso.

Color Wrap

Contradição de Colorização Simples em que dois candidatos da mesma cor se enxergam.

Essa polaridade não pode ser verdadeira, então os candidatos com essa cor no componente podem ser eliminados.

Colorização — Coloring

Método de inferência para um único dígito que alterna dois estados ao longo de uma rede conectada de Enlaces Fortes.

Veja Colorização Simples.

Coluna — Column

Linha vertical de nove células.

Cada coluna completa contém os dígitos 1–9 exatamente uma vez.

Par conjugado — Conjugate pair

Duas posições candidatas para o mesmo dígito que são as únicas posições restantes desse dígito em uma linha, coluna ou bloco.

Elas formam um Enlace Forte.

Conjunto de cobertura — Cover set

Na terminologia de Fish, uma linha ou coluna que cobre as posições candidatas fornecidas pelos conjuntos base.

Em um X-Wing baseado em linhas, as colunas relevantes são os conjuntos de cobertura.

Contradição — Contradiction

Prova de que uma hipótese temporária sobre um candidato é impossível porque suas implicações válidas levam a um estado inválido.

Raciocinar por contradição não é o mesmo que aceitar um palpite sem justificativa.

Crosshatching

Método de varredura para iniciantes que usa dígitos já colocados em linhas e colunas para excluir posições dentro de um bloco.

D

Padrão mortal — Deadly pattern

Na terminologia de unicidade, configuração de candidatos que pode permitir várias conclusões intercambiáveis.

O estado clássico de quatro cantos {X,Y} de um Retângulo Único é um exemplo comum.

Modelo de dificuldade — Difficulty model

Algoritmo ou heurística que transforma características do caminho de resolução de um Sudoku em um rótulo ou pontuação de dificuldade.

Um bom modelo pode considerar técnicas necessárias, esforço total, estrutura de dependências e, mais tarde, dados de jogadores.

Dígito — Digit

Um dos símbolos 1–9 usados no Sudoku clássico.

O Sudoku usa os dígitos como rótulos; não exige aritmética.

Dificuldade — Difficulty

Classificação destinada a descrever o quanto um Sudoku é desafiador.

A dificuldade não é determinada de forma confiável apenas pelo número de pistas. Um sistema pode considerar as técnicas exigidas, o número de passos, as dependências entre passos e outros fatores.

E

Eliminação — Elimination

Veja eliminação de candidato.

Extremidade — Endpoint

Primeiro ou último nó candidato de uma cadeia.

Algumas deduções por cadeia provam que pelo menos uma de duas extremidades é verdadeira, permitindo eliminar candidatos que enxergam as duas.

F

Cobertura exata — Exact cover

Formulação matemática na qual uma solução válida deve satisfazer uma coleção de requisitos exatamente uma vez.

O Sudoku clássico pode ser representado como um problema de cobertura exata, o que é útil para resolução algorítmica.

Fish

Família de padrões para um único dígito baseada em restrições de candidatos entre conjuntos correspondentes de linhas e colunas.

Exemplos:

• X-Wing;
• Swordfish;
• Jellyfish.

Fish com barbatanas — Finned Fish

Variação de Fish que contém candidatos de origem adicionais — a “barbatana” — e altera onde as eliminações são válidas.

Fish com barbatanas são uma extensão mais avançada da família Fish.

G

Given

Pista inicial colocada no Sudoku antes de o jogador começar.

Em português brasileiro, o VeyraPlay prefere pista ou número inicial em textos para iniciantes, mantendo given porque o termo aparece em materiais internacionais.

H

Par Oculto — Hidden Pair

Dois dígitos que só podem aparecer nas mesmas duas células de uma unidade.

Outros candidatos podem ser removidos dessas duas células.

Candidato Único Oculto — Hidden Single

Dígito que tem apenas uma posição possível dentro de uma linha, coluna ou bloco, mesmo que a célula alvo ainda contenha vários candidatos.

Subconjunto Oculto — Hidden Subset

Família que inclui Pares, Trincas e Quádruplas Ocultas.

N dígitos ficam restritos a N células dentro de uma unidade.

Trinca Oculta — Hidden Triple

Três dígitos restritos às mesmas três células de uma unidade.

Outros candidatos podem ser removidos dessas três células.

House

Termo de comunidades de solucionadores para linha, coluna ou bloco.

O VeyraPlay prefere unidade em conteúdo educacional em português, mas mantém house no glossário porque ele aparece em recursos avançados de Sudoku.

I

Sudoku inválido — Invalid puzzle

Grade inicial que falha nos requisitos de publicação pretendidos — por exemplo, porque não possui solução, possui várias soluções quando a unicidade é exigida, contém pistas contraditórias ou metadados incompatíveis.

Interseção — Intersection

Células compartilhadas por duas unidades, mais frequentemente onde um bloco se cruza com uma linha ou coluna.

Candidatos Bloqueados usam interseções bloco-linha.

J

Jellyfish

Fish básico de tamanho 4 que usa quatro conjuntos base e quatro conjuntos de cobertura.

É uma extensão mais avançada da família Fish.

L

Quadrado latino — Latin square

Arranjo n × n de n símbolos no qual cada símbolo aparece exatamente uma vez em cada linha e coluna.

Uma grade clássica de Sudoku completa é um quadrado latino com a restrição adicional dos blocos 3×3.

Enlace — Link

Relação lógica entre duas possibilidades candidatas.

Veja Enlace Forte e Enlace Fraco.

Candidatos Bloqueados — Locked Candidates

Família de eliminações por interseção.

Duas direções principais:

• Pointing: bloco → linha/coluna;
• Claiming: linha/coluna → bloco.

Linha — Row

Linha horizontal de nove células.

Cada linha completa contém os dígitos 1–9 exatamente uma vez.

M

Sudoku minimal — Minimal puzzle

Sudoku de solução única no qual remover qualquer pista existente destrói a unicidade.

Um Sudoku minimal não precisa ter o menor número global possível de pistas.

Sudoku com número mínimo de pistas — Minimum-clue puzzle

Sudoku com o menor número possível de pistas para sua classe, mantendo uma solução única.

No Sudoku clássico 9×9, o mínimo comprovado é 17 pistas.

N

Par Desnudo — Naked Pair

Duas células da mesma unidade cujo conjunto combinado de candidatos contém exatamente dois dígitos.

Esses dígitos podem ser removidos das demais células da unidade.

Candidato Único Desnudo — Naked Single

Célula com exatamente um candidato restante.

Subconjunto Desnudo — Naked Subset

Conjunto de N células em uma unidade cujos candidatos combinados contêm exatamente N dígitos.

Exemplos:

• Par Desnudo;
• Trinca Desnuda;
• Quádrupla Desnuda.

Trinca Desnuda — Naked Triple

Três células em uma unidade cuja união de candidatos contém exatamente três dígitos.

Nota — Note

Pequena anotação de candidato feita pelo jogador.

Veja marca de lápis.

P

Célula relacionada — Peer

Qualquer célula que compartilhe linha, coluna ou bloco com outra célula.

Duas células relacionadas não podem conter o mesmo dígito resolvido.

Marca de lápis — Pencil mark

Pequena anotação que mostra um candidato para uma célula não resolvida.

Pinça — Pincer

Uma das células externas de um padrão Wing.

Em XY-Wing:

• pivô {X,Y};
• pinças {X,Z} e {Y,Z}.

Pivô — Pivot

Célula central de um padrão Wing.

Em XY-Wing, o pivô é bivalue {X,Y}.

Em XYZ-Wing, o pivô contém {X,Y,Z}.

Colocação — Placement

Inserção de um dígito resolvido em uma célula porque a lógica reduziu aquela posição a um único valor válido.

Pointing

Direção de Candidatos Bloqueados em que todas as posições de um dígito dentro de um bloco ficam na mesma linha ou coluna.

O dígito pode então ser removido do restante dessa linha fora do bloco.

Par Apontado — Pointing Pair

Nome comum para Pointing quando a interseção de origem contém duas células candidatas.

A mesma lógica funciona com três posições alinhadas, às vezes chamadas Pointing Triple. O VeyraPlay ensina o conceito geral como Candidatos Apontados, mantendo Pares Apontados como nome da página.

R

Região — Region

Termo geral para um grupo de células sujeito a uma restrição.

No Sudoku clássico, as regiões 3×3 normalmente são chamadas blocos.

S

Colorização Simples — Simple Coloring

Técnica para um único dígito que atribui dois estados alternados ao longo de uma rede conectada de pares conjugados.

As deduções padrão apresentadas pelo VeyraPlay são Color Trap e Color Wrap.

Varredura — Scanning

Método amplo para iniciantes que inspeciona linhas, colunas e blocos em busca de posições restritas ou dígitos ausentes.

Single

Colocação forçada.

Os dois tipos principais para iniciantes são:

• Candidato Único Desnudo;
• Candidato Único Oculto.

Solução — Solution

Grade completa que satisfaz todas as pistas e restrições do Sudoku.

Número de soluções — Solution count

Quantidade de grades completas compatíveis com as pistas iniciais e as restrições do Sudoku.

Para os Sudokus clássicos padrão do VeyraPlay, o objetivo é exatamente uma.

Grade solução — Solution grid

Grade válida 9×9 totalmente preenchida.

Uma grade solução ainda não é um quebra-cabeça; um Sudoku é criado selecionando pistas dessa grade e validando o estado inicial resultante.

Caminho de solução — Solution path

Sequência ordenada de passos de resolução usada para chegar à solução.

Um caminho de solução semelhante ao de um jogador humano também pode ser usado para estimar dificuldade ou gerar material de treinamento.

Pilha — Stack

Grupo vertical de três blocos 3×3.

O Sudoku clássico contém três pilhas.

Enlace Forte — Strong Link

Relação em que dois candidatos não podem ser falsos ao mesmo tempo.

Inferência principal:

A falso → B verdadeiro.

Um par conjugado é o exemplo mais comum.

Subconjunto — Subset

Estrutura de reserva de candidatos em que N dígitos ficam confinados a N células.

Os subconjuntos podem ser Desnudos ou Ocultos.

Simetria — Symmetry

Transformação ou propriedade de disposição que preserva ou organiza visualmente a estrutura do Sudoku.

Exemplos incluem renomeação consistente de dígitos e certas transformações de linhas, colunas, bandas e pilhas. A simetria das pistas é uma escolha estética de construção, não uma regra clássica do Sudoku.

Swordfish

Fish de tamanho 3 que usa três conjuntos base e três conjuntos de cobertura.

T

Técnica — Technique

Padrão ou método lógico repetível usado para fazer uma colocação ou eliminar candidatos.

Célula trivalue — Trivalue cell

Célula não resolvida com exatamente três candidatos.

Two-String Kite

Padrão para um único dígito construído com um Enlace Forte em uma linha, um Enlace Forte em uma coluna e um bloco de conexão.

U

Solução única — Unique solution

Propriedade de um Sudoku na qual exatamente uma grade completa satisfaz todas as pistas e restrições.

Retângulo Único — Unique Rectangle

Família de técnicas que usa a premissa de que o Sudoku tem exatamente uma solução para evitar um retângulo local que permitiria duas soluções.

Técnica de unicidade — Uniqueness technique

Qualquer técnica de resolução que dependa de uma solução única verificada ou assumida.

A unicidade não é uma das três regras básicas de linha, coluna e bloco.

Unidade — Unit

Grupo no qual um dígito pode aparecer apenas uma vez.

No Sudoku clássico:

• cada linha é uma unidade;
• cada coluna é uma unidade;
• cada bloco é uma unidade.

O VeyraPlay prefere unidade a house em conteúdo educacional.

W

Enlace Fraco — Weak Link

Relação em que dois candidatos não podem ser verdadeiros ao mesmo tempo.

Inferência principal:

A verdadeiro → B falso.

Wing

Família de padrões de candidatos que conecta um pivô e/ou células externas.

Exemplos:

• XY-Wing;
• XYZ-Wing;
• W-Wing.

W-Wing

Duas células bivalue iguais conectadas indiretamente por um Enlace Forte em um de seus candidatos.

X

X-Chain

Cadeia de inferências alternadas para um único dígito.

X-Wing

Fish de tamanho 2 em que duas linhas ou colunas base restringem um dígito candidato às mesmas duas unidades de cobertura.

XY-Chain

Cadeia formada por células bivalue em que os valores candidatos mudam conforme a inferência passa de uma célula para outra.

XY-Wing

Padrão de três células bivalue com:

• pivô {X,Y};
• pinças {X,Z} e {Y,Z}.

O Z compartilhado pode ser removido de células que enxergam as duas pinças.

XYZ-Wing

Wing com:

• pivô {X,Y,Z};
• pinças {X,Z} e {Y,Z}.

O alvo de eliminação de Z precisa enxergar o pivô e as duas pinças.

Números e notação

rNcM

Notação de coordenadas.

Por exemplo:

r4c7 = linha 4, coluna 7.

{2,5,7}

Notação de conjunto de candidatos indicando que uma célula não resolvida pode conter atualmente 2, 5 ou 7.

=

Pode ser usado em diagramas avançados de cadeias para representar um Enlace Forte.

-

Pode ser usado em diagramas avançados de cadeias para representar um Enlace Fraco.