Glossário de Sudoku

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

Use-o quando um Guia, uma lição, uma mensagem do solver ou um rótulo da interface apresentar um termo desconhecido. As definições são deliberadamente compactas; a demonstração completa de cada técnica fica 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. Isso preserva consistência sem fingir que toda a comunidade de Sudoku usa exatamente o mesmo vocabulário.

Como usar este glossário de Sudoku

Os termos se dividem em quatro grupos úteis:

• vocabulário da grade — célula, linha, coluna, bloco, unidade e peer;
• vocabulário de candidatos — candidato, marca de lápis, bivalue e par conjugado;
• vocabulário de técnicas — Singles, Subsets, Fish, Wings, Coloração e Cadeias;
• vocabulário de puzzle e teoria — pista, solução única, minimalidade, dificuldade, simetria e algoritmos.

Em textos para iniciantes, preferimos palavras simples como bloco, pista e unidade. Termos internacionais como box, house, given, peer e nomes de técnicas permanecem aqui porque você pode encontrá-los em outros solvers e recursos.

A

AIC — Alternating Inference Chain

AIC é uma Cadeia de Inferência Alternada: uma sequência que alterna Enlaces Fortes e Fracos para propagar estados verdadeiro/falso e provar uma eliminação ou colocação.

Algorithm X

Algorithm X é um algoritmo geral para problemas de exact cover. Sudoku pode ser modelado como exact cover, e Algorithm X pode encontrar soluções de forma sistemática.

ALS — Almost Locked Set

ALS é a sigla de Almost Locked Set, um conjunto de N células de uma unidade que contém exatamente N+1 candidatos distintos.

ALS-XZ

ALS-XZ combina dois Almost Locked Sets por um Restricted Common Candidate e usa outro candidato compartilhado para produzir eliminações.

Almost Locked Set

Um Almost Locked Set é um conjunto que está a um candidato de se tornar um Locked Set: N células contendo N+1 candidatos.

Avoidable Rectangle

Avoidable Rectangle é uma técnica de unicidade relacionada a retângulos que usa valores já resolvidos e candidatos para evitar uma segunda solução.

B

Backtracking

Backtracking é busca sistemática: assume uma possibilidade, continua a resolver e volta atrás quando encontra uma contradição. É diferente de um palpite aleatório.

Band

Uma band é um conjunto horizontal de três blocos 3×3, portanto cobre três linhas e nove colunas.

Base set

Em Fish, um conjunto base é uma linha, coluna ou outro conjunto lógico no qual o dígito Fish é contado para construir o padrão.

Bivalue cell

Uma célula bivalue tem exatamente dois candidatos.

Block

Block é um alias internacional de bloco 3×3 no Sudoku clássico.

Box

Box é outro nome internacional para bloco 3×3.

Box-Line Reduction

Box-Line Reduction é o nome comum de Claiming: se todas as posições de um dígito em uma linha ou coluna dentro de um bloco ficam naquele bloco, o dígito pode ser removido das outras células do bloco.

BUG — Bivalue Universal Grave

BUG significa Bivalue Universal Grave, um estado global bivalue equilibrado que permitiria múltiplas soluções em um puzzle que deveria ser único.

BUG+1

BUG+1 é um estado quase BUG com uma única célula extra, normalmente trivalue. O candidato que quebra o equilíbrio BUG é forçado pela unicidade.

C

Candidate

Um candidato é um dígito que ainda é legal para uma célula segundo o estado atual da grade.

Candidate elimination

Uma eliminação de candidato prova que uma possibilidade não pode ocupar uma célula.

Candidate set

O conjunto de candidatos de uma célula é a coleção de dígitos que ainda permanecem possíveis nela.

Cell

Uma célula é uma das 81 posições da grade 9×9.

Cell-first search

Busca cell-first examina primeiro uma célula e pergunta quais dígitos ainda podem entrar nela.

Chain

Uma Chain ou cadeia conecta inferências entre candidatos para levar uma condição inicial a uma conclusão provada.

Claiming

Claiming é Locked Candidates na direção linha/coluna → bloco; também é chamado Box-Line Reduction.

Clue

Uma pista é um dígito fornecido pelo puzzle no início e que não pode ser alterado.

Color Trap

Color Trap é uma regra de Coloração: um candidato sem cor que vê as duas cores de uma rede pode ser eliminado.

Color Wrap

Color Wrap ocorre quando duas ocorrências da mesma cor se veem; essa cor é impossível e a polaridade oposta é verdadeira.

Coloring

Coloração usa duas polaridades para representar estados alternativos em uma rede de Enlaces Fortes.

Column

Uma coluna é uma das nove unidades verticais da grade.

Conjugate pair

Um par conjugado ocorre quando um dígito possui exatamente duas posições possíveis em uma unidade; essas posições formam um Enlace Forte.

Constraint

Uma restrição é uma condição que limita valores possíveis, como a regra de um dígito por linha, coluna ou bloco.

Contradiction

Uma contradição é um estado impossível derivado logicamente. Se uma hipótese inevitavelmente gera contradição, a hipótese é falsa.

Cover set

Em Fish, um conjunto de cobertura é a unidade que cobre todas as posições do dígito nas bases e recebe as eliminações externas.

Crosshatching

Crosshatching é um método de varredura que usa linhas e colunas já ocupadas para restringir onde um dígito pode entrar em um bloco.

D

Dancing Links (DLX)

Dancing Links, ou DLX, é uma estrutura de dados popularizada por Donald Knuth para implementar Algorithm X com eficiência.

Deadly pattern

Um padrão mortal é uma estrutura que permitiria mais de uma solução se fosse completada de certa forma; é central em técnicas de unicidade.

Digit

Um dígito é um dos símbolos de 1 a 9 usados no Sudoku clássico.

Digit-first search

Busca digit-first escolhe um dígito e examina onde ele ainda pode aparecer em uma unidade ou região da grade.

Difficulty

Dificuldade descreve o esforço lógico e de reconhecimento necessário para resolver um puzzle.

Difficulty model

Um modelo de dificuldade transforma características do caminho de resolução — técnicas, dependências, gargalos e carga — em uma classificação.

E

Elimination

Uma eliminação remove uma possibilidade de candidato sem necessariamente colocar um dígito.

Empty Rectangle

Empty Rectangle ou Retângulo Vazio é um padrão de um único dígito que combina uma estrutura dentro de um bloco com um Enlace Forte externo para eliminar um candidato.

Endpoint

Um extremo é o primeiro ou último candidato de uma cadeia; muitas regras de Chains dependem do que os dois extremos provam.

Exact cover

Exact cover é um problema de escolher opções de modo que cada restrição seja satisfeita exatamente uma vez. Sudoku possui uma representação natural desse tipo.

F

False candidate

Um candidato falso é uma possibilidade que foi demonstrada como impossível.

Fish

Fish é uma família de padrões de um único dígito baseada em N conjuntos base e N conjuntos de cobertura.

Finned Fish

Um Finned Fish possui candidatos extras, chamados fins, fora da estrutura limpa de cobertura. As eliminações ficam restritas pela posição desses fins.

Finned X-Wing

Finned X-Wing é a versão com fin do Fish tamanho 2, X-Wing.

Floor

Em algumas taxonomias de Fish, floor descreve partes da estrutura do Fish dentro das interseções base/cobertura. O termo varia entre solvers.

Forcing Chain

Uma Forcing Chain acompanha consequências forçadas de alternativas até mostrar que todas levam à mesma conclusão ou que uma delas gera contradição.

Forcing Net

Uma Forcing Net generaliza Forcing Chains para uma rede ramificada de implicações.

Full House

Full House é a situação em que uma unidade possui exatamente uma célula vazia; o último dígito ausente é forçado. Também é chamado Last Digit.

G

Group node

Um nó agrupado representa várias ocorrências de um candidato que agem coletivamente como um único nó lógico em uma cadeia.

Grouped AIC

Uma AIC Agrupada é uma Cadeia de Inferência Alternada que permite group nodes além de candidatos individuais.

Given

Given é o termo inglês para uma pista inicial do Sudoku.

H

Hidden Pair

Um Par Oculto ocorre quando dois dígitos só podem ocupar as mesmas duas células de uma unidade; outros candidatos dessas células podem ser removidos.

Hidden Quad

Uma Quadra Oculta reserva quatro dígitos para quatro células, permitindo remover candidatos extras dessas células.

Hidden Rectangle

Hidden Rectangle é uma técnica avançada de unicidade relacionada à família Unique Rectangle.

Hidden Single

Um Candidato Único Oculto ocorre quando um dígito tem apenas uma posição possível em uma unidade, mesmo que a célula possua vários candidatos.

Hidden Subset

Um Subconjunto Oculto reserva N dígitos para exatamente N células de uma unidade e elimina outros candidatos dessas células.

Hidden Triple

Uma Trinca Oculta reserva três dígitos para três células de uma unidade.

House

House é um termo internacional para qualquer unidade básica que deve conter 1–9 uma vez: linha, coluna ou bloco.

I

Implication

Uma implicação é uma relação lógica do tipo “se A, então B”. Chains usam implicações para propagar estados entre candidatos.

Intersection

Uma interseção é o cruzamento lógico entre unidades, especialmente linha/bloco ou coluna/bloco.

Invalid puzzle

Um puzzle inválido viola as regras ou possui propriedades incompatíveis com o que foi prometido, como nenhuma solução ou múltiplas soluções quando deveria ser único.

J

Jellyfish

Jellyfish é um Fish básico tamanho 4: quatro conjuntos base e quatro conjuntos de cobertura.

L

Last Digit

Last Digit é outro nome para Full House: falta apenas um dígito em uma unidade.

Latin square

Um quadrado latino é uma grade em que cada símbolo aparece uma vez por linha e coluna. Uma grade Sudoku completa também adiciona a restrição dos blocos.

Link

Um enlace é uma relação de inferência entre candidatos. Em Sudoku avançado, os dois tipos principais são Strong Link e Weak Link.

Locked Candidates

Candidatos Bloqueados exploram a interseção entre bloco e linha/coluna e incluem Pointing e Claiming.

M

Minimal puzzle

Um Sudoku minimal perde a unicidade se qualquer uma de suas pistas for removida.

Minimum-clue puzzle

Um puzzle de pistas mínimas busca o menor número possível de pistas sob determinadas regras; no Sudoku clássico 9×9 único, o mínimo conhecido e provado é 17.

Multi Coloring

Multi Coloring combina ou compara mais de um componente de Coloração Simples do mesmo dígito.

N

Naked Pair

Um Par Desnudo é formado por duas células de uma unidade cuja união de candidatos contém exatamente dois dígitos.

Naked Quad

Uma Quadra Desnuda reserva quatro dígitos para quatro células de uma unidade.

Naked Single

Um Candidato Único Desnudo ocorre quando uma célula tem exatamente um candidato legal.

Naked Subset

Um Subconjunto Desnudo usa N células cuja união contém exatamente N dígitos; esses dígitos podem ser eliminados de outras células da unidade.

Naked Triple

Uma Trinca Desnuda usa três células cuja união de candidatos contém exatamente três dígitos.

Nishio

Nishio é uma técnica de forcing/contradição, geralmente aplicada a um candidato de um dígito, em que uma hipótese é seguida até gerar um estado impossível.

Note

Uma nota é uma marca visual escrita pelo jogador. Ela pode representar candidatos completos ou apenas informação seletiva.

P

Peer

Um peer é uma célula que compartilha linha, coluna ou bloco com outra e, portanto, não pode conter o mesmo dígito resolvido.

Pencil mark

Uma marca de lápis é uma anotação de candidato ou possibilidade dentro de uma célula.

Pincer

Uma pinça é uma célula ou candidato externo que interage com um pivot em padrões Wing como XY-Wing e XYZ-Wing.

Pivot

O pivot é a célula central que conecta as pinças em vários padrões Wing.

Placement

Uma colocação escreve um dígito resolvido definitivamente em uma célula.

Pointing

Pointing é Locked Candidates na direção bloco → linha/coluna.

Pointing Pair

Pointing Pair é um caso de Pointing em que duas posições do dígito no bloco ficam alinhadas na mesma linha ou coluna.

R

RCC — Restricted Common Candidate

Um RCC é um candidato compartilhado por dois ALS que não pode ser verdadeiro em ambos ao mesmo tempo; ele restringe a interação entre os conjuntos.

Region

Região é uma área que deve conter os dígitos exigidos uma vez. No Sudoku clássico, os blocos 3×3 são as regiões.

Remote Pair

Remote Pair é uma cadeia de células bivalue com o mesmo par de candidatos, usada para eliminar candidatos que veem nós de polaridades opostas.

Row

Uma linha é uma das nove unidades horizontais da grade.

S

Sashimi Fish

Um Sashimi Fish é uma forma degenerada de Finned Fish em que, retirando os fins, parte da estrutura Fish básica fica incompleta.

Scanning

Varredura é o hábito de percorrer linhas, colunas, blocos ou dígitos para encontrar posições restritas e deduções simples.

See / sees

Dizemos que duas células se veem quando compartilham uma unidade e, portanto, estão diretamente relacionadas pelas regras do Sudoku.

Simple Coloring

Colorização Simples acompanha um único dígito por uma rede de pares conjugados usando duas polaridades.

Single

Single é uma colocação diretamente forçada. Full House, Naked Single e Hidden Single são formas básicas.

Snyder notation

Notação Snyder é um sistema seletivo de notas que marca principalmente pares de posições de um dígito dentro de um bloco.

Solution

Uma solução é uma grade completa que satisfaz todas as restrições do puzzle.

Solution count

A contagem de soluções é o número de grades completas válidas compatíveis com as pistas.

Solution grid

Uma grade solução é uma grade 9×9 completa e válida usada como resultado ou como ponto de partida para geração de puzzles.

Solution path

O caminho de resolução é a sequência de deduções usada para chegar da grade inicial à solução.

Stack

Uma stack é um conjunto vertical de três blocos 3×3, cobrindo três colunas e nove linhas.

Strong Link

Um Enlace Forte garante que, se um candidato for falso, o outro precisa ser verdadeiro. Pares conjugados são o exemplo mais comum.

Subset

Um Subconjunto é uma reserva de N dígitos em N células de uma unidade, vista de forma naked ou hidden.

Swordfish

Swordfish é um Fish básico tamanho 3.

Symmetry

Simetria descreve padrões geométricos, normalmente na distribuição das pistas. É uma escolha de construção, não uma regra do Sudoku.

T

Technique

Uma técnica é um padrão de raciocínio reproduzível que prova uma colocação ou eliminação.

Tower

Tower é um termo usado por algumas comunidades para estruturas verticais ou padrões específicos; não é vocabulário universal e deve ser lido no contexto da técnica.

Trivalue cell

Uma célula trivalue possui exatamente três candidatos.

Turbot Fish

Turbot Fish é uma X-Chain curta de quatro candidatos. Apesar do nome, é melhor entendida como padrão de inferência de um único dígito.

Two-String Kite

Two-String Kite combina um par conjugado em uma linha e outro em uma coluna, conectados por candidatos dentro do mesmo bloco.

U

Unique solution

Uma solução única significa que exatamente uma grade completa satisfaz todas as pistas e restrições do puzzle.

Unique Rectangle

Retângulo Único é uma família de técnicas de unicidade que evita um retângulo mortal de duas soluções.

Uniqueness technique

Uma técnica de unicidade usa a premissa adicional de que o puzzle foi verificado como tendo exatamente uma solução.

Unit

Unidade é qualquer conjunto de nove células que deve conter 1–9 uma vez; no Sudoku clássico, linhas, colunas e blocos são unidades.

W

Weak Link

Um Enlace Fraco garante que, se um candidato for verdadeiro, o outro precisa ser falso.

Wing

Wing é uma família de padrões que usa pequenas estruturas de candidatos, frequentemente células bivalue, para provar eliminações.

W-Wing

W-Wing conecta duas células com o mesmo par de candidatos por um Enlace Forte externo de um dos dígitos.

WXYZ-Wing

WXYZ-Wing é um padrão avançado de quatro células e quatro candidatos, também relacionado à lógica de ALS-XZ.

X

X-Chain

X-Chain é uma cadeia de um único dígito que alterna Enlaces Fortes e Fracos.

X-Cycle

X-Cycle é um loop de um único dígito construído com enlaces alternados; o fechamento do ciclo determina eliminações ou colocações.

X-Wing

X-Wing é um Fish tamanho 2: duas bases e duas coberturas para o mesmo dígito.

XY-Chain

XY-Chain é uma cadeia de células bivalue em que os candidatos alternam até que os extremos provem uma eliminação.

XY-Wing

XY-Wing, também chamado Y-Wing, usa um pivot bivalue e duas pinças para eliminar o candidato compartilhado dos alvos que veem ambas.

XYZ-Wing

XYZ-Wing usa um pivot trivalue e duas pinças bivalue; o alvo precisa ver o pivot e as duas pinças.

Y

Y-Wing

Y-Wing é um alias comum de XY-Wing.

Numbers and notation

3D Medusa

3D Medusa é uma extensão de Coloração que conecta candidatos de vários dígitos em uma rede de Enlaces Fortes.

rNcM

Notação como `r3c7` identifica uma célula por linha (row) e coluna (column): linha 3, coluna 7.

{2,5,7}

Chaves como `{2,5,7}` representam um conjunto de candidatos.

= in chain notation

Em muitas notações de Chains, `=` representa um Enlace Forte.

- in chain notation

Em muitas notações de Chains, `-` representa um Enlace Fraco.

<> or ≠

Símbolos `<>` ou `≠` indicam desigualdade ou exclusão, dependendo da notação usada.

= digit

Em textos e diagramas, `= dígito` normalmente indica uma colocação confirmada ou uma igualdade lógica definida pelo contexto.

FAQ

O que é uma house no Sudoku?

House é o termo internacional para uma unidade que precisa conter os dígitos de 1 a 9 uma vez. No Sudoku clássico, cada linha, coluna e bloco é uma house.

Box e block significam a mesma coisa?

No Sudoku clássico 9×9, box e block normalmente se referem ao mesmo bloco 3×3. O VeyraPlay prefere bloco em português.

Qual é a diferença entre candidato e marca de lápis?

Um candidato é uma possibilidade lógica real. Uma marca de lápis é a anotação visível que o jogador escolhe escrever para representar essa possibilidade. Notas podem ser completas ou seletivas.

O que significa dizer que duas células se veem?

Significa que compartilham linha, coluna ou bloco. Como são peers, não podem conter o mesmo dígito resolvido.

O que é uma célula bivalue?

É uma célula não resolvida que possui exatamente dois candidatos.

Por que técnicas de Sudoku têm nomes diferentes em sites diferentes?

A nomenclatura evoluiu em comunidades, livros e solvers diferentes. Alguns nomes são aliases; outros agrupam padrões de formas distintas. O VeyraPlay preserva aliases importantes, mas escolhe um termo canônico para manter consistência.

Este glossário inclui toda técnica de Sudoku já nomeada?

Não. Ele cobre o vocabulário usado no Freeze V2 e vários termos necessários para entender extensões avançadas. Técnicas extremamente nichadas podem ser adicionadas quando entrarem na biblioteca editorial.

Princípios de vocabulário usados pelo VeyraPlay

1. Clareza antes de literalidade. Usamos português natural quando existe um termo claro.
2. Nomes internacionais permanecem pesquisáveis. X-Wing, XY-Chain, AIC, ALS e outros nomes amplamente usados aparecem como termos ou aliases.
3. Um conceito, um termo preferido. Evitamos alternar traduções sem explicar que são sinônimos.
4. Termos técnicos não substituem a prova. Saber o nome de um padrão nunca dispensa verificar sua lógica.
5. Acessibilidade importa. Cor, símbolos e nomes de estados devem ter redundância textual sempre que participarem da interface de aprendizagem.