Platon Games
Русский

Platon Sudoku · Изучение судоку

X-Chain · Пошаговый пример

Цепочка из однозначных чередующихся проверенных сильных и слабых звеньев, в результате чего хотя бы один конец становится истинным. Удалите цифру из любой цели, которая видит обе конечные точки.

Этот урок основан на материалах приложения Platon Sudoku. Изучите полный пример здесь, затем продолжайте обучение и практику в приложении.

Посмотреть в Google Play

Распознайте закономерность

Цепочка из однозначных чередующихся проверенных сильных и слабых звеньев, в результате чего хотя бы один конец становится истинным.

Как его найти

Начните с сильной ссылки для одной цифры, меняйте типы ссылок, не пропуская кандидата, и тестовые объекты, видимые с обоих концов.

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

Удалите цифру из любой цели, которая видит обе конечные точки.

Избегайте путаницы

Сильная связь требует ровно двух кандидатов в своем регионе; слабое звено только говорит, что оба конца не могут быть правдой.

Пошаговый пример · Короткая цепочка

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

Синий: основания. Зелёный: вывод. Зачёркнутые цифры: исключённые кандидаты. R1C1 означает строку 1, столбец 1.

Шаг 1 · Где искать

Используйте проверенных кандидатов, показанных здесь. Ранее действительные удаления остаются в силе.

Используйте проверенных кандидатов, показанных здесь. Ранее действительные удаления остаются в силе.
Используйте проверенных кандидатов, показанных здесь. Ранее действительные удаления остаются в силе.
Шаг 2 · Рассуждение

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

Ветвь 1: предположим, что R5C8=2 является ложным.
Ветвь 1: предположим, что R5C8=2 является ложным.
Шаг 3 · Рассуждение

​​R5C8=2 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 5. Следовательно, R5C4=2 должно быть истинным.

​​R5C8=2 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 5. Следовательно, R5C4=2 должно быть истинным.
​​R5C8=2 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 5. Следовательно, R5C4=2 должно быть истинным.
Шаг 4 · Рассуждение

R5C4=2 верно. Удалите R2C4=2.

R5C4=2 верно. Удалите R2C4=2.
R5C4=2 верно. Удалите R2C4=2.
Шаг 5 · Рассуждение

​​R2C4=2 — ложь. Вместе эти две стороны содержат все оставшиеся опции в блок 2. Следовательно, R1C5=2 должно быть истинным.

​​R2C4=2 — ложь. Вместе эти две стороны содержат все оставшиеся опции в блок 2. Следовательно, R1C5=2 должно быть истинным.
​​R2C4=2 — ложь. Вместе эти две стороны содержат все оставшиеся опции в блок 2. Следовательно, R1C5=2 должно быть истинным.
Шаг 6 · Рассуждение

R1C5=2 верно. Удалите R1C9=2.

R1C5=2 верно. Удалите R1C9=2.
R1C5=2 верно. Удалите R1C9=2.
Шаг 7 · Рассуждение

R1C9=2 имеет значение false, поэтому R8C9=2 принудительно устанавливается в столбец 9. Каждая цель видит R8C9=2, поэтому вычеркните R7C8=2, R8C8=2.

R1C9=2 имеет значение false, поэтому R8C9=2 принудительно устанавливается в столбец 9. Каждая цель видит R8C9=2, поэтому вычеркните R7C8=2, R8C8=2.
R1C9=2 имеет значение false, поэтому R8C9=2 принудительно устанавливается в столбец 9. Каждая цель видит R8C9=2, поэтому вычеркните R7C8=2, R8C8=2.
Шаг 8 · Удалить предыдущую заливку прямоугольника.

Отзовите это предположение и его последствия. Вернитесь к неизмененному снимку кандидата, прежде чем рассматривать следующую возможность.

Отзовите это предположение и его последствия. Вернитесь к неизмененному снимку кандидата, прежде чем рассматривать следующую возможность.
Отзовите это предположение и его последствия. Вернитесь к неизмененному снимку кандидата, прежде чем рассматривать следующую возможность.
Шаг 9 · Рассуждение

Комплект R5C8=2. Каждая цель его видит, поэтому вычеркните R7C8=2, R8C8=2.

Комплект R5C8=2. Каждая цель его видит, поэтому вычеркните R7C8=2, R8C8=2.
Комплект R5C8=2. Каждая цель его видит, поэтому вычеркните R7C8=2, R8C8=2.
Шаг 10 · Заключение

Два случая конечных точек исчерпывают все возможности и оба исключают R7C8=2, R8C8=2. Отзовите временные состояния, затем удалите этих кандидатов.

Два случая конечных точек исчерпывают все возможности и оба исключают R7C8=2, R8C8=2. Отзовите временные состояния, затем удалите этих кандидатов.
Два случая конечных точек исчерпывают все возможности и оба исключают R7C8=2, R8C8=2. Отзовите временные состояния, затем удалите этих кандидатов.

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

Два случая конечных точек исчерпывают все возможности и оба исключают R7C8=2, R8C8=2. Отзовите временные состояния, затем удалите этих кандидатов.

X-Chain · Удалите цифру из любой цели, которая видит обе конечные точки.
X-Chain · Удалите цифру из любой цели, которая видит обе конечные точки.

Пошаговый пример · Средняя цепь

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

Синий: основания. Зелёный: вывод. Зачёркнутые цифры: исключённые кандидаты. R1C1 означает строку 1, столбец 1.

Шаг 1 · Где искать

Используйте проверенных кандидатов, показанных здесь. Ранее действительные удаления остаются в силе.

Используйте проверенных кандидатов, показанных здесь. Ранее действительные удаления остаются в силе.
Используйте проверенных кандидатов, показанных здесь. Ранее действительные удаления остаются в силе.
Шаг 2 · Рассуждение

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

Ветвь 1: предположим, что R1C3=7 является ложным.
Ветвь 1: предположим, что R1C3=7 является ложным.
Шаг 3 · Рассуждение

​​R1C3=7 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 1. Следовательно, R1C7=7 должно быть истинным.

​​R1C3=7 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 1. Следовательно, R1C7=7 должно быть истинным.
​​R1C3=7 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 1. Следовательно, R1C7=7 должно быть истинным.
Шаг 4 · Рассуждение

R1C7=7 верно. Удалите R8C7=7.

R1C7=7 верно. Удалите R8C7=7.
R1C7=7 верно. Удалите R8C7=7.
Шаг 5 · Рассуждение

​​R8C7=7 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 8. Следовательно, R8C8=7 должно быть истинным.

​​R8C7=7 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 8. Следовательно, R8C8=7 должно быть истинным.
​​R8C7=7 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 8. Следовательно, R8C8=7 должно быть истинным.
Шаг 6 · Рассуждение

R8C8=7 верно. Удалите R5C8=7.

R8C8=7 верно. Удалите R5C8=7.
R8C8=7 верно. Удалите R5C8=7.
Шаг 7 · Рассуждение

​​R5C8=7 — ложь. Вместе эти две стороны содержат все оставшиеся опции в блок 6. Следовательно, R4C9=7 должно быть истинным.

​​R5C8=7 — ложь. Вместе эти две стороны содержат все оставшиеся опции в блок 6. Следовательно, R4C9=7 должно быть истинным.
​​R5C8=7 — ложь. Вместе эти две стороны содержат все оставшиеся опции в блок 6. Следовательно, R4C9=7 должно быть истинным.
Шаг 8 · Рассуждение

R4C9=7 верно. Удалите R4C5=7.

R4C9=7 верно. Удалите R4C5=7.
R4C9=7 верно. Удалите R4C5=7.
Шаг 9 · Рассуждение

R4C5=7 имеет значение false, поэтому R2C5=7 принудительно устанавливается в столбец 5. Каждая цель видит R2C5=7, поэтому вычеркните R2C3=7.

R4C5=7 имеет значение false, поэтому R2C5=7 принудительно устанавливается в столбец 5. Каждая цель видит R2C5=7, поэтому вычеркните R2C3=7.
R4C5=7 имеет значение false, поэтому R2C5=7 принудительно устанавливается в столбец 5. Каждая цель видит R2C5=7, поэтому вычеркните R2C3=7.
Шаг 10 · Удалить предыдущую заливку прямоугольника.

Отзовите это предположение и его последствия. Вернитесь к неизмененному снимку кандидата, прежде чем рассматривать следующую возможность.

Отзовите это предположение и его последствия. Вернитесь к неизмененному снимку кандидата, прежде чем рассматривать следующую возможность.
Отзовите это предположение и его последствия. Вернитесь к неизмененному снимку кандидата, прежде чем рассматривать следующую возможность.
Шаг 11 · Рассуждение

Комплект R1C3=7. Каждая цель его видит, поэтому вычеркните R2C3=7.

Комплект R1C3=7. Каждая цель его видит, поэтому вычеркните R2C3=7.
Комплект R1C3=7. Каждая цель его видит, поэтому вычеркните R2C3=7.
Шаг 12 · Заключение

Два случая конечных точек исчерпывают все возможности и оба исключают R2C3=7. Отзовите временные состояния, затем удалите этих кандидатов.

Два случая конечных точек исчерпывают все возможности и оба исключают R2C3=7. Отзовите временные состояния, затем удалите этих кандидатов.
Два случая конечных точек исчерпывают все возможности и оба исключают R2C3=7. Отзовите временные состояния, затем удалите этих кандидатов.

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

Два случая конечных точек исчерпывают все возможности и оба исключают R2C3=7. Отзовите временные состояния, затем удалите этих кандидатов.

X-Chain · Удалите цифру из любой цели, которая видит обе конечные точки.
X-Chain · Удалите цифру из любой цели, которая видит обе конечные точки.

Пошаговый пример · Длинная цепь

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

Синий: основания. Зелёный: вывод. Зачёркнутые цифры: исключённые кандидаты. R1C1 означает строку 1, столбец 1.

Шаг 1 · Где искать

Используйте проверенных кандидатов, показанных здесь. Ранее действительные удаления остаются в силе.

Используйте проверенных кандидатов, показанных здесь. Ранее действительные удаления остаются в силе.
Используйте проверенных кандидатов, показанных здесь. Ранее действительные удаления остаются в силе.
Шаг 2 · Рассуждение

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

Ветвь 1: предположим, что R1C5=9 является ложным.
Ветвь 1: предположим, что R1C5=9 является ложным.
Шаг 3 · Рассуждение

​​R1C5=9 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 1. Следовательно, R1C3=9 должно быть истинным.

​​R1C5=9 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 1. Следовательно, R1C3=9 должно быть истинным.
​​R1C5=9 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 1. Следовательно, R1C3=9 должно быть истинным.
Шаг 4 · Рассуждение

R1C3=9 верно. Удалите R3C1=9.

R1C3=9 верно. Удалите R3C1=9.
R1C3=9 верно. Удалите R3C1=9.
Шаг 5 · Рассуждение

​​R3C1=9 — ложь. Вместе эти две стороны содержат все оставшиеся опции в столбец 1. Следовательно, R5C1=9 должно быть истинным.

​​R3C1=9 — ложь. Вместе эти две стороны содержат все оставшиеся опции в столбец 1. Следовательно, R5C1=9 должно быть истинным.
​​R3C1=9 — ложь. Вместе эти две стороны содержат все оставшиеся опции в столбец 1. Следовательно, R5C1=9 должно быть истинным.
Шаг 6 · Рассуждение

R5C1=9 верно. Удалите R6C3=9.

R5C1=9 верно. Удалите R6C3=9.
R5C1=9 верно. Удалите R6C3=9.
Шаг 7 · Рассуждение

​​R6C3=9 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 6. Следовательно, R6C7=9 должно быть истинным.

​​R6C3=9 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 6. Следовательно, R6C7=9 должно быть истинным.
​​R6C3=9 — ложь. Вместе эти две стороны содержат все оставшиеся опции в строка 6. Следовательно, R6C7=9 должно быть истинным.
Шаг 8 · Рассуждение

R6C7=9 верно. Удалите R5C8=9.

R6C7=9 верно. Удалите R5C8=9.
R6C7=9 верно. Удалите R5C8=9.
Шаг 9 · Рассуждение

​​R5C8=9 — ложь. Вместе эти две стороны содержат все оставшиеся опции в столбец 8. Следовательно, R9C8=9 должно быть истинным.

​​R5C8=9 — ложь. Вместе эти две стороны содержат все оставшиеся опции в столбец 8. Следовательно, R9C8=9 должно быть истинным.
​​R5C8=9 — ложь. Вместе эти две стороны содержат все оставшиеся опции в столбец 8. Следовательно, R9C8=9 должно быть истинным.
Шаг 10 · Рассуждение

R9C8=9 верно. Удалите R9C2=9.

R9C8=9 верно. Удалите R9C2=9.
R9C8=9 верно. Удалите R9C2=9.
Шаг 11 · Рассуждение

R9C2=9 имеет значение false, поэтому R8C2=9 принудительно устанавливается в столбец 2. Каждая цель видит R8C2=9, поэтому вычеркните R8C5=9.

R9C2=9 имеет значение false, поэтому R8C2=9 принудительно устанавливается в столбец 2. Каждая цель видит R8C2=9, поэтому вычеркните R8C5=9.
R9C2=9 имеет значение false, поэтому R8C2=9 принудительно устанавливается в столбец 2. Каждая цель видит R8C2=9, поэтому вычеркните R8C5=9.
Шаг 12 · Удалить предыдущую заливку прямоугольника.

Отзовите это предположение и его последствия. Вернитесь к неизмененному снимку кандидата, прежде чем рассматривать следующую возможность.

Отзовите это предположение и его последствия. Вернитесь к неизмененному снимку кандидата, прежде чем рассматривать следующую возможность.
Отзовите это предположение и его последствия. Вернитесь к неизмененному снимку кандидата, прежде чем рассматривать следующую возможность.
Шаг 13 · Рассуждение

Комплект R1C5=9. Каждая цель его видит, поэтому вычеркните R8C5=9.

Комплект R1C5=9. Каждая цель его видит, поэтому вычеркните R8C5=9.
Комплект R1C5=9. Каждая цель его видит, поэтому вычеркните R8C5=9.
Шаг 14 · Заключение

Два случая конечных точек исчерпывают все возможности и оба исключают R8C5=9. Отзовите временные состояния, затем удалите этих кандидатов.

Два случая конечных точек исчерпывают все возможности и оба исключают R8C5=9. Отзовите временные состояния, затем удалите этих кандидатов.
Два случая конечных точек исчерпывают все возможности и оба исключают R8C5=9. Отзовите временные состояния, затем удалите этих кандидатов.

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

Два случая конечных точек исчерпывают все возможности и оба исключают R8C5=9. Отзовите временные состояния, затем удалите этих кандидатов.

X-Chain · Удалите цифру из любой цели, которая видит обе конечные точки.
X-Chain · Удалите цифру из любой цели, которая видит обе конечные точки.

Практика

Этот урок основан на материалах приложения Platon Sudoku. Изучите полный пример здесь, затем продолжайте обучение и практику в приложении.

Посмотреть в Google Play