Однозначні шаблони

Що таке спряженна пара?

Пара спряжених клітин існує, коли певна цифра має саме дві залишилися позиції кандидатів у одному будь-якому домені. Оскільки кожен домен повинен містити кожну цифру саме один раз, саме одна з двох клітин повинна містити цю цифру. Це створює сильний зв'язок між двома клітинами. Сильні зв'язки є основним механізмом, що працює у всіх методах розгортання за однією цифрою. Сила виникає внаслідок з'єднання двох пар спряжених клітин через спільний елемент. Пари спряжених клітин можуть з'являтися в будь-якому типі доменів: рядках, стовпцях або блоках.

Спільна структура: з'єднання двох спряжених пар

Усі чотири однозначні патерни мають одну й ту ж абстрактну структуру: 1. Знайти дві сполучені пари для однакової цифри. 2. З'єднати їх через спільний елемент (слабке з'єднання, де дві клітини бачать одна одну). 3. Визначити дві кінцівки (неспільні кінцеві точки). 4. Хоча б одна кінцівка повинна містити цифру. 5. Видалити цифру з будь-якої Клітинка, яка бачить обидві кінцівки. Структура — це 4-вузловий Альтернативна ланцюгова логіка: сильне з'єднання, слабке з'єднання, сильне з'єднання. Чотири техніки відрізняються лише типами будинків, що забезпечують з'єднання.

Небоскреб

Скайскрап використовує дві сполучені пари, які знаходяться в одному типі лінії (обидві рядки або обидві стовпці). Дві пари мають спільний кінець вздовж перпендикулярної лінії, що забезпечує слабку зв'язку. Неспільні кінці — це хвости. Хоча б один має містити цифру. Вилучити з клітин, що бачать обидва хвости. Назва походить від зовнішнього вигляду двох паралельних "веж", зсунутих на одну позицію, що нагадує міський горизонт.

Двострунний планер

Кіт з двох стрічок використовує пару сполучених рядків і пару сполучених стовпців. Ці дві пари з'єднані через блок: один кінець кожної пари знаходиться в одному й тому ж блоці, що забезпечує слабку зв'язку. Неспільні кінці — це хвости. Хоча б один з них повинен містити цифру. Виключити з клітин, що бачать обидва хвости. Пара рядків утворює одну "стрічку", а пара стовпців — іншу, з'єднані в блоці, де вони перетинаються.

Журавель (Турбот-риба)

Зв'язок Журавель поєднує пару блоків із парою ліній. Один кінець пари блоків знаходиться в одному рядку або стовпці з одним кінцем пари ліній, утворюючи слабке з'єднання. Незагальні кінці називаються хвостами. Хоча б один з них повинен містити цифру. Виключити її з клітин, що бачать обидва хвости. Журавель іноді важче помітити, оскільки пари блоків менш візуально видимі.

Порожній прямокутник

The Порожній прямокутник замінює одну пару спряження на шаблон у блоку. Кандидати цифри в блоку охоплюють саме дві рядки і дві колонки, але один кут 2x2 перетину порожній. Це створює ефективну сильну зв'язку через блок. Поєднане з зовнішньою парою спряження, що проходить через блок, це створює дві «хвости». Хоча б одна з них містить цифру. Вилучити з клітин, що бачать обидві. Ключ до виявлення Порожній прямокутник — це пошук блоків, де кандидати цифри утворюють L-або T-форму.

Як пов'язані між собою чотири техніки

Вони чотири прояви однієї й тієї ж структури: сильна зв'язка -- слабка зв'язка -- сильна зв'язка, на одному цифровому розряді. Небесний стовп: рядок + спільний стовпець + рядок (або стовпець + спільний рядок + стовпець) Двоповерхова пташка: рядок + спільний блок + стовпець Журавель: блок + спільна лінія + лінія Порожній прямокутник: шаблон блоку ER + спільна лінія + лінія Рішення може реалізувати всі чотири як єдиний алгоритм. Назви технік допомагають людським рішачам виявляти візуально відмінні патерни. Всі чотири знаходяться на одному рівні складності. Жодна не є відповідно складнішою; вони просто виглядають по-різному на сітці.

Як знайти однозначні патерни

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

Складність і де вони підходять

Усі чотири одноцифрові патерни знаходяться на рівні 5 (складні). Вони складніші за методи підмножин і базові риби, але простіші за розширені ланцюги та складні риби. Багато пазлів, які не піддаються базовим методам, можна вирішити за допомогою добре розміщеного Скайскрепера або Двопов’язаної Крилини. Вони надають чудове введення в концепцію чергуючих ланцюгів висновку.

Огляд

Небоскреб, двострунна голка, Журавель і Порожній прямокутник — це чотири сторони однієї монети. Всі вони використовують спряжені пари для побудови коротких чергуючих ланцюгів висновку на одному цифровому розряді. З'єднайте дві сильні ланки через слабку ланку, визначте дві кінцівки і видаліть цифру з будь-якого Клітинка, що бачить обидві кінцівки. Різниця полягає лише в геометрії. Оволодійте одним, і ви вже на шляху до засвоєння всіх чотирьох.