AIC (*Alternating Inference Chain*) adalah rantai fleksibel dari inferensi kuat dan lemah. Rantai ini bisa melompat lintas digit dan jenis pola — X-Chain dan XY-Chain adalah AIC khusus, dan banyak pola bernama “hanyalah AIC pendek.”
Sebelum ini: X-Chain, XY-Chain, dan banyak akhir pola wing/fish adalah AIC khusus.
Mengapa ini berhasil
Inferensi kuat: kalau A salah, B benar. Inferensi lemah: kalau A benar, B salah.
Menyelang-nyelingkan keduanya dari ujung ke ujung berarti kedua titik ujung kuat tidak bisa sama-sama salah. Apa pun yang melihat kedua titik ujung tereliminasi — ide “tersengat bagaimanapun” yang sama, dengan lebih banyak jenis tautan yang diperbolehkan.
Cara menemukannya
Utamakan rantai yang kuat di kedua ujung. Pikirkan: kalau ujung ini salah → ujung lainnya benar.
Demonstrasi
Ikuti inferensi kuat dan lemah yang berselang-seling di seluruh kisi. Sebaiknya kuat di kedua ujung.
Sel-sel hijau menggambarkan AIC yang melibatkan 2.
Rantai itu membuktikan kedua ujung tidak bisa sama-sama salah — kalau satu ujung salah, ujung lainnya pasti benar.
Eliminasi kandidat yang melihat kedua ujung (merah) (di sini 2).
Contoh 1
Telusuri rantai inferensi berselang-seling.
AIC ini menghasilkan eliminasi pada 2.
Hapus kandidat yang ditandai (merah) (di sini 2). Kedua ujung tidak bisa sama-sama salah, jadi tetangga bersama tersengat.
Contoh 2
Telusuri rantai inferensi berselang-seling.
AIC ini menghasilkan eliminasi pada 7.
Hapus kandidat yang ditandai (merah) (di sini 7). Kedua ujung tidak bisa sama-sama salah, jadi tetangga bersama tersengat.