Гола підмножина — це група з 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 спільними кандидатами фіксують ці цифри на місці, дозволяючи вилучити їх з усіх інших клітинок дому.

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