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

Слово «голое» означает, что кандидаты полностью видны и открыты. Вам не нужно искать цифры, скрытые среди других кандидатов. Подмножество явно заявляет о себе через пометки карандашом в этих клетках.

Существует четыре техники голых подмножеств, по одной на каждый возможный размер группы:

- одиночка голая (N=1) -- одна ячейка с одним кандидатом

- голая пара (N=2) -- две клетки, объединённые кандидаты которых составляют ровно две цифры

- голый тройной (N=3) -- три клетки, объединённые кандидаты которых составляют ровно три цифры

- голый квадрат (N=4) -- четыре клетки, объединённые кандидаты которых составляют ровно четыре цифры

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

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

Рассмотрим строку из девяти клеток. Каждая нерешённая ячейка имеет набор цифр-кандидатов — пометки карандашом, которые всё ещё могут законно стоять в этой ячейка. Предположим, вы нашли две клетки в этой строке, кандидаты которых взяты из одного и того же набора из двух цифр, скажем {4, 6}. Одна из этих клеток должна содержать 4, а другая — 6. Здесь нет места для какого-либо иного расположения. Это означает, что никакая другая ячейка в строке не может содержать 4 или 6, поскольку обе цифры полностью учтены этими двумя клетками.

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

Этот принцип действует одинаково независимо от того, является ли дом строкой, столбцом или блоком 3x3. Единственное требование — все N клеток должны принадлежать одному дому.

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

Каждый решатель судоку, будь то человек или алгоритм, полагается на одиночки. Они — последний шаг в цепочке исключений: после того как все ограничения строки, столбца и блока убрали невозможные цифры, последний оставшийся кандидат и есть ответ.

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

- Если цифра поставлена где-либо в той же строке, удалите её из кандидатов ячейка.

- Если цифра поставлена где-либо в том же столбце, удалите её из кандидатов ячейка.

- Если цифра поставлена где-либо в том же блоке 3x3, удалите её из кандидатов ячейка.

Когда эти исключения сокращают ячейка до единственного кандидата, вы нашли одиночка голая.

Рассмотрим ячейка R5C3 в частично решённой головоломке. Ограничения строки, столбца и блока исключают следующие цифры:

- Строка 5 уже содержит: 1, 3, 5, 8

- Столбец 3 уже содержит: 2, 6, 9

- Блок 4 (средне-левый блок) уже содержит: 7

В совокупности цифры 1, 2, 3, 5, 6, 7, 8 и 9 все исключены. Единственный оставшийся кандидат — 4. ячейка R5C3 должна быть 4. Это одиночка голая.

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

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

Голые пары — одна из наиболее часто применяемых промежуточных стратегий судоку. Они встречаются часто и нередко открывают значительный прогресс, убирая кандидатов, которые блокируют другие приёмы.

Предположим, две клетки в строке 1 содержат кандидатов {4, 6} и никаких других кандидатов:

- R1C2 содержит кандидатов: {4, 6}

- R1C7 содержит кандидатов: {4, 6}

Одна из этих клеток будет 4, а другая — 6. Мы пока не знаем, какая из них какая, но точно знаем, что 4 и 6 полностью заняты этими двумя клетками. Следовательно, никакая другая ячейка в строке 1 не может содержать 4 или 6.

Если R1C4 содержала кандидатов {3, 4, 6, 9}, её можно свести к {3, 9}, убрав 4 и 6. Если R1C8 содержала кандидатов {2, 6}, её можно свести к {2}. Такое сведение к единственному кандидату само по себе является одиночка голая, что сразу решает ячейка.

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

Полезная привычка: заметив ячейка всего с двумя кандидатами, сразу проверьте, не делит ли ту же пару какая-нибудь другая ячейка в той же строке, столбце или блоке.

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

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

Многие игроки сначала осваивают голые пары, а затем предполагают, что голые тройки требуют трёх клеток, каждая из которых содержит одни и те же три кандидата, например {1, 3, 7} во всех трёх клетках. Хотя это одна из допустимых форм голый тройной, она не единственная и даже не самая распространённая.

Рассмотрим эти три клетки в столбце 5:

- R2C5: {1, 3}

- R4C5: {1, 7}

- R8C5: {3, 7}

Объединённые кандидаты — {1, 3, 7}, то есть ровно три цифры в трёх клетках. Это допустимая голый тройной, хотя ни одна ячейка не содержит все три цифры.

Логика та же, что и с голыми парами. Эти три цифры должны заполнить эти три клетки в каком-то порядке. Одна ячейка получает 1, одна получает 3, одна получает 7. Следовательно, 1, 3 и 7 можно исключить из всех остальных ячейка в столбце 5.

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

Практический подход:

1. В каждом доме перечислите все нерешённые клетки с тремя или менее кандидатами.

2. Выберите любую комбинацию из трёх таких клеток.

3. Возьмите объединение их кандидатов. Если в объединении ровно три цифры, это голый тройной.

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

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

Логика идентична логике меньших голых подмножеств. Четыре цифры должны заполнить четыре клетки. Эти цифры не могут появляться больше нигде в доме.

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

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

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

Эффективный поиск голых подмножеств требует структурированного подхода, а не случайного просмотра. Вот приёмы, которые используют опытные решатели:

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

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

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

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

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

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

Скрытое подмножество возникает, когда N цифр в доме появляются только внутри N определённых клеток. Цифры «скрыты», потому что эти клетки могут также содержать другие кандидаты. Исключение убирает лишние кандидаты из этих N клеток, оставляя только скрытые цифры.

В любом доме с K нерешёнными клетками, если есть голое подмножество размера N, автоматически существует скрытое подмножество размера K - N. Эти два подмножества дополняют друг друга: они разделяют нерешённые клетки и оставшиеся цифры на две непересекающиеся группы.

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

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

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

Четыре техники «голых» подмножеств охватывают несколько уровней сложности, отражая, насколько труднее их находить по мере увеличения размера группы:

одиночка голая (N=1): Уровень 2, Легко

голая пара (N=2): Уровень 3, Легко

голый тройной (N=3): Уровень 4, Средне

голый квадрат (N=4): Уровень 5, Сложно

Рост сложности связан не с логикой, которая одинакова в каждом ячейка, а со сложностью поиска:

одиночка голая: Нужно проверить всего одну ячейка. Если у неё один кандидат, всё готово. Поиск комбинаций не требуется.

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

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

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

Оценка сложности головоломок часто зависит от того, какие техники нужны для их решения. Головоломка, для которой достаточно «голых» одиночек и пар, считается лёгкой. Головоломка, требующая «голых» троек, переходит в среднюю категорию. Головоломка, требующая голый квадрат, как минимум сложная.

Ошибка 1: Ожидание, что все ячейки содержат все цифры

Самая распространённая ошибка с голыми тройками и четвёрками — предположение, что каждая ячейка в подмножестве должна содержать все N цифр. Это неверно. голый тройной с ячейками {1,3}, {1,7} и {3,7} вполне допустима, даже если ни одна ячейка не содержит все цифры 1, 3 и 7.

Как избежать: Всегда проверяйте объединение кандидатов, а не отдельные ячейки. Подсчитайте различные цифры во всех ячейках группы. Если количество равно числу ячеек, это голое подмножество, независимо от того, как цифры распределены между отдельными ячейками.

Ошибка 2: Путаница между голыми и скрытыми подмножествами

У голая пара есть N ячеек с кандидатами, ограниченными N цифрами. У скрытая пара есть N цифр, ограниченных N ячейками, но в этих ячейках могут быть дополнительные кандидаты.

С голая пара вы исключаете цифры пары из других ячеек дома. С скрытая пара вы исключаете цифры, не входящие в пару, из собственных ячеек пары.

Как избежать: Спросите себя: "Я смотрю на ячейки с ограниченными кандидатами (голое) или на цифры с ограниченными местоположениями (скрытое)?" Направление ограничения определяет, какой тип подмножества вы нашли.

Ошибка 3: Исключение из неправильных ячеек

Когда вы находите голая пара {4, 6} в ячейках R1C2 и R1C7, вы исключаете 4 и 6 из других ячеек строки 1. Вы не исключаете другие кандидаты из R1C2 и R1C7. Кандидаты голая пара остаются нетронутыми в собственных ячейках подмножества.

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

Ошибка 4: Забывание проверить все общие дома

Две ячейки могут делить более одного дома. Например, R1C1 и R1C3 делят и строку 1, и блок 1. Если они образуют голая пара, вы можете исключить цифры пары из других ячеек строки 1 и из других ячеек блока 1. Не ограничивайте исключения только одним домом.

Как избежать: Для каждого найденного голого подмножества проверьте, какие дома делят все ячейки подмножества. Применяйте исключения в каждом общем доме.

Голые подмножества следует проверять по порядку от меньшего к большему:

1. Сначала голые одиночки. После каждой расстановки ищите новые голые одиночки. Они даются бесплатно и сразу.

2. Затем голые пары. Когда голых одиночек больше не осталось, ищите голые пары в каждой строке, столбце и блоке. Это самая распространённая промежуточная техника, и она часто открывает новые голые одиночки.

3. Затем голые тройки. Когда пар недостаточно, расширьте поиск до троек. Обратите внимание на дома, где в нескольких клетках есть два или три кандидата.

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

Следуя этой последовательности, вы применяете самые простые и продуктивные техники первыми, экономя умственные усилия для тех случаев, когда они действительно нужны.

Голые подмножества — это семейство из четырёх техник судоку, объединённых одним изящным принципом: N клеток в доме с ровно N объединёнными кандидатами закрепляют эти цифры на месте, позволяя исключить их из всех остальных клеток дома.

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