Innies and Outies — Техніка Killer Sudoku

Що це таке

INNIE — клітинка ВСЕРЕДИНІ рядка, стовпця чи блоку, що належить клітці, яка простягається ЗОВНІ одиниці. OUTIE — її дзеркало: клітинка ЗОВНІ одиниці, що належить клітці, яка СЯГАЄ всередину неї. Коли в одиниці є клітки обох типів, правило 45 дозволяє виокремити суму самих лише innies або самих лише outies. Для одиниці U з N клітинок нехай S_in = сума кліток, цілком розміщених у U, а S_cross = сума кліток, що перетинають межу U. Сума innies дорівнює (45 − S_in) − (клітинки кліток-перетинів, що лежать поза U). Переставивши, маємо безпосередньо суму outies. ОДИН innie або outie блокує одну цифру; багатоклітинний innie/outie звужує кандидатів і часто комбінується з шпаргалкою комбінацій, щоб прибрати цифри.

Коли використовувати

Після того як правило 45 розставило прості клітинки, шукай рядки, стовпці або блоки рівно з одним чи двома innies/outies. Одиничні innies/outies одразу ставлять цифру; подвійні зазвичай прибирають 4–6 кандидатів.

Приклад з поясненням

У блоці 1 три повністю вкладених клітки сумують до 30 (скажімо, 12 + 9 + 9), і ще клітка на 12 покриває R3C3 (всередині блоку 1) та R4C3 (поза блоком 1, у блоці 4). Єдиний innie — R3C3, єдиний outie — R4C3. За правилом 45: R3C3 + (30) + (12 − R4C3) клітинок у блоці 1 = 45. Оскільки R4C3 + R3C3 = 12 (та сама клітка), R3C3 = 45 − 30 − (12 − R3C3) безпосередньо не спрощується — але разом із R3C3 ≤ 9 та R4C3 ≤ 9 обмеження тримає R3C3 у {3, 4, ..., 9}, прибираючи 1 і 2 з її кандидатів.