AIC
Zināms arī kā Alternating Inference Chain (mainīgo secinājumu ķēde).
AIC (*Alternating Inference Chain* — mainīgo secinājumu ķēde) ir elastīga spēcīgu un vāju secinājumu ķēde. Tā var pārlēkt starp cipariem un rakstu veidiem — X-ķēde un XY-ķēde ir īpaši AIC, un daudzi nosauktie raksti ir „vienkārši īsi AIC”.
Pirms tam: X-ķēde, XY-ķēde un daudzu spārnu/zivju nobeigumi ir īpaši AIC.
Kāpēc tas darbojas
Spēcīgs secinājums: ja A ir nepatiess, B ir patiess. Vājš secinājums: ja A ir patiess, B ir nepatiess.
Mijot tos no gala līdz galam, abi spēcīgie galapunkti nevar vienlaikus būt nepatiesi. Viss, kas redz abus galapunktus, tiek izslēgts — tā pati „iedzeļ jebkurā gadījumā” ideja, tikai ar vairāk atļautu saišu veidu.
Kā to pamanīt
Dod priekšroku ķēdēm, kas abos galos ir spēcīgas. Domā: ja šis gals ir nepatiess → otrs gals ir patiess.
Demonstrācija
Seko mainīgiem spēcīgiem un vājiem secinājumiem pa režģi. Labāk, ja abi gali ir spēcīgi.
Zaļās šūnas iezīmē AIC ar 2.
Ķēde pierāda, ka abi gali nevar vienlaikus būt nepatiesi — ja viens gals ir nepatiess, otram jābūt patiesam.
Izslēdz kandidātus, kas redz abus galus (sarkanā krāsā) (šeit 2).
1. piemērs
Izseko mainīgo secinājumu ķēdi.
Šis AIC dod izslēgšanas ar 2.
Izņem atzīmētos kandidātus (sarkanā krāsā) (šeit 2). Abi gali nevar būt nepatiesi, tāpēc kopīgajiem kaimiņiem iedzeļ.
2. piemērs
Izseko mainīgo secinājumu ķēdi.
Šis AIC dod izslēgšanas ar 7.
Izņem atzīmētos kandidātus (sarkanā krāsā) (šeit 7). Abi gali nevar būt nepatiesi, tāpēc kopīgajiem kaimiņiem iedzeļ.