Balas'ın Kapalı Sayımlama (Additive) algoritması ile çözülen bir tamsayılı minimizasyon probleminde, tüm amaç fonksiyonu katsayılarının negatif olmadığı () bilinmektedir. Algoritmanın herhangi bir adımında, incelenen bir düğümdeki kısmi çözümün amaç fonksiyonu değeri (), o ana kadar elde edilmiş en iyi uygun çözümün değerine () eşit veya bu değerden büyükse (), bu düğümün durumu hakkında aşağıdakilerden hangisi söylenebilir?
- Düğüm kapalı sayımlanır (budanır) çünkü bu daldan daha iyi bir çözüm gelmesi mümkün değildir.Cevap
- BDüğümden dallandırmaya devam edilir çünkü henüz atanmamış serbest değişkenler amaç değerini küçültebilir.
- CDüğüm uygun bir çözüm olarak kabul edilir ve tüm algoritma o anda sonlandırılır.
- DKısmi çözümün kısıtları sağlayıp sağlamadığına bakılmaksızın yeni bir değeri olarak atanır.
- EDüğümdeki serbest değişkenlerin tamamına 0 değeri verilerek kısıtların uygunluğu kontrol edilir.
Cevap
Mevcut kısmi çözümün amaç değeri halihazırdaki en iyi çözüm değerine eşit veya ondan büyükse, katsayıların pozitif olması nedeniyle bu daldan daha iyi bir sonuç elde edilemez ve düğüm kapalı sayımlanır (budanır).
Balas algoritmasında amaç fonksiyonu katsayıları negatif olmayacak şekilde düzenlenir. Bir minimizasyon probleminde, bir dalın (düğümün) o ana kadarki maliyeti halihazırda bulduğumuz en iyi çözümün maliyetini geçmişse, o daldan devam ederek daha küçük bir maliyet elde etmemiz matematiksel olarak imkansızdır. Bu duruma algoritma literatüründe 'kapalı sayımlama' veya 'budama' denir.
Adım Adım Çözüm
Anahtar Kavram
Balas Algoritmasında Budama (Fathoming) Kriteri