Розфарбовування
Розфарбовування
Пов'язані техніки
Що таке сильний зв'язок?
Сильний зв'язок (спряжена пара) існує, коли цифра є кандидатом рівно у двох клітинках у межах одного блоку. В одній вона мусить бути, в іншій її бути не може. Це бінарне відношення — основа всього розфарбовування.
проста фарбування: розфарбовування однієї цифри
Працює з однією цифрою за раз. Призначає кольори по черзі через спряжені пари за допомогою BFS. Одна група кольору цілком істинна, інша — цілком хибна. Рівень 5 (Складно).
Кольорова пастка та кольорове обгортання
Кольорова пастка: незабарвлена клітинка, яка бачить обидва кольори, не може містити цю цифру.
Кольорове обгортання: дві клітинки одного кольору в спільному блоці — це суперечність. Увесь цей колір хибний; інший колір підтверджено істинним.
3D Фарбування Медузи: розфарбовування кількох цифр
Розширює розфарбовування на кілька цифр за допомогою зв'язків двозначних клітинка. Двоє кандидатів двозначної клітинка отримують протилежні кольори. Це створює тривимірну мережу наслідків. Рівень 12 (Екстрим).
Правила вилучення Медузи
Правило 1: кольорове обгортання (те саме, що проста фарбування, але в межах кількох цифр).
Правило 2: кольорова пастка (те саме, що проста фарбування, у межах кількох цифр).
Правило 3: та сама клітинка, той самий колір — дві цифри з однаковими кольорами в одній клітинка означають, що цей колір хибний усюди.
Правило 4: два кольори в клітинка — клітинка з обома кольорами вилучає всіх незабарвлених кандидатів.
проста фарбування проти Фарбування Медузи
проста фарбування: одна цифра, швидше, рівень 5. Медуза: кілька цифр, потужніша, рівень 12. Медуза охоплює проста фарбування, але її набагато важче застосовувати вручну. Спершу вивчіть проста фарбування.
Як розфарбовування вписується в ієрархію технік
Розфарбовування вводить ідею побудови логічних міркувань по всій сітці. проста фарбування пов'язане з X-ланцюгами. Фарбування Медузи пов'язане з AIC. Вивчення розфарбовування готує вас до всіх міркувань на основі ланцюгів.
Підсумок
проста фарбування (рівень 5) використовує спряжені пари для однієї цифри з правилами кольорової пастки та кольорового обгортання. 3D Медуза (рівень 12) розширюється на кілька цифр через двозначні клітинки, додаючи правила «та сама клітинка, той самий колір» і «два кольори в клітинка».
Пов'язані техніки