Ланцюги одноцифрових кандидатів: Хмарочос, 2-String Kite, Turbot Fish
Ланцюги одноцифрових кандидатів — це сімейство просунутих технік Судоку, заснованих на комбінуванні сильних та слабких зв'язків для одного кандидата. У цій статті розглядаються три поширені техніки ланцюгів: Хмарочос (Skyscraper), 2-String Kite та Turbot Fish. Вони мають однаковий основний принцип, але відрізняються способом з'єднання сильних зв'язків.
- Сильний зв'язок: Коли кандидат з'являється рівно у двох клітинках одиниці (рядок/стовпець/блок), ці клітинки утворюють сильний зв'язок — якщо одна істинна, інша має бути хибною, і навпаки.
- Слабкий зв'язок: Дві клітинки, які "бачать" одна одну (той самий рядок/стовпець/блок), не можуть обидві бути істинними, але можуть обидві бути хибними.
Діаграма показує загальний принцип: A-B та C-D — сильні зв'язки (суцільні лінії), B-C — слабкий зв'язок (пунктирна лінія). Логіка:
- Якщо A хибне → B має бути істинним (сильний зв'язок) → C має бути хибним (слабкий зв'язок) → D має бути істинним (сильний зв'язок)
- Якщо A істинне → позиція A визначена
У будь-якому випадку принаймні одне з A та D має бути істинним. Тому будь-яка клітинка, яка бачить обидва A та D, може виключити цього кандидата.
Загальне правило виключення
Якщо два сильних зв'язки з'єднані слабким зв'язком,
Тоді клітинки, які бачать обидві кінцеві точки (A та D), можуть виключити цього кандидата.
Три техніки відрізняються способом з'єднання слабкого зв'язку:
- Хмарочос: Два паралельних сильних зв'язки рядка/стовпця, з'єднані через той самий рядок/стовпець
- 2-String Kite: Сильний зв'язок рядка та сильний зв'язок стовпця, з'єднані через той самий блок
- Turbot Fish: Сильний зв'язок блоку та сильний зв'язок рядка/стовпця, з'єднані через той самий рядок/стовпець
Хмарочос (Skyscraper)
Хмарочос — найлегший для ідентифікації ланцюг одноцифрових кандидатів. Він має два паралельних сильних зв'язки (обидва в стовпцях або обидва в рядках), з'єднані перпендикулярним слабким зв'язком. Форма нагадує два хмарочоси різної висоти.
Аналіз прикладу
Спостерігаємо за кандидатом 3:
- Якщо R7C3=3 → R3C3≠3 (сильний зв'язок) → R3C8=3 (слабкий зв'язок запускає сильний зв'язок)
- Якщо R7C3≠3 → R3C3=3 (сильний зв'язок)
У будь-якому випадку принаймні одне з R7C3 та R9C8 дорівнює 3.
- R7C9: Той самий рядок що R7C3, той самий блок що R9C8 → Видалити кандидата 3
- R9C1: Той самий рядок що R9C8, той самий блок що R7C3 → Видалити кандидата 3
Хмарочос: Цифра 3, R7C3-R3C3 (сильний зв'язок Стовпця 3) та R3C8-R9C8 (сильний зв'язок Стовпця 8), з'єднані слабким зв'язком Рядка 3.
Дія: Видалити кандидата 3 з R7C9, R9C1.
2-String Kite
2-String Kite має сильний зв'язок рядка та сильний зв'язок стовпця, з'єднані через слабкий зв'язок у тому самому блоці. Форма нагадує повітряного змія з двома нитками (рядок і стовпець), що зустрічаються в блоці.
Аналіз прикладу
Спостерігаємо за кандидатом 7:
- Якщо R1C5=7 → Рядок 1 визначено
- Якщо R1C5≠7 → R1C9=7 (сильний зв'язок) → R2C8≠7 (слабкий зв'язок) → R4C8=7 (сильний зв'язок)
У будь-якому випадку принаймні одне з R1C5 та R4C8 дорівнює 7.
- R4C5: Той самий стовпець що R1C5, той самий рядок що R4C8 → Видалити кандидата 7
2-String Kite: Цифра 7, R1C5-R1C9 (сильний зв'язок Рядка 1) та R2C8-R4C8 (сильний зв'язок Стовпця 8), з'єднані слабким зв'язком Блоку 3.
Дія: Видалити кандидата 7 з R4C5.
Turbot Fish
Turbot Fish має сильний зв'язок блоку та сильний зв'язок рядка/стовпця, з'єднані через слабкий зв'язок у тому самому рядку або стовпці. Це найгнучкіша форма ланцюга одноцифрових кандидатів.
Аналіз прикладу
Спостерігаємо за кандидатом 2:
- Якщо R2C1=2 → Блок 1 визначено
- Якщо R2C1≠2 → R3C2=2 (сильний зв'язок) → R3C9≠2 (слабкий зв'язок) → R6C9=2 (сильний зв'язок)
У будь-якому випадку принаймні одне з R2C1 та R6C9 дорівнює 2.
- R6C1: Той самий стовпець що R2C1, той самий рядок що R6C9 → Видалити кандидата 2
Turbot Fish: Цифра 2, R2C1-R3C2 (сильний зв'язок Блоку 1) та R3C9-R6C9 (сильний зв'язок Стовпця 9), з'єднані слабким зв'язком Рядка 3.
Дія: Видалити кандидата 2 з R6C1.
Порівняння трьох технік
| Техніка | Сильний зв'язок 1 | Сильний зв'язок 2 | Слабкий зв'язок | Розпізнавання |
|---|---|---|---|---|
| Хмарочос | Рядок/Стовпець | Паралельний Рядок/Стовпець | Той самий Рядок/Стовпець | Дві паралельні лінії, як хмарочоси |
| 2-String Kite | Рядок | Стовпець | Той самий Блок | Рядок і стовпець перетинаються, як нитки змія |
| Turbot Fish | Блок | Рядок/Стовпець | Той самий Рядок/Стовпець | Блок з рядком/стовпцем, найгнучкіший |
Як знайти ланцюги одноцифрових кандидатів
- Почніть з Хмарочоса — паралельні сильні зв'язки найлегше помітити
- Звертайте увагу на межі блоків для 2-String Kite
- Turbot Fish найгнучкіший, але найважчий для знаходження — слідкуйте за блоками та лініями
- Використовуйте підсвічування кандидатів у розв'язувачі, щоб легше бачити сильні зв'язки
Підсумок
- Основний принцип: Два сильних зв'язки, з'єднані слабким зв'язком, утворюють ланцюг міркувань
- Правило виключення: Клітинки, які бачать обидві зовнішні кінцеві точки, можуть виключити кандидата
- Застосування: Просунута техніка, коли проміжні методи не працюють
- Складність: Хмарочос < 2-String Kite < Turbot Fish
Розпочніть складну головоломку Судоку та спробуйте знайти ці три техніки ланцюгів одноцифрових кандидатів!