Um Par Desnudo ocorre quando duas células ainda não resolvidas na mesma unidade ficam restritas exatamente aos mesmos dois candidatos.
Exemplo:
r8c3 {3,9}r8c4 {3,9}
Essas duas células precisam conter 3 e 9 em alguma ordem.
Você ainda não sabe qual célula será 3 e qual será 9.
Mas sabe que nenhuma outra célula da unidade compartilhada pode ser 3 ou 9.
Essa reserva cria as eliminações.
Regra rápida
Duas células.
Dois candidatos no total.
Mesma linha, coluna ou bloco.
→ Elimine esses dois dígitos das outras células da unidade compartilhada.
Por que o par é logicamente forçado
Uma unidade precisa terminar com cada dígito ausente aparecendo exatamente uma vez.
As duas células do par só têm dois valores disponíveis entre elas.
Se uma virar 3, a outra precisa virar 9.
Se uma virar 9, a outra precisa virar 3.
De qualquer forma, o par consome os dois dígitos.
Portanto, esses dígitos já estão reservados para o par antes que a ordem exata seja conhecida.
Essa ideia de reserva é a base dos subconjuntos desnudos.
Exemplo passo a passo
O par pode existir em qualquer unidade
A mesma lógica funciona em:
- uma linha;
- uma coluna;
- um bloco.
Um Par Bloqueado pode eliminar em duas unidades
Às vezes as duas células do par compartilham:
- uma linha e um bloco;
- ou uma coluna e um bloco.
Nesse caso, a mesma reserva de dois dígitos é válida em ambas as unidades.
Exemplo:
Duas células {2,7} estão na linha 3 e no bloco 3.
Os candidatos 2 e 7 podem ser eliminados:
- em outras células da linha 3;
- em outras células do bloco 3.
Esse caso costuma ser chamado de Locked Pair / Par Bloqueado.
Não é preciso uma nova regra. É apenas um Par Desnudo cujas células compartilham duas unidades.
O que não é um Par Desnudo?
Considere:
{2,7}{2,8}
As duas células têm dois candidatos.
Elas compartilham o candidato 2.
Mas juntas contêm três dígitos diferentes:
{2,7,8}
Duas células não podem reservar três dígitos.
O teste útil é:
A união dos candidatos dessas duas células contém exatamente dois dígitos?
Para um Par Desnudo válido de duas células, a resposta é sim.
Par Desnudo vs Par Oculto
As duas técnicas descrevem uma reserva de dois dígitos para duas células.
Elas são descobertas em direções opostas.
Par Desnudo
Olhe para as células.
Estas duas células contêm apenas 3 e 9.
Elimine 3 e 9 das outras células.
Par Oculto
Olhe para os dígitos.
Os dígitos 3 e 9 aparecem somente nestas duas células.
Elimine os outros candidatos das células do par.
Depois da limpeza, um Par Oculto muitas vezes fica visualmente idêntico a um Par Desnudo.
Par Desnudo vs duas células bivalue em unidades diferentes
As células precisam compartilhar uma unidade.
Duas células {3,9} em lados opostos da grade não reservam 3 e 9 para o Sudoku inteiro.
As restrições do Sudoku atuam através de linhas, colunas e blocos.
Sempre identifique a unidade que torna a reserva válida.
Como encontrar Pares Desnudos
Com candidatos visíveis:
- Escolha uma linha, coluna ou bloco.
- Observe células com exatamente dois candidatos.
- Compare os conjuntos de candidatos.
- Procure pares repetidos como
27 ... 27. - Confirme que as células compartilham a unidade analisada.
- Procure esses dígitos nas outras células da mesma unidade.
Essa é uma técnica célula-primeiro.
Por que Pares Desnudos são um marco importante
Candidatos Únicos perguntam:
Qual valor é forçado?
Pares Desnudos introduzem outro tipo de certeza:
Quais valores estão reservados, mesmo sem sabermos ainda em qual das duas células ficará cada um?
Essa mesma ideia escala para:
- Trincas Desnudas;
- Quadras Desnudas.
E a perspectiva inversa leva a:
- Pares Ocultos;
- Trincas Ocultas;
- Quadras Ocultas.
Aprender Pares é, na prática, aprender a lógica geral dos subconjuntos.
O que uma boa eliminação de par pode liberar
Um par pode eliminar apenas um ou dois candidatos e ainda assim decidir a sequência.
Exemplo:
Par Desnudo {3,9}
↓
elimina 9 de outra célula
↓
essa célula fica {5}
↓
Candidato Único Desnudo 5
↓
novas atualizações de candidatosO valor do par está na informação que ele libera ao redor.
Erros comuns
Remover os dígitos do par das próprias células do par
Esses candidatos são a reserva. Mantenha-os.
Usar células que não compartilham uma unidade
A eliminação só é válida dentro de uma linha, coluna ou bloco compartilhado pelo par.
Chamar quaisquer duas células bivalue de par
O conjunto combinado de candidatos precisa conter exatamente dois dígitos.
Achar que o par resolve as duas células
A ordem exata continua desconhecida.
Esquecer uma segunda unidade compartilhada
Se as duas células também compartilham um bloco, verifique o bloco além da linha ou coluna.
Exercício de reconhecimento
Com candidatos visíveis, procure assinaturas bivalue repetidas:
18 ... 18
27 ... 27
46 ... 46
Depois pergunte:
Qual unidade essas células compartilham, e onde esses dígitos aparecem no restante dessa unidade?
Perguntas frequentes
As duas células de um Par Desnudo precisam ter exatamente os mesmos dois candidatos?
Para um Par Desnudo de duas células, sim.
As células precisam estar lado a lado?
Não.
Um Par Desnudo pode eliminar candidatos em uma linha e em um bloco ao mesmo tempo?
Sim, quando as células do par compartilham as duas unidades.
Um Par Desnudo sempre é útil?
Não necessariamente. Se os dígitos do par não aparecerem em outras células da unidade compartilhada, a reserva não gera uma eliminação imediata.
O que aprender depois
Aprenda Pares Ocultos para enxergar a mesma reserva pela direção dos dígitos.
Depois amplie a ideia de subconjunto para Trincas Desnudas.