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, блок 5, строка 5, столбец 1, строка 9, столбец 8 сплошная линия означает, что хотя бы один конец истинен; пунктирная линия означает, что оба конца не могут быть истинными. Следуйте по одному выделенному отношению за раз.

В этом уроке Nice Loop / AIC используется обычное семейство узлов-кандидатов HoDoKu: прерывистые исключения и размещения, открытые цепочки типа 1 и типа 2 и непрерывные циклы. Начните с R1C6=1 верно и проверьте R1C6=1. В столбец 6, строка 2, столбец 9, строка 7, блок 5, строка 5, столбец 1, строка 9, столбец 8 сплошная линия означает, что хотя бы один конец истинен; пунктирная линия означает, что оба конца не могут быть истинными. Следуйте по одному выделенному отношению за раз.
В этом уроке Nice Loop / AIC используется обычное семейство узлов-кандидатов HoDoKu: прерывистые исключения и размещения, открытые цепочки типа 1 и типа 2 и непрерывные циклы. Начните с R1C6=1 верно и проверьте R1C6=1. В столбец 6, строка 2, столбец 9, строка 7, блок 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, блок 4, столбец 3 сплошная линия означает, что хотя бы один конец истинен; пунктирная линия означает, что оба конца не могут быть истинными. Следуйте по одному выделенному отношению за раз.

В этом уроке Nice Loop / AIC используется обычное семейство узлов-кандидатов HoDoKu: прерывистые исключения и размещения, открытые цепочки типа 1 и типа 2 и непрерывные циклы. Начните с R1C1=4 — ложь и проверьте R1C1=4. В строка 1, столбец 2, блок 4, столбец 3 сплошная линия означает, что хотя бы один конец истинен; пунктирная линия означает, что оба конца не могут быть истинными. Следуйте по одному выделенному отношению за раз.
В этом уроке Nice Loop / AIC используется обычное семейство узлов-кандидатов HoDoKu: прерывистые исключения и размещения, открытые цепочки типа 1 и типа 2 и непрерывные циклы. Начните с R1C1=4 — ложь и проверьте R1C1=4. В строка 1, столбец 2, блок 4, столбец 3 сплошная линия означает, что хотя бы один конец истинен; пунктирная линия означает, что оба конца не могут быть истинными. Следуйте по одному выделенному отношению за раз.
Шаг 2 · Предположение: начать попеременную цепочку

Ветвь 1: предположим, что R1C1=4 является ложным.

Ветвь 1: предположим, что R1C1=4 является ложным.
Ветвь 1: предположим, что R1C1=4 является ложным.
Шаг 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 является ложным.

Ветвь 1: предположим, что R1C6=2 является ложным.
Ветвь 1: предположим, что R1C6=2 является ложным.
Шаг 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 резюме

Отмените вариант временной конечной точки. AIC типа 1 навсегда удаляет R1C8=2, R1C9=2, R2C4=2, поскольку каждая цель видит как R1C6=2, так и R2C8=2.

Отмените вариант временной конечной точки. AIC типа 1 навсегда удаляет R1C8=2, R1C9=2, R2C4=2, поскольку каждая цель видит как R1C6=2, так и R2C8=2.
Отмените вариант временной конечной точки. AIC типа 1 навсегда удаляет R1C8=2, R1C9=2, R2C4=2, поскольку каждая цель видит как R1C6=2, так и R2C8=2.

Что это позволяет

Отмените вариант временной конечной точки. AIC типа 1 навсегда удаляет 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, блок 6, столбец 8, строка 3, столбец 6, строка 5, столбец 4, строка 6, столбец 9, строка 4 сплошная линия означает, что хотя бы один конец истинен; пунктирная линия означает, что оба конца не могут быть истинными. Следуйте по одному выделенному отношению за раз.

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

Ветвь 1: предположим, что R1C8=9 является ложным.

Ветвь 1: предположим, что R1C8=9 является ложным.
Ветвь 1: предположим, что R1C8=9 является ложным.
Шаг 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