Anel AIC Bivalente
Um Ciclo Y Bidirecional é um anel de inferência alternada usando células bivaloradas. Cada nó forte compara alternativas bivaloradas exaustivas, e conexões fracas mostram que proposições conectadas não podem ser ambas verdadeiras. Uma vez que o fechamento contínuo é verificado, o anel resolve num estado de candidatos saturado que preserva a contagem de dígitos de cada casa.
O que é um Anel AIC Bivalente?
Um ciclo Y traça proposições através de células com dois candidatos exaustivos; os nós fortes afirmam que qualquer dígito pode sobreviver na célula, e conexões fracas afirmam que proposições conectadas não podem ambas se manter.
Exemplo passo a passo
Um exemplo passo a passo de um Anel AIC Bivalente: ligações fortes através de células bivalentes, fechadas por uma inferência fraca verificada independentemente do caminho.
Passo 1
Considere estas células.
Passo 2
Os candidatos destacados formam o Bivalue AIC Ring fechado (B3:5=4)-(G3:4=1)-(I2:1=2)-(I9:2=4)-(H7:4=7)-(A7:7=4)-(A1:4=5). Cada sinal de igual é uma ligação forte (XOR); cada traço é uma inferência fraca (NAND). A última ligação, A1=5 de volta a B3=5, é uma inferência fraca que vale independentemente do caminho — ela fecha o laço, e o teorema das extremidades fornece a sua inferência forte complementar, então cada aresta fraca do anel se torna um par exatamente-um. O traço de implicação numerado percorre o anel numa direção para mostrar as ligações alternadas; ele ilustra a estrutura fechada e não é uma suposição de forçamento extra. 1. Se A1 contém o valor 5, então B3 não pode conter o valor 5 (o valor só pode ocorrer uma vez no bloco) 2. Se B3 não contém o valor 5, então B3 deve conter o valor 4 (único valor possível restante na célula) 3. Se B3 contém o valor 4, então G3 não pode conter o valor 4 (o valor só pode ocorrer uma vez na linha) 4. Se G3 não contém o valor 4, então G3 deve conter o valor 1 (único valor possível restante na célula) 5. Se G3 contém o valor 1, então I2 não pode conter o valor 1 (o valor só pode ocorrer uma vez no bloco) 6. Se I2 não contém o valor 1, então I2 deve conter o valor 2 (único valor possível restante na célula) 7. Se I2 contém o valor 2, então I9 não pode conter o valor 2 (o valor só pode ocorrer uma vez na coluna) 8. Se I9 não contém o valor 2, então I9 deve conter o valor 4 (único valor possível restante na célula) 9. Se I9 contém o valor 4, então H7 não pode conter o valor 4 (o valor só pode ocorrer uma vez no bloco) 10. Se H7 não contém o valor 4, então H7 deve conter o valor 7 (único valor possível restante na célula) 11. Se H7 contém o valor 7, então A7 não pode conter o valor 7 (o valor só pode ocorrer uma vez na linha) 12. Se A7 não contém o valor 7, então A7 deve conter o valor 4 (único valor possível restante na célula) 13. Se A7 contém o valor 4, então A1 não pode conter o valor 4 (o valor só pode ocorrer uma vez na coluna) 14. Se A1 não contém o valor 4, então A1 deve conter o valor 5 (único valor possível restante na célula)
Passo 3
Portanto valor 4 pode ser removido: o fecho transforma cada aresta fraca do anel num par exatamente-um, então exatamente uma das suas duas atribuições alternadas vale — e cada candidato marcado conflita com uma proposição verdadeira do anel em ambas.
Um anel bivalente conduz cada ligação forte (XOR) pelos dois dígitos de uma célula e fecha-se por uma inferência fraca (NAND) verificada independentemente do caminho. O teorema das extremidades satura o par de fechamento, de modo que candidatos que conflitem com ambos os lados de qualquer aresta fraca podem ser removidos. Você pode jogar Sudoku online para praticar com o estado atual de candidatos visível.
Como identificá-lo
Escreva todos os nós fortes e conexões fracas, especialmente o fechamento do anel. Uma vez que o anel fecha, os pares de conexão fraca são atribuídos seus dígitos de preservação e tornam-se relações saturadas em vez de meramente fracas.
A lógica
O anel completo dá uma disposição de candidatos resolvida onde cada casa relevante deve manter cada dígito exatamente uma vez. Candidatos fora do anel que perturbem esse estado saturado são retirados.