XY-Chain · Покроковий приклад

Кожна клітинка ланцюга має рівно два кандидати: R5C8={4, 7}, R5C4={3, 7}, R6C6={2, 3}, R6C5={2, 4}. Усередині клітинки вони мають сильний зв’язок: якщо один хибний, інший обов’язково істинний. Між різними клітинками пов’язані кандидати тієї самої цифри взаємно виключаються. Два кінці R5C8=4, R6C5=4 мають спільного кандидата 4.

Гілка 1: припустимо, що R5C8=4 є false.

R5C8=4 невірний. У R5C8 тепер залишився лише R5C8=7, тому це має бути правдою.

Випадок 1: R5C8 — двозначна клітинка R5C8=4, R5C8=7. З іншою можливою цифрою false, R5C8=7 примусово має значення true відповідно до поточного припущення. У клітинках він є взаємовиключним із R5C4=7, тому викресліть ці конфлікти.

R5C4=7 невірний. У R5C4 тепер залишився лише R5C4=3, тому це має бути правдою.

R5C4 — наступна двозначна комірка R5C4=3, R5C4=7. З іншою можливою цифрою false, R5C4=3 примусово має значення true відповідно до поточного припущення. У клітинках він є взаємовиключним із R6C6=3, тому викресліть ці конфлікти.

R6C6=3 невірний. У R6C6 тепер залишився лише R6C6=2, тому це має бути правдою.

R6C6 — наступна двозначна комірка R6C6=2, R6C6=3. З іншою можливою цифрою false, R6C6=2 примусово має значення true відповідно до поточного припущення. У клітинках він є взаємовиключним із R6C5=2, тому викресліть ці конфлікти.

У двозначній комірці кінцевої точки R6C5 (R6C5=2, R6C5=4) R6C5=2 є хибним, тому R6C5=4 примусово має значення true згідно з поточним припущенням. Ця кінцева точка виключає цілі R6C8=4, R6C9=4.

Відмініть це припущення та його наслідки. Поверніться до незмінного знімка цифри-кандидата, перш ніж розглядати наступну можливість.

Припустимо, що перша кінцева точка R5C8=4 є істинною у своїй двозначній клітинці R5C8 (R5C8=4, R5C8=7). У клітинці він виключає іншу кандидатську цифру; між клітинками виключає видимі конфліктуючі цифри-кандидати R5C8=7, R6C8=4, R6C9=4.

Два випадки кінцевих точок вичерпують усі можливості й обидва перекреслюють R6C8=4, R6C9=4. Видаліть тимчасові стани логічної істинності, а потім видаліть їх.

Кожна клітинка ланцюга має рівно два кандидати: R1C4={3, 8}, R1C8={6, 8}, R7C8={2, 6}, R7C6={2, 4}, R7C5={3, 4}. Усередині клітинки вони мають сильний зв’язок: якщо один хибний, інший обов’язково істинний. Між різними клітинками пов’язані кандидати тієї самої цифри взаємно виключаються. Два кінці R1C4=3, R7C5=3 мають спільного кандидата 3.

Гілка 1: припустимо, що R1C4=3 є false.

R1C4=3 невірний. У R1C4 тепер залишився лише R1C4=8, тому це має бути правдою.

Випадок 1: R1C4 — двозначна клітинка R1C4=3, R1C4=8. З іншою можливою цифрою false, R1C4=8 примусово має значення true відповідно до поточного припущення. У клітинках він є взаємовиключним із R1C8=8, тому викресліть ці конфлікти.

R1C8=8 невірний. У R1C8 тепер залишився лише R1C8=6, тому це має бути правдою.

R1C8 — наступна двозначна комірка R1C8=6, R1C8=8. З іншою можливою цифрою false, R1C8=6 примусово має значення true відповідно до поточного припущення. У клітинках він є взаємовиключним із R7C8=6, тому викресліть ці конфлікти.

R7C8=6 невірний. У R7C8 тепер залишився лише R7C8=2, тому це має бути правдою.

R7C8 — наступна двозначна комірка R7C8=2, R7C8=6. З іншою можливою цифрою false, R7C8=2 примусово має значення true відповідно до поточного припущення. У клітинках він є взаємовиключним із R7C6=2, тому викресліть ці конфлікти.

R7C6=2 невірний. У R7C6 тепер залишився лише R7C6=4, тому це має бути правдою.

R7C6 — наступна двозначна комірка R7C6=2, R7C6=4. З іншою можливою цифрою false, R7C6=4 примусово має значення true відповідно до поточного припущення. У клітинках він є взаємовиключним із R7C5=4, тому викресліть ці конфлікти.

У двозначній комірці кінцевої точки R7C5 (R7C5=3, R7C5=4) R7C5=4 є хибним, тому R7C5=3 примусово має значення true згідно з поточним припущенням. Ця кінцева точка виключає цілі R1C5=3, R8C4=3.

Відмініть це припущення та його наслідки. Поверніться до незмінного знімка цифри-кандидата, перш ніж розглядати наступну можливість.

Припустимо, що перша кінцева точка R1C4=3 є істинною у своїй двозначній клітинці R1C4 (R1C4=3, R1C4=8). У клітинці він виключає іншу кандидатську цифру; між клітинками виключає видимі конфліктуючі цифри-кандидати R1C4=8, R1C5=3, R8C4=3.

Два випадки кінцевих точок вичерпують усі можливості й обидва перекреслюють R1C5=3, R8C4=3. Видаліть тимчасові стани логічної істинності, а потім видаліть їх.

Кожна клітинка ланцюга має рівно два кандидати: R1C3={1, 9}, R1C4={7, 9}, R2C4={7, 9}, R2C8={5, 9}, R2C5={5, 6}, R2C6={1, 6}, R2C9={1, 7}, R3C9={1, 7}. Усередині клітинки вони мають сильний зв’язок: якщо один хибний, інший обов’язково істинний. Між різними клітинками пов’язані кандидати тієї самої цифри взаємно виключаються. Два кінці R1C3=1, R3C9=1 мають спільного кандидата 1.

Гілка 1: припустимо, що R1C3=1 є false.

R1C3=1 невірний. У R1C3 тепер залишився лише R1C3=9, тому це має бути правдою.

Випадок 1: R1C3 — двозначна клітинка R1C3=1, R1C3=9. З іншою можливою цифрою false, R1C3=9 примусово має значення true відповідно до поточного припущення. У клітинках він є взаємовиключним із R1C4=9, тому викресліть ці конфлікти.

R1C4=9 невірний. У R1C4 тепер залишився лише R1C4=7, тому це має бути правдою.

R1C4 — наступна двозначна комірка R1C4=7, R1C4=9. З іншою можливою цифрою false, R1C4=7 примусово має значення true відповідно до поточного припущення. У клітинках він є взаємовиключним із R2C4=7, тому викресліть ці конфлікти.

R2C4=7 невірний. У R2C4 тепер залишився лише R2C4=9, тому це має бути правдою.

R2C4 — наступна двозначна комірка R2C4=7, R2C4=9. З іншою можливою цифрою false, R2C4=9 примусово має значення true відповідно до поточного припущення. У клітинках він є взаємовиключним із R2C8=9, тому викресліть ці конфлікти.

R2C8=9 невірний. У R2C8 тепер залишився лише R2C8=5, тому це має бути правдою.

R2C8 — наступна двозначна комірка R2C8=5, R2C8=9. З іншою можливою цифрою false, R2C8=5 примусово має значення true відповідно до поточного припущення. У клітинках він є взаємовиключним із R2C5=5, тому викресліть ці конфлікти.

R2C5=5 невірний. У R2C5 тепер залишився лише R2C5=6, тому це має бути правдою.

R2C5 — наступна двозначна комірка R2C5=5, R2C5=6. З іншою можливою цифрою false, R2C5=6 примусово має значення true відповідно до поточного припущення. У клітинках він є взаємовиключним із R2C6=6, тому викресліть ці конфлікти.

R2C6=6 невірний. У R2C6 тепер залишився лише R2C6=1, тому це має бути правдою.

R2C6 — наступна двозначна комірка R2C6=1, R2C6=6. З іншою можливою цифрою false, R2C6=1 примусово має значення true відповідно до поточного припущення. У клітинках він є взаємовиключним із R2C9=1, тому викресліть ці конфлікти.

R2C9=1 невірний. У R2C9 тепер залишився лише R2C9=7, тому це має бути правдою.

R2C9 — наступна двозначна комірка R2C9=1, R2C9=7. З іншою можливою цифрою false, R2C9=7 примусово має значення true відповідно до поточного припущення. У клітинках він є взаємовиключним із R3C9=7, тому викресліть ці конфлікти.

У двозначній комірці кінцевої точки R3C9 (R3C9=1, R3C9=7) R3C9=7 є хибним, тому R3C9=1 примусово має значення true згідно з поточним припущенням. Ця кінцева точка виключає цілі R3C1=1, R3C2=1, R3C3=1.

Відмініть це припущення та його наслідки. Поверніться до незмінного знімка цифри-кандидата, перш ніж розглядати наступну можливість.

Припустимо, що перша кінцева точка R1C3=1 є істинною у своїй двозначній клітинці R1C3 (R1C3=1, R1C3=9). У клітинці він виключає іншу кандидатську цифру; між клітинками виключає видимі конфліктуючі цифри-кандидати R1C3=9, R3C1=1, R3C2=1, R3C3=1.

Два випадки кінцевих точок вичерпують усі можливості й обидва перекреслюють R3C1=1, R3C2=1, R3C3=1. Видаліть тимчасові стани логічної істинності, а потім видаліть їх.