Фарбування

Що таке сильний зв'язок?

Міцний зв'язок (пара сполучення) існує, коли цифра з'являється кандидатом саме в двох клітинах у будь-якій домені. Одна з них має містити цю цифру, інша — ні. Це бінарне співвідношення є основою всіх кольорових підходів.

Проста фарбування: Колірна підказка за однією цифрою

Працює з однією цифрою за раз. Використовує чергування кольорів через спряжені пари за допомогою пошуку в глибину. Одна група кольорів повністю істинна, інша — повністю хибна. Рівень 5 (складно).

Кольорове перехоплення та обгортання

Кольоровий лов: Неколірна клітинка Клітинка, що бачить обидва кольори, не може містити цифру. Кольорове обв'язання: Дві клітинки одного кольору, що ділять будинок, є протиріччям. Цей колір є хибним; інший колір підтверджено істинним.

3D Фарбування Медузи: Багатоцифрове фарбування

Розширює забарвлення на кілька цифр за допомогою зв'язків bivalue Клітинка. Дві кандидати bivalue Клітинка отримують протилежні кольори. Це створює тривимірну сітку наслідків. Рівень 12 (екстремальний).

Правила виключення Медузи

Правило 1: Колірний обхід (те саме, що й Проста фарбування, але з багатозначним діапазоном). Правило 2: Колірна ловушка (те саме, що й Проста фарбування, багатозначний діапазон). Правило 3: Однакові Клітинка, однаковий колір — два цифри з однаковими кольорами в одному Клітинка означає, що цей колір хибний всюди. Правило 4: Два кольори в одному Клітинка — цифра з обома кольорами виключає всі незакольоровані кандидати.

Проста фарбування проти Фарбування Медузи

Проста фарбування: одна цифра, швидше, Рівень 5. Медуза: кілька цифр, більш потужна, Рівень 12. Медуза поглинає Проста фарбування, але набагато складніше застосовувати вручну. Найперше вивчіть Проста фарбування.

Як фарбування підходить до ієрархії технік

Фарбування вводить ідею побудови логічних аргументів по всій сітці. Проста фарбування пов'язане з X-ланцюгами. Фарбування Медузи пов'язане з AIC. Вивчення фарбування підготує вас до всіх міркувань, що ґрунтуються на ланцюгах.

Огляд

Проста фарбування (рівень 5) використовує спряжені пари для одного цифрового значення з правилами «Кольоровий ловець» та «Кольорове обгортання». 3D Медуза (рівень 12) поширюється на кілька цифр через бізначені клітинки, додаючи правила «Однакове Клітинка однаковий колір» та «Два кольори в Клітинка».