Sem anúncios

Unicidade

Eliminações condicionais que usam uma premissa de solução única explicitamente declarada: Retângulos Únicos, Laços Únicos e o Bivalue Universal Grave (BUG).

Four Sudoku cells forming a deadly Unique Rectangle Type 1 construction

Retângulo Único tipo 1

Uma célula de resgate contém candidatos extras; o par mortal é removido dela.

Continuar Lendo
A Unique Rectangle Type 2 with two extra candidates sharing a house

Retângulo Único tipo 2

As células de resgate do retângulo compartilham um candidato extra que pode ser removido de seus pares comuns.

Continuar Lendo
A Unique Rectangle Type 3 with extra candidates acting as a locked subset

Retângulo Único tipo 3

Os candidatos extras se combinam com outras células para formar um conjunto nu em uma casa compartilhada.

Continuar Lendo
A Unique Rectangle Type 4 where a conjugate restriction blocks the swap

Retângulo Único tipo 4

Um dígito do retângulo está bloqueado em duas células de resgate, permitindo que o outro dígito do retângulo seja removido.

Continuar Lendo
A Unique Loop Type 1 closed deadly construction in a Sudoku grid

Loop Único tipo 1

Um loop de unicidade mais longo tem uma célula de resgate da qual o par mortal pode ser removido.

Continuar Lendo
A Unique Loop Type 2 with extra candidates sharing a house

Loop Único tipo 2

Células de resgate em um loop mais longo compartilham um candidato extra que elimina de pares comuns.

Continuar Lendo
A Unique Loop Type 3 whose extras act as a locked set

Loop Único tipo 3

Candidatos extras do loop formam um conjunto nu com outras células em uma casa compartilhada.

Continuar Lendo
A Unique Loop Type 4 with a conjugate pair inside the loop

Loop Único tipo 4

Um dígito do loop está bloqueado nas células de resgate, então o outro dígito do loop pode ser removido delas.

Continuar Lendo
A BUG Type 1 grid with one poly-valued cell and all others bivalue

BUG Tipo 1

Um candidato guardião previne um estado BUG verificado e deve ser mantido.

Continuar Lendo
A BUG Type 2 where exception cells in one house share a guardian digit

BUG Tipo 2

Múltiplas células de exceção BUG compartilham um dígito guardião e podem eliminar de pares comuns.

Continuar Lendo
A BUG Type 3 where guardian alternatives act as a virtual slot

BUG Tipo 3

Valores BUG se combinam com células próximas para formar um conjunto nu em uma casa compartilhada.

Continuar Lendo
A BUG Type 4 with a locked digit inside the exception cells

BUG Tipo 4

Duas células BUG bloqueiam um candidato adicional em sua casa compartilhada.

Continuar Lendo

Como funciona a lógica de unicidade no Sudoku

As técnicas de unicidade se aplicam a um Sudoku corretamente construído que tenha exatamente uma solução garantida. Um padrão mortal é uma disposição não resolvida na qual dois dígitos poderiam ser trocados e produzir duas soluções válidas. Um Retângulo Único usa quatro células em duas linhas, duas colunas e dois blocos; um Loop Único estende o mesmo princípio por um ciclo par mais longo. Como a forma mortal não pode permanecer em um quebra-cabeça de solução única, pelo menos uma célula deve rompê-la.

Os quatro tipos descrevem as diferentes maneiras pelas quais esses candidatos extras fornecem o resgate. O tipo 1 retira o par mortal de uma única célula de resgate. Os tipos 2 e 4 aproveitam um candidato extra compartilhado ou uma relação conjugada, enquanto o tipo 3 combina os extras com um subconjunto dentro de uma casa compartilhada. BUG aplica a mesma premissa a um estado final totalmente bivalorado; a célula ou candidato cuja remoção deixaria o estado fatalmente equilibrado é identificado e resolvido. Essas são deduções condicionais: devem ser usadas apenas quando a unicidade do quebra-cabeça é conhecida, não como substituto geral para testes de contradição em grades arbitrárias.

← Voltar às técnicas de Sudoku