Aligned Pair Exclusion работает в обратную сторону по сравнению с большинством приемов: вместо поиска фигуры ты берешь две ячейки, выписываешь все пары цифр, которые они могли бы содержать вместе, и вычеркиваешь пары, которые что-то сломали бы. Что уцелело, показывает, какие кандидаты еще возможны.
Две ячейки выровнены, когда лежат в одной области, поэтому никогда не могут содержать одну и ту же цифру. Шаблон сильнее всего, когда две ячейки одновременно делят блок и линию, потому что тогда у них много общих связанных ячеек.
Теперь посмотри на ячейки с двумя кандидатами, которые видят обе выбранные ячейки. Каждая из них это небольшое вето. Ячейка с {a, b} в итоге станет a или b. Если первая ячейка возьмет a, а вторая возьмет b, у этой ячейки ничего не останется. Значит, сочетание a-b невозможно, как и b-a.
Прогони это вето по каждой паре, и любой кандидат, который не уцелел ни в одном сочетании, можно убрать.
Aligned Pair Exclusion стоит усилий при двух условиях:
Классическая обстановка: пустой угол блока напротив плотно заполненного блока.
| Хорошая пара для проверки | Плохая пара для проверки | |
|---|---|---|
| Кандидатов в ячейке | 2-3 | 4 и больше |
| Общие области | блок и линия | только одна линия |
| Ячеек с двумя кандидатами, видимых обеими | 3 и больше | 0-1 |
| Пар для проверки | меньше 10 | 20+ |
Пара это 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 Pair Exclusion по лестнице сложности, ближе к экстремальному краю, поэтому смотреть на него стоит только после неудачи с парной формой.
Aligned Pair Exclusion это дьявольский прием. Впервые он становится необходимым в головоломках уровня «Эксперт», обычно когда Wing-приемы и рыбы иссякли, а на поле еще остался плотный участок ячеек с двумя кандидатами. Более легкие уровни в нем не нуждаются.