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

Ланцюг примусових висновків (Forcing Chain) · Покроковий приклад

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

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

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

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

Вичерпний набір альтернативних цифр-кандидатів простежується через окремі лінійні ланцюжки наслідків.

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

Виберіть поділ істини/неправди або всі позиції цифри в одній області; стежте за кожною гілкою до її перевіреного наслідку.

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

Зберігайте лише розміщення або усунення, спільне для кожної життєздатної гілки.

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

Одна гілка для досягнення результату недостатня; стартові альтернативи повинні охоплювати всі можливості.

Покроковий приклад · Дві гілки

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

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

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

Загальний результат для доведення – R1C2=7; вимикач гілки - R1C2=5. Будь-яка кандидатська цифра є або істинною, або хибною, тому ці дві гілки охоплюють усі можливості. Якщо обидва досягають спільного результату, цей результат форсується.

Крок 2 · Міркування

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

Крок 3 · Міркування

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

Крок 4 · Вилучіть попередню заливку прямокутника

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

Крок 5 · Міркування

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

Крок 6 · Міркування

R1C2=5 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 1. Тому R1C5=5 має бути істинним.

Крок 7 · Міркування

R1C5=5 правда. Видаліть R2C5=5 з колонка 5.

Крок 8 · Міркування

R2C5=5 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 2. Тому R2C8=5 має бути істинним.

Крок 9 · Міркування

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

Крок 10 · Міркування

R2C8=9 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 2. Тому R2C4=9 має бути істинним.

Крок 11 · Міркування

R2C4=9 правда. Видаліть R1C4=9 з колонка 4.

Крок 12 · Міркування

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

Крок 13 · Міркування

R1C4=7 правда. Видаліть R1C2=7 з ряд 1.

Крок 14 · Міркування

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

Крок 15 · Висновок

Перевірений результат – R1C2=7 невірний. Усі тимчасові припущення знято.

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

Перевірений результат – R1C2=7 невірний. Усі тимчасові припущення знято.

Ланцюг примусових висновків (Forcing Chain) · Зберігайте лише розміщення або усунення, спільне для кожної життєздатної гілки.

Покроковий приклад · Кілька відділень

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

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

Корені R2C4=2, R2C4=3, R2C4=6, R2C4=7 — це всі можливі цифри-кандидати в R2C4. Дотримуйтеся кожного як окремого лінійного ланцюга наслідків; якщо кожен корінь досягає R2C6=3, цей результат примусовий. Кілька коренів самі по собі не роблять це Мережа примусових висновків (Forcing Net).