AIC
Juga dikenali sebagai Alternating Inference Chain (rantai inferens berselang-seli).
AIC (*Alternating Inference Chain*, rantai inferens berselang-seli) ialah rantai fleksibel inferens kuat dan lemah. Ia boleh melompat merentasi digit dan jenis corak — X-Chain dan XY-Chain ialah AIC yang istimewa, dan banyak corak bernama “hanyalah AIC pendek.”
Sebelum ini: X-Chain, XY-Chain dan banyak pengakhiran sayap/ikan ialah AIC yang istimewa.
Mengapa ia berkesan
Inferens kuat: jika A palsu, B benar. Inferens lemah: jika A benar, B palsu.
Menyelang-seli kedua-duanya dari hujung ke hujung bermakna dua titik akhir kuat tidak boleh palsu serentak. Apa-apa yang melihat kedua-dua titik akhir disingkirkan — idea “disengat walau bagaimanapun” yang sama, dengan lebih banyak jenis pautan dibenarkan.
Cara mengenal pasti
Utamakan rantai yang kuat di kedua-dua hujung. Fikirkan: jika hujung ini palsu → hujung yang lain benar.
Demonstrasi
Ikut inferens kuat dan lemah yang berselang-seli merentasi grid. Utamakan kuat di kedua-dua hujung.
Sel hijau menggariskan AIC yang melibatkan 2.
Rantai ini membuktikan kedua-dua hujung tidak boleh palsu serentak — jika satu hujung palsu, hujung yang lain mesti benar.
Singkirkan calon yang melihat kedua-dua hujung (merah) (di sini 2).
Contoh 1
Jejaki rantai inferens berselang-seli.
AIC ini menghasilkan penyingkiran pada 2.
Buang calon yang ditanda (merah) (di sini 2). Kedua-dua hujung tidak boleh palsu, jadi jiran yang dikongsi disengat.
Contoh 2
Jejaki rantai inferens berselang-seli.
AIC ini menghasilkan penyingkiran pada 7.
Buang calon yang ditanda (merah) (di sini 7). Kedua-dua hujung tidak boleh palsu, jadi jiran yang dikongsi disengat.