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

Групповая AIC для одной цифры (Single-Digit Grouped AIC) · Пошаговый пример

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

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

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

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

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

Как его найти

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

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

Устраните цель, которую видят конечные точки цепочки.

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

Настоящая группа не означает, что каждый ее член настоящий. Сохраняйте значение ИЛИ группы при следовании по цепочке.

Пошаговый пример · Одна группа

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

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

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

В блок 6 2 может идти только в R4C7, R4C8, R5C8. Цифра должна появиться в этом регионе один раз.

1: ИЛИ группа A: хотя бы один кандидат верен

Шаг 2 · Рассуждение

В столбец 5 2 может идти только в R1C5, R4C5. Цифра должна появиться в этом регионе один раз.

1: ИЛИ группа A: хотя бы один кандидат верен

Шаг 3 · Рассуждение

В столбец 9 2 может идти только в R1C9, R8C9. Цифра должна появиться в этом регионе один раз.

1: ИЛИ группа A: хотя бы один кандидат верен

Шаг 4 · Назовите группы кандидатов на операционную операцию.

Пронумерованные фигурные скобки и легенда определяют группы: ИЛИ группа кандидатов A = R4C8=2, R5C8=2. Каждая группа — одно логическое состояние OR: хотя бы один кандидат в ней истинен, но это не означает, что истинны все её участники.

1: ИЛИ группа A: хотя бы один кандидат верен

Шаг 5 · Рассуждение

Ветвь 1: предположим, что ИЛИ группа кандидатов A является ложным.

1: ИЛИ группа A: хотя бы один кандидат верен

Шаг 6 · Сильная связь группы: заставить другую сторону

Случай 1: ИЛИ группа кандидатов A является ложным, поэтому сильная связь группы вызывает R4C7=2. Если это группа ИЛИ, то хотя бы один из ее кандидатов верен.

1: ИЛИ группа A: хотя бы один кандидат верен

Шаг 7 · Слабое звено группы: исключить конфликтующую сторону

R4C7=2 является истинным как состояние цепочки, поэтому взаимоисключающая сторона R4C5=2 является ложной.

1: ИЛИ группа A: хотя бы один кандидат верен

Шаг 8 · Сильная связь группы: одна сторона должна остаться

R4C5=2 является ложным, поэтому сильная связь группы вызывает R1C5=2.

1: ИЛИ группа A: хотя бы один кандидат верен

Шаг 9 · Слабое звено группы: исключить конфликтующую сторону

R1C5=2 является истинным как состояние цепочки, поэтому взаимоисключающая сторона R1C9=2 является ложной.

1: ИЛИ группа A: хотя бы один кандидат верен

Шаг 10 · Косвенная конечная точка исключает целевые объекты.

R8C9=2 соответствует состоянию конечной точки, поэтому исключает целевые объекты.

1: ИЛИ группа A: хотя бы один кандидат верен

Шаг 11 · Удалить предыдущую заливку прямоугольника.

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

1: ИЛИ группа A: хотя бы один кандидат верен

Шаг 12 · Случай 2: первая конечная точка верна

Первая конечная точка ИЛИ группа кандидатов A является истинной как состояние ИЛИ, поэтому она исключает целевые объекты.

1: ИЛИ группа A: хотя бы один кандидат верен

Шаг 13 · Оба варианта конечных точек совпадают.

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

1: ИЛИ группа A: хотя бы один кандидат верен

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

Групповая AIC для одной цифры (Single-Digit Grouped AIC) · Устраните цель, которую видят конечные точки цепочки.

Пошаговый пример · Несколько групп

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

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

В блок 1 8 может идти только в R2C2, R3C1. Цифра должна появиться в этом регионе один раз.