XY-Chain · Exemplo passo a passo

Cada célula da cadeia tem exatamente dois candidatos: R5C8={4, 7}, R5C4={3, 7}, R6C6={2, 3}, R6C5={2, 4}. Dentro de cada célula, eles têm uma relação forte: se um é falso, o outro deve ser verdadeiro. Entre células diferentes, os candidatos conectados do mesmo dígito se excluem mutuamente. As extremidades R5C8=4, R6C5=4 compartilham o candidato 4.

Filial 1: suponha que R5C8=4 seja falso.

R5C8=4 é falso. R5C8 agora tem apenas R5C8=7 restante, então deve ser verdade.

Caso 1: R5C8 é a célula de dois valores R5C8=4, R5C8=7. Com seu outro dígito candidato falso, R5C8=7 é forçado a ser verdadeiro sob a suposição atual. Entre as células, é mutuamente exclusivo com R5C4=7, portanto, elimine esses conflitos.

R5C4=7 é falso. R5C4 agora tem apenas R5C4=3 restante, então deve ser verdade.

R5C4 é a próxima célula de dois valores R5C4=3, R5C4=7. Com seu outro dígito candidato falso, R5C4=3 é forçado a ser verdadeiro sob a suposição atual. Entre as células, é mutuamente exclusivo com R6C6=3, portanto, elimine esses conflitos.

R6C6=3 é falso. R6C6 agora tem apenas R6C6=2 restante, então deve ser verdade.

R6C6 é a próxima célula de dois valores R6C6=2, R6C6=3. Com seu outro dígito candidato falso, R6C6=2 é forçado a ser verdadeiro sob a suposição atual. Entre as células, é mutuamente exclusivo com R6C5=2, portanto, elimine esses conflitos.

Na célula bivalor do terminal R6C5 (R6C5=2, R6C5=4), R6C5=2 é falso, portanto R6C5=4 é forçado a ser verdadeiro sob a suposição atual. Este endpoint exclui os destinos R6C8=4, R6C9=4.

Retire esta suposição e suas consequências. Retorne ao instantâneo do dígito candidato inalterado antes de examinar a próxima possibilidade.

Suponha que o primeiro terminal R5C8=4 seja verdadeiro em sua célula de dois valores R5C8 (R5C8=4, R5C8=7). Dentro da célula exclui o outro dígito candidato; entre as células, exclui os dígitos candidatos conflitantes visíveis R5C8=7, R6C8=4, R6C9=4.

Os dois casos de endpoint esgotam todas as possibilidades e ambos eliminam R6C8=4, R6C9=4. Retire os estados de verdade lógicos temporários e, em seguida, remova-os.

Cada célula da cadeia tem exatamente dois candidatos: R1C4={3, 8}, R1C8={6, 8}, R7C8={2, 6}, R7C6={2, 4}, R7C5={3, 4}. Dentro de cada célula, eles têm uma relação forte: se um é falso, o outro deve ser verdadeiro. Entre células diferentes, os candidatos conectados do mesmo dígito se excluem mutuamente. As extremidades R1C4=3, R7C5=3 compartilham o candidato 3.

Filial 1: suponha que R1C4=3 seja falso.

R1C4=3 é falso. R1C4 agora tem apenas R1C4=8 restante, então deve ser verdade.

Caso 1: R1C4 é a célula de dois valores R1C4=3, R1C4=8. Com seu outro dígito candidato falso, R1C4=8 é forçado a ser verdadeiro sob a suposição atual. Entre as células, é mutuamente exclusivo com R1C8=8, portanto, elimine esses conflitos.

R1C8=8 é falso. R1C8 agora tem apenas R1C8=6 restante, então deve ser verdade.

R1C8 é a próxima célula de dois valores R1C8=6, R1C8=8. Com seu outro dígito candidato falso, R1C8=6 é forçado a ser verdadeiro sob a suposição atual. Entre as células, é mutuamente exclusivo com R7C8=6, portanto, elimine esses conflitos.

R7C8=6 é falso. R7C8 agora tem apenas R7C8=2 restante, então deve ser verdade.

R7C8 é a próxima célula de dois valores R7C8=2, R7C8=6. Com seu outro dígito candidato falso, R7C8=2 é forçado a ser verdadeiro sob a suposição atual. Entre as células, é mutuamente exclusivo com R7C6=2, portanto, elimine esses conflitos.

R7C6=2 é falso. R7C6 agora tem apenas R7C6=4 restante, então deve ser verdade.

R7C6 é a próxima célula de dois valores R7C6=2, R7C6=4. Com seu outro dígito candidato falso, R7C6=4 é forçado a ser verdadeiro sob a suposição atual. Entre as células, é mutuamente exclusivo com R7C5=4, portanto, elimine esses conflitos.

Na célula bivalor do terminal R7C5 (R7C5=3, R7C5=4), R7C5=4 é falso, portanto R7C5=3 é forçado a ser verdadeiro sob a suposição atual. Este endpoint exclui os destinos R1C5=3, R8C4=3.

Retire esta suposição e suas consequências. Retorne ao instantâneo do dígito candidato inalterado antes de examinar a próxima possibilidade.

Suponha que o primeiro terminal R1C4=3 seja verdadeiro em sua célula de dois valores R1C4 (R1C4=3, R1C4=8). Dentro da célula exclui o outro dígito candidato; entre as células, exclui os dígitos candidatos conflitantes visíveis R1C4=8, R1C5=3, R8C4=3.

Os dois casos de endpoint esgotam todas as possibilidades e ambos eliminam R1C5=3, R8C4=3. Retire os estados de verdade lógicos temporários e, em seguida, remova-os.

Cada célula da cadeia tem exatamente dois candidatos: R1C3={1, 9}, R1C4={7, 9}, R2C4={7, 9}, R2C8={5, 9}, R2C5={5, 6}, R2C6={1, 6}, R2C9={1, 7}, R3C9={1, 7}. Dentro de cada célula, eles têm uma relação forte: se um é falso, o outro deve ser verdadeiro. Entre células diferentes, os candidatos conectados do mesmo dígito se excluem mutuamente. As extremidades R1C3=1, R3C9=1 compartilham o candidato 1.

Filial 1: suponha que R1C3=1 seja falso.

R1C3=1 é falso. R1C3 agora tem apenas R1C3=9 restante, então deve ser verdade.

Caso 1: R1C3 é a célula de dois valores R1C3=1, R1C3=9. Com seu outro dígito candidato falso, R1C3=9 é forçado a ser verdadeiro sob a suposição atual. Entre as células, é mutuamente exclusivo com R1C4=9, portanto, elimine esses conflitos.

R1C4=9 é falso. R1C4 agora tem apenas R1C4=7 restante, então deve ser verdade.

R1C4 é a próxima célula de dois valores R1C4=7, R1C4=9. Com seu outro dígito candidato falso, R1C4=7 é forçado a ser verdadeiro sob a suposição atual. Entre as células, é mutuamente exclusivo com R2C4=7, portanto, elimine esses conflitos.

R2C4=7 é falso. R2C4 agora tem apenas R2C4=9 restante, então deve ser verdade.

R2C4 é a próxima célula de dois valores R2C4=7, R2C4=9. Com seu outro dígito candidato falso, R2C4=9 é forçado a ser verdadeiro sob a suposição atual. Entre as células, é mutuamente exclusivo com R2C8=9, portanto, elimine esses conflitos.

R2C8=9 é falso. R2C8 agora tem apenas R2C8=5 restante, então deve ser verdade.

R2C8 é a próxima célula de dois valores R2C8=5, R2C8=9. Com seu outro dígito candidato falso, R2C8=5 é forçado a ser verdadeiro sob a suposição atual. Entre as células, é mutuamente exclusivo com R2C5=5, portanto, elimine esses conflitos.

R2C5=5 é falso. R2C5 agora tem apenas R2C5=6 restante, então deve ser verdade.

R2C5 é a próxima célula de dois valores R2C5=5, R2C5=6. Com seu outro dígito candidato falso, R2C5=6 é forçado a ser verdadeiro sob a suposição atual. Entre as células, é mutuamente exclusivo com R2C6=6, portanto, elimine esses conflitos.

R2C6=6 é falso. R2C6 agora tem apenas R2C6=1 restante, então deve ser verdade.

R2C6 é a próxima célula de dois valores R2C6=1, R2C6=6. Com seu outro dígito candidato falso, R2C6=1 é forçado a ser verdadeiro sob a suposição atual. Entre as células, é mutuamente exclusivo com R2C9=1, portanto, elimine esses conflitos.

R2C9=1 é falso. R2C9 agora tem apenas R2C9=7 restante, então deve ser verdade.

R2C9 é a próxima célula de dois valores R2C9=1, R2C9=7. Com seu outro dígito candidato falso, R2C9=7 é forçado a ser verdadeiro sob a suposição atual. Entre as células, é mutuamente exclusivo com R3C9=7, portanto, elimine esses conflitos.

Na célula bivalor do terminal R3C9 (R3C9=1, R3C9=7), R3C9=7 é falso, portanto R3C9=1 é forçado a ser verdadeiro sob a suposição atual. Este endpoint exclui os destinos R3C1=1, R3C2=1, R3C3=1.

Retire esta suposição e suas consequências. Retorne ao instantâneo do dígito candidato inalterado antes de examinar a próxima possibilidade.

Suponha que o primeiro terminal R1C3=1 seja verdadeiro em sua célula de dois valores R1C3 (R1C3=1, R1C3=9). Dentro da célula exclui o outro dígito candidato; entre as células, exclui os dígitos candidatos conflitantes visíveis R1C3=9, R3C1=1, R3C2=1, R3C3=1.

Os dois casos de endpoint esgotam todas as possibilidades e ambos eliminam R3C1=1, R3C2=1, R3C3=1. Retire os estados de verdade lógicos temporários e, em seguida, remova-os.