Platon Games
Українська

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

Просте розфарбовування (Simple Coloring) · Покроковий приклад

Одна пов’язана мережа зв’язків сильного висновку для однієї цифри має два протилежні стани логічної істинності, A і B. Або A вірний, або B правдивий. Видаліть цифру-кандидат, яку бачать обидва стани логічної істинності (перехоплення кольорів), або видаліть кожну цифру-кандидат у стані логічної істинності, два члени якої бачать один одного (конфлікт кольорів).

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

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

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

Одна пов’язана мережа зв’язків сильного висновку для однієї цифри має два протилежні стани логічної істинності, A і B. Або A вірний, або B правдивий.

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

Почніть з регіону, що містить рівно дві цифри-кандидати на одну цифру, а потім чергуйте A і B у кожному зв’язаному посиланні сильного висновку.

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

Видаліть цифру-кандидат, яку бачать обидва стани логічної істинності (перехоплення кольорів), або видаліть кожну цифру-кандидат у стані логічної істинності, два члени якої бачать один одного (конфлікт кольорів).

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

Розфарбуйте лише цифри-кандидати, об’єднані перевіреними сильними зв’язками. Спільний колір — це гіпотетичний стан логічної істинності, а не розміщена відповідь.

Покроковий приклад · Кольорова пастка

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

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

Крок 1 · Знайдіть першу сильну зв’язок висновку

У Блок 3×3 1, 4 можуть переходити тільки в R1C3 або R3C2. Ці цифри-кандидати належать до того самого компонента забарвлення та позначені колом A і квадратом B; A і B є протилежними станами логічної істинності.

У Блок 3×3 1, 4 можуть переходити тільки в R1C3 або R3C2. Ці цифри-кандидати належать до того самого компонента забарвлення та позначені колом A і квадратом B; A і B є протилежними станами логічної істинності.
У Блок 3×3 1, 4 можуть переходити тільки в R1C3 або R3C2. Ці цифри-кандидати належать до того самого компонента забарвлення та позначені колом A і квадратом B; A і B є протилежними станами логічної істинності.

● 1A: R1C3=4

■ 1B: R3C2=4

Крок 2 · Переходьте за посиланнями на сильний висновок

Продовжуйте переглядати кожне пов’язане посилання сильного висновку для 4. У цьому компоненті кожна ланка поєднує A, позначений колом, і B, позначений квадратом, два протилежні стани логічної істинності.

Продовжуйте переглядати кожне пов’язане посилання сильного висновку для 4. У цьому компоненті кожна ланка поєднує A, позначений колом, і B, позначений квадратом, два протилежні стани логічної істинності.
Продовжуйте переглядати кожне пов’язане посилання сильного висновку для 4. У цьому компоненті кожна ланка поєднує A, позначений колом, і B, позначений квадратом, два протилежні стани логічної істинності.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Крок 3 · Завершіть кольорову мережу

Ці цифри-кандидати 4 утворюють одну підключену мережу. Кожна суцільна лінія є сильним зв’язком висновку для 4.

Ці цифри-кандидати 4 утворюють одну підключену мережу. Кожна суцільна лінія є сильним зв’язком висновку для 4.
Ці цифри-кандидати 4 утворюють одну підключену мережу. Кожна суцільна лінія є сильним зв’язком висновку для 4.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Крок 4 · Зрозумійте два стани логічної істинності

Або всі A істинні й усі B хибні, або всі B істинні й усі A хибні. Не потрібно заздалегідь знати, який із цих станів реалізується.

Або всі A істинні й усі B хибні, або всі B істинні й усі A хибні. Не потрібно заздалегідь знати, який із цих станів реалізується.
Або всі A істинні й усі B хибні, або всі B істинні й усі A хибні. Не потрібно заздалегідь знати, який із цих станів реалізується.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Крок 5 · Знайдіть ціль, яка бачить A і B

R8C5=4 бачить A у R3C5=4 і B у R8C3=4. Який би стан логічної істинності не був істинним, одна з цих двох цифр-кандидатів виключає ціль.

R8C5=4 бачить A у R3C5=4 і B у R8C3=4. Який би стан логічної істинності не був істинним, одна з цих двох цифр-кандидатів виключає ціль.
R8C5=4 бачить A у R3C5=4 і B у R8C3=4. Який би стан логічної істинності не був істинним, одна з цих двох цифр-кандидатів виключає ціль.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Крок 6 · Видаліть захоплену кандидатську цифру

Оскільки кожна мета бачить обидва можливі стани логічної істинності, видаліть R8C5=4.

Оскільки кожна мета бачить обидва можливі стани логічної істинності, видаліть R8C5=4.
Оскільки кожна мета бачить обидва можливі стани логічної істинності, видаліть R8C5=4.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

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

Оскільки кожна мета бачить обидва можливі стани логічної істинності, видаліть R8C5=4.

Просте розфарбовування (Simple Coloring) · Видаліть цифру-кандидат, яку бачать обидва стани логічної істинності (перехоплення кольорів), або видаліть кожну цифру-кандидат у стані логічної істинності, два члени якої бачать один одного (конфлікт кольорів).
Просте розфарбовування (Simple Coloring) · Видаліть цифру-кандидат, яку бачать обидва стани логічної істинності (перехоплення кольорів), або видаліть кожну цифру-кандидат у стані логічної істинності, два члени якої бачать один одного (конфлікт кольорів).

Покроковий приклад · Конфлікт одного кольору

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

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

Крок 1 · Знайдіть першу сильну зв’язок висновку

У ряд 1, 1 можуть переходити тільки в R1C3 або R1C4. Ці цифри-кандидати належать до того самого компонента забарвлення та позначені колом A і квадратом B; A і B є протилежними станами логічної істинності.

У ряд 1, 1 можуть переходити тільки в R1C3 або R1C4. Ці цифри-кандидати належать до того самого компонента забарвлення та позначені колом A і квадратом B; A і B є протилежними станами логічної істинності.
У ряд 1, 1 можуть переходити тільки в R1C3 або R1C4. Ці цифри-кандидати належать до того самого компонента забарвлення та позначені колом A і квадратом B; A і B є протилежними станами логічної істинності.

● 1A: R1C3=1

■ 1B: R1C4=1

Крок 2 · Переходьте за посиланнями на сильний висновок

Продовжуйте переглядати кожне пов’язане посилання сильного висновку для 1. У цьому компоненті кожна ланка поєднує A, позначений колом, і B, позначений квадратом, два протилежні стани логічної істинності.

Продовжуйте переглядати кожне пов’язане посилання сильного висновку для 1. У цьому компоненті кожна ланка поєднує A, позначений колом, і B, позначений квадратом, два протилежні стани логічної істинності.
Продовжуйте переглядати кожне пов’язане посилання сильного висновку для 1. У цьому компоненті кожна ланка поєднує A, позначений колом, і B, позначений квадратом, два протилежні стани логічної істинності.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Крок 3 · Завершіть кольорову мережу

Ці цифри-кандидати 5 утворюють одну підключену мережу. Кожен зв’язок сильного висновку з’єднує A із B, тому всі цифри-кандидати A мають один логічний стан істинності, а всі цифри-кандидати B — інший.

Ці цифри-кандидати 5 утворюють одну підключену мережу. Кожен зв’язок сильного висновку з’єднує A із B, тому всі цифри-кандидати A мають один логічний стан істинності, а всі цифри-кандидати B — інший.
Ці цифри-кандидати 5 утворюють одну підключену мережу. Кожен зв’язок сильного висновку з’єднує A із B, тому всі цифри-кандидати A мають один логічний стан істинності, а всі цифри-кандидати B — інший.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Крок 4 · Знайти той самий логічний істинний стан конфлікту

R1C4=1 і R4C4=1 обидва знаходяться в стані логічної істинності B і бачать один одного. Вони обидва не можуть бути 1, тому логічний стан істинності B неможливий.

R1C4=1 і R4C4=1 обидва знаходяться в стані логічної істинності B і бачать один одного. Вони обидва не можуть бути 1, тому логічний стан істинності B неможливий.
R1C4=1 і R4C4=1 обидва знаходяться в стані логічної істинності B і бачать один одного. Вони обидва не можуть бути 1, тому логічний стан істинності B неможливий.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Крок 5 · стан логічної істинності B неможливий

Конфлікт виключає весь стан логічної істинності B. Закресліть разом кожну логічну істинну цифру B: R1C4=1, R4C4=1, R6C3=1.

Конфлікт виключає весь стан логічної істинності B. Закресліть разом кожну логічну істинну цифру B: R1C4=1, R4C4=1, R6C3=1.
Конфлікт виключає весь стан логічної істинності B. Закресліть разом кожну логічну істинну цифру B: R1C4=1, R4C4=1, R6C3=1.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Крок 6 · Видаліть суперечливий стан логічної істинності

Видаліть недійсні цифри-кандидати стану логічної істинності B: R1C4=1, R4C4=1, R6C3=1.

Видаліть недійсні цифри-кандидати стану логічної істинності B: R1C4=1, R4C4=1, R6C3=1.
Видаліть недійсні цифри-кандидати стану логічної істинності B: R1C4=1, R4C4=1, R6C3=1.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

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

Видаліть недійсні цифри-кандидати стану логічної істинності B: R1C4=1, R4C4=1, R6C3=1.

Просте розфарбовування (Simple Coloring) · Видаліть цифру-кандидат, яку бачать обидва стани логічної істинності (перехоплення кольорів), або видаліть кожну цифру-кандидат у стані логічної істинності, два члени якої бачать один одного (конфлікт кольорів).
Просте розфарбовування (Simple Coloring) · Видаліть цифру-кандидат, яку бачать обидва стани логічної істинності (перехоплення кольорів), або видаліть кожну цифру-кандидат у стані логічної істинності, два члени якої бачать один одного (конфлікт кольорів).

Практика

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

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