Чому судоку має один розв'язок
Коректне судоку має рівно один розв'язок, досяжний чистою логікою — гарантія, що робить вгадування непотрібним.
Визначальна властивість коректного судоку — унікальність: є рівно один спосіб заповнити сітку, що задовольняє кожне правило. Це не приємний бонус — саме це робить головоломку розв'язуваною логікою, бо на кожному кроці правильний хід вимушений, а не обраний.
Сітка з двома чи більше розв'язками — не справжнє судоку; як і та, що не має жодного. Поважні головоломки проганяють через розв'язувач, який підтверджує єдину, логічно досяжну відповідь перед публікацією.
Чому унікальність важлива
Якби головоломка мала два розв'язки, то в якийсь момент ви зіткнулися б зі справжнім вибором без логічної причини віддати перевагу одній гілці — вам довелося б угадувати. Гарантія унікальності це знімає: щойно ви застрягли, наступний висновок існує — ви просто його ще не знайшли.
Як забезпечується унікальність
Генератор розставляє цифри, а потім прибирає підказки по одній, перевіряючи після кожного видалення, що сітка все ще має рівно один розв'язок. Тієї миті, коли видалення підказки дозволило б другий розв'язок, цю підказку залишають. Опублікована головоломка тому є майже мінімальною й доказово унікальною.
- Два розв'язки ⇒ вимушений здогад ⇒ не коректне судоку.
- Генератори перевіряють єдиний розв'язок перед публікацією.
- Деякі складні техніки (unique rectangles, BUG) використовують цю гарантію безпосередньо.
Поширені запитання
- Чи може судоку мати більше одного розв'язку?
- Коректне — не може. Якщо сітка має кілька завершень, це не коректне судоку, бо для його розв'язання знадобився б довільний здогад. Опубліковані головоломки перевіряють на унікальність.
- Чи доводиться мені колись угадувати в судоку?
- Ні. Оскільки розв'язок унікальний, кожен крок вимушений логікою. Якщо вас тягне вгадати, то є висновок, якого ви ще не помітили.
Пов'язані матеріали
Докладніше
Тренуйтеся онлайн
Застосуйте це на безкоштовних головоломках із підказками, нотатками та чотирма рівнями складності.
Грати в судоку