Unha AIC (*Alternating Inference Chain*, cadea de inferencias alternas) é unha cadea flexible de inferencias fortes e débiles. Pode saltar entre díxitos e tipos de patrón: a Cadea X e a Cadea XY son AIC especiais, e moitos patróns con nome son “só AIC curtas”.
Antes disto: A Cadea X, a Cadea XY e moitos finais de ás e peixes son AIC especiais.
Por que funciona
Inferencia forte: se A é falso, B é verdadeiro. Inferencia débil: se A é verdadeiro, B é falso.
Alternalas dun extremo ao outro significa que os dous extremos fortes non poden ser falsos á vez. Todo o que vexa os dous extremos elimínase: a mesma idea de “afectado en calquera caso”, con máis tipos de ligazóns permitidas.
Como detectalo
Mellor cadeas fortes nos dous extremos. Pensa: se este extremo é falso → o outro é verdadeiro.
Demostración
Segue inferencias fortes e débiles alternas pola grella. Mellor que sexa forte nos dous extremos.
As celas verdes debuxan unha AIC que implica 2.
A cadea demostra que os dous extremos non poden ser falsos á vez: se un extremo é falso, o outro ten que ser verdadeiro.
Elimina os candidatos que ven os dous extremos (vermello) (aquí 2).
Exemplo 1
Traza unha cadea de inferencias alternas.
Esta AIC dá eliminacións en 2.
Quita os candidatos marcados (vermello) (aquí 2). Os dous extremos non poden ser falsos, así que as veciñas comúns quedan afectadas.
Exemplo 2
Traza unha cadea de inferencias alternas.
Esta AIC dá eliminacións en 7.
Quita os candidatos marcados (vermello) (aquí 7). Os dous extremos non poden ser falsos, así que as veciñas comúns quedan afectadas.