Цветовое выделение
Что такое сильная связь?
Сильная связь (пара сопряжённых чисел) существует, когда цифра появляется кандидатом в точности двух клетках в одной группе. Одна из них должна содержать цифру, другая — не может. Эта бинарная связь является основой для всех методов раскраски.
Простая раскраска: Цветовое выделение одного числа
Работает с одной цифрой за раз. Назначает чередующиеся цвета с помощью сопряженных пар с использованием поиска в ширину. Одна группа цветов полностью истинна, другая — полностью ложна. Уровень 5 (Сложный).
Цветной ловушка и цветной обертывание
Цветовой ловушка: Некрашеная Ячейка, видящая оба цвета, не может содержать цифру. Цветовой оберт: Две клетки одного цвета, разделяющие одну область, являются противоречием. Целый цвет ложен; другой цвет подтвержден как истинный.
3D Окраска Медузы: Многозначная раскраска
Расширяет окрашивание на несколько цифр с использованием двузначных связей Ячейка. Два кандидата двузначного Ячейка получают противоположные цвета. Это создает трехмерную сеть последствий. Уровень 12 (Экстремальный).
Правила исключения Медузы
Правило 1: Цветовой обертывание (аналогично Простая раскраска, но с многозначным диапазоном). Правило 2: Цветовой ловушка (аналогично Простая раскраска, многозначный диапазон). Правило 3: Одинаковые Ячейка, одинаковый цвет — два цифры с одинаковыми цветами в одной Ячейка означают, что этот цвет ложен повсюду. Правило 4: Два цвета в одной Ячейка — одна Ячейка с обоими цветами устраняет все незакрашенные кандидаты.
Простая раскраска против Окраска Медузы
Простая раскраска: одна цифра, быстрее, Уровень 5. Медуза: несколько цифр, более мощная, Уровень 12. Медуза включает в себя Простая раскраска, но намного сложнее применять вручную. Сначала изучите Простая раскраска.
Как окрашивание вписывается в иерархию техник
Цветовое заполнение вводит идею построения логических аргументов на всем поле. Простая раскраска связано с X-цепочками. Окраска Медузы связано с AIC. Изучение цветового заполнения готовит вас ко всем рассуждениям, основанным на цепочках.
Сводка
Простая раскраска (Уровень 5) использует сопряжённые пары для одного цифры с правилами Цветного ловушки и Цветного обертывания. 3D Медуза (Уровень 12) расширяется на несколько цифр через бивалентные клетки, добавляя правила Одинаковый Ячейка Одинаковый цвет и Два цвета в Ячейка.