Метод спроб і помилок (біфуркація)
ПросунутийСистемне припущення з поверненням як техніка останньої надії
Метод спроб і помилок (його також називають біфуркацією або аналізом «а що, якщо») — це техніка останньої надії. Якщо жодного логічного шаблону знайти не вдається, оберіть клітинку з двома кандидатами, припустіть одне значення й простежте ланцюжок наслідків до розв'язку або до суперечності.
Розуміння принципу
Оберіть клітинку з найменшою кількістю кандидатів — в ідеалі з рівно двома.
Оберіть одного кандидата й поставте його пробно. Чітко позначте свої нотатки, щоб мати змогу повернутися.
Простежте всі вимушені наслідки: Naked Single, Hidden Single та будь-які інші техніки, які спрацьовують.
Якщо ви натрапили на суперечність (клітинка без кандидатів або зона, де для цифри немає місця), припущене значення було хибним.
Зітріть усі пробні записи й поставте у вихідну клітинку ІНШОГО кандидата — він і має бути правильним.
Якщо суперечність не з'являється швидко, можливо, доведеться зробити друге припущення глибше в ланцюжку.
В інформатиці це називають пошуком у глибину. Більшість пуристів судоку вважають метод неелегантним, але він працює завжди.
Важлива порада: спершу вичерпайте всі логічні техніки — тоді метод спроб і помилок спрацює швидше, бо порожніх клітинок лишиться менше.
Приклади
Біфуркація від клітинки з двома кандидатами
Клітинка R4C4 має лише кандидатів {3,8}. Припустімо, що R4C4 = 3. Це змушує R4C7 = 8 (останнє місце для 8 у рядку 4), що змушує R2C7 = 6 (єдиний кандидат, що лишився), що змушує R6C4 = 9. Але тоді в R7C4 не лишається жодного припустимого кандидата — суперечність! Отже, у R4C4 має стояти 8.
Поради від профі
- •Завжди спершу вичерпуйте логічні техніки — метод спроб і помилок має бути останнім засобом
- •Обирайте клітинки з найменшою кількістю кандидатів, щоб мінімізувати розгалуження
- •Клітинки рівно з 2 кандидатами ідеальні, бо один із них обов'язково хибний
- •Чітко позначайте пробні розміщення й тримайте чисту точку збереження, куди можна повернутися
- •Якщо припущення було хибним, суперечність зазвичай виринає протягом 5-10 вимушених ходів
- •У цифрових розв'язувачах щедро користуйтеся функцією скасування, а на папері пишіть легкими олівцевими позначками
