Soru

Zorluk: KolayKapalı Sayımlama (Balas) Algoritması

Balas'ın Kapalı Sayımlama (Additive) algoritması ile bir 010-1 tamsayılı programlama problemi çözülürken, algoritmanın doğrudan uygulanabilmesi için problemin standart minimizasyon formundaki amaç fonksiyonu katsayıları (cjc_j) ile ilgili temel gereklilik aşağıdakilerden hangisidir?

  1. Tüm cjc_j katsayıları negatif olmayan (cj0c_j \geq 0) değerler olmalıdır.Cevap
  2. B
    Tüm cjc_j katsayıları negatif (cj<0c_j < 0) değerler olmalıdır.
  3. C
    cjc_j katsayıları sadece 00 veya 11 değerlerini almalıdır.
  4. D
    Katsayıların işaretleri kısıtların yönüne (\leq veya \geq) bağlı olarak değişmelidir.
  5. E
    En az bir cjc_j katsayısı negatif, diğerleri pozitif olmalıdır.

Cevap

Balas algoritmasının standart minimizasyon formunda tüm amaç fonksiyonu katsayıları negatif olmayan (cj0c_j \geq 0) değerler olmalıdır.
Balas'ın Kapalı Sayımlama algoritmasında, minimizasyon hedeflenirken amaç fonksiyonu katsayılarının negatif olmaması (cj0c_j \geq 0) istenir. Bu durum, 'toplamsal' (additive) yapının korunmasını ve kısmi çözümlerde alt sınırların kolayca hesaplanarak uygun olmayan dalların budanmasını sağlar. Eğer katsayılarda negatif değer varsa, değişken dönüşümü (xj=1yjx_j = 1 - y_j) yapılarak bu şart sağlanmalıdır.

Adım Adım Çözüm

1
Algoritmanın temel yapısını analiz etme
Balas'ın Kapalı Sayımlama algoritması, 010-1 tamsayılı programlama problemlerini çözmek için kullanılan toplamsal (additive) bir algoritmadır.
Algoritmanın hangi model yapısı üzerinde çalıştığını anlamak için gereklidir.
2
Standart form gerekliliklerini belirleme
Algoritmanın doğrudan uygulanabilmesi için problemin minimizasyon formunda olması ve tüm amaç fonksiyonu katsayılarının (cjc_j) negatif olmaması şartı aranır.
Bu şart, değişkenlerin değerinin 00'dan 11'e çıkarılması durumunda amaç fonksiyonu değerinin (Z) asla azalmayacağını garanti eder.
3
Budama (Kapalı Sayımlama) mantığı ile ilişkilendirme
Eğer bir kısmi çözümde elde edilen Z değeri mevcut en iyi çözümden (ZZ^*) büyükse, cj0c_j \geq 0 olduğu sürece daha fazla değişkenin 11 yapılması Z'yi daha da artıracaktır; bu da o dalın budanabilmesini sağlar.
Katsayıların işareti, algoritmanın arama uzayını verimli bir şekilde daraltmasını sağlayan temel mekanizmadır.

Anahtar Kavram

Balas Algoritması Standart Formu

Daha Fazla Pratik

Balas algoritmasında kısıtların uygunluğunu kontrol etmek için kullanılan 'kısıt açığı' (slack) kavramını inceleyebilirsiniz.
Tahmini Süre:45s
Bu soruyu puanla