Просте розфарбовування фарбує граф сильних зв’язків однієї цифри двома кольорами — скажімо, синім і зеленим.
На сильному зв’язку два кінці мають протилежні кольори: істинний рівно один. Це ворота до мислення в стилі Медузи та AIC.
Чому це працює
Якщо дві клітинки одного кольору бачать одна одну, цей колір не може бути істинним (дві істини однієї цифри бачили б одна одну). Тож увесь цей колір хибний, а протилежний — істинний.
Якщо клітинка бачить обидва кольори, вона в будь-якому разі бачить істинного кандидата — отже, вона не може бути цією цифрою.
Розфарбовування перетворює павутину зв’язків «рівно один із цих» на прості правила фарбування.
Як це помітити
Спершу будуй граф сильних зв’язків із біпозиційних цифр. Конфлікт одного кольору або бачення обох кольорів — пастки, за якими варто стежити.
Демонстрація
Для однієї цифри з’єднай усі сильні зв’язки (рівно два кандидати в області) в ланцюг або мережу.
Розфарбуй мережу двома кольорами. Протилежні кольори означають «істинний рівно один». Зелені клітинки показують корисне розфарбовування на 7.
Стеж за конфліктами одного кольору або клітинками, що бачать обидва кольори, — це і є пастки.
Виключи 7 там, де розфарбовування це забороняє (червоним).
Приклад 1
Розфарбуй мережу сильних зв’язків для однієї цифри.
Розфарбовування на 1 знаходить суперечність або пастку.
Прибери 1 там, де правила фарбування кажуть «ні» (червоним). Конфлікт одного кольору або бачення обох кольорів означає виключення.
Приклад 2
Розфарбуй мережу сильних зв’язків для однієї цифри.
Розфарбовування на 2 знаходить суперечність або пастку.
Прибери 2 там, де правила фарбування кажуть «ні» (червоним). Конфлікт одного кольору або бачення обох кольорів означає виключення.