AIC (*Alternating Inference Chain* — chuỗi suy luận xen kẽ) là một chuỗi linh hoạt gồm các suy luận mạnh và yếu. Nó có thể nhảy qua các chữ số và loại mẫu hình — X-Chain và XY-Chain là các AIC đặc biệt, và nhiều mẫu hình có tên thực ra “chỉ là AIC ngắn.”
Trước bài này: X-Chain, XY-Chain và nhiều kết thúc của cánh/cá là các AIC đặc biệt.
Vì sao nó hiệu quả
Suy luận mạnh: nếu A sai, thì B đúng. Suy luận yếu: nếu A đúng, thì B sai.
Xen kẽ chúng từ đầu này đến đầu kia nghĩa là hai điểm cuối mạnh không thể cùng sai. Bất cứ thứ gì nhìn thấy cả hai điểm cuối đều bị loại — cùng ý tưởng “bị chích dù thế nào”, với nhiều loại liên kết hơn.
Cách nhận ra
Ưu tiên các chuỗi mạnh ở cả hai đầu. Hãy nghĩ: nếu đầu này sai → đầu kia đúng.
Minh họa
Đi theo các suy luận mạnh và yếu xen kẽ khắp lưới. Nên để cả hai đầu là mạnh.
Các ô xanh lá phác họa một AIC liên quan đến 2.
Chuỗi chứng minh hai đầu không thể cùng sai — nếu một đầu sai, đầu kia phải đúng.
Loại các ứng viên nhìn thấy cả hai đầu (màu đỏ) (ở đây là 2).
Ví dụ 1
Lần theo một chuỗi suy luận xen kẽ.
AIC này cho ra các loại trừ trên 2.
Xóa các ứng viên được đánh dấu (màu đỏ) (ở đây là 2). Hai đầu không thể cùng sai, nên các ô lân cận chung bị chích.
Ví dụ 2
Lần theo một chuỗi suy luận xen kẽ.
AIC này cho ra các loại trừ trên 7.
Xóa các ứng viên được đánh dấu (màu đỏ) (ở đây là 7). Hai đầu không thể cùng sai, nên các ô lân cận chung bị chích.