Два кольори для відстеження спряжених пар, пошуку суперечностей і виключень
Simple Coloring (його також називають Singles Chains) призначає двом кольорам спряжені пари одного кандидата по всій сітці. Простежуючи ланцюжок, ви можете знайти суперечності, які дають виключення.
Оберіть цифру-кандидата. Знайдіть зони, у яких вона трапляється рівно двічі — це спряжені пари. Якщо одна з них істинна, друга обов'язково хибна.
Призначте одній клітинці пари колір A, а другій — колір B. Далі рухайтеся ланцюжком: щойно клітинка кольору A утворює спряжену пару з іншою клітинкою, та отримує колір B, і навпаки.
Продовжуйте, доки розширення стають неможливими. Тепер у вас є ланцюжок із кольорами, що чергуються.
Правило 1, суперечність кольорів: якщо дві клітинки одного кольору бачать одна одну (ділять зону), цей колір неможливий скрізь. Виключіть кандидата з усіх клітинок цього кольору.
Правило 2, кольорова пастка: якщо нерозфарбована клітинка бачить і клітинку кольору A, і клітинку кольору B, кандидата з неї можна виключити (один із кольорів обов'язково істинний, тож клітинка заблокована в будь-якому разі).
Simple Coloring працює з однією цифрою за раз. Multi-Coloring розширює підхід на окремі кольорові кластери.
Цифра 7 утворює спряжені пари. Кольоровий ланцюжок: R0C2 = синій (пара в рядку 0), R0C6 = зелений (пара в рядку 0), R3C6 = синій (пара в стовпці 6), R3C2 = зелений (пара в рядку 3), R8C2 = синій (пара в стовпці 2). Клітинка R8C6 не розфарбована й бачить R0C6 (зелений, той самий стовпець 6) та R8C2 (синій, той самий рядок 8). Один із кольорів обов'язково істинний, тож у R8C6 не може стояти 7.