Техніка Голих Пар: Виявлення та використання пар кандидатів
Голі Пари (англ. Naked Pairs) — один з найчастіше використовуваних методів серед технік Судоку середнього рівня. Основна ідея полягає в тому, що коли дві клітинки в одному рядку, стовпці або блоці мають однакових двох кандидатів, ці дві цифри повинні бути вписані в ці дві клітинки окремо, тому їх можна виключити з інших клітинок у цій одиниці.
Якщо в рядку, стовпці або блоці дві клітинки мають кандидатами однакові дві цифри (наприклад, обидві мають 2 і 3), то ці дві цифри повинні належати цим двом клітинкам. Тому що якщо одна клітинка містить 2, інша повинна містити 3; і навпаки. Тому інші клітинки в цій одиниці не можуть містити ці дві цифри.
Перед читанням цієї статті рекомендуємо ознайомитися з правилами найменування рядків-стовпців-блоків Судоку, що допоможе зрозуміти приклади аналізу нижче.
Приклад 1: Голі Пари в стовпці
Розглянемо перший приклад, знаходячи пару клітинок з однаковими кандидатами в стовпці 5.
Процес аналізу
- R2C5 має кандидатів {1,2,3,4}, видаліть 2 і 3
- R7C5 має кандидатів {1,2,3,4,7}, видаліть 2 і 3
- R9C5 має кандидатів {1,2,3,4,6,7}, видаліть 2 і 3
У стовпці 5, R3C5 і R5C5 утворюють Голу Пару {2, 3}.
Дія: Видаліть кандидатів 2, 3 з R2C5; видаліть кандидатів 2, 3 з R7C5; видаліть кандидатів 2, 3 з R9C5.
Приклад 2: Голі Пари в блоці
Тепер розглянемо інший приклад, знаходячи Голу Пару в блоці 3 (область 3×3 у верхньому правому куті).
Процес аналізу
- R1C7 має кандидатів {2,7,8,9}, видаліть 7 і 9
- R1C9 має кандидатів {2,3,7,8}, видаліть 7
- R2C8 має кандидатів {4,6,7,9}, видаліть 7 і 9
- R2C9 має кандидатів {3,4,6,7}, видаліть 7
- R3C9 має кандидатів {3,4,7}, видаліть 7
У блоці 3, R1C8 і R2C7 утворюють Голу Пару {7, 9}.
Дія: Видаліть кандидатів 7, 9 з R1C7; видаліть кандидата 7 з R1C9; видаліть кандидатів 7, 9 з R2C8; видаліть кандидата 7 з R2C9; видаліть кандидата 7 з R3C9.
Голі Пари порівняно з іншими техніками
Порівняємо Голі Пари з базовими техніками:
| Порівняння | Голий Сингл (Naked Single) | Прихований Сингл (Hidden Single) | Голі Пари (Naked Pairs) |
|---|---|---|---|
| Фокус на | Одній клітинці | Одній цифрі | Двох клітинках + двох цифрах |
| Умова | Клітинка має лише 1 кандидата | Цифра має лише 1 позицію в одиниці | Дві клітинки мають однакових 2 кандидатів |
| Результат | Безпосередньо визначає відповідь | Безпосередньо визначає відповідь | Виключає кандидатів з інших клітинок |
| Складність | Базова | Базова | Середня |
В англійській термінології "Naked" означає, що кандидати "голі", видимі—кандидати обох клітинок явно лише ці дві цифри. На відміну від "Hidden Pairs" (Приховані Пари), де дві цифри з'являються лише в двох клітинках одиниці, але ці клітинки можуть мати інших кандидатів.
Підсумок техніки
Ключові моменти застосування Голих Пар:
- Умова пошуку: Дві клітинки повинні бути в одному рядку, стовпці або блоці
- Вимога до кандидатів: Кандидати обох клітинок повинні бути абсолютно однаковими і лише дві цифри
- Область виключення: Можна виключити цих двох кандидатів лише з інших клітинок у тій самій одиниці
- Примітка: Голі Пари не дають безпосередньо відповіді, а спрощують проблему шляхом виключення кандидатів
- Обидві клітинки повинні бути в одній одиниці (рядку/стовпці/блоці), щоб утворити пару
- Можна виключати кандидатів лише в одиниці, що утворює пару, не можна виключати між одиницями
- Якщо дві клітинки мають кандидатів {2,3} і {2,3,7}, вони не утворюють Голу Пару (кандидати не однакові)
Просунутий рівень: Гола Трійка
Голі Пари можна розширити до Голої Трійки (Naked Triples): коли три клітинки в одній одиниці мають кандидатів, що є підмножиною однакових трьох цифр, ці три цифри можна виключити з інших клітинок. Наприклад, три клітинки мають кандидатів {1,2}, {2,3}, {1,3}, вони разом використовують 1, 2, 3, утворюючи трійку.
Почніть гру в Судоку і спробуйте використати Голі Пари, щоб знайти кандидатів для виключення!