Метод решения судоку Alternating Inference Chains (AIC)

Alternating Inference Chain / AIC

На русский язык лучше перевести как "Цепочка чередующихся Линков", т.е. цепочка из Линков

, где на месте "Слабого" может быть "Сильный", но последовательность задается первым типом и должна соблюдаться.

Alternating Inference Chain (AIC) - цепочка, в которой при разворачивании цепочки в обратном направлении выполняются следующие условия:

Приведем пример.

aic-dual-010-600x Рис. 1. AIC dual

На рисунке одна и та же цепочка, но с разными направлениями и состояниями:

Цепочки AIC по построению делятся на две группы:

начинающиеся и оканчивающиеся на Сильные Линки, тогда нечетные Линки должны быть обязательно Сильными
начинающиеся и оканчивающиеся на Слабые Линки, тогда четные Линки должны быть обязательно Сильными

Цепочки AIC по форме делятся на две группы:

Цепочки AIC Looped делятся на две группы:

NICE LOOP - когда цепочка замыкается и Состояние Начала совпадает с Состоянием Окончания.
Discontinuous (Прерывистый) - - когда цепочка замыкается, но Состояние Начала не совпадает с Состоянием Окончания.

Если у окончаний AIC есть общие соседи, то их можно удалять.

aic-type1-010-x300 Рис. 2. AIC Type1

AIC:Type1 {!1}@D2={1}@A2-{!1}@A5={1}@E5 remove: {1}@D4,{1}@E1

Если у окончаний AIC есть общие соседи, находящиеся с одним концом в одной клетке, то их можно удалять.

aic-type2-010-x300 Рис. 3. AIC Type2

AIC:Type2 {!6}@F7={9}@F7={!9}@D8={1}@D8-{!1}@D5={1}@F6 remove: {6}@F6

Если AIC начинается и заканчивается в одной точке с разными Состояними, то этот Узел неправильный, можно удалять.

aic-discont-loop-weak-010-x300 Рис. 4. AIC Discontinuous loop with weak links

AIC:Discontinuous loop with weak links

remove: {1}@C7