Pular para o conteúdo
TécnicasIntermediário

Par Desnudo

Aprenda o que é um Par Desnudo no Sudoku, como encontrá-lo e como duas células reservam dois dígitos para eliminar candidatos de uma unidade.

Um Par Desnudo ocorre quando duas células da mesma linha, coluna ou bloco ficam restritas aos mesmos dois candidatos.

Se as duas células só podem conter X ou Y, então X e Y estão reservados para essas duas células em alguma ordem.

Isso permite eliminar X e Y das outras células da unidade compartilhada.

O padrão é cell-first: você reconhece primeiro as células e depois usa a reserva para limpar o restante da unidade.

Visual de SudokuNaked PairDuas células estão restritas aos mesmos dois dígitos, então esses dígitos podem ser eliminados do restante da unidade.
A
B
Outra célula

Visão esquemática de uma unidade — os candidatos riscados são as eliminações lógicas.

  • Candidatos de origem
  • Eliminações

Par Desnudo em resumo

Duas células dentro da mesma unidade.

A união de seus candidatos contém exatamente dois dígitos.

→ Esses dois dígitos estão reservados para essas duas células.

→ Remova-os das outras células da unidade.

Por que um Par Desnudo é logicamente forçado

Suponha que duas células de uma linha sejam:

  • A {3,8}
  • B {3,8}

Cada célula precisa receber um único dígito, e nenhuma delas pode receber algo fora de 3 ou 8.

Portanto:

  • uma célula será 3;
  • a outra será 8;
  • ainda que você não saiba qual é qual.

Como a linha precisa conter 3 e 8 exatamente uma vez, nenhuma outra célula da mesma linha pode usar esses candidatos.

A informação importante é a reserva do conjunto, não a ordem final dos dígitos.

Exemplo passo a passo em uma linha

Imagine uma linha com:

  • r4c2 {2,7}
  • r4c8 {2,7}

Outras células da linha ainda contêm candidatos 2 ou 7.

As duas células destacadas formam um Par Desnudo {2,7}.

Como 2 e 7 precisam ocupar essas duas células em alguma ordem, remova 2 e 7 das outras células da linha.

Pares Desnudos funcionam em linhas, colunas e blocos

A prova depende apenas de as duas células compartilharem uma unidade.

O padrão pode aparecer em:

  • uma linha;
  • uma coluna;
  • um bloco.

Se as duas células compartilharem mais de uma unidade, a reserva pode produzir eliminações em ambas.

O que significa “desnudo”?

O par é chamado de desnudo porque os dois dígitos reservados já estão visíveis diretamente nas células.

Você olha para as células e vê:

estas duas células contêm apenas X e Y.

No Par Oculto a relação é descoberta da direção oposta: você acompanha onde os dígitos X e Y podem aparecer na unidade, mesmo que as células ainda tenham candidatos extras.

O teste da união de candidatos

A forma mais geral de verificar um Par Desnudo é olhar para a união dos candidatos das duas células.

Para duas células A e B:

candidatos(A) ∪ candidatos(B) precisa conter exatamente dois dígitos.

No caso comum:

  • A {2,7}
  • B {2,7}

A união é {2,7}.

Se tivermos:

  • A {2,7}
  • B {2,8}

A união é {2,7,8}.

Isso não é um Par Desnudo.

Por que você deve resolver Singles primeiro

Antes de procurar pares, verifique se alguma das células já é um Single.

Por exemplo:

  • A {2}
  • B {2,7}

Isso não deve ser tratado como Par Desnudo. A já está resolvida logicamente como 2.

Uma boa disciplina é usar a dedução mais simples disponível primeiro:

Singles
→ Candidatos Bloqueados
→ Pares
→ subconjuntos maiores

Isso reduz a quantidade de estruturas que você precisa analisar ao mesmo tempo.

Par Bloqueado: um par, duas unidades compartilhadas

Às vezes as duas células de um Par Desnudo compartilham, por exemplo:

  • a mesma linha;
  • e o mesmo bloco.

Nesse caso o par está reservado nas duas unidades ao mesmo tempo.

Você pode eliminar os dois dígitos:

  • das outras células da linha;
  • e das outras células do bloco.

Par Desnudo vs Par Oculto

Os dois padrões descrevem uma reserva de dois dígitos para duas células, mas são encontrados por direções opostas.

Par Desnudo — célula-primeiro

Estas duas células contêm apenas X e Y.

→ Elimine X/Y das outras células da unidade.

Par Oculto — dígito-primeiro

X e Y só podem aparecer nestas duas células.

→ Elimine os outros candidatos das duas células.

Depois que um Par Oculto é limpo, ele passa a parecer visualmente um Par Desnudo.

Par Desnudo vs duas células bivalue sem relação

Duas células bivalue não formam automaticamente um par.

Para existir um Par Desnudo, elas precisam:

  1. compartilhar pelo menos uma unidade;
  2. estar restritas aos mesmos dois dígitos como conjunto.

Células {2,7} e {2,7} em unidades diferentes não reservam nada juntas.

Da mesma forma, {2,7} e {2,8} na mesma linha não formam um par porque a união contém três dígitos.

Como encontrar Pares Desnudos

1. Escolha uma unidade

Analise uma linha, coluna ou bloco de cada vez.

2. Observe células bivalue

Células com exatamente dois candidatos são os melhores pontos de partida.

3. Compare as assinaturas de candidatos

Duas células compartilham os mesmos dois candidatos?

4. Confirme a unidade compartilhada

As duas células precisam pertencer à mesma linha, coluna ou bloco.

5. Procure eliminações

Existe algum X ou Y em outras células da unidade?

6. Verifique uma segunda unidade compartilhada

Se as duas células também compartilham um bloco ou outra unidade relevante, procure alvos adicionais.

Por que Pares Desnudos são um marco importante

Pares são uma das primeiras técnicas em que você não resolve uma célula e nem acompanha apenas um dígito.

Você passa a raciocinar sobre um conjunto de células que reserva um conjunto de dígitos.

Esse princípio escala diretamente para:

  • Trinca Desnuda;
  • Quadra Desnuda;
  • e, de forma complementar, para subconjuntos ocultos.

Por isso, entender o motivo da eliminação é mais importante do que memorizar o desenho de um par.

Um par não precisa resolver uma célula imediatamente

O resultado direto costuma ser a remoção de candidatos em outras células.

Essas eliminações podem depois criar:

  • Naked Single;
  • Hidden Single;
  • outro Par;
  • Candidatos Bloqueados;
  • uma Trinca.

Continue atualizando as Notas e faça nova varredura depois da eliminação.

Par produtivo vs par verdadeiro, mas inútil

Um Par Desnudo pode existir sem produzir nenhuma eliminação.

Se nenhuma outra célula da unidade contém os dois dígitos do par, a reserva é verdadeira, mas não muda o estado atual do puzzle.

Ao resolver manualmente, dê prioridade aos pares que removem pelo menos um candidato.

Erros comuns

Remover os dígitos do par das próprias células

Os candidatos do par precisam permanecer nas duas células. Eles são a reserva que sustenta a prova.

Usar células que não compartilham uma unidade

Duas células iguais em locais diferentes não criam uma reserva comum.

Chamar quaisquer duas células bivalue de par

Os dois conjuntos precisam representar os mesmos dois dígitos.

Usar {2,7} e {2,8} como par

A união contém três candidatos, portanto não existe reserva 2↔2.

Achar que o par resolve as duas células

Você sabe que as células serão X/Y em alguma ordem, mas ainda não sabe qual célula recebe qual dígito.

Esquecer uma segunda unidade compartilhada

Se as células compartilham linha e bloco, por exemplo, o par pode eliminar em ambos.

Exercício de reconhecimento

Ao examinar uma unidade, destaque mentalmente as células bivalue.

Pergunte:

Existem duas células com a mesma assinatura de dois candidatos?

Se sim, procure esses candidatos no restante da unidade.

FAQ

As duas células de um Par Desnudo precisam conter os mesmos dois candidatos?

No padrão prático padrão, sim. De forma geral, a união dos candidatos das duas células precisa conter exatamente dois dígitos.

As células precisam estar lado a lado?

Não. Elas apenas precisam compartilhar uma linha, coluna ou bloco.

O que é um Par Bloqueado?

É um Par Desnudo cujas duas células compartilham mais de uma unidade, permitindo eliminações em ambas.

Um Par Desnudo pode eliminar candidatos em uma linha e em um bloco ao mesmo tempo?

Sim, se as duas células do par pertencerem à mesma linha e ao mesmo bloco.

Um Par Desnudo sempre é útil?

Não. O padrão pode ser verdadeiro sem ter candidatos externos para eliminar.

Um Par Desnudo é um tipo de subconjunto?

Sim. É um subconjunto desnudo de tamanho 2.

O que aprender depois

Compare com Par Oculto e depois avance para Trinca Desnuda para aplicar a mesma lógica de reserva a três células e três dígitos.