AIC
Dar vadinama: Alternating Inference Chain (besikaitaliojančių išvadų grandinė).
AIC (*Alternating Inference Chain* – besikaitaliojančių išvadų grandinė) – lanksti stipriųjų ir silpnųjų išvadų grandinė. Ji gali šokinėti tarp skaitmenų ir raštų tipų – X-Chain ir XY-Chain yra ypatingos AIC, o daugelis pavadintų raštų yra „tiesiog trumpos AIC“.
Prieš tai: X-Chain, XY-Chain ir daugelio sparnų ar žuvų pabaigos yra ypatingos AIC.
Kodėl tai veikia
Stiprioji išvada: jei A klaidingas, B teisingas. Silpnoji išvada: jei A teisingas, B klaidingas.
Kaitaliojant jas nuo galo iki galo, abu stiprieji galai negali būti klaidingi. Viskas, kas mato abu galus, pašalinama – ta pati idėja „įgelta bet kuriuo atveju“, tik leidžiama daugiau jungčių rūšių.
Kaip pastebėti
Rinkis grandines, kurios stiprios abiejuose galuose. Galvok: jei šis galas klaidingas → kitas galas teisingas.
Demonstracija
Sek besikaitaliojančias stipriąsias ir silpnąsias išvadas per lentelę. Geriausia, kai abu galai stiprūs.
Žali langeliai nubrėžia AIC su 2.
Grandinė įrodo, kad abu galai negali būti klaidingi – jei vienas galas klaidingas, kitas turi būti teisingas.
Pašalink kandidatus, kurie mato abu galus (raudona) (čia 2).
1 pavyzdys
Atsek besikaitaliojančių išvadų grandinę.
Ši AIC duoda pašalinimus su 2.
Pašalink pažymėtus kandidatus (raudona) (čia 2). Abu galai negali būti klaidingi, todėl bendri kaimynai įgeliami.
2 pavyzdys
Atsek besikaitaliojančių išvadų grandinę.
Ši AIC duoda pašalinimus su 7.
Pašalink pažymėtus kandidatus (raudona) (čia 7). Abu galai negali būti klaidingi, todėl bendri kaimynai įgeliami.