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

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

Nice Loop / AIC · Покроковий приклад

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

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

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

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

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

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

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

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

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

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

Сильний зв’язок означає: якщо один кінець хибний, інший істинний. Слабкий зв’язок означає: якщо один кінець істинний, інший хибний. Не обертайте ці імплікації; перед висновком перевірте зв’язок між кінцями.

Покроковий приклад · Розривний · ліквідувати

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

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

Крок 1 · Прочитайте AIC перед тим, як його виконувати

У цьому уроці Nice Loop / AIC використовується звичайне сімейство цифрових вузлів-кандидатів HoDoKu: розривні виключення та розміщення, відкриті ланцюжки типу 1 і типу 2 і безперервні цикли. Почніть з R1C6=1 правда і перевірте R1C6=1. У колонка 6, ряд 2, колонка 9, ряд 7, Блок 3×3 5, ряд 5, колонка 1, ряд 9, колонка 8 суцільна лінія означає, що принаймні один кінець істинний; пунктирне посилання означає, що дві кінцеві точки не можуть бути істинними одночасно. Слідкуйте за одним виділеним відношенням за раз.

У цьому уроці Nice Loop / AIC використовується звичайне сімейство цифрових вузлів-кандидатів HoDoKu: розривні виключення та розміщення, відкриті ланцюжки типу 1 і типу 2 і безперервні цикли. Почніть з R1C6=1 правда і перевірте R1C6=1. У колонка 6, ряд 2, колонка 9, ряд 7, Блок 3×3 5, ряд 5, колонка 1, ряд 9, колонка 8 суцільна лінія означає, що принаймні один кінець істинний; пунктирне посилання означає, що дві кінцеві точки не можуть бути істинними одночасно. Слідкуйте за одним виділеним відношенням за раз.
У цьому уроці Nice Loop / AIC використовується звичайне сімейство цифрових вузлів-кандидатів HoDoKu: розривні виключення та розміщення, відкриті ланцюжки типу 1 і типу 2 і безперервні цикли. Почніть з R1C6=1 правда і перевірте R1C6=1. У колонка 6, ряд 2, колонка 9, ряд 7, Блок 3×3 5, ряд 5, колонка 1, ряд 9, колонка 8 суцільна лінія означає, що принаймні один кінець істинний; пунктирне посилання означає, що дві кінцеві точки не можуть бути істинними одночасно. Слідкуйте за одним виділеним відношенням за раз.
Крок 2 · Припущення: почати ланцюжок чергування

Гілка 1: припустимо, що R1C6=1 істинне.

Гілка 1: припустимо, що R1C6=1 істинне.
Гілка 1: припустимо, що R1C6=1 істинне.
Крок 3 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R1C6=1 правда. Видаліть R1C6=8.

R1C6=1 правда. Видаліть R1C6=8.
R1C6=1 правда. Видаліть R1C6=8.
Крок 4 · Сильний зв’язок: інша кінцева точка примусова

R1C6=8 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 6. Тому R2C6=8 має бути істинним.

R1C6=8 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 6. Тому R2C6=8 має бути істинним.
R1C6=8 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 6. Тому R2C6=8 має бути істинним.
Крок 5 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R2C6=8 правда. Видаліть R2C6=6.

R2C6=8 правда. Видаліть R2C6=6.
R2C6=8 правда. Видаліть R2C6=6.
Крок 6 · Сильний зв’язок: інша кінцева точка примусова

R2C6=6 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 2. Тому R2C9=6 має бути істинним.

R2C6=6 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 2. Тому R2C9=6 має бути істинним.
R2C6=6 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 2. Тому R2C9=6 має бути істинним.
Крок 7 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R2C9=6 правда. Видаліть R2C9=3.

R2C9=6 правда. Видаліть R2C9=3.
R2C9=6 правда. Видаліть R2C9=3.
Крок 8 · Сильний зв’язок: інша кінцева точка примусова

R2C9=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 9. Тому R7C9=3 має бути істинним.

R2C9=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 9. Тому R7C9=3 має бути істинним.
R2C9=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 9. Тому R7C9=3 має бути істинним.
Крок 9 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R7C9=3 правда. Видаліть R7C6=3.

R7C9=3 правда. Видаліть R7C6=3.
R7C9=3 правда. Видаліть R7C6=3.
Крок 10 · Сильний зв’язок: інша кінцева точка примусова

R7C6=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 6. Тому R6C6=3 має бути істинним.

R7C6=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 6. Тому R6C6=3 має бути істинним.
R7C6=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 6. Тому R6C6=3 має бути істинним.
Крок 11 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R6C6=3 правда. Видаліть R5C4=3.

R6C6=3 правда. Видаліть R5C4=3.
R6C6=3 правда. Видаліть R5C4=3.
Крок 12 · Сильний зв’язок: інша кінцева точка примусова

R5C4=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 5. Тому R5C1=3 має бути істинним.

R5C4=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 5. Тому R5C1=3 має бути істинним.
R5C4=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 5. Тому R5C1=3 має бути істинним.
Крок 13 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R5C1=3 правда. Видаліть R9C1=3.

R5C1=3 правда. Видаліть R9C1=3.
R5C1=3 правда. Видаліть R9C1=3.
Крок 14 · Сильний зв’язок: інша кінцева точка примусова

R9C1=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 9. Тому R9C8=3 має бути істинним.

R9C1=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 9. Тому R9C8=3 має бути істинним.
R9C1=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 9. Тому R9C8=3 має бути істинним.
Крок 15 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R9C8=3 правда. Видаліть R2C8=3.

R9C8=3 правда. Видаліть R2C8=3.
R9C8=3 правда. Видаліть R2C8=3.
Крок 16 · Та сама комірка: примусова інша кандидатська цифра

R2C8=3 невірний. У тій самій комірці R2C8 інша цифра-кандидат R2C8=8 примусово стає істинною відповідно до поточного припущення.

R2C8=3 невірний. У тій самій комірці R2C8 інша цифра-кандидат R2C8=8 примусово стає істинною відповідно до поточного припущення.
R2C8=3 невірний. У тій самій комірці R2C8 інша цифра-кандидат R2C8=8 примусово стає істинною відповідно до поточного припущення.
Крок 17 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R2C8=8 правда. Видаліть R2C6=8.

R2C8=8 правда. Видаліть R2C6=8.
R2C8=8 правда. Видаліть R2C6=8.
Крок 18 · Сильний зв’язок: інша кінцева точка примусова

R2C6=8 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 6. Тому R1C6=8 має бути істинним.

R2C6=8 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 6. Тому R1C6=8 має бути істинним.
R2C6=8 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 6. Тому R1C6=8 має бути істинним.
Крок 19 · Ланцюжок доходить до протиріччя

Висновок суперечить “R1C6=1 правда”, тому R1C6=1 невірний.

Висновок суперечить “R1C6=1 правда”, тому R1C6=1 невірний.
Висновок суперечить “R1C6=1 правда”, тому R1C6=1 невірний.
Крок 20 · Вилучіть попередню заливку прямокутника

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

Відмініть це припущення та його наслідки. Поверніться до незмінного знімка цифри-кандидата, перш ніж розглядати наступну можливість.
Відмініть це припущення та його наслідки. Поверніться до незмінного знімка цифри-кандидата, перш ніж розглядати наступну можливість.
Крок 21 · Короткий опис AIC

Змінний ланцюжок починався з «R1C6=1 правда» і слідував за позначеними сильними та слабкими зв’язками, включаючи перемикання однієї клітинки, де це було необхідно, до протиріччя. Тому R1C6=1 невірний. Усі тимчасові стани логічної істинності вилучені.

Змінний ланцюжок починався з «R1C6=1 правда» і слідував за позначеними сильними та слабкими зв’язками, включаючи перемикання однієї клітинки, де це було необхідно, до протиріччя. Тому R1C6=1 невірний. Усі тимчасові стани логічної істинності вилучені.
Змінний ланцюжок починався з «R1C6=1 правда» і слідував за позначеними сильними та слабкими зв’язками, включаючи перемикання однієї клітинки, де це було необхідно, до протиріччя. Тому R1C6=1 невірний. Усі тимчасові стани логічної істинності вилучені.

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

Змінний ланцюжок починався з «R1C6=1 правда» і слідував за позначеними сильними та слабкими зв’язками, включаючи перемикання однієї клітинки, де це було необхідно, до протиріччя. Тому R1C6=1 невірний. Усі тимчасові стани логічної істинності вилучені.

Nice Loop / AIC · Використовуйте перевірений результат: видаліть цифру-кандидат або поставте цифру, якщо її протилежний стан логічної істинності неможливий.
Nice Loop / AIC · Використовуйте перевірений результат: видаліть цифру-кандидат або поставте цифру, якщо її протилежний стан логічної істинності неможливий.

Покроковий приклад · Розривний · місце

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

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

Крок 1 · Прочитайте AIC перед тим, як його виконувати

У цьому уроці Nice Loop / AIC використовується звичайне сімейство цифрових вузлів-кандидатів HoDoKu: розривні виключення та розміщення, відкриті ланцюжки типу 1 і типу 2 і безперервні цикли. Почніть з R1C1=4 невірний і перевірте R1C1=4. У ряд 1, колонка 2, Блок 3×3 4, колонка 3 суцільна лінія означає, що принаймні один кінець істинний; пунктирне посилання означає, що дві кінцеві точки не можуть бути істинними одночасно. Слідкуйте за одним виділеним відношенням за раз.

У цьому уроці Nice Loop / AIC використовується звичайне сімейство цифрових вузлів-кандидатів HoDoKu: розривні виключення та розміщення, відкриті ланцюжки типу 1 і типу 2 і безперервні цикли. Почніть з R1C1=4 невірний і перевірте R1C1=4. У ряд 1, колонка 2, Блок 3×3 4, колонка 3 суцільна лінія означає, що принаймні один кінець істинний; пунктирне посилання означає, що дві кінцеві точки не можуть бути істинними одночасно. Слідкуйте за одним виділеним відношенням за раз.
У цьому уроці Nice Loop / AIC використовується звичайне сімейство цифрових вузлів-кандидатів HoDoKu: розривні виключення та розміщення, відкриті ланцюжки типу 1 і типу 2 і безперервні цикли. Почніть з R1C1=4 невірний і перевірте R1C1=4. У ряд 1, колонка 2, Блок 3×3 4, колонка 3 суцільна лінія означає, що принаймні один кінець істинний; пунктирне посилання означає, що дві кінцеві точки не можуть бути істинними одночасно. Слідкуйте за одним виділеним відношенням за раз.
Крок 2 · Припущення: почати ланцюжок чергування

Гілка 1: припустимо, що R1C1=4 є false.

Гілка 1: припустимо, що R1C1=4 є false.
Гілка 1: припустимо, що R1C1=4 є false.
Крок 3 · Сильний зв’язок: інша кінцева точка примусова

R1C1=4 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 1. Тому R1C3=4 має бути істинним.

R1C1=4 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 1. Тому R1C3=4 має бути істинним.
R1C1=4 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 1. Тому R1C3=4 має бути істинним.
Крок 4 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R1C3=4 правда. Видаліть R1C3=5.

R1C3=4 правда. Видаліть R1C3=5.
R1C3=4 правда. Видаліть R1C3=5.
Крок 5 · Сильний зв’язок: інша кінцева точка примусова

R1C3=5 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 1. Тому R1C2=5 має бути істинним.

R1C3=5 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 1. Тому R1C2=5 має бути істинним.
R1C3=5 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 1. Тому R1C2=5 має бути істинним.
Крок 6 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R1C2=5 правда. Видаліть R1C2=9.

R1C2=5 правда. Видаліть R1C2=9.
R1C2=5 правда. Видаліть R1C2=9.
Крок 7 · Сильний зв’язок: інша кінцева точка примусова

R1C2=9 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 2. Тому R5C2=9 має бути істинним.

R1C2=9 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 2. Тому R5C2=9 має бути істинним.
R1C2=9 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 2. Тому R5C2=9 має бути істинним.
Крок 8 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R5C2=9 правда. Видаліть R4C3=9.

R5C2=9 правда. Видаліть R4C3=9.
R5C2=9 правда. Видаліть R4C3=9.
Крок 9 · Та сама комірка: примусова інша кандидатська цифра

R4C3=9 невірний. У тій самій комірці R4C3 інша цифра-кандидат R4C3=4 примусово стає істинною відповідно до поточного припущення.

R4C3=9 невірний. У тій самій комірці R4C3 інша цифра-кандидат R4C3=4 примусово стає істинною відповідно до поточного припущення.
R4C3=9 невірний. У тій самій комірці R4C3 інша цифра-кандидат R4C3=4 примусово стає істинною відповідно до поточного припущення.
Крок 10 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R4C3=4 правда. Видаліть R1C3=4.

R4C3=4 правда. Видаліть R1C3=4.
R4C3=4 правда. Видаліть R1C3=4.
Крок 11 · Ланцюжок доходить до протиріччя

Висновок суперечить “R1C1=4 невірний”, тому R1C1=4 правда.

Висновок суперечить “R1C1=4 невірний”, тому R1C1=4 правда.
Висновок суперечить “R1C1=4 невірний”, тому R1C1=4 правда.
Крок 12 · Вилучіть попередню заливку прямокутника

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

Відмініть це припущення та його наслідки. Поверніться до незмінного знімка цифри-кандидата, перш ніж розглядати наступну можливість.
Відмініть це припущення та його наслідки. Поверніться до незмінного знімка цифри-кандидата, перш ніж розглядати наступну можливість.
Крок 13 · Короткий опис AIC

Змінний ланцюжок починався з «R1C1=4 невірний» і слідував за позначеними сильними та слабкими зв’язками, включаючи перемикання однієї клітинки, де це було необхідно, до протиріччя. Тому R1C1=4 правда. Усі тимчасові стани логічної істинності вилучені.

Змінний ланцюжок починався з «R1C1=4 невірний» і слідував за позначеними сильними та слабкими зв’язками, включаючи перемикання однієї клітинки, де це було необхідно, до протиріччя. Тому R1C1=4 правда. Усі тимчасові стани логічної істинності вилучені.
Змінний ланцюжок починався з «R1C1=4 невірний» і слідував за позначеними сильними та слабкими зв’язками, включаючи перемикання однієї клітинки, де це було необхідно, до протиріччя. Тому R1C1=4 правда. Усі тимчасові стани логічної істинності вилучені.

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

Змінний ланцюжок починався з «R1C1=4 невірний» і слідував за позначеними сильними та слабкими зв’язками, включаючи перемикання однієї клітинки, де це було необхідно, до протиріччя. Тому R1C1=4 правда. Усі тимчасові стани логічної істинності вилучені.

Nice Loop / AIC · Використовуйте перевірений результат: видаліть цифру-кандидат або поставте цифру, якщо її протилежний стан логічної істинності неможливий.
Nice Loop / AIC · Використовуйте перевірений результат: видаліть цифру-кандидат або поставте цифру, якщо її протилежний стан логічної істинності неможливий.

Покроковий приклад · Тип 1

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

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

Крок 1 · Прочитайте AIC перед тим, як його виконувати

У цьому уроці Nice Loop / AIC використовується звичайне сімейство цифрових вузлів-кандидатів HoDoKu: розривні виключення та розміщення, відкриті ланцюжки типу 1 і типу 2 і безперервні цикли. Почніть з R1C6=2 невірний і перевірте R1C8=2, R1C9=2, R2C4=2. У колонка 6, ряд 2 суцільна лінія означає, що принаймні один кінець істинний; пунктирне посилання означає, що дві кінцеві точки не можуть бути істинними одночасно. Слідкуйте за одним виділеним відношенням за раз.

У цьому уроці Nice Loop / AIC використовується звичайне сімейство цифрових вузлів-кандидатів HoDoKu: розривні виключення та розміщення, відкриті ланцюжки типу 1 і типу 2 і безперервні цикли. Почніть з R1C6=2 невірний і перевірте R1C8=2, R1C9=2, R2C4=2. У колонка 6, ряд 2 суцільна лінія означає, що принаймні один кінець істинний; пунктирне посилання означає, що дві кінцеві точки не можуть бути істинними одночасно. Слідкуйте за одним виділеним відношенням за раз.
У цьому уроці Nice Loop / AIC використовується звичайне сімейство цифрових вузлів-кандидатів HoDoKu: розривні виключення та розміщення, відкриті ланцюжки типу 1 і типу 2 і безперервні цикли. Почніть з R1C6=2 невірний і перевірте R1C8=2, R1C9=2, R2C4=2. У колонка 6, ряд 2 суцільна лінія означає, що принаймні один кінець істинний; пунктирне посилання означає, що дві кінцеві точки не можуть бути істинними одночасно. Слідкуйте за одним виділеним відношенням за раз.
Крок 2 · Припущення: почати ланцюжок чергування

Гілка 1: припустимо, що R1C6=2 є false.

Гілка 1: припустимо, що R1C6=2 є false.
Гілка 1: припустимо, що R1C6=2 є false.
Крок 3 · Та сама комірка: примусова інша кандидатська цифра

R1C6=2 невірний. У тій самій комірці R1C6 інша цифра-кандидат R1C6=1 примусово стає істинною відповідно до поточного припущення.

R1C6=2 невірний. У тій самій комірці R1C6 інша цифра-кандидат R1C6=1 примусово стає істинною відповідно до поточного припущення.
R1C6=2 невірний. У тій самій комірці R1C6 інша цифра-кандидат R1C6=1 примусово стає істинною відповідно до поточного припущення.
Крок 4 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R1C6=1 правда. Видаліть R6C6=1.

R1C6=1 правда. Видаліть R6C6=1.
R1C6=1 правда. Видаліть R6C6=1.
Крок 5 · Та сама комірка: примусова інша кандидатська цифра

R6C6=1 невірний. У тій самій комірці R6C6 інша цифра-кандидат R6C6=6 примусово стає істинною відповідно до поточного припущення.

R6C6=1 невірний. У тій самій комірці R6C6 інша цифра-кандидат R6C6=6 примусово стає істинною відповідно до поточного припущення.
R6C6=1 невірний. У тій самій комірці R6C6 інша цифра-кандидат R6C6=6 примусово стає істинною відповідно до поточного припущення.
Крок 6 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R6C6=6 правда. Видаліть R2C6=6.

R6C6=6 правда. Видаліть R2C6=6.
R6C6=6 правда. Видаліть R2C6=6.
Крок 7 · Та сама комірка: примусова інша кандидатська цифра

R2C6=6 невірний. У тій самій комірці R2C6 інша цифра-кандидат R2C6=7 примусово стає істинною відповідно до поточного припущення.

R2C6=6 невірний. У тій самій комірці R2C6 інша цифра-кандидат R2C6=7 примусово стає істинною відповідно до поточного припущення.
R2C6=6 невірний. У тій самій комірці R2C6 інша цифра-кандидат R2C6=7 примусово стає істинною відповідно до поточного припущення.
Крок 8 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R2C6=7 правда. Видаліть R2C8=7.

R2C6=7 правда. Видаліть R2C8=7.
R2C6=7 правда. Видаліть R2C8=7.
Крок 9 · Та сама комірка: примусова інша кандидатська цифра

R2C8=7 невірний. У тій самій комірці R2C8 інша цифра-кандидат R2C8=2 примусово стає істинною відповідно до поточного припущення.

R2C8=7 невірний. У тій самій комірці R2C8 інша цифра-кандидат R2C8=2 примусово стає істинною відповідно до поточного припущення.
R2C8=7 невірний. У тій самій комірці R2C8 інша цифра-кандидат R2C8=2 примусово стає істинною відповідно до поточного припущення.
Крок 10 · Короткий опис AIC

Принаймні один із кінців R1C6=2 і R2C8=2 з однаковою цифрою має бути істинним. Кожна ціль R1C8=2, R1C9=2, R2C4=2 бачить обидва кінці, тому не може бути істинною.

Принаймні один із кінців R1C6=2 і R2C8=2 з однаковою цифрою має бути істинним. Кожна ціль R1C8=2, R1C9=2, R2C4=2 бачить обидва кінці, тому не може бути істинною.
Принаймні один із кінців R1C6=2 і R2C8=2 з однаковою цифрою має бути істинним. Кожна ціль R1C8=2, R1C9=2, R2C4=2 бачить обидва кінці, тому не може бути істинною.
Крок 11 · Вилучіть попередню заливку прямокутника

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

Відмініть це припущення та його наслідки. Поверніться до незмінного знімка цифри-кандидата, перш ніж розглядати наступну можливість.
Відмініть це припущення та його наслідки. Поверніться до незмінного знімка цифри-кандидата, перш ніж розглядати наступну можливість.
Крок 12 · Короткий опис AIC

Відкликайте випадок тимчасової кінцевої точки. Тип 1 AIC назавжди видаляє R1C8=2, R1C9=2, R2C4=2, оскільки кожна ціль бачить як R1C6=2, так і R2C8=2.

Відкликайте випадок тимчасової кінцевої точки. Тип 1 AIC назавжди видаляє R1C8=2, R1C9=2, R2C4=2, оскільки кожна ціль бачить як R1C6=2, так і R2C8=2.
Відкликайте випадок тимчасової кінцевої точки. Тип 1 AIC назавжди видаляє R1C8=2, R1C9=2, R2C4=2, оскільки кожна ціль бачить як R1C6=2, так і R2C8=2.

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

Відкликайте випадок тимчасової кінцевої точки. Тип 1 AIC назавжди видаляє R1C8=2, R1C9=2, R2C4=2, оскільки кожна ціль бачить як R1C6=2, так і R2C8=2.

Nice Loop / AIC · Використовуйте перевірений результат: видаліть цифру-кандидат або поставте цифру, якщо її протилежний стан логічної істинності неможливий.
Nice Loop / AIC · Використовуйте перевірений результат: видаліть цифру-кандидат або поставте цифру, якщо її протилежний стан логічної істинності неможливий.

Покроковий приклад · Тип 2

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

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

Крок 1 · Прочитайте AIC перед тим, як його виконувати

У цьому уроці Nice Loop / AIC використовується звичайне сімейство цифрових вузлів-кандидатів HoDoKu: розривні виключення та розміщення, відкриті ланцюжки типу 1 і типу 2 і безперервні цикли. Почніть з R1C8=9 невірний і перевірте R4C8=9. У ряд 1, колонка 7, Блок 3×3 6, колонка 8, ряд 3, колонка 6, ряд 5, колонка 4, ряд 6, колонка 9, ряд 4 суцільна лінія означає, що принаймні один кінець істинний; пунктирне посилання означає, що дві кінцеві точки не можуть бути істинними одночасно. Слідкуйте за одним виділеним відношенням за раз.

У цьому уроці Nice Loop / AIC використовується звичайне сімейство цифрових вузлів-кандидатів HoDoKu: розривні виключення та розміщення, відкриті ланцюжки типу 1 і типу 2 і безперервні цикли. Почніть з R1C8=9 невірний і перевірте R4C8=9. У ряд 1, колонка 7, Блок 3×3 6, колонка 8, ряд 3, колонка 6, ряд 5, колонка 4, ряд 6, колонка 9, ряд 4 суцільна лінія означає, що принаймні один кінець істинний; пунктирне посилання означає, що дві кінцеві точки не можуть бути істинними одночасно. Слідкуйте за одним виділеним відношенням за раз.
У цьому уроці Nice Loop / AIC використовується звичайне сімейство цифрових вузлів-кандидатів HoDoKu: розривні виключення та розміщення, відкриті ланцюжки типу 1 і типу 2 і безперервні цикли. Почніть з R1C8=9 невірний і перевірте R4C8=9. У ряд 1, колонка 7, Блок 3×3 6, колонка 8, ряд 3, колонка 6, ряд 5, колонка 4, ряд 6, колонка 9, ряд 4 суцільна лінія означає, що принаймні один кінець істинний; пунктирне посилання означає, що дві кінцеві точки не можуть бути істинними одночасно. Слідкуйте за одним виділеним відношенням за раз.
Крок 2 · Припущення: почати ланцюжок чергування

Гілка 1: припустимо, що R1C8=9 є false.

Гілка 1: припустимо, що R1C8=9 є false.
Гілка 1: припустимо, що R1C8=9 є false.
Крок 3 · Сильний зв’язок: інша кінцева точка примусова

R1C8=9 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 1. Тому R1C7=9 має бути істинним.

R1C8=9 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 1. Тому R1C7=9 має бути істинним.
R1C8=9 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 1. Тому R1C7=9 має бути істинним.
Крок 4 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R1C7=9 правда. Видаліть R5C7=9.

R1C7=9 правда. Видаліть R5C7=9.
R1C7=9 правда. Видаліть R5C7=9.
Крок 5 · Та сама комірка: примусова інша кандидатська цифра

R5C7=9 невірний. У тій самій комірці R5C7 інша цифра-кандидат R5C7=2 примусово стає істинною відповідно до поточного припущення.

R5C7=9 невірний. У тій самій комірці R5C7 інша цифра-кандидат R5C7=2 примусово стає істинною відповідно до поточного припущення.
R5C7=9 невірний. У тій самій комірці R5C7 інша цифра-кандидат R5C7=2 примусово стає істинною відповідно до поточного припущення.
Крок 6 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R5C7=2 правда. Видаліть R6C8=2.

R5C7=2 правда. Видаліть R6C8=2.
R5C7=2 правда. Видаліть R6C8=2.
Крок 7 · Та сама комірка: примусова інша кандидатська цифра

R6C8=2 невірний. У тій самій комірці R6C8 інша цифра-кандидат R6C8=1 примусово стає істинною відповідно до поточного припущення.

R6C8=2 невірний. У тій самій комірці R6C8 інша цифра-кандидат R6C8=1 примусово стає істинною відповідно до поточного припущення.
R6C8=2 невірний. У тій самій комірці R6C8 інша цифра-кандидат R6C8=1 примусово стає істинною відповідно до поточного припущення.
Крок 8 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R6C8=1 правда. Видаліть R3C8=1.

R6C8=1 правда. Видаліть R3C8=1.
R6C8=1 правда. Видаліть R3C8=1.
Крок 9 · Та сама комірка: примусова інша кандидатська цифра

R3C8=1 невірний. У тій самій комірці R3C8 інша цифра-кандидат R3C8=6 примусово стає істинною відповідно до поточного припущення.

R3C8=1 невірний. У тій самій комірці R3C8 інша цифра-кандидат R3C8=6 примусово стає істинною відповідно до поточного припущення.
R3C8=1 невірний. У тій самій комірці R3C8 інша цифра-кандидат R3C8=6 примусово стає істинною відповідно до поточного припущення.
Крок 10 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R3C8=6 правда. Видаліть R3C6=6.

R3C8=6 правда. Видаліть R3C6=6.
R3C8=6 правда. Видаліть R3C6=6.
Крок 11 · Та сама комірка: примусова інша кандидатська цифра

R3C6=6 невірний. У тій самій комірці R3C6 інша цифра-кандидат R3C6=4 примусово стає істинною відповідно до поточного припущення.

R3C6=6 невірний. У тій самій комірці R3C6 інша цифра-кандидат R3C6=4 примусово стає істинною відповідно до поточного припущення.
R3C6=6 невірний. У тій самій комірці R3C6 інша цифра-кандидат R3C6=4 примусово стає істинною відповідно до поточного припущення.
Крок 12 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R3C6=4 правда. Видаліть R5C6=4.

R3C6=4 правда. Видаліть R5C6=4.
R3C6=4 правда. Видаліть R5C6=4.
Крок 13 · Сильний зв’язок: інша кінцева точка примусова

R5C6=4 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 5. Тому R5C4=4 має бути істинним.

R5C6=4 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 5. Тому R5C4=4 має бути істинним.
R5C6=4 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 5. Тому R5C4=4 має бути істинним.
Крок 14 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R5C4=4 правда. Видаліть R5C4=3.

R5C4=4 правда. Видаліть R5C4=3.
R5C4=4 правда. Видаліть R5C4=3.
Крок 15 · Сильний зв’язок: інша кінцева точка примусова

R5C4=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 4. Тому R6C4=3 має бути істинним.

R5C4=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 4. Тому R6C4=3 має бути істинним.
R5C4=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 4. Тому R6C4=3 має бути істинним.
Крок 16 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R6C4=3 правда. Видаліть R6C9=3.

R6C4=3 правда. Видаліть R6C9=3.
R6C4=3 правда. Видаліть R6C9=3.
Крок 17 · Сильний зв’язок: інша кінцева точка примусова

R6C9=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 9. Тому R4C9=3 має бути істинним.

R6C9=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 9. Тому R4C9=3 має бути істинним.
R6C9=3 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 9. Тому R4C9=3 має бути істинним.
Крок 18 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R4C9=3 правда. Видаліть R4C9=7.

R4C9=3 правда. Видаліть R4C9=7.
R4C9=3 правда. Видаліть R4C9=7.
Крок 19 · Сильний зв’язок: інша кінцева точка примусова

R4C9=7 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 4. Тому R4C8=7 має бути істинним.

R4C9=7 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 4. Тому R4C8=7 має бути істинним.
R4C9=7 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 4. Тому R4C8=7 має бути істинним.
Крок 20 · Короткий опис AIC

Однорангові кінцеві точки R1C8=9 і R4C8=7 містять різні цифри. Кожна позначена цифра перехресного кандидата R4C8=9 зробить обидві кінцеві точки помилковими, тому видаліть її.

Однорангові кінцеві точки R1C8=9 і R4C8=7 містять різні цифри. Кожна позначена цифра перехресного кандидата R4C8=9 зробить обидві кінцеві точки помилковими, тому видаліть її.
Однорангові кінцеві точки R1C8=9 і R4C8=7 містять різні цифри. Кожна позначена цифра перехресного кандидата R4C8=9 зробить обидві кінцеві точки помилковими, тому видаліть її.
Крок 21 · Вилучіть попередню заливку прямокутника

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

Відмініть це припущення та його наслідки. Поверніться до незмінного знімка цифри-кандидата, перш ніж розглядати наступну можливість.
Відмініть це припущення та його наслідки. Поверніться до незмінного знімка цифри-кандидата, перш ніж розглядати наступну можливість.
Крок 22 · Короткий опис AIC

Відкликайте випадок тимчасової кінцевої точки. Тип 2 AIC назавжди видаляє перехресні цифри R4C8=9 між R1C8=9 і R4C8=7.

Відкликайте випадок тимчасової кінцевої точки. Тип 2 AIC назавжди видаляє перехресні цифри R4C8=9 між R1C8=9 і R4C8=7.
Відкликайте випадок тимчасової кінцевої точки. Тип 2 AIC назавжди видаляє перехресні цифри R4C8=9 між R1C8=9 і R4C8=7.

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

Відкликайте випадок тимчасової кінцевої точки. Тип 2 AIC назавжди видаляє перехресні цифри R4C8=9 між R1C8=9 і R4C8=7.

Nice Loop / AIC · Використовуйте перевірений результат: видаліть цифру-кандидат або поставте цифру, якщо її протилежний стан логічної істинності неможливий.
Nice Loop / AIC · Використовуйте перевірений результат: видаліть цифру-кандидат або поставте цифру, якщо її протилежний стан логічної істинності неможливий.

Покроковий приклад · Безперервна петля

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

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

Крок 1 · Прочитайте AIC перед тим, як його виконувати

У цьому уроці Nice Loop / AIC використовується звичайне сімейство цифрових вузлів-кандидатів HoDoKu: розривні виключення та розміщення, відкриті ланцюжки типу 1 і типу 2 і безперервні цикли. Почніть з R9C3=6 невірний і перевірте R9C3=5. У колонка 3, ряд 5, колонка 8, ряд 9 суцільна лінія означає, що принаймні один кінець істинний; пунктирне посилання означає, що дві кінцеві точки не можуть бути істинними одночасно. Слідкуйте за одним виділеним відношенням за раз.

У цьому уроці Nice Loop / AIC використовується звичайне сімейство цифрових вузлів-кандидатів HoDoKu: розривні виключення та розміщення, відкриті ланцюжки типу 1 і типу 2 і безперервні цикли. Почніть з R9C3=6 невірний і перевірте R9C3=5. У колонка 3, ряд 5, колонка 8, ряд 9 суцільна лінія означає, що принаймні один кінець істинний; пунктирне посилання означає, що дві кінцеві точки не можуть бути істинними одночасно. Слідкуйте за одним виділеним відношенням за раз.
У цьому уроці Nice Loop / AIC використовується звичайне сімейство цифрових вузлів-кандидатів HoDoKu: розривні виключення та розміщення, відкриті ланцюжки типу 1 і типу 2 і безперервні цикли. Почніть з R9C3=6 невірний і перевірте R9C3=5. У колонка 3, ряд 5, колонка 8, ряд 9 суцільна лінія означає, що принаймні один кінець істинний; пунктирне посилання означає, що дві кінцеві точки не можуть бути істинними одночасно. Слідкуйте за одним виділеним відношенням за раз.
Крок 2 · Припущення: почати ланцюжок чергування

Виберіть лише R9C3=6 як початок читання цього замкнутого циклу. Це не пробне припущення; сюди повернеться змінний цикл.

Виберіть лише R9C3=6 як початок читання цього замкнутого циклу. Це не пробне припущення; сюди повернеться змінний цикл.
Виберіть лише R9C3=6 як початок читання цього замкнутого циклу. Це не пробне припущення; сюди повернеться змінний цикл.
Крок 3 · Сильний зв’язок: інша кінцева точка примусова

R9C3=6 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 3. Тому R5C3=6 має бути істинним.

R9C3=6 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 3. Тому R5C3=6 має бути істинним.
R9C3=6 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в колонка 3. Тому R5C3=6 має бути істинним.
Крок 4 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R5C3=6 правда. Видаліть R5C8=6.

R5C3=6 правда. Видаліть R5C8=6.
R5C3=6 правда. Видаліть R5C8=6.
Крок 5 · Та сама комірка: примусова інша кандидатська цифра

R5C8=6 невірний. У тій самій комірці R5C8 інша цифра-кандидат R5C8=8 примусово стає істинною відповідно до поточного припущення.

R5C8=6 невірний. У тій самій комірці R5C8 інша цифра-кандидат R5C8=8 примусово стає істинною відповідно до поточного припущення.
R5C8=6 невірний. У тій самій комірці R5C8 інша цифра-кандидат R5C8=8 примусово стає істинною відповідно до поточного припущення.
Крок 6 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R5C8=8 правда. Видаліть R9C8=8.

R5C8=8 правда. Видаліть R9C8=8.
R5C8=8 правда. Видаліть R9C8=8.
Крок 7 · Сильний зв’язок: інша кінцева точка примусова

R9C8=8 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 9. Тому R9C3=8 має бути істинним.

R9C8=8 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 9. Тому R9C3=8 має бути істинним.
R9C8=8 невірний. Ці дві сторони разом містять усі варіанти, що залишилися в ряд 9. Тому R9C3=8 має бути істинним.
Крок 8 · Слабкий зв’язок: конфлікт зв’язаних цифр-кандидатів

R9C3=8 правда. Видаліть R9C3=6.

R9C3=8 правда. Видаліть R9C3=6.
R9C3=8 правда. Видаліть R9C3=6.
Крок 9 · Короткий опис AIC

Ланцюжок замикається у вигляді безперервної змінної петлі. Отже, кожен слабкий зв’язок у циклі є сильним, що видаляє R9C3=5 із ураженої комірки або блоку судоку.

Ланцюжок замикається у вигляді безперервної змінної петлі. Отже, кожен слабкий зв’язок у циклі є сильним, що видаляє R9C3=5 із ураженої комірки або блоку судоку.
Ланцюжок замикається у вигляді безперервної змінної петлі. Отже, кожен слабкий зв’язок у циклі є сильним, що видаляє R9C3=5 із ураженої комірки або блоку судоку.
Крок 10 · Вилучіть попередню заливку прямокутника

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

Відмініть це припущення та його наслідки. Поверніться до незмінного знімка цифри-кандидата, перш ніж розглядати наступну можливість.
Відмініть це припущення та його наслідки. Поверніться до незмінного знімка цифри-кандидата, перш ніж розглядати наступну можливість.
Крок 11 · Короткий опис AIC

Обхід циклу завершено; скасувати його тимчасові стани логічної істинності та остаточно видалити R9C3=5.

Обхід циклу завершено; скасувати його тимчасові стани логічної істинності та остаточно видалити R9C3=5.
Обхід циклу завершено; скасувати його тимчасові стани логічної істинності та остаточно видалити R9C3=5.

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

Обхід циклу завершено; скасувати його тимчасові стани логічної істинності та остаточно видалити R9C3=5.

Nice Loop / AIC · Використовуйте перевірений результат: видаліть цифру-кандидат або поставте цифру, якщо її протилежний стан логічної істинності неможливий.
Nice Loop / AIC · Використовуйте перевірений результат: видаліть цифру-кандидат або поставте цифру, якщо її протилежний стан логічної істинності неможливий.

Практика

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

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