AIC
Ook bekend as Alternating Inference Chain (afwisselende afleidingsketting).
’n AIC (*Alternating Inference Chain*) is ’n buigsame ketting van sterk en swak afleidings. Dit kan oor syfers en patroontipes spring — X-Chain en XY-Chain is spesiale AIC’s, en baie benoemde patrone is “net kort AIC’s.”
Voor hierdie les: X-Chain, XY-Chain en baie vlerk-/vis-eindes is spesiale AIC’s.
Waarom dit werk
Sterk afleiding: as A vals is, is B waar. Swak afleiding: as A waar is, is B vals.
Deur hulle van punt tot punt af te wissel, kan die twee sterk eindpunte nie albei vals wees nie. Enigiets wat albei eindpunte sien, word geëlimineer — dieselfde “hoe ook al gesteek”-idee, met meer soorte skakels toegelaat.
Hoe om dit raak te sien
Verkies kettings wat aan albei kante sterk is. Dink: as hierdie punt vals is → is die ander punt waar.
Demonstrasie
Volg afwisselende sterk en swak afleidings oor die rooster. Verkies sterk aan albei kante.
Die groen selle omlyn ’n AIC wat 2 betrek.
Die ketting bewys dat die twee punte nie albei vals kan wees nie — as een punt vals is, moet die ander waar wees.
Elimineer kandidate wat albei punte sien (rooi) (hier 2).
Voorbeeld 1
Volg ’n afwisselende afleidingsketting.
Hierdie AIC lewer eliminasies op 2.
Verwyder die gemerkte kandidate (rooi) (hier 2). Albei punte kan nie vals wees nie, dus word gedeelde bure gesteek.
Voorbeeld 2
Volg ’n afwisselende afleidingsketting.
Hierdie AIC lewer eliminasies op 7.
Verwyder die gemerkte kandidate (rooi) (hier 7). Albei punte kan nie vals wees nie, dus word gedeelde bure gesteek.