Izmenične verige sklepanja

Izmenične verige sklepanja (Alternating Inference Chains, AIC) so splošna oblika vseh verižnih tehnik v sudokuju. Namesto da slediš eni številki, skačeš med številkami in polji, izmenjuješ dve vrsti povezav in na koncih razbereš, kaj mora biti resnično. Ko jih znaš sestaviti, so X-Wingi, wings in cikli ene številke samo posebni primeri.

Kakšen je vzorec

Veriga je zaporedje kandidatov, vsak je številka v določenem polju. Povezujeta jih dve vrsti povezav:

Izmenična veriga sklepanja se začne z močno povezavo, konča z močno povezavo in vseskozi izmenjuje močno, šibko, močno, šibko. Ta zgradba zagotavlja eno: vsaj eden od obeh končnih kandidatov je resničen. Nikoli ne izveš, kateri, pa tudi ni treba.

Kdaj ga iskati

Po verigah posezi, ko so singles, zaklenjene množice, fish in wings izčrpani, mreža pa je polna polj z dvema kandidatoma. Verige potrebujejo popolne, zanesljive zapiske; en sam zastarel kandidat si izmisli povezave, ki ne obstajajo. Začni pri polju z dvema kandidatoma ali pri številki, ki ima v kakšni enoti natanko dve mesti, saj so to močne povezave, iz katerih zraste vse ostalo.

Kako ga uporabiš, korak za korakom

1. Izberi začetnega kandidata in močno povezavo, ki ga zapušča.
2. Iz kandidata, na katerega prideš, uporabi šibko povezavo: isto polje, druga številka, ali ista številka v isti enoti.
3. Od tam uporabi novo močno povezavo. Nadaljuj z izmenjevanjem.
4. Ustavi se na močni povezavi, da je vsaj en konec resničen.
5. Izloči vsakega kandidata, ki ga izključujeta oba konca. Pri dveh koncih iste številke so to vsa polja, ki vidijo oba konca. Pri različnih številkah poglej same končni polji (glej primer).

Če se veriga namesto tega zaključi vase z ohranjeno izmenjavo, imaš zvezno zanko: vsaka šibka povezava v njej postane izključujoča, zato odpadejo vsi drugi kandidati te številke v skupni enoti, odpade pa tudi vsak dodaten kandidat v poljih zanke. Če se izmenjava pri enem vozlišču prekine, je veriga nezvezna: vozlišče, na katero kažeta dve šibki povezavi, je napačno, vozlišče, na katero kažeta dve močni povezavi, pa resnično.

Rešen primer

Številke 3, 8 in 9 čez kvadrata 5 in 8. Veriga ima tri močne in dve šibki povezavi, dva njena skoka pa ostaneta znotraj enega polja (H6 in F5).

Izpisano: F6:9 = H6:9 - H6:8 = H5:8 - F5:8 = F5:3

• Stolpec 6 ima 9 le v F6 in H6 (močna).
• H6 je , zato se 9 in 8 v H6 izključujeta (šibka).
• Kvadrat 8 ima 8 le v H6 in H5 (močna).
• H5 in F5 si delita stolpec 5 (šibka).
• F5 je (močna).

Torej je F6 enako 9 ali pa je F5 enako 3. Konca tu nosita različni številki, izločanje pa leži v končnem polju. Če je F6 enako 9, ni 3. Če je F5 enako 3, F6 vidi F5 po vrstici F, zato tudi ni 3. F6 v nobenem primeru ne more biti 3.

Kadar oba konca vsebujeta isto številko, je pravilo preprostejše: vsako polje, ki vidi oba konca, izgubi to številko.

Pogoste napake

• Uporaba šibke povezave, kjer vzorec podpira le „obe ne moreta biti resnični“, in nato njeno branje kot močne povezave. Polje s tremi kandidati daje šibke, ne močnih povezav.
• Zaključek na šibki povezavi. Zadnja povezava mora biti močna, sicer zadnje vozlišče ni vsiljeno.
• Izločanje v poljih, ki vidijo le en konec.
• Gradnja verige iz zapiskov, ki od zadnjega vpisa niso osveženi.

Kje ga srečaš

Izmenične verige sklepanja prevzamejo, kjer se X-cikli ustavijo, saj lahko v vsakem polju prosto zamenjajo številko. Pričakuj, da bodo potrebne v ugankah Mojster, pri Legendarno pa se nanje zanašaj stalno. Najprej sestavi kratke: veriga petih vozlišč reši veliko več položajev, kot jih večina reševalcev pričakuje.