Техніки судоку · Екстрим
ALS-XZ у судоку
ALS-XZ з'єднує два майже замкнені набори, групи клітинок з одним кандидатом більше, ніж клітинок, через обмеженого спільного кандидата X, якого можна поставити лише в один із них. Це вимушує другого спільного кандидата Z в інший, тож Z можна прибрати з будь-якої зовнішньої клітинки, що бачить кожен Z в обох наборах.
Чому це працює
Два майже замкнені набори, пов’язані обмеженим спільним кандидатом, гарантують, що інший спільний кандидат опиниться принаймні в одному з них, тож цього кандидата можна прибрати з будь-якої клітинки поза двома наборами, яка бачить усі його можливі місця в обох наборах.
Як її помітити
Найважче побачити самі набори, а не логіку.
- ALS це будь-яка група клітинок однієї групи з одним зайвим кандидатом: найменша з них одна клітинка з двома кандидатами.
- Два набори, два спільні кандидати: X мусить бути обмеженим, тобто кожен X в одному наборі бачить кожен X в іншому. Z таким бути не мусить.
- Вилучи Z з клітинок за межами обох наборів, що бачать усі Z в обох.
Базується на
Розібраний приклад
Це власні навчальні поля додатку. Проходь їх так само, як це робить підказка.
- 1
Поглянь на перший набір . Ці 2 клітинки лежать в одному рядку, стовпці чи блоці й разом містять 3 різних кандидатів, на одного більше, ніж кількість клітинок. Це називається Almost Locked Set (ALS).
- 2
Тепер поглянь на другий набір . Ці 3 клітинки лежать в одному рядку, стовпці чи блоці й разом містять 4 різних кандидатів — на одного більше, ніж клітинок, — тож вони теж утворюють ALS. Кандидат 3 є для цих двох наборів обмеженим спільним кандидатом (RCC): кожна клітинка з кандидатом 3 в одному наборі бачить кожну таку клітинку в іншому, тому цифру 3 можна поставити щонайбільше в один із двох наборів, але не в обидва.
- 3
Обидва набори містять кандидата 5. Оскільки цифра 3 може бути розміщена щонайбільше в одному наборі, принаймні один із наборів не використає 3. Після вилучення 3 у цьому наборі залишиться стільки ж різних кандидатів, скільки клітинок, тому кожен із них, зокрема 5, мусить бути розміщений у якійсь клітинці набору. Отже, 5 буде розміщено принаймні в одному з двох наборів, тож кандидата 5 можна вилучити з будь-якої клітинки поза цими наборами, яка бачить усі клітинки з кандидатом 5 в обох наборах. Тут X — це 3, а Z — 5.