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-звенная цветовая цепочка: одно звено в базовом столбце, одно слабое звено в строке, одно звено в столбце крыши. Две клетки крыши получают противоположные цвета, и любая клетка, в которой видны оба цвета, подлежит исключению.
- «Турбот-рыба» — это общее семейство, а «Skyscraper» — его простейший представитель, Alternating Inference Chains длиной 3 (сильный–слабый–сильный). Понимание этого естественным образом обобщается на «Two-String Kite» и более длинные цепочки «X-Cycles».
Освоение «Skyscraper» — это первый шаг к пониманию всех паттернов «Турбот Фиш» и цепочек «X-Cycles».
Практикуйтесь в решении «Skyscraper» онлайн
«Skyscraper» обычно встречается в сложных головоломках. Играйте в сложные судоку на OnSudoku и обращайте внимание на цифры, которые появляются ровно два раза в двух строках или столбцах — именно там прячутся «Skyscrapers».
Включите заметки карандашом, затем сканируйте цифру за цифрой. Когда найдете Skyscraper, исключите кандидатов, прежде чем ставить какое-либо число — это часто открывает цепочку скрытых одиночек.
Часто задаваемые вопросы
Готовы попрактиковаться в «Skyscraper»? Играйте в сложные судоку и попробуйте найти этот паттерн в реальной головоломке — или создайте бесплатную учетную запись, чтобы отслеживать свои успехи.