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

В каждой клетке цепочки ровно два кандидата: R5C8={4, 7}, R5C4={3, 7}, R6C6={2, 3}, R6C5={2, 4}. Внутри клетки между ними сильная связь: если один ложный, другой должен быть истинным. Между разными клетками связанные кандидаты одной цифры взаимно исключаются. Концы R5C8=4, R6C5=4 имеют общего кандидата 4.

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

R5C8=4 — ложь. В R5C8 теперь осталось только R5C8=7, так что это должно быть правдой.

Случай 1: R5C8 — это двузначная ячейка R5C8=4, R5C8=7. Если другой кандидат является ложным, R5C8=7 становится истинным в соответствии с текущим предположением. В разных ячейках он является взаимоисключающим с R5C4=7, поэтому вычеркните эти конфликты.

R5C4=7 — ложь. В R5C4 теперь осталось только R5C4=3, так что это должно быть правдой.

R5C4 — следующая двузначная ячейка R5C4=3, R5C4=7. Если другой кандидат является ложным, R5C4=3 становится истинным в соответствии с текущим предположением. В разных ячейках он является взаимоисключающим с R6C6=3, поэтому вычеркните эти конфликты.

R6C6=3 — ложь. В R6C6 теперь осталось только R6C6=2, так что это должно быть правдой.

R6C6 — следующая двузначная ячейка R6C6=2, R6C6=3. Если другой кандидат является ложным, R6C6=2 становится истинным в соответствии с текущим предположением. В разных ячейках он является взаимоисключающим с R6C5=2, поэтому вычеркните эти конфликты.

В конечной ячейке двузначного значения R6C5 (R6C5=2, R6C5=4) R6C5=2 имеет значение false, поэтому R6C5=4 принудительно принимает значение true в соответствии с текущим предположением. Эта конечная точка исключает цели R6C8=4, R6C9=4.

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

Предположим, что первая конечная точка R5C8=4 истинна в своей двузначной ячейке R5C8 (R5C8=4, R5C8=7). Внутри ячейки он исключает другого кандидата; между ячейками он исключает видимых конфликтующих кандидатов R5C8=7, R6C8=4, R6C9=4.

Два случая конечных точек исчерпывают все возможности и оба исключают R6C8=4, R6C9=4. Выведите временные состояния, а затем удалите их.

В каждой клетке цепочки ровно два кандидата: R1C4={3, 8}, R1C8={6, 8}, R7C8={2, 6}, R7C6={2, 4}, R7C5={3, 4}. Внутри клетки между ними сильная связь: если один ложный, другой должен быть истинным. Между разными клетками связанные кандидаты одной цифры взаимно исключаются. Концы R1C4=3, R7C5=3 имеют общего кандидата 3.

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

R1C4=3 — ложь. В R1C4 теперь осталось только R1C4=8, так что это должно быть правдой.

Случай 1: R1C4 — это двузначная ячейка R1C4=3, R1C4=8. Если другой кандидат является ложным, R1C4=8 становится истинным в соответствии с текущим предположением. В разных ячейках он является взаимоисключающим с R1C8=8, поэтому вычеркните эти конфликты.

R1C8=8 — ложь. В R1C8 теперь осталось только R1C8=6, так что это должно быть правдой.

R1C8 — следующая двузначная ячейка R1C8=6, R1C8=8. Если другой кандидат является ложным, R1C8=6 становится истинным в соответствии с текущим предположением. В разных ячейках он является взаимоисключающим с R7C8=6, поэтому вычеркните эти конфликты.

R7C8=6 — ложь. В R7C8 теперь осталось только R7C8=2, так что это должно быть правдой.

R7C8 — следующая двузначная ячейка R7C8=2, R7C8=6. Если другой кандидат является ложным, R7C8=2 становится истинным в соответствии с текущим предположением. В разных ячейках он является взаимоисключающим с R7C6=2, поэтому вычеркните эти конфликты.

R7C6=2 — ложь. В R7C6 теперь осталось только R7C6=4, так что это должно быть правдой.

R7C6 — следующая двузначная ячейка R7C6=2, R7C6=4. Если другой кандидат является ложным, R7C6=4 становится истинным в соответствии с текущим предположением. В разных ячейках он является взаимоисключающим с R7C5=4, поэтому вычеркните эти конфликты.

В конечной ячейке двузначного значения R7C5 (R7C5=3, R7C5=4) R7C5=4 имеет значение false, поэтому R7C5=3 принудительно принимает значение true в соответствии с текущим предположением. Эта конечная точка исключает цели R1C5=3, R8C4=3.

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

Предположим, что первая конечная точка R1C4=3 истинна в своей двузначной ячейке R1C4 (R1C4=3, R1C4=8). Внутри ячейки он исключает другого кандидата; между ячейками он исключает видимых конфликтующих кандидатов R1C4=8, R1C5=3, R8C4=3.

Два случая конечных точек исчерпывают все возможности и оба исключают R1C5=3, R8C4=3. Выведите временные состояния, а затем удалите их.

В каждой клетке цепочки ровно два кандидата: R1C3={1, 9}, R1C4={7, 9}, R2C4={7, 9}, R2C8={5, 9}, R2C5={5, 6}, R2C6={1, 6}, R2C9={1, 7}, R3C9={1, 7}. Внутри клетки между ними сильная связь: если один ложный, другой должен быть истинным. Между разными клетками связанные кандидаты одной цифры взаимно исключаются. Концы R1C3=1, R3C9=1 имеют общего кандидата 1.

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

R1C3=1 — ложь. В R1C3 теперь осталось только R1C3=9, так что это должно быть правдой.

Случай 1: R1C3 — это двузначная ячейка R1C3=1, R1C3=9. Если другой кандидат является ложным, R1C3=9 становится истинным в соответствии с текущим предположением. В разных ячейках он является взаимоисключающим с R1C4=9, поэтому вычеркните эти конфликты.

R1C4=9 — ложь. В R1C4 теперь осталось только R1C4=7, так что это должно быть правдой.

R1C4 — следующая двузначная ячейка R1C4=7, R1C4=9. Если другой кандидат является ложным, R1C4=7 становится истинным в соответствии с текущим предположением. В разных ячейках он является взаимоисключающим с R2C4=7, поэтому вычеркните эти конфликты.

R2C4=7 — ложь. В R2C4 теперь осталось только R2C4=9, так что это должно быть правдой.

R2C4 — следующая двузначная ячейка R2C4=7, R2C4=9. Если другой кандидат является ложным, R2C4=9 становится истинным в соответствии с текущим предположением. В разных ячейках он является взаимоисключающим с R2C8=9, поэтому вычеркните эти конфликты.

R2C8=9 — ложь. В R2C8 теперь осталось только R2C8=5, так что это должно быть правдой.

R2C8 — следующая двузначная ячейка R2C8=5, R2C8=9. Если другой кандидат является ложным, R2C8=5 становится истинным в соответствии с текущим предположением. В разных ячейках он является взаимоисключающим с R2C5=5, поэтому вычеркните эти конфликты.

R2C5=5 — ложь. В R2C5 теперь осталось только R2C5=6, так что это должно быть правдой.

R2C5 — следующая двузначная ячейка R2C5=5, R2C5=6. Если другой кандидат является ложным, R2C5=6 становится истинным в соответствии с текущим предположением. В разных ячейках он является взаимоисключающим с R2C6=6, поэтому вычеркните эти конфликты.

R2C6=6 — ложь. В R2C6 теперь осталось только R2C6=1, так что это должно быть правдой.

R2C6 — следующая двузначная ячейка R2C6=1, R2C6=6. Если другой кандидат является ложным, R2C6=1 становится истинным в соответствии с текущим предположением. В разных ячейках он является взаимоисключающим с R2C9=1, поэтому вычеркните эти конфликты.

R2C9=1 — ложь. В R2C9 теперь осталось только R2C9=7, так что это должно быть правдой.

R2C9 — следующая двузначная ячейка R2C9=1, R2C9=7. Если другой кандидат является ложным, R2C9=7 становится истинным в соответствии с текущим предположением. В разных ячейках он является взаимоисключающим с R3C9=7, поэтому вычеркните эти конфликты.

В конечной ячейке двузначного значения R3C9 (R3C9=1, R3C9=7) R3C9=7 имеет значение false, поэтому R3C9=1 принудительно принимает значение true в соответствии с текущим предположением. Эта конечная точка исключает цели R3C1=1, R3C2=1, R3C3=1.

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

Предположим, что первая конечная точка R1C3=1 истинна в своей двузначной ячейке R1C3 (R1C3=1, R1C3=9). Внутри ячейки он исключает другого кандидата; между ячейками он исключает видимых конфликтующих кандидатов R1C3=9, R3C1=1, R3C2=1, R3C3=1.

Два случая конечных точек исчерпывают все возможности и оба исключают R3C1=1, R3C2=1, R3C3=1. Выведите временные состояния, а затем удалите их.