Skyscraper
Volodymyr Sakhan ·
Skyscraper — це просунута техніка виключення одноцифрових чисел. Після того як ви вичерпали всі відкриті та приховані одинаки, вказівні пари та голі пари, «Skyscraper» — це одна з перших схем, на яку слід звернути увагу. У нашому повному посібнику з розв’язання судоку ви дізнаєтеся, де вона вписується в загальний порядок розв’язання.
Що таке техніка «Skyscraper»?
«Skyscraper» — це візерунок із чотирьох клітинок, побудований на основі однієї цифри. Вам потрібні два рядки (або два стовпці), де ця цифра з'являється рівно двічі в кожному, і ці два рядки мають спільний стовпець, що містить по одному кандидату з кожного рядка. Ці дві клітинки спільного стовпця є основою. Решта дві клітинки — по одній з кожного рядка в різних стовпцях — є дахом.
Шаблон має три названі частини:
- Базова пара — дві клітинки в одному стовпці (або рядку), по одній з кожного з двох рядків. Вони утворюють сильний зв'язок: саме одна з них є цільовою цифрою.
- Пара даху — решта двох кандидатів, кожен у різному стовпці. Принаймні один із них має бути цільовою цифрою.
- Цілі для виключення — будь-яка клітинка, з якої видно обидві клітинки даху (яка має спільний рядок, стовпець або блок з обома), не може містити цю цифру.
Логіка слідує короткому ланцюжку: якщо клітинка даху R1 не є цифрою, то її партнеркою з основи має бути, що змушує іншу клітинку з основи бути помилковою, що, у свою чергу, змушує клітинку даху R2 бути істинною. У будь-якому випадку, принаймні одна клітинка даху завжди є істинною — тому будь-яка клітинка, що бачить обидві, завжди є помилковою.
Коли використовувати «Skyscraper»
Шукайте «Skyscraper» після того, як простіші техніки перестали працювати. Процес сканування простий:
- Виберіть цифру і відзначте кожен рядок (або стовпець), де вона з'являється рівно двічі.
- Перевірте, чи є серед цих рядків такі, що мають саме один спільний стовпець, який містить по одному кандидату з кожного рядка.
- Якщо так, то дві клітинки зі спільним стовпцем є базою; дві інші клітинки — дахом.
- Шукайте будь-яку клітинку, з якої видно обидві клітинки даху — цю клітинку можна виключити.
Покрокові приклади
Приклад 1 — «Skyscraper» на основі стовпців (цифра 1)
У цій позиції цільовою цифрою є 1. Два стовпці містять по два кандидати на цифру 1 і мають спільний рядок — це класичний Skyscraper на основі стовпців.
- Шукаємо цифру 1: стовпець A має рівно двох кандидатів — A3 та A5.
- У стовпці D також є рівно два кандидати — D1 і D5.
- A5 і D5 знаходяться в одному рядку 5 — це базова пара (виділена синім).
- Пара даху — це A3 і D1 (виділені зеленим кольором) — вони знаходяться в різних рядках і різних стовпцях.
- Ланцюжок: якщо A3 ≠ 1, то A5 = 1, що змушує D5 ≠ 1, що змушує D1 = 1. Отже, принаймні один з {A3, D1} завжди дорівнює 1.
- B1 бачить A3 (той самий блок, ліворуч вгорі) та D1 (той самий рядок 1) → B1 ≠ 1.
- C1 бачить A3 (той самий блок) і D1 (той самий рядок 1) → C1 ≠ 1.
- E3 і F3 бачать A3 (той самий рядок 3) і D1 (той самий блок вгорі посередині) → E3 ≠ 1, F3 ≠ 1.
Видалення 1 з B1, C1, E3 та F3 розриває тупикову ситуацію та відкриває шлях до подальших висновків.
Приклад 2 — «Skyscraper» на основі рядків (цифра 7)
Тут та сама структура проходить по рядках, а не по стовпцях. Цифра 7 з'являється рівно двічі в кожному з двох рядків, і ці рядки мають спільний стовпець — це дає Skyscraper на основі рядків.
- Шукаємо цифру 7: у рядку 2 є рівно два кандидати — A2 та D2.
- У рядку 8 також є рівно два — A8 та E8.
- A2 та A8 мають спільний стовпець A — це базова пара (виділена синім). Стовпець A має саме цих двох кандидатів на 7, тому саме один з них є 7.
- Пара даху — це D2 та E8 (виділені зеленим кольором) — різні стовпці, різні рядки.
- Ланцюжок: якщо D2 ≠ 7, то A2 = 7, що змушує A8 ≠ 7, що змушує E8 = 7. Принаймні один із {D2, E8} завжди дорівнює 7.
- D9 бачить D2 (той самий стовпець D) та E8 (той самий нижній центральний блок, рядки 7–9, стовпці D–F) → D9 ≠ 7.
Виключення 7 з D9 — це єдиний висновок, необхідний для того, щоб розв'язати цю позицію на дошці.
«Skyscraper» проти «X-Wing» та Простого розфарбування
«Skyscraper» тісно пов'язаний з двома іншими просунутими техніками. Розуміння відмінностей допоможе вам побачити загальну картину виключення одноцифрових чисел:
- X-Wing вимагає, щоб обидві кон'юговані пари вишикувалися в тих самих двох стовпцях, утворюючи прямокутник. «Skyscraper» пом’якшує цю вимогу — стовпець основи спільний, але клітинки даху потрапляють у різні стовпці. «X-Wing» виключає кандидати з цілих стовпців; «Skyscraper» виключає лише з клітинок, які бачать обидва кінці даху.
- Просте розфарбування призначає чергування кольорів уздовж кон'югованих пар. Skyscraper — це саме 3-ланковий колірний ланцюжок: одне сполучення в базовому стовпці, одне слабке сполучення в ряду, одне сполучення в стовпці даху. Дві клітинки даху отримують протилежні кольори, і будь-яка клітинка, що бачить обидва кольори, виключається.
- Turbot Fish — це загальна родина, а Skyscraper — її найпростіший представник, Alternating Inference Chains довжиною 3 (сильний–слабкий–сильний). Розуміння цього природно узагальнюється на Two-String Kite та довші ланцюжки X-Cycles.
Опанування «Skyscraper» — це перший крок до розуміння всіх патернів «Турбот Фіш» та ланцюжків «X-Cycles».
Практикуйте «Skyscraper» онлайн
«Skyscraper» зазвичай з'являється у складних головоломках. Грайте у складні судоку на OnSudoku і стежте за цифрами, які з'являються рівно двічі у двох рядках або стовпцях — саме там ховаються «Skyscrapers».
Увімкніть нотатки олівцем, а потім скануйте цифру за цифрою. Коли ви знайдете Skyscraper, виключіть кандидати, перш ніж ставити будь-яку цифру — це часто відкриває ланцюжок прихованих одинаків.
Поширені запитання
Готові потренуватися у Skyscraper? Грайте у складні судоку та спробуйте виявити закономірність у реальній головоломці — або створіть безкоштовний обліковий запис, щоб відстежувати свій прогрес.