Platon Games
Українська

Platon Sudoku · Вивчення судоку

Мережа примусових висновків (Forcing Net) · Покроковий приклад

Мережа примусових висновків (Forcing Net) розгалужується та об’єднує наслідки цифр-кандидатів. Він може спростувати припущення або довести загальний результат серед альтернатив. Видаліть спростовану кандидатську цифру або застосуйте результат, спільний для всіх вичерпних гілок.

Цей урок адаптовано з навчальних матеріалів застосунку Platon Sudoku. Прочитайте повний приклад тут, а потім продовжуйте навчання і практику в застосунку.

Переглянути в Google Play

Розпізнайте шаблон

Мережа примусових висновків (Forcing Net) розгалужується та об’єднує наслідки цифр-кандидатів. Він може спростувати припущення або довести загальний результат серед альтернатив.

Як його знайти

Відстежуйте кожну передумову через розгалужену мережу, перевіряйте кожне посилання та порівнюйте протиріччя чи спільні кінцеві точки.

Що це дозволяє

Видаліть спростовану кандидатську цифру або застосуйте результат, спільний для всіх вичерпних гілок.

Уникайте плутанини

Не пропускайте гілку та не плутайте спільний ефект із ефектом лише одного шляху.

Покроковий приклад · Протиріччя

Приклад починається зі збереженої проміжної позиції. Кандидати враховують попередні логічні виключення, а не щойно створені автоматичні нотатки.

Синій: підстави. Зелений: висновок. Закреслені цифри: виключені кандидати. R1C1 означає рядок 1, стовпець 1.

Крок 1 · Де шукати

R1C3=7 є істинним або хибним. Граф перевіряє R1C3=7 правда; протиріччя виключає цей стан логічної істинності та змушує R1C3=7 невірний, тому два можливі стани логічної істинності повністю охоплено. Це Мережа примусових висновків (Forcing Net), а не Ланцюг примусових висновків (Forcing Chain), тому що перевірений графік залежностей розгортається або зливається замість того, щоб залишатися єдиним лінійним шляхом наслідків. Досліджена гілка містить перевірені вузли 49.

R1C3=7 є істинним або хибним. Граф перевіряє R1C3=7 правда; протиріччя виключає цей стан логічної істинності та змушує R1C3=7 невірний, тому два можливі стани логічної істинності повністю охоплено. Це Мережа примусових висновків (Forcing Net), а не Ланцюг примусових висновків (Forcing Chain), тому що перевірений графік залежностей розгортається або зливається замість того, щоб залишатися єдиним лінійним шляхом наслідків. Досліджена гілка містить перевірені вузли 49.
R1C3=7 є істинним або хибним. Граф перевіряє R1C3=7 правда; протиріччя виключає цей стан логічної істинності та змушує R1C3=7 невірний, тому два можливі стани логічної істинності повністю охоплено. Це Мережа примусових висновків (Forcing Net), а не Ланцюг примусових висновків (Forcing Chain), тому що перевірений графік залежностей розгортається або зливається замість того, щоб залишатися єдиним лінійним шляхом наслідків. Досліджена гілка містить перевірені вузли 49.
Крок 2 · Міркування

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

Гілка 1: припустимо, що R1C3=7 істинне.
Гілка 1: припустимо, що R1C3=7 істинне.
Крок 3 · Міркування

R1C3=7 правда. Видаліть {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.

R1C3=7 правда. Видаліть {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
R1C3=7 правда. Видаліть {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
Крок 4 · Міркування

Після попередніх виключень R8C3=3 є єдиним варіантом, що залишився в R8C3. Це вимушено за цим припущенням.

Після попередніх виключень R8C3=3 є єдиним варіантом, що залишився в R8C3. Це вимушено за цим припущенням.
Після попередніх виключень R8C3=3 є єдиним варіантом, що залишився в R8C3. Це вимушено за цим припущенням.
Крок 5 · Міркування

R8C3=3 правда. Видаліть R7C3=3.

R8C3=3 правда. Видаліть R7C3=3.
R8C3=3 правда. Видаліть R7C3=3.
Крок 6 · Міркування

Після попередніх виключень R7C4=3 є єдиним варіантом, що залишився в ряд 7. Це вимушено за цим припущенням.

Після попередніх виключень R7C4=3 є єдиним варіантом, що залишився в ряд 7. Це вимушено за цим припущенням.
Після попередніх виключень R7C4=3 є єдиним варіантом, що залишився в ряд 7. Це вимушено за цим припущенням.
Крок 7 · Міркування

Після попередніх виключень R8C2=7 є єдиним варіантом, що залишився в ряд 8. Це вимушено за цим припущенням.

Після попередніх виключень R8C2=7 є єдиним варіантом, що залишився в ряд 8. Це вимушено за цим припущенням.
Після попередніх виключень R8C2=7 є єдиним варіантом, що залишився в ряд 8. Це вимушено за цим припущенням.
Крок 8 · Міркування

R8C2=7 правда. Видаліть R8C2=8.

R8C2=7 правда. Видаліть R8C2=8.
R8C2=7 правда. Видаліть R8C2=8.
Крок 9 · Міркування

Після попередніх виключень R8C8=8 є єдиним варіантом, що залишився в ряд 8. Це вимушено за цим припущенням.

Після попередніх виключень R8C8=8 є єдиним варіантом, що залишився в ряд 8. Це вимушено за цим припущенням.
Після попередніх виключень R8C8=8 є єдиним варіантом, що залишився в ряд 8. Це вимушено за цим припущенням.
Крок 10 · Міркування

R8C8=8 правда. Видаліть R8C8=4.

R8C8=8 правда. Видаліть R8C8=4.
R8C8=8 правда. Видаліть R8C8=4.
Крок 11 · Міркування

Після попередніх виключень R6C1=7 є єдиним варіантом, що залишився в колонка 1. Це вимушено за цим припущенням.

Після попередніх виключень R6C1=7 є єдиним варіантом, що залишився в колонка 1. Це вимушено за цим припущенням.
Після попередніх виключень R6C1=7 є єдиним варіантом, що залишився в колонка 1. Це вимушено за цим припущенням.
Крок 12 · Міркування

R6C1=7 правда. Видаліть R6C1=5.

R6C1=7 правда. Видаліть R6C1=5.
R6C1=7 правда. Видаліть R6C1=5.
Крок 13 · Міркування

Після попередніх виключень R3C8=4 є єдиним варіантом, що залишився в колонка 8. Це вимушено за цим припущенням.

Після попередніх виключень R3C8=4 є єдиним варіантом, що залишився в колонка 8. Це вимушено за цим припущенням.
Після попередніх виключень R3C8=4 є єдиним варіантом, що залишився в колонка 8. Це вимушено за цим припущенням.
Крок 14 · Міркування

R3C8=4 правда. Видаліть {R3C8=1, R3C8=6}.

R3C8=4 правда. Видаліть {R3C8=1, R3C8=6}.
R3C8=4 правда. Видаліть {R3C8=1, R3C8=6}.
Крок 15 · Міркування

Після попередніх виключень R3C1=2 є єдиним варіантом, що залишився в Блок 3×3 1. Це вимушено за цим припущенням.

Після попередніх виключень R3C1=2 є єдиним варіантом, що залишився в Блок 3×3 1. Це вимушено за цим припущенням.
Після попередніх виключень R3C1=2 є єдиним варіантом, що залишився в Блок 3×3 1. Це вимушено за цим припущенням.
Крок 16 · Міркування

R3C1=2 правда. Видаліть R3C1=5.

R3C1=2 правда. Видаліть R3C1=5.
R3C1=2 правда. Видаліть R3C1=5.
Крок 17 · Міркування

Після попередніх виключень R9C7=4 є єдиним варіантом, що залишився в Блок 3×3 9. Це вимушено за цим припущенням.

Після попередніх виключень R9C7=4 є єдиним варіантом, що залишився в Блок 3×3 9. Це вимушено за цим припущенням.
Після попередніх виключень R9C7=4 є єдиним варіантом, що залишився в Блок 3×3 9. Це вимушено за цим припущенням.
Крок 18 · Міркування

R9C7=4 правда. Видаліть R9C7=9.

R9C7=4 правда. Видаліть R9C7=9.
R9C7=4 правда. Видаліть R9C7=9.
Крок 19 · Міркування

Після попередніх виключень R7C9=9 є єдиним варіантом, що залишився в Блок 3×3 9. Це вимушено за цим припущенням.

Після попередніх виключень R7C9=9 є єдиним варіантом, що залишився в Блок 3×3 9. Це вимушено за цим припущенням.
Після попередніх виключень R7C9=9 є єдиним варіантом, що залишився в Блок 3×3 9. Це вимушено за цим припущенням.
Крок 20 · Міркування

R3C8=4 правда. Видаліть R2C7=4.

R3C8=4 правда. Видаліть R2C7=4.
R3C8=4 правда. Видаліть R2C7=4.
Крок 21 · Міркування

R6C1=7 правда. Видаліть R6C7=7.

R6C1=7 правда. Видаліть R6C7=7.
R6C1=7 правда. Видаліть R6C7=7.
Крок 22 · Міркування

Після попередніх виключень R6C7=6 є єдиним варіантом, що залишився в R6C7. Це вимушено за цим припущенням.

Після попередніх виключень R6C7=6 є єдиним варіантом, що залишився в R6C7. Це вимушено за цим припущенням.
Після попередніх виключень R6C7=6 є єдиним варіантом, що залишився в R6C7. Це вимушено за цим припущенням.
Крок 23 · Міркування

R6C7=6 правда. Видаліть R3C7=6.

R6C7=6 правда. Видаліть R3C7=6.
R6C7=6 правда. Видаліть R3C7=6.
Крок 24 · Міркування

R7C4=3 правда. Видаліть R2C4=3.

R7C4=3 правда. Видаліть R2C4=3.
R7C4=3 правда. Видаліть R2C4=3.
Крок 25 · Міркування

R7C9=9 правда. Видаліть {R1C9=9, R7C3=9}.

R7C9=9 правда. Видаліть {R1C9=9, R7C3=9}.
R7C9=9 правда. Видаліть {R1C9=9, R7C3=9}.
Крок 26 · Міркування

R8C8=8 правда. Видаліть R1C8=8.

R8C8=8 правда. Видаліть R1C8=8.
R8C8=8 правда. Видаліть R1C8=8.
Крок 27 · Міркування

Після попередніх виключень R3C9=6 є єдиним варіантом, що залишився в ряд 3. Це вимушено за цим припущенням.

Після попередніх виключень R3C9=6 є єдиним варіантом, що залишився в ряд 3. Це вимушено за цим припущенням.
Після попередніх виключень R3C9=6 є єдиним варіантом, що залишився в ряд 3. Це вимушено за цим припущенням.
Крок 28 · Міркування

R3C9=6 правда. Видаліть R3C9=1.

R3C9=6 правда. Видаліть R3C9=1.
R3C9=6 правда. Видаліть R3C9=1.
Крок 29 · Міркування

Після попередніх виключень R9C1=9 є єдиним варіантом, що залишився в ряд 9. Це вимушено за цим припущенням.

Після попередніх виключень R9C1=9 є єдиним варіантом, що залишився в ряд 9. Це вимушено за цим припущенням.
Після попередніх виключень R9C1=9 є єдиним варіантом, що залишився в ряд 9. Це вимушено за цим припущенням.
Крок 30 · Міркування

R9C1=9 правда. Видаліть R9C1=5.

R9C1=9 правда. Видаліть R9C1=5.
R9C1=9 правда. Видаліть R9C1=5.
Крок 31 · Міркування

Після попередніх виключень R2C1=5 є єдиним варіантом, що залишився в колонка 1. Це вимушено за цим припущенням.

Після попередніх виключень R2C1=5 є єдиним варіантом, що залишився в колонка 1. Це вимушено за цим припущенням.
Після попередніх виключень R2C1=5 є єдиним варіантом, що залишився в колонка 1. Це вимушено за цим припущенням.
Крок 32 · Міркування

Після попередніх виключень R2C3=9 є єдиним варіантом, що залишився в колонка 3. Це вимушено за цим припущенням.

Після попередніх виключень R2C3=9 є єдиним варіантом, що залишився в колонка 3. Це вимушено за цим припущенням.
Після попередніх виключень R2C3=9 є єдиним варіантом, що залишився в колонка 3. Це вимушено за цим припущенням.
Крок 33 · Міркування

Після попередніх виключень R2C9=1 є єдиним варіантом, що залишився в Блок 3×3 3. Це вимушено за цим припущенням.

Після попередніх виключень R2C9=1 є єдиним варіантом, що залишився в Блок 3×3 3. Це вимушено за цим припущенням.
Після попередніх виключень R2C9=1 є єдиним варіантом, що залишився в Блок 3×3 3. Це вимушено за цим припущенням.
Крок 34 · Міркування

Після попередніх виключень R1C8=5 є єдиним варіантом, що залишився в R1C8. Це вимушено за цим припущенням.

Після попередніх виключень R1C8=5 є єдиним варіантом, що залишився в R1C8. Це вимушено за цим припущенням.
Після попередніх виключень R1C8=5 є єдиним варіантом, що залишився в R1C8. Це вимушено за цим припущенням.
Крок 35 · Міркування

R1C8=5 правда. Видаліть R1C9=5.

R1C8=5 правда. Видаліть R1C9=5.
R1C8=5 правда. Видаліть R1C9=5.
Крок 36 · Міркування

Після попередніх виключень R1C9=8 є єдиним варіантом, що залишився в R1C9. Це вимушено за цим припущенням.

Після попередніх виключень R1C9=8 є єдиним варіантом, що залишився в R1C9. Це вимушено за цим припущенням.
Після попередніх виключень R1C9=8 є єдиним варіантом, що залишився в R1C9. Це вимушено за цим припущенням.
Крок 37 · Міркування

R1C9=8 правда. Видаліть R2C7=8.

R1C9=8 правда. Видаліть R2C7=8.
R1C9=8 правда. Видаліть R2C7=8.
Крок 38 · Міркування

R2C1=5 правда. Видаліть R2C4=5.

R2C1=5 правда. Видаліть R2C4=5.
R2C1=5 правда. Видаліть R2C4=5.
Крок 39 · Міркування

R2C3=9 правда. Видаліть R2C7=9.

R2C3=9 правда. Видаліть R2C7=9.
R2C3=9 правда. Видаліть R2C7=9.
Крок 40 · Міркування

Після попередніх виключень R2C7=7 є єдиним варіантом, що залишився в R2C7. Це вимушено за цим припущенням.

Після попередніх виключень R2C7=7 є єдиним варіантом, що залишився в R2C7. Це вимушено за цим припущенням.
Після попередніх виключень R2C7=7 є єдиним варіантом, що залишився в R2C7. Це вимушено за цим припущенням.
Крок 41 · Міркування

R2C7=7 правда. Видаліть R2C4=7.

R2C7=7 правда. Видаліть R2C4=7.
R2C7=7 правда. Видаліть R2C4=7.
Крок 42 · Міркування

R2C9=1 правда. Видаліть R2C4=1.

R2C9=1 правда. Видаліть R2C4=1.
R2C9=1 правда. Видаліть R2C4=1.
Крок 43 · Міркування

Це припущення не залишає можливого значення чи позиції в R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Комірка судоку та кожна відсутня цифра в регіоні повинні мати опцію. Припущення неможливе.

Це припущення не залишає можливого значення чи позиції в R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Комірка судоку та кожна відсутня цифра в регіоні повинні мати опцію. Припущення неможливе.
Це припущення не залишає можливого значення чи позиції в R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Комірка судоку та кожна відсутня цифра в регіоні повинні мати опцію. Припущення неможливе.
Крок 44 · Вилучіть попередню заливку прямокутника

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

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

R1C3=7 можна видалити, оскільки він не може бути істинним у цьому шаблоні.

R1C3=7 можна видалити, оскільки він не може бути істинним у цьому шаблоні.
R1C3=7 можна видалити, оскільки він не може бути істинним у цьому шаблоні.

Що це дозволяє

R1C3=7 можна видалити, оскільки він не може бути істинним у цьому шаблоні.

Мережа примусових висновків (Forcing Net) · Видаліть спростовану кандидатську цифру або застосуйте результат, спільний для всіх вичерпних гілок.
Мережа примусових висновків (Forcing Net) · Видаліть спростовану кандидатську цифру або застосуйте результат, спільний для всіх вичерпних гілок.

Покроковий приклад · Загальний результат

Приклад починається зі збереженої проміжної позиції. Кандидати враховують попередні логічні виключення, а не щойно створені автоматичні нотатки.

Синій: підстави. Зелений: висновок. Закреслені цифри: виключені кандидати. R1C1 означає рядок 1, стовпець 1.

Крок 1 · Де шукати

Кореневий набір R7C5=2, R7C5=4, R7C5=9 містить усі можливі початку в R7C5, тому кореневі гілки є вичерпними. Це Мережа примусових висновків (Forcing Net), а не Ланцюг примусових висновків (Forcing Chain), тому що перевірений графік залежностей розгортається або зливається замість того, щоб залишатися єдиним лінійним шляхом наслідків. Графік залежностей містить перевірені вузли 58 у кореневих гілках 3. Загальний результат для перевірки – R3C6=2 правда.

Кореневий набір R7C5=2, R7C5=4, R7C5=9 містить усі можливі початку в R7C5, тому кореневі гілки є вичерпними. Це Мережа примусових висновків (Forcing Net), а не Ланцюг примусових висновків (Forcing Chain), тому що перевірений графік залежностей розгортається або зливається замість того, щоб залишатися єдиним лінійним шляхом наслідків. Графік залежностей містить перевірені вузли 58 у кореневих гілках 3. Загальний результат для перевірки – R3C6=2 правда.
Кореневий набір R7C5=2, R7C5=4, R7C5=9 містить усі можливі початку в R7C5, тому кореневі гілки є вичерпними. Це Мережа примусових висновків (Forcing Net), а не Ланцюг примусових висновків (Forcing Chain), тому що перевірений графік залежностей розгортається або зливається замість того, щоб залишатися єдиним лінійним шляхом наслідків. Графік залежностей містить перевірені вузли 58 у кореневих гілках 3. Загальний результат для перевірки – R3C6=2 правда.
Крок 2 · Міркування

Гілка 1: припустимо, що R7C5=2 істинне.

Гілка 1: припустимо, що R7C5=2 істинне.
Гілка 1: припустимо, що R7C5=2 істинне.
Крок 3 · Міркування

R7C5=2 правда. Видаліть R3C5=2.

R7C5=2 правда. Видаліть R3C5=2.
R7C5=2 правда. Видаліть R3C5=2.
Крок 4 · Міркування

Після попередніх виключень R3C6=2 є єдиним варіантом, що залишився в ряд 3. Це вимушено за цим припущенням.

Після попередніх виключень R3C6=2 є єдиним варіантом, що залишився в ряд 3. Це вимушено за цим припущенням.
Після попередніх виключень R3C6=2 є єдиним варіантом, що залишився в ряд 3. Це вимушено за цим припущенням.
Крок 5 · Вилучіть попередню заливку прямокутника

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

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

Гілка 2: припустимо, що R7C5=4 істинне.

Гілка 2: припустимо, що R7C5=4 істинне.
Гілка 2: припустимо, що R7C5=4 істинне.
Крок 7 · Міркування

R7C5=4 правда. Видаліть R8C5=4.

R7C5=4 правда. Видаліть R8C5=4.
R7C5=4 правда. Видаліть R8C5=4.
Крок 8 · Міркування

Після попередніх виключень R8C5=2 є єдиним варіантом, що залишився в R8C5. Це вимушено за цим припущенням.

Після попередніх виключень R8C5=2 є єдиним варіантом, що залишився в R8C5. Це вимушено за цим припущенням.
Після попередніх виключень R8C5=2 є єдиним варіантом, що залишився в R8C5. Це вимушено за цим припущенням.
Крок 9 · Міркування

R8C5=2 правда. Видаліть R3C5=2.

R8C5=2 правда. Видаліть R3C5=2.
R8C5=2 правда. Видаліть R3C5=2.
Крок 10 · Міркування

Після попередніх виключень R3C6=2 є єдиним варіантом, що залишився в ряд 3. Це вимушено за цим припущенням.

Після попередніх виключень R3C6=2 є єдиним варіантом, що залишився в ряд 3. Це вимушено за цим припущенням.
Після попередніх виключень R3C6=2 є єдиним варіантом, що залишився в ряд 3. Це вимушено за цим припущенням.
Крок 11 · Вилучіть попередню заливку прямокутника

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

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

Гілка 3: припустимо, що R7C5=9 істинне.

Гілка 3: припустимо, що R7C5=9 істинне.
Гілка 3: припустимо, що R7C5=9 істинне.
Крок 13 · Міркування

R7C5=9 правда. Видаліть {R7C7=9, R7C8=9, R7C9=9}.

R7C5=9 правда. Видаліть {R7C7=9, R7C8=9, R7C9=9}.
R7C5=9 правда. Видаліть {R7C7=9, R7C8=9, R7C9=9}.
Крок 14 · Міркування

Після попередніх виключень R7C8=7 є єдиним варіантом, що залишився в R7C8. Це вимушено за цим припущенням.

Після попередніх виключень R7C8=7 є єдиним варіантом, що залишився в R7C8. Це вимушено за цим припущенням.
Після попередніх виключень R7C8=7 є єдиним варіантом, що залишився в R7C8. Це вимушено за цим припущенням.
Крок 15 · Міркування

R7C8=7 правда. Видаліть {R7C9=7, R9C7=7, R9C8=7}.

R7C8=7 правда. Видаліть {R7C9=7, R9C7=7, R9C8=7}.
R7C8=7 правда. Видаліть {R7C9=7, R9C7=7, R9C8=7}.
Крок 16 · Міркування

Після попередніх виключень R7C9=8 є єдиним варіантом, що залишився в R7C9. Це вимушено за цим припущенням.

Після попередніх виключень R7C9=8 є єдиним варіантом, що залишився в R7C9. Це вимушено за цим припущенням.
Після попередніх виключень R7C9=8 є єдиним варіантом, що залишився в R7C9. Це вимушено за цим припущенням.
Крок 17 · Міркування

R7C9=8 правда. Видаліть {R7C7=8, R8C7=8, R9C7=8}.

R7C9=8 правда. Видаліть {R7C7=8, R8C7=8, R9C7=8}.
R7C9=8 правда. Видаліть {R7C7=8, R8C7=8, R9C7=8}.
Крок 18 · Міркування

Після попередніх виключень R9C1=7 є єдиним варіантом, що залишився в ряд 9. Це вимушено за цим припущенням.

Після попередніх виключень R9C1=7 є єдиним варіантом, що залишився в ряд 9. Це вимушено за цим припущенням.
Після попередніх виключень R9C1=7 є єдиним варіантом, що залишився в ряд 9. Це вимушено за цим припущенням.
Крок 19 · Міркування

Після попередніх виключень R4C7=8 є єдиним варіантом, що залишився в колонка 7. Це вимушено за цим припущенням.

Після попередніх виключень R4C7=8 є єдиним варіантом, що залишився в колонка 7. Це вимушено за цим припущенням.
Після попередніх виключень R4C7=8 є єдиним варіантом, що залишився в колонка 7. Це вимушено за цим припущенням.
Крок 20 · Міркування

R4C7=8 правда. Видаліть R4C7=5.

R4C7=8 правда. Видаліть R4C7=5.
R4C7=8 правда. Видаліть R4C7=5.
Крок 21 · Міркування

Після попередніх виключень R4C9=7 є єдиним варіантом, що залишився в колонка 9. Це вимушено за цим припущенням.

Після попередніх виключень R4C9=7 є єдиним варіантом, що залишився в колонка 9. Це вимушено за цим припущенням.
Після попередніх виключень R4C9=7 є єдиним варіантом, що залишився в колонка 9. Це вимушено за цим припущенням.
Крок 22 · Міркування

R4C9=7 правда. Видаліть R4C9=9.

R4C9=7 правда. Видаліть R4C9=9.
R4C9=7 правда. Видаліть R4C9=9.
Крок 23 · Міркування

Після попередніх виключень R6C9=9 є єдиним варіантом, що залишився в колонка 9. Це вимушено за цим припущенням.

Після попередніх виключень R6C9=9 є єдиним варіантом, що залишився в колонка 9. Це вимушено за цим припущенням.
Після попередніх виключень R6C9=9 є єдиним варіантом, що залишився в колонка 9. Це вимушено за цим припущенням.
Крок 24 · Міркування

R6C9=9 правда. Видаліть R6C9=1.

R6C9=9 правда. Видаліть R6C9=1.
R6C9=9 правда. Видаліть R6C9=1.
Крок 25 · Міркування

Після попередніх виключень R5C7=1 є єдиним варіантом, що залишився в Блок 3×3 6. Це вимушено за цим припущенням.

Після попередніх виключень R5C7=1 є єдиним варіантом, що залишився в Блок 3×3 6. Це вимушено за цим припущенням.
Після попередніх виключень R5C7=1 є єдиним варіантом, що залишився в Блок 3×3 6. Це вимушено за цим припущенням.
Крок 26 · Міркування

R5C7=1 правда. Видаліть {R5C7=5, R5C7=7}.

R5C7=1 правда. Видаліть {R5C7=5, R5C7=7}.
R5C7=1 правда. Видаліть {R5C7=5, R5C7=7}.
Крок 27 · Міркування

Після попередніх виключень R4C8=5 є єдиним варіантом, що залишився в Блок 3×3 6. Це вимушено за цим припущенням.

Після попередніх виключень R4C8=5 є єдиним варіантом, що залишився в Блок 3×3 6. Це вимушено за цим припущенням.
Після попередніх виключень R4C8=5 є єдиним варіантом, що залишився в Блок 3×3 6. Це вимушено за цим припущенням.
Крок 28 · Міркування

R4C8=5 правда. Видаліть {R4C5=5, R8C8=5}.

R4C8=5 правда. Видаліть {R4C5=5, R8C8=5}.
R4C8=5 правда. Видаліть {R4C5=5, R8C8=5}.
Крок 29 · Міркування

R5C7=1 правда. Видаліть {R2C7=1, R5C1=1}.

R5C7=1 правда. Видаліть {R2C7=1, R5C1=1}.
R5C7=1 правда. Видаліть {R2C7=1, R5C1=1}.
Крок 30 · Міркування

R9C1=7 правда. Видаліть R5C1=7.

R9C1=7 правда. Видаліть R5C1=7.
R9C1=7 правда. Видаліть R5C1=7.
Крок 31 · Міркування

Після попередніх виключень R5C2=7 є єдиним варіантом, що залишився в ряд 5. Це вимушено за цим припущенням.

Після попередніх виключень R5C2=7 є єдиним варіантом, що залишився в ряд 5. Це вимушено за цим припущенням.
Після попередніх виключень R5C2=7 є єдиним варіантом, що залишився в ряд 5. Це вимушено за цим припущенням.
Крок 32 · Міркування

R5C2=7 правда. Видаліть R5C2=3.

R5C2=7 правда. Видаліть R5C2=3.
R5C2=7 правда. Видаліть R5C2=3.
Крок 33 · Міркування

Після попередніх виключень R8C7=5 є єдиним варіантом, що залишився в ряд 8. Це вимушено за цим припущенням.

Після попередніх виключень R8C7=5 є єдиним варіантом, що залишився в ряд 8. Це вимушено за цим припущенням.
Після попередніх виключень R8C7=5 є єдиним варіантом, що залишився в ряд 8. Це вимушено за цим припущенням.
Крок 34 · Міркування

R8C7=5 правда. Видаліть {R8C7=2, R8C7=6}.

R8C7=5 правда. Видаліть {R8C7=2, R8C7=6}.
R8C7=5 правда. Видаліть {R8C7=2, R8C7=6}.
Крок 35 · Міркування

Після попередніх виключень R1C1=1 є єдиним варіантом, що залишився в колонка 1. Це вимушено за цим припущенням.

Після попередніх виключень R1C1=1 є єдиним варіантом, що залишився в колонка 1. Це вимушено за цим припущенням.
Після попередніх виключень R1C1=1 є єдиним варіантом, що залишився в колонка 1. Це вимушено за цим припущенням.
Крок 36 · Міркування

Після попередніх виключень R7C7=6 є єдиним варіантом, що залишився в колонка 7. Це вимушено за цим припущенням.

Після попередніх виключень R7C7=6 є єдиним варіантом, що залишився в колонка 7. Це вимушено за цим припущенням.
Після попередніх виключень R7C7=6 є єдиним варіантом, що залишився в колонка 7. Це вимушено за цим припущенням.
Крок 37 · Міркування

R7C7=6 правда. Видаліть R7C7=2.

R7C7=6 правда. Видаліть R7C7=2.
R7C7=6 правда. Видаліть R7C7=2.
Крок 38 · Міркування

Після попередніх виключень R9C7=2 є єдиним варіантом, що залишився в Блок 3×3 9. Це вимушено за цим припущенням.

Після попередніх виключень R9C7=2 є єдиним варіантом, що залишився в Блок 3×3 9. Це вимушено за цим припущенням.
Після попередніх виключень R9C7=2 є єдиним варіантом, що залишився в Блок 3×3 9. Це вимушено за цим припущенням.
Крок 39 · Міркування

R9C7=2 правда. Видаліть R9C7=9.

R9C7=2 правда. Видаліть R9C7=9.
R9C7=2 правда. Видаліть R9C7=9.
Крок 40 · Міркування

Після попередніх виключень R9C8=9 є єдиним варіантом, що залишився в Блок 3×3 9. Це вимушено за цим припущенням.

Після попередніх виключень R9C8=9 є єдиним варіантом, що залишився в Блок 3×3 9. Це вимушено за цим припущенням.
Після попередніх виключень R9C8=9 є єдиним варіантом, що залишився в Блок 3×3 9. Це вимушено за цим припущенням.
Крок 41 · Міркування

R9C8=9 правда. Видаліть R9C8=3.

R9C8=9 правда. Видаліть R9C8=3.
R9C8=9 правда. Видаліть R9C8=3.
Крок 42 · Міркування

R1C1=1 правда. Видаліть R2C3=1.

R1C1=1 правда. Видаліть R2C3=1.
R1C1=1 правда. Видаліть R2C3=1.
Крок 43 · Міркування

Після попередніх виключень R2C5=1 є єдиним варіантом, що залишився в ряд 2. Це вимушено за цим припущенням.

Після попередніх виключень R2C5=1 є єдиним варіантом, що залишився в ряд 2. Це вимушено за цим припущенням.
Після попередніх виключень R2C5=1 є єдиним варіантом, що залишився в ряд 2. Це вимушено за цим припущенням.
Крок 44 · Міркування

R2C5=1 правда. Видаліть R2C5=5.

R2C5=1 правда. Видаліть R2C5=5.
R2C5=1 правда. Видаліть R2C5=5.
Крок 45 · Міркування

Після попередніх виключень R9C3=3 є єдиним варіантом, що залишився в ряд 9. Це вимушено за цим припущенням.

Після попередніх виключень R9C3=3 є єдиним варіантом, що залишився в ряд 9. Це вимушено за цим припущенням.
Після попередніх виключень R9C3=3 є єдиним варіантом, що залишився в ряд 9. Це вимушено за цим припущенням.
Крок 46 · Міркування

Після попередніх виключень R5C5=5 є єдиним варіантом, що залишився в колонка 5. Це вимушено за цим припущенням.

Після попередніх виключень R5C5=5 є єдиним варіантом, що залишився в колонка 5. Це вимушено за цим припущенням.
Після попередніх виключень R5C5=5 є єдиним варіантом, що залишився в колонка 5. Це вимушено за цим припущенням.
Крок 47 · Міркування

R5C5=5 правда. Видаліть R5C5=3.

R5C5=5 правда. Видаліть R5C5=3.
R5C5=5 правда. Видаліть R5C5=3.
Крок 48 · Міркування

R9C3=3 правда. Видаліть R5C3=3.

R9C3=3 правда. Видаліть R5C3=3.
R9C3=3 правда. Видаліть R5C3=3.
Крок 49 · Міркування

Після попередніх виключень R5C6=3 є єдиним варіантом, що залишився в ряд 5. Це вимушено за цим припущенням.

Після попередніх виключень R5C6=3 є єдиним варіантом, що залишився в ряд 5. Це вимушено за цим припущенням.
Після попередніх виключень R5C6=3 є єдиним варіантом, що залишився в ряд 5. Це вимушено за цим припущенням.
Крок 50 · Міркування

R5C6=3 правда. Видаліть R3C6=3.

R5C6=3 правда. Видаліть R3C6=3.
R5C6=3 правда. Видаліть R3C6=3.
Крок 51 · Міркування

Після попередніх виключень R3C6=2 є єдиним варіантом, що залишився в R3C6. Це вимушено за цим припущенням.

Після попередніх виключень R3C6=2 є єдиним варіантом, що залишився в R3C6. Це вимушено за цим припущенням.
Після попередніх виключень R3C6=2 є єдиним варіантом, що залишився в R3C6. Це вимушено за цим припущенням.
Крок 52 · Міркування

Кожна можлива гілка досягає того самого факту: R3C6=2 правда. Після зняття всіх припущень цей факт залишається очевидним.

Кожна можлива гілка досягає того самого факту: R3C6=2 правда. Після зняття всіх припущень цей факт залишається очевидним.
Кожна можлива гілка досягає того самого факту: R3C6=2 правда. Після зняття всіх припущень цей факт залишається очевидним.
Крок 53 · Висновок

R3C6=2 вимушений цим шаблоном.

R3C6=2 вимушений цим шаблоном.
R3C6=2 вимушений цим шаблоном.

Що це дозволяє

R3C6=2 вимушений цим шаблоном.

Мережа примусових висновків (Forcing Net) · Видаліть спростовану кандидатську цифру або застосуйте результат, спільний для всіх вичерпних гілок.
Мережа примусових висновків (Forcing Net) · Видаліть спростовану кандидатську цифру або застосуйте результат, спільний для всіх вичерпних гілок.

Практика

Цей урок адаптовано з навчальних матеріалів застосунку Platon Sudoku. Прочитайте повний приклад тут, а потім продовжуйте навчання і практику в застосунку.

Переглянути в Google Play