Час грати?

Грати в судоку!

Aligned Pair Exclusion: виключення вирівняної пари

ДиявольськіКласичне + кілерКрок 30 з 384 хвилини читання

Aligned Pair Exclusion працює навпаки, ніж більшість технік: замість полювання на фігуру ти береш дві клітинки, перелічуєш усі пари цифр, які вони можуть містити разом, і викреслюєш пари, що зламали б щось інше. Те, що вціліло, показує, які кандидати ще можливі.

Що це за візерунок

Дві клітинки вирівняні, коли вони лежать в одній області, тож ніколи не містять однакової цифри. Візерунок найсильніший, коли дві клітинки водночас ділять блок і лінію, бо тоді в них багато спільних пов'язаних клітинок.

Тепер подивись на клітинки з двома кандидатами, які бачать обидві обрані клітинки. Кожна з них — маленьке вето. Клітинка з {a, b} має стати a або b. Якби твоя перша клітинка взяла a, а друга b, у цієї клітинки не лишилося б нічого. Тож комбінація a-b неможлива, як і b-a.

Пройди цим вето по кожній парі, і будь-якого кандидата, що не вціліє в жодній комбінації, можна видалити.

Коли її шукати

Дві умови роблять Aligned Pair Exclusion вартою зусиль:

  • Дві клітинки в одному блоці по три-чотири кандидати кожна, щоб список пар лишався коротким.
  • Скупчення клітинок із двома кандидатами навколо. Трьох-чотирьох вето зазвичай досить, щоб спрацювало.

Класична ситуація: порожній кут блоку навпроти заповненого блоку.

Добра пара для перевіркиПогана пара для перевірки
Кандидатів у клітинці2-34 або більше
Спільні областіблок і лініялише одна лінія
Клітинок із двома кандидатами, що видно обом3 або більше0-1
Пар для перевіркименше 1020+

Як застосувати, крок за кроком

  1. Обери дві нерозв'язані клітинки в одній області. Тримай їх малими: ідеально по два-три кандидати.
  2. Перелічи всі впорядковані пари цифр, які вони можуть взяти. Відкинь пари, де обидві клітинки беруть однакову цифру, бо спільна область це забороняє.
  3. Перелічи клітинки з двома кандидатами, які бачать обидві обрані клітинки.
  4. Видали кожну пару, що збігається з двома цифрами такої клітинки, в обох порядках.
  5. Прочитай пари, що вціліли. Цифра, якої немає в жодній уцілілій парі для своєї клітинки, виключається.
  6. Якщо для клітинки лишилася лише одна цифра, постав її.

Розібраний приклад

Пара — D2 і D3. Обидві лежать у рядку D і блоці 4, тож ніколи не містять однакової цифри. Стеж за чотирма клітинками з двома кандидатами, які бачать обидві.

  1. Простіші техніки вичерпано. Придивись до D2 і D3, що мають спільні рядок D і блок 4.

  2. D2 і D3 мають спільні рядок D і блок 4, тож ніколи не можуть містити однакову цифру.

    D2 має 1, 5, 7, 9, а D3 має 2, 5, 9. Перевір, які пари значень вони можуть набути разом.

  3. Чотири клітинки з двома кандидатами бачать і D2, і D3: D7 {1,2} і D4 {2,9} через рядок D, E1 {2,7} і F3 {2,5} через блок 4.

    Якби D2 і D3 набули обох цифр однієї з цих клітинок, ця клітинка лишилася б порожньою.

  4. Спробуй D3 = 2 з D2 = 1. D7 бачить обидві клітинки через рядок D, тож втрачає 2 і 1 і лишається ні з чим.

  5. Інші партнери зазнають невдачі так само: D2 = 5 спустошує F3, D2 = 7 спустошує E1, D2 = 9 спустошує D4.

    Тож для 2 в D3 у D2 партнера немає зовсім. Значення 5 і 9 в D3 мають партнера, за якого кожна з цих клітинок зберігає цифру.

  6. 2 видалено з D3, бо кожне значення D2 у парі з нею спустошило б одну з D7, F3, E1 чи D4.

Простіші техніки вичерпано. Придивись до D2 і D3, що мають спільні рядок D і блок 4.

D2 містить 1, 5, 7 і 9, а D3 — 2, 5 і 9. Чотири клітинки з двома кандидатами бачать обидві: D7 і D4 через рядок D, E1 і F3 через блок 4. Спершу перевіряємо D3 = 2. У парі з D2 = 1 це спорожнює D7, з D2 = 5 — F3, з D2 = 7 — E1, а з D2 = 9 — D4. Тож 2 узагалі не має партнера в D2 і йде з D3, яка стає . 5 і 9 у D3 мають по партнеру, що залишає кожному вето-клітинці цифру. Цього разу результат — одне виключення, а не постановка, чого все одно досить, щоб зрушити застиглу сітку.

Типові помилки

  • Обирати дві клітинки, що не ділять область. Тоді вони можуть містити однакову цифру, і половина твоїх вето зникає.
  • Використовувати клітинку з двома кандидатами, яку бачить лише одна з двох клітинок. Вона має бачити обидві.
  • Забувати зворотний порядок. {a, b} накладає вето на a-b і на b-a.
  • Виключати цифру, що ще є в одній уцілілій парі. Одного вцілілого досить, щоб кандидат лишився.
  • Перевіряти клітинки по п'ять кандидатів. Двадцять п'ять пар — це бухгалтерія, а не техніка.

Те саме міркування поширюється на три вирівняні клітинки й на майже заблоковані множини, використані замість клітинок із двома кандидатами, але найбільше користі за хвилину дає саме форма з двома клітинками.

Aligned Triplet Exclusion

Застосуй ту саму ідею до трьох клітинок одразу й перелічи всі комбінації з трьох цифр, які вони можуть містити разом, пропускаючи кожну комбінацію, що повторює цифру у двох клітинках, які ділять область. Тепер вето-клітинки — це клітинки з двома-трьома кандидатами, що бачать усі три обрані клітинки: комбінація неможлива, якщо три обрані клітинки забрали б усіх кандидатів такої клітинки.

Викресли кожну комбінацію, що залишила б одну з цих клітинок без кандидатів, як і раніше. Цифра, що не вціліла в жодній комбінації для своєї клітинки, виключається.

Aligned Triplet Exclusion важче знайти й рідше вона окупається, ніж форма з двома клітинками: список комбінацій швидко росте, і кожна вето-клітинка має бачити всі три обрані. Вона стоїть вище за Aligned Pair Exclusion на драбині складності, ближче до екстремального кінця, тож заглядай до неї лише після того, як форма з парою не спрацювала.

Де ти її зустрінеш

Aligned Pair Exclusion — диявольська техніка. Вона вперше стає потрібною в головоломках рівня «Експерт», зазвичай коли «крила» та «риби» вичерпались, а в сітці лишилася щільна кишеня клітинок із двома кандидатами. Легші рівні її ніколи не потребують.