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

Противоречие между компонентами раскрашивания (Multi-Component Coloring Contradiction) · Пошаговый пример

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

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

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

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

Как его найти

Раскрасьте каждый подключенный компонент отдельно, затем проверьте конфликты между компонентами и цели, которые видят каждую сохранившуюся альтернативу.

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

Удалить кандидата, исключенного всеми согласованными назначениями цветов.

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

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

Пошаговый пример · Сложный цвет

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

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

Шаг 1 · Подтвердите начальную группу с одинаковым состоянием.

“Противоречие между компонентами раскрашивания (Multi-Component Coloring Contradiction)” — Это описательное название собственного доказательства приложения с несколькими компонентами, а не отдельной одноимённой техники HoDoKu. Кандидаты цифры 2 образуют 4 независимых компонент раскраски. Чередование цветов вдоль сильных связей помещает R3C1=2, R8C2=2 на сторону A компоненты 2: они имеют одинаковую истинность и являются именно целевыми кандидатами R3C1=2, R8C2=2. В каждой компоненте A и B противоположны; конфликты связывают состояния разных компонент.

Шаг 2 · Предположим, что целевое состояние истинно.

Рассматривать всю группу с одинаковым состоянием R3C1=2, R8C2=2 как одно состояние и временно считать, что это правда. Следите за конфликтами между компонентами.

Шаг 3 · Следите за каждым переходом компонента.

1. R3C1=2 имеет значение true, поэтому видимый партнер R1C2=2 имеет значение false. Следовательно, противоположное состояние A/B R1C9=2 в этой группе истинно. 2. R1C9=2 имеет значение true, поэтому видимый партнер R5C9=2 имеет значение false. Следовательно, противоположное состояние A/B R4C7=2, R5C6=2 в этой группе истинно. 3. R4C7=2 имеет значение true, поэтому видимый партнер R4C4=2 имеет значение false. Следовательно, противоположное состояние A/B R3C4=2 в этой группе истинно. 4. R3C4=2 имеет значение true, поэтому видимый партнер R3C1=2 имеет значение false. Следовательно, противоположное состояние A/B R8C1=2 в этой группе истинно.

Шаг 4 · Предположение вызывает противоположное

Предположение R3C1=2, R8C2=2 в конечном итоге вызывает R8C1=2, противоположное состояние A/B в той же группе. Оба состояния не могут быть истинными, поэтому предположение неверно.