почти замкнутые множества

почти замкнутые множества

Эксперт

Что такое почти заблокированный набор?

ALS — это N клеток в одном доме ровно с N+1 различными кандидатами. Он «почти заблокирован» — уберите одного кандидата, и он станет голым подмножеством. Простейший ALS — это ячейка с двумя значениями (1 ячейка, 2 кандидата). Все клетки должны находиться в одном доме.

Что такое ограниченный общий кандидат?

RCC — это цифра, встречающаяся и в ALS A, и в ALS B, причём каждый экземпляр этой цифры в A видит каждый экземпляр этой цифры в B. Поскольку два ALS не могут использовать RCC одновременно, по крайней мере один ALS должен потерять RCC и стать заблокированным набором.

Именно это давление заблокированного набора и создаёт исключения. Если два ALS также имеют общую другую цифру Z, то Z должна появиться хотя бы в одном из ALS. Любой внешний ячейка, который видит все возможные расположения Z в обоих ALS, не может содержать Z.

ALS-XZ: Основное правило двух ALS

ALS-XZ использует два ALS. Они имеют общий ограниченный кандидат X и второй общий кандидат Z. Поскольку X не может занимать оба ALS, по крайней мере один ALS вынужден разрешиться без X. Когда это происходит, Z оказывается заблокированной в этом ALS, если только она уже не вынуждена в другом.

Следовательно, Z должна появиться где-то в двух ALS. Исключите Z из любого ячейка, который видит всех кандидатов Z в обоих ALS. Уровень 10 (Мастер).

почти замкнутые множества: Поиск ALS

Приложение также перечисляет почти замкнутые множества как технику, потому что распознавание ALS полезно само по себе. ALS не даёт исключения, пока не взаимодействует с другим ALS, стержневым ячейка или пересечением блока и линии. Практический навык — научиться замечать небольшие группы клеток, объединение кандидатов которых всего на одну цифру больше числа клеток.

Большинство техник на основе ALS начинаются с каталогизации этих наборов, а затем проверяют, обладают ли их общие кандидаты видимостью, необходимой для RCC.

Цепочка ALS: Соединение нескольких почти замкнутые множества

Цепочка ALS соединяет несколько ALS через RCC. Каждая соседняя пара имеет ограниченный общий кандидат, и цепочка чередует, какой ALS вынужден стать заблокированным при рассмотрении каждого RCC.

Цель исключения появляется и в первом, и в последнем ALS. Если внешний ячейка видит все возможные расположения цели на обоих концах цепочки, его можно исключить. Уровень 11 (Экстрим). ALS-XZ — самая короткая полезная версия этой идеи.

Сю де Кок: Шаблон пересечения ALS

Сю де Кок использует пересечение блока со строкой или столбцом. Это пересечение содержит две или три клетки, принадлежащие обоим домам. Кандидаты в этих клетках пересечения должны быть обеспечены стороной линии, стороной блока или самим пересечением.

Метод ищет два вспомогательных набора: один в остальной части строки или столбца, и один в остальной части блока. Их кандидаты не пересекаются и вместе покрывают кандидатов, которые могут занять пересечение. Когда учёт завершён, совпадающие кандидаты можно удалить из других клеток той же линии или блока.

Уровень 9 (Мастер).

цветок смерти: Метод ALS «Стебель и лепесток»

цветок смерти начинается со стебля ячейка, имеющего N кандидатов. Для каждого кандидата стебля есть соответствующий лепесток ALS. Если стебель принимает один кандидат, его парный лепесток теряет этот кандидат и становится заблокированным.

Какое бы значение в итоге ни принял стебель, один из лепестков вынужденно переходит в заблокированное состояние. Если одна и та же цифра исключения появляется во всех лепестках, то эта цифра должна быть обеспечена хотя бы одним лепестком. Любой внешний ячейка, видящий все возможные вхождения этой цифры во всех лепестках, может её исключить.

Уровень 11 (Экстрим).

Как находить шаблоны ALS

Составьте каталог ALS в каждом доме. Ищите пары, разделяющие кандидатов с допустимыми RCC. Для Сю де Кок сосредоточьтесь на пересечениях блока и линии. Для цветок смерти начинайте с клеток стебля с малым числом кандидатов.

Оценки сложности

почти замкнутые множества: Уровень 9, Мастер

Сю де Кок: Уровень 9, Мастер

ALS-XZ: Уровень 10, Мастер

Цепочка ALS: Уровень 11, Экстрим

цветок смерти: Уровень 11, Экстрим

Итог

Методы ALS строятся на двух понятиях: почти заблокированный набор (N клеток, N+1 кандидатов) и ограниченный общий кандидат. почти замкнутые множества дают строительные блоки; ALS-XZ, цепочки ALS, Сю де Кок и цветок смерти используют эти блоки в разных конфигурациях. Вместе они образуют одно из самых мощных семейств для решения самых сложных головоломок.