Алтернативни вериги от изводи (AIC) в судоку

Алтернативните вериги от изводи (Alternating Inference Chains) са общата форма на всяка техника с вериги в судоку. Вместо да следваш една цифра, прескачаш между цифри и клетки, редувайки два вида връзки, и четеш какво трябва да е истина в краищата. Щом можеш да ги строиш, X-Wing, крилата и циклите с една цифра стават частни случаи.

Какъв е шаблонът

Веригата е редица от кандидати, всеки от които е цифра в определена клетка. Два вида връзки ги свързват:

Алтернативната верига от изводи започва със силна връзка, завършва със силна връзка и редува силна, слаба, силна, слаба докрай. Тази структура гарантира едно нещо: поне един от двата крайни кандидата е верен. Никога не научаваш кой и не е нужно.

Кога да ги търсиш

Посегни към веригите, когато единичните, заключените множества, рибите и крилата са изчерпани, а дъската е пълна с клетки с два кандидата. Веригите искат пълни, надеждни бележки; един остарял кандидат измисля връзки, които не съществуват. Започни от клетка с два кандидата или от цифра с точно две места в някоя област, защото това са силните връзки, от които всичко тръгва.

Как да ги приложиш, стъпка по стъпка

1. Избери начален кандидат и силна връзка, излизаща от него.
2. От кандидата, в който кацаш, вземи слаба връзка: същата клетка, друга цифра или същата цифра в същата област.
3. Оттам вземи нова силна връзка. Продължавай да редуваш.
4. Спри на силна връзка, така че поне единият край да е верен.
5. Елиминирай всеки кандидат, който и двата края изключват. При два края с една и съща цифра това е всяка клетка, която вижда и двата края. При различни цифри погледни самите крайни клетки (виж примера).

Ако вместо това веригата се затвори в себе си със запазено редуване, имаш непрекъснат цикъл: всяка слаба връзка в него става изключителна, така че всички други кандидати на тази цифра в споделената област отпадат, а всеки излишен кандидат в клетка от цикъла също отпада. Ако редуването се наруши в един възел, веригата е прекъсната: възел с две слаби връзки към него е неверен, а възел с две силни връзки към него е верен.

Работен пример

Цифри 3, 8 и 9 в блокове 5 и 8. Веригата има три силни и две слаби връзки, а две от прескачанията стоят в една клетка (H6 и F5).

Записана: F6:9 = H6:9 - H6:8 = H5:8 - F5:8 = F5:3

• Колона 6 има 9 само в F6 и H6 (силна).
• H6 е , така че 9 и 8 в H6 се изключват (слаба).
• Блок 8 има 8 само в H6 и H5 (силна).
• H5 и F5 делят колона 5 (слаба).
• F5 е (силна).

Така F6 е 9 или F5 е 3. Краищата тук носят различни цифри и елиминирането стои в крайна клетка. Ако F6 е 9, тя не е 3. Ако F5 е 3, F6 вижда F5 през ред F, така че също не е 3. F6 не може да е 3 в нито един от случаите.

Когато и двата края държат една и съща цифра, правилото е по-просто: всяка клетка, която вижда и двата края, губи тази цифра.

Чести грешки

• Използване на слаба връзка там, където шаблонът поддържа само „не и двете истинни“, и четенето ѝ като силна. Клетка с три кандидата дава слаби връзки, не силни.
• Завършване на слаба връзка. Последната връзка трябва да е силна, иначе последният възел не е принуден.
• Елиминиране от клетки, които виждат само един край.
• Строене на вериги от бележки, които не си обновил след последното поставяне.

Къде ги срещаш

Алтернативните вериги от изводи поемат там, където спират X-цикли, защото могат свободно да сменят цифрата във всяка клетка. Очаквай да ти трябват в пъзели Майстор и да разчиташ на тях постоянно при Легендарно. Първо строй къси: верига от пет възела решава много повече позиции, отколкото повечето решаващи очакват.