Unique Rectangle é a técnica baseada em unicidade mais famosa. Ela se apoia em um fato que está fora do puzzle em si: um sudoku válido tem exatamente uma solução. Qualquer configuração que permitisse duas soluções não pode ocorrer em um puzzle real.
Como funciona
Um unique rectangle são quatro células nos cantos de um retângulo que fica dentro de exatamente dois blocos 3×3 (duas linhas de um par de blocos, ou duas colunas de um par de blocos). Três dos cantos contêm os mesmos dois candidatos {X, Y}. O quarto canto contém {X, Y} mais um ou mais candidatos extras.
Imagine que o quarto canto também contivesse apenas {X, Y}. Então os dígitos X e Y poderiam trocar nas diagonais do retângulo e produzir duas completações válidas do puzzle. O sudoku deve ter uma solução. Portanto, o quarto canto não pode ser {X, Y}. Os candidatos X e Y devem ser as escolhas erradas para essa célula. Apague-os, deixando qualquer outra coisa que a célula carregue.
Quando procurá-lo
Puzzles especialistas e diabólicos, onde células bivalor são comuns. Varra em busca de retângulos onde três cantos compartilham um conjunto de candidatos bivalor. Confirme que o retângulo abrange exatamente dois blocos; um retângulo cruzando quatro blocos não tem a estrutura necessária.
Use esta técnica apenas em puzzles com solução única garantida. A maioria dos puzzles publicados e geradores digitais de qualidade atendem a esse requisito. Se você não puder garantir a unicidade, recorra a forcing chains.
Exemplo passo a passo
- Escolha uma célula bivalor {X, Y}. Procure outra célula bivalor {X, Y} na mesma linha.
- Verifique a coluna que a segunda célula compartilha com a primeira. Você precisa de duas células nessa coluna, ambas dentro do mesmo par de blocos 3×3.
- Os quatro cantos devem ficar em exatamente dois blocos. Duas linhas de três colunas, ou duas colunas de três linhas.
- Três dos cantos contêm {X, Y} exatamente. O quarto contém {X, Y} mais extras.
- Apague X e Y do quarto canto. Apenas seus candidatos extras podem ser a resposta.
Dicas para identificar
- O Tipo 1 é a versão clássica acima. Tipos superiores (2, 3, 4) estendem a mesma lógica quando mais cantos carregam extras.
- Liste todas as células bivalor com o mesmo conjunto de candidatos; retângulos se formam entre elas.
- Confirme a restrição de dois blocos antes de aplicar. Retângulos de quatro blocos não funcionam.
- As eliminações quase sempre geram cascata. Revarreia imediatamente em busca de singles.
Erros comuns
- Eliminar do canto errado. O alvo é o único canto com extras.
- Usar a técnica em puzzles sem unicidade garantida. O argumento quebra.
- Contar quatro cantos em quatro blocos. Dois blocos é a regra.
- Esquecer que os três cantos "bivalor" devem ser exatamente {X, Y} sem extras.
Pratique
Tente o sudoku diabólico. A maioria dos geradores produz puzzles amigáveis à unicidade. Após marcações completas, varra células bivalor com conjuntos de candidatos correspondentes na mesma linha ou coluna. Retângulos aparecem mais rápido do que você imagina. Combine com o BUG, outra técnica baseada em unicidade para posições de fim de jogo.