Yazan : Şadi Evren ŞEKER

AC3 algoritması olarak bilinen ve kiriş tutarlılıklarını (arc consistency) işlemek için kullanılan algoritma anlatılacaktır. Şart işleme (Constraint Processing) konusunda kullanılan önemli yöntemlerden birisidir. Bu algoritmanın AC1 ve AC2 diye adlandırılan daha eski ancak performans olarak daha kötü çözümleri bulunduğu gibi AC4, AC5 gibi daha başarılı ancak uygulaması daha zor ve algoritması daha karmaşık çözümleri de vardır.
AC3 algoritmasında amaç birer kiriş listesi olarak verilen şartların çözümüdür. Yani algoritmanın girişi bir grafik gibi düşünülebilir ve grafiğin üzerinde hangi varlıktan hangi varlığa şart bulunuyorsa işaretlidir.
Bu algoritmanın detaylarına geçmeden önce 4 vezir problemi diye bilinen problemin tanımına ve modellenmesine göz atabilirsiniz.

Bir cevap yazın

E-posta hesabınız yayımlanmayacak. Gerekli alanlar * ile işaretlenmişlerdir