Platon Sudoku · Вивчення судоку
Групова AIC для однієї цифри (Single-Digit Grouped AIC) · Покроковий приклад
Згрупований вузол означає, що принаймні одна з кількох цифр-кандидатів є істинною; він може брати участь у змінному ланцюжку висновків. Усуньте ціль, яку бачать кінцеві точки примусу ланцюга.
Цей урок адаптовано з навчальних матеріалів застосунку Platon Sudoku. Прочитайте повний приклад тут, а потім продовжуйте навчання і практику в застосунку.
Переглянути в Google PlayРозпізнайте шаблон
Згрупований вузол означає, що принаймні одна з кількох цифр-кандидатів є істинною; він може брати участь у змінному ланцюжку висновків.
Як його знайти
Переконайтеся, що згруповані комірки мають спільну необхідну область, а потім простежте сильні та слабкі зв’язки висновку через один або кілька вузлів групи.
Що це дозволяє
Усуньте ціль, яку бачать кінцеві точки примусу ланцюга.
Уникайте плутанини
Справжня група не означає, що кожен її член є справжнім. Зберігайте значення OR групи під час дотримання ланцюжка.
Покроковий приклад · Одна група
Приклад починається зі збереженої проміжної позиції. Кандидати враховують попередні логічні виключення, а не щойно створені автоматичні нотатки.
Синій: підстави. Зелений: висновок. Закреслені цифри: виключені кандидати. R1C1 означає рядок 1, стовпець 1.
Крок 1 · Де шукати
У Блок 3×3 6, 2 може піти тільки в R4C7, R4C8, R5C8. У цьому регіоні цифра має з’явитися один раз.
G1: R4C8=2, R5C8=2
1: OR група A: принаймні одна цифра-кандидат вірна
Крок 2 · Міркування
У колонка 5, 2 може піти тільки в R1C5, R4C5. У цьому регіоні цифра має з’явитися один раз.
G1: R4C8=2, R5C8=2
1: OR група A: принаймні одна цифра-кандидат вірна
Крок 3 · Міркування
У колонка 9, 2 може піти тільки в R1C9, R8C9. У цьому регіоні цифра має з’явитися один раз.
G1: R4C8=2, R5C8=2
1: OR група A: принаймні одна цифра-кандидат вірна
Крок 4 · Назвіть можливі групи цифр OR
Пронумеровані дужки та легенда визначають ці іменовані групи: OR кандидатська група цифр A = R4C8=2, R5C8=2. Кожна група є одним логічним станом істинності OR: принаймні одна кандидатська цифра в ній є істинною, але ланцюжок не стверджує, що кожен член є істинним.
G1: R4C8=2, R5C8=2
1: OR група A: принаймні одна цифра-кандидат вірна
Крок 5 · Міркування
Гілка 1: припустимо, що OR кандидатська група цифр A є false.
G1: R4C8=2, R5C8=2
1: OR група A: принаймні одна цифра-кандидат вірна
Крок 6 · Груповий сильний зв’язок висновку: змусити іншу сторону
Випадок 1: OR кандидатська група цифр A є хибним, тому груповий зв’язок сильного висновку форсує R4C7=2. Якщо це група OR, принаймні одна з її кандидатських цифр є істинною.
G1: R4C8=2, R5C8=2
1: OR група A: принаймні одна цифра-кандидат вірна
Крок 7 · Згрупуйте слабкий зв’язок висновку: виключіть конфліктну сторону
R4C7=2 є істинним як стан логічної істинності ланцюга, тому взаємовиключна сторона R4C5=2 є хибною.
G1: R4C8=2, R5C8=2
1: OR група A: принаймні одна цифра-кандидат вірна
Крок 8 · Груповий сильний зв’язок висновку: одна сторона має залишитися
R4C5=2 є хибним, тому груповий зв’язок сильного висновку примусово застосовує R1C5=2.
G1: R4C8=2, R5C8=2
1: OR група A: принаймні одна цифра-кандидат вірна
Крок 9 · Згрупуйте слабкий зв’язок висновку: виключіть конфліктну сторону
R1C5=2 є істинним як стан логічної істинності ланцюга, тому взаємовиключна сторона R1C9=2 є хибною.
G1: R4C8=2, R5C8=2
1: OR група A: принаймні одна цифра-кандидат вірна
Крок 10 · Непряма кінцева точка виключає цілі
R8C9=2 є істинним як стан логічної істинності кінцевої точки, тому він виключає цілі.
G1: R4C8=2, R5C8=2
1: OR група A: принаймні одна цифра-кандидат вірна
Крок 11 · Вилучіть попередню заливку прямокутника
Відмініть це припущення та його наслідки. Поверніться до незмінного знімка цифри-кандидата, перш ніж розглядати наступну можливість.
G1: R4C8=2, R5C8=2
1: OR група A: принаймні одна цифра-кандидат вірна
Крок 12 · Випадок 2: перша кінцева точка істинна
Перша кінцева точка OR кандидатська група цифр A є істинною як стан логічної істинності OR, тому вона виключає цілі.
G1: R4C8=2, R5C8=2
1: OR група A: принаймні одна цифра-кандидат вірна
Крок 13 · Обидва випадки кінцевої точки збігаються
Два випадки кінцевих точок вичерпують альтернативи, і обидва виключають R7C8=2, R8C8=2. Видаліть їх після вилучення тимчасових станів логічної істинності.
G1: R4C8=2, R5C8=2
1: OR група A: принаймні одна цифра-кандидат вірна
Що це дозволяє
Два випадки кінцевих точок вичерпують альтернативи, і обидва виключають R7C8=2, R8C8=2. Видаліть їх після вилучення тимчасових станів логічної істинності.
Покроковий приклад · Кілька груп
Приклад починається зі збереженої проміжної позиції. Кандидати враховують попередні логічні виключення, а не щойно створені автоматичні нотатки.
Синій: підстави. Зелений: висновок. Закреслені цифри: виключені кандидати. R1C1 означає рядок 1, стовпець 1.
Крок 1 · Де шукати
У Блок 3×3 1, 8 може піти тільки в R2C2, R3C1. У цьому регіоні цифра має з’явитися один раз.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR група A: принаймні одна цифра-кандидат вірна · 2: OR група B: принаймні одна цифра-кандидат вірна
Крок 2 · Міркування
У Блок 3×3 2, 8 може піти тільки в R1C6, R2C4, R2C5. У цьому регіоні цифра має з’явитися один раз.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR група A: принаймні одна цифра-кандидат вірна · 2: OR група B: принаймні одна цифра-кандидат вірна
Крок 3 · Міркування
У ряд 8, 8 може піти тільки в R8C1, R8C2, R8C3, R8C6. У цьому регіоні цифра має з’явитися один раз.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR група A: принаймні одна цифра-кандидат вірна · 2: OR група B: принаймні одна цифра-кандидат вірна
Крок 4 · Назвіть можливі групи цифр OR
Пронумеровані дужки та легенда визначають ці іменовані групи: OR кандидатська група цифр A = R2C4=8, R2C5=8, OR кандидатська група цифр B = R8C1=8, R8C2=8, R8C3=8. Кожна група є одним логічним станом істинності OR: принаймні одна кандидатська цифра в ній є істинною, але ланцюжок не стверджує, що кожен член є істинним.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR група A: принаймні одна цифра-кандидат вірна · 2: OR група B: принаймні одна цифра-кандидат вірна
Крок 5 · Міркування
Гілка 1: припустимо, що R3C1=8 є false.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR група A: принаймні одна цифра-кандидат вірна · 2: OR група B: принаймні одна цифра-кандидат вірна
Крок 6 · Груповий сильний зв’язок висновку: змусити іншу сторону
Випадок 1: R3C1=8 є хибним, тому груповий зв’язок сильного висновку форсує R2C2=8. Якщо це група OR, принаймні одна з її кандидатських цифр є істинною.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR група A: принаймні одна цифра-кандидат вірна · 2: OR група B: принаймні одна цифра-кандидат вірна
Крок 7 · Згрупуйте слабкий зв’язок висновку: виключіть конфліктну сторону
R2C2=8 є істинним як стан логічної істинності ланцюга, тому взаємовиключна сторона R2C4=8, R2C5=8 є хибною.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR група A: принаймні одна цифра-кандидат вірна · 2: OR група B: принаймні одна цифра-кандидат вірна
Крок 8 · Груповий сильний зв’язок висновку: одна сторона має залишитися
OR кандидатська група цифр A є хибним, тому груповий зв’язок сильного висновку примусово застосовує R1C6=8.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR група A: принаймні одна цифра-кандидат вірна · 2: OR група B: принаймні одна цифра-кандидат вірна
Крок 9 · Згрупуйте слабкий зв’язок висновку: виключіть конфліктну сторону
R1C6=8 є істинним як стан логічної істинності ланцюга, тому взаємовиключна сторона R8C6=8 є хибною.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR група A: принаймні одна цифра-кандидат вірна · 2: OR група B: принаймні одна цифра-кандидат вірна
Крок 10 · Непряма кінцева точка виключає цілі
OR кандидатська група цифр B є істинним як стан логічної істинності кінцевої точки, тому він виключає цілі.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR група A: принаймні одна цифра-кандидат вірна · 2: OR група B: принаймні одна цифра-кандидат вірна
Крок 11 · Вилучіть попередню заливку прямокутника
Відмініть це припущення та його наслідки. Поверніться до незмінного знімка цифри-кандидата, перш ніж розглядати наступну можливість.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR група A: принаймні одна цифра-кандидат вірна · 2: OR група B: принаймні одна цифра-кандидат вірна
Крок 12 · Випадок 2: перша кінцева точка істинна
Перша кінцева точка R3C1=8 є істинною як стан логічної істинності OR, тому вона виключає цілі.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR група A: принаймні одна цифра-кандидат вірна · 2: OR група B: принаймні одна цифра-кандидат вірна
Крок 13 · Обидва випадки кінцевої точки збігаються
Два випадки кінцевих точок вичерпують альтернативи, і обидва виключають R9C1=8. Видаліть їх після вилучення тимчасових станів логічної істинності.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR група A: принаймні одна цифра-кандидат вірна · 2: OR група B: принаймні одна цифра-кандидат вірна
Що це дозволяє
Два випадки кінцевих точок вичерпують альтернативи, і обидва виключають R9C1=8. Видаліть їх після вилучення тимчасових станів логічної істинності.
Практика
Цей урок адаптовано з навчальних матеріалів застосунку Platon Sudoku. Прочитайте повний приклад тут, а потім продовжуйте навчання і практику в застосунку.
Переглянути в Google Play