AIC (*Alternating Inference Chain* — Dönüşümlü Çıkarım Zinciri), güçlü ve zayıf çıkarımlardan oluşan esnek bir zincirdir. Rakamlar ve desen türleri arasında atlayabilir — X-Chain ve XY-Chain özel AIC’lerdir ve birçok adlandırılmış desen “sadece kısa AIC’lerdir.”
Bundan önce: X-Chain, XY-Chain ve birçok wing/fish sonu özel AIC’lerdir.
Neden işe yarar
Güçlü çıkarım: A yanlışsa B doğrudur. Zayıf çıkarım: A doğruysa B yanlıştır.
Bunları uçtan uca sırayla dizmek, iki güçlü uç noktanın birden yanlış olamayacağı anlamına gelir. Her iki uç noktayı da gören her şey elenir — aynı “her durumda vurulur” fikri, daha fazla bağ türüne izin vererek.
Nasıl fark edilir
İki ucunda da güçlü olan zincirleri tercih et. Şöyle düşün: bu uç yanlışsa → diğer uç doğru.
Gösterim
Izgara boyunca sırayla dizilen güçlü ve zayıf çıkarımları takip et. İki ucunda da güçlü olanı tercih et.
Yeşil hücreler 2 içeren bir AIC’yi çiziyor.
Zincir, iki ucun birden yanlış olamayacağını kanıtlıyor — bir uç yanlışsa diğeri doğru olmak zorunda.
Her iki ucu da gören adayları ele (kırmızı) (burada 2).
Örnek 1
Dönüşümlü bir çıkarım zincirini izle.
Bu AIC, 2 üzerinde elemeler sağlıyor.
İşaretli adayları sil (kırmızı) (burada 2). İki uç birden yanlış olamaz, bu yüzden ortak komşular vurulur.
Örnek 2
Dönüşümlü bir çıkarım zincirini izle.
Bu AIC, 7 üzerinde elemeler sağlıyor.
İşaretli adayları sil (kırmızı) (burada 7). İki uç birden yanlış olamaz, bu yüzden ortak komşular vurulur.