Чередующиеся цепочки вывода (AIC)

Alternating Inference Chains (AIC)Экстремальный

Alternating Inference Chains (AIC): логическая техника Sudoku для постановки или исключения кандидатов на основе строк, столбцов, блоков и отношений видимости.

Как это работает

Alternating Inference Chains (AIC) анализирует позиции кандидатов и их ограничения. Если шаблон вынуждает цифру, она ставится; если делает кандидата невозможным, он безопасно исключается. Техническая нотация вроде R1C1 и наборы кандидатов сохраняются без изменений.

Пример

17
35
6
24
8
27
9
24
3
29
4
38
26
15
16
27
5
18
38
7
15
9
13
25
14
26
46
5
16
7
38
4
19
13
28
26
14
29
24
16
7
49
8
13
15
48
16
18
37
25
3
27
49
19
6
25
29
4
19
17
13
8
37
47
38
45
17
16
79
6
14
25
7
19
14
5
26
8
24
13
29
Ключевые клетки техникиКлетки, где применяется исключениеКандидат для постановкиИсключенный кандидат (зачеркнут)

Chain: R1C3=4 — R1C3≠7 = R5C3 — ... = R5C8-3. Cells seeing both start and end nodes have the common кандидат исключен.

Практика на настоящей головоломке

This 9×9 puzzle is solver-verified to require this technique on its решение path.

Сложно26 данные цифрыstrict