Platon Sudoku · Вивчення судоку

Суперечність між компонентами розфарбовування (Multi-Component Coloring Contradiction) · Покроковий приклад

сильні зв’язки висновку розфарбовують одну цифру в протилежні стани логічної істинності в кожному компоненті; відносини між компонентами обмежують, які стани логічної істинності можуть співіснувати. Видаліть цифру-кандидат, виключену всіма послідовними призначеннями кольорів.

Цей урок адаптовано з навчальних матеріалів застосунку Platon Sudoku. Прочитайте повний приклад тут, а потім продовжуйте навчання і практику в застосунку.

Переглянути в Google Play

Розпізнайте шаблон

Як його знайти

Розфарбуйте кожен підключений компонент окремо, а потім перевірте міжкомпонентні конфлікти та цілі, які бачать кожну вцілілу альтернативу.

Що це дозволяє

Видаліть цифру-кандидат, виключену всіма послідовними призначеннями кольорів.

Уникайте плутанини

Не об’єднуйте окремі компоненти неперевіреним сильним зв’язком і не припускайте, що колір уже розміщено.

Покроковий приклад · Складний колір

Приклад починається зі збереженої проміжної позиції. Кандидати враховують попередні логічні виключення, а не щойно створені автоматичні нотатки.

Синій: підстави. Зелений: висновок. Закреслені цифри: виключені кандидати. R1C1 означає рядок 1, стовпець 1.

Крок 1 · Підтвердьте початкову групу стану істинності з однаковою логікою

“Суперечність між компонентами розфарбовування (Multi-Component Coloring Contradiction)” — Ця назва описує власний доказ застосунку між кількома компонентами, а не окрему однойменну техніку HoDoKu. Кандидати цифри 2 утворюють 4 незалежних компонент розфарбовування. Чергування кольорів уздовж сильних зв’язків розміщує R3C1=2, R8C2=2 на стороні A компоненти 2: вони мають однакову істинність і є саме цільовими кандидатами R3C1=2, R8C2=2. A і B протилежні всередині кожної компоненти; конфлікти зв’язують стани різних компонент.

Крок 2 · Припустимо, що цільовий стан логічної істинності є істинним

Вважайте всю групу однакових логічних станів істинності R3C1=2, R8C2=2 одним логічним станом істинності та тимчасово припускайте, що це істинно. Слідкуйте за конфліктами між компонентами.

Крок 3 · Слідкуйте за кожним переходом компонентів

1. R3C1=2 є істинним, тому видимий вузол R1C2=2 є хибним. Тому протилежний стан логічної істинності A/B R1C9=2 у цій групі є істинним. 2. R1C9=2 є істинним, тому видимий вузол R5C9=2 є хибним. Тому протилежний стан логічної істинності A/B R4C7=2, R5C6=2 у цій групі є істинним. 3. R4C7=2 є істинним, тому видимий вузол R4C4=2 є хибним. Тому протилежний стан логічної істинності A/B R3C4=2 у цій групі є істинним. 4. R3C4=2 є істинним, тому видимий вузол R3C1=2 є хибним. Тому протилежний стан логічної істинності A/B R8C1=2 у цій групі є істинним.

Крок 4 · Припущення змушує протилежне

Припущення R3C1=2, R8C2=2 зрештою примушує R8C1=2, протилежний стан логічної істинності A/B у тій самій групі. Обидва стани логічної істинності не можуть бути істинними, тому припущення є хибним.