Karma Tamsayılı Programlama Modelleri

11 soru

Soru 1Soru

Bir üretim tesisinde, belirli bir ürünün üretilmesi için öncelikle 25.00025.000 TL tutarında bir hazırlık (setup) maliyetine katlanılması gerekmektedir. Hazırlık yapıldıktan sonra üretilen her birim ürünün değişken maliyeti 150150 TL'dir. Tesisin bu ürün için üretim kapasitesi en fazla 2.0002.000 birimdir.

xx: Üretilen ürün miktarı (sürekli değişken)
yy: Üretim kararı (y=1y=1 ise üretim yapılacak, y=0y=0 ise yapılmayacak)

Buna göre, bu üretim sürecindeki toplam maliyeti minimize etmeyi amaçlayan ve kapasite kısıtını içeren en uygun karma tamsayılı programlama modeli aşağıdakilerden hangisidir?

Cevabı ve açıklamayı göster

Cevap: Min Z=25.000y+150xMin \ Z = 25.000y + 150x; Kısıt: x2.000yx \leq 2.000y, x0,y{0,1}x \geq 0, y \in \{0, 1\}

Cevap

Toplam maliyet fonksiyonunun hazırlık maliyetini ikili değişkenle, değişken maliyeti miktar değişkeniyle ifade ettiği ve kapasite kısıtının miktarı ikili değişkene bağladığı model doğrudur.
Doğru modelde, hazırlık maliyeti (25.00025.000) sadece üretim yapıldığında (y=1y=1) devreye girer. Ayrıca kapasite kısıtı olan x2.000yx \leq 2.000y, üretim kararı verilmediğinde (y=0y=0) üretim miktarını (xx) sıfıra zorlayarak mantıksal tutarlılığı sağlar. Bu yapı hem sürekli (xx) hem de tamsayılı (yy) değişkenleri içerdiği için karma tamsayılı bir modeldir.

Adım Adım Çözüm

1
Amaç fonksiyonunu belirleme
Z=25.000y+150xZ = 25.000y + 150x
Üretim kararı verilirse (y=1y=1) sabit maliyet oluşur, aksi halde (y=0y=0) oluşmaz. Değişken maliyet ise üretilen her birim (xx) için eklenir.
2
Kapasite kısıtını kurma
x2.000yx \leq 2.000y
Eğer y=0y=0 ise üretim miktarı x=0x = 0 olmalıdır. Eğer y=1y=1 ise xx değeri kapasite sınırı olan 2.0002.000 birime kadar çıkabilir.
3
Değişken tiplerini tanımlama
x0x \geq 0 (Sürekli), y{0,1}y \in \{0, 1\} (İkili/Binary)
Üretim miktarı süreklilik arz ederken, üretim kararı 'evet' veya 'hayır' şeklinde kesikli bir karardır.

Anahtar Kavram

Sabit Hazırlık Maliyetli Modeller (Fixed Charge Models)
Tahmini Süre:1m 30s
Soru 2Soru

Bir işletme AA ve BB ürünlerini üretmeyi planlamaktadır. xAx_A ve xBx_B sırasıyla bu ürünlerin üretim miktarlarını (sürekli değişken), yAy_A ve yBy_B ise bu ürünlerin üretilip üretilmeme kararını (11: üretiliyor, 00: üretilmiyor) temsil eden ikili (binary) değişkenlerdir.

Ürünlere ait maliyet ve kapasite bilgileri aşağıdaki tabloda verilmiştir:

ÜrünSabit Kurulum Maliyeti (TL)Birim Değişken Maliyet (TL)Maksimum Kapasite (Birim)
A5.0005.00020201.0001.000
B3.0003.0001515800800

İşletme politikası gereği, **BB ürününün üretilebilmesi için AA ürününün de mutlaka üretiliyor olması** gerekmektedir.

Bu işletmenin toplam maliyetini minimize eden amaç fonksiyonu ve belirtilen kısıtları içeren karma tamsayılı programlama modeli aşağıdakilerden hangisidir?

Cevabı ve açıklamayı göster

Cevap: minZ=5000yA+20xA+3000yB+15xB\min Z = 5000y_A + 20x_A + 3000y_B + 15x_B
xA1000yAx_A \leq 1000y_A
xB800yBx_B \leq 800y_B
yByAy_B \leq y_A

Cevap

Toplam maliyeti minimize eden amaç fonksiyonu ile kapasite ve bağımlılık mantığını doğru kuran model seçilmelidir.
Doğru modelde, amaç fonksiyonu hem sabit hem de değişken maliyetleri içerir. Kapasite kısıtları (xMyx \leq My), üretimin yapılmadığı durumda sürekli değişkenin değerini sıfıra zorlar. Mantıksal bağımlılık kısıtı olan yByAy_B \leq y_A, eğer yB=1y_B=1 ise yAy_A'nın 00 olamayacağını (mutlaka 11 olması gerektiğini) garanti altına alır.

Adım Adım Çözüm

1
Amaç fonksiyonunun oluşturulması
minZ=5000yA+20xA+3000yB+15xB\min Z = 5000y_A + 20x_A + 3000y_B + 15x_B
Sabit maliyetler ancak üretim kararı (y=1y=1) verildiğinde maliyete eklenmelidir.
2
Sabit maliyet (kapasite) kısıtlarının yazılması
xA1000yAx_A \leq 1000y_A ve xB800yBx_B \leq 800y_B
Eğer üretim yapılmıyorsa (y=0y=0), üretim miktarının (xx) da 0 olmasını sağlar; üretim yapılıyorsa kapasite üst sınırını belirler.
3
Koşullu mantıksal kısıtın eklenmesi
yByAy_B \leq y_A
"B için A şart" ifadesi, yB=1y_B=1 olduğunda yAy_A'nın da 11 olmasını zorunlu kılar.

Anahtar Kavram

Sabit maliyetli problemler ve koşullu mantıksal kısıtların karma tamsayılı programlamada modellenmesi.

Daha Fazla Pratik

Mantıksal kısıtları 'ya A ya da B' (either-or) senaryoları üzerinde çalışarak pekiştirebilirsiniz.
Tahmini Süre:1m 30s
Soru 3Soru

Bir yerel yönetim, iki farklı bölgeden (Bölge A ve Bölge B) en fazla birinde yeni bir atık geri dönüşüm tesisi kurmayı planlamaktadır. Tesislere dair maliyet ve kapasite verileri aşağıda sunulmuştur:

ParametreBölge ABölge B
Sabit Kurulum Maliyeti1.000.0001.000.000 TL1.500.0001.500.000 TL
Ton Başına İşletme Maliyeti5050 TL4040 TL
Maksimum Kapasite (Ton)5.0005.0007.0007.000

Belediyenin toplamda en az 4.0004.000 ton atık işlemesi gerekmektedir. İşlenen atık miktarı ton cinsinden süreklilik gösterebilmektedir. xA,xB0x_A, x_B \geq 0 işlenen atık miktarını; yA,yB{0,1}y_A, y_B \in \{0, 1\} ise tesisin kurulma durumunu (11: kuruldu, 00: kurulmadı) temsil etmektedir.

Buna göre, toplam maliyeti minimize eden doğru karma tamsayılı programlama modeli aşağıdakilerden hangisidir?

Cevabı ve açıklamayı göster

Cevap: minZ=1.000.000yA+1.500.000yB+50xA+40xB\min Z = 1.000.000y_A + 1.500.000y_B + 50x_A + 40x_B
xA+xB4.000x_A + x_B \geq 4.000
xA5.000yAx_A \leq 5.000y_A
xB7.000yBx_B \leq 7.000y_B
yA+yB1y_A + y_B \leq 1
xA,xB0;yA,yB{0,1}x_A, x_B \geq 0; y_A, y_B \in \{0, 1\}

Cevap

Doğru model, amaç fonksiyonunda hem sabit maliyetleri (1.000.000yA+1.500.000yB1.000.000y_A + 1.500.000y_B) hem de değişken maliyetleri (50xA+40xB50x_A + 40x_B) toplayan, kurulum yapılmadığında üretimi engelleyen (xKyx \leq Ky) ve tesis seçimini 'en fazla bir' (yA+yB1y_A + y_B \leq 1) olarak sınırlayan yapıdır.
Karma tamsayılı programlama modellerinde, bir aktivitenin gerçekleşmesi (tesis kurulması gibi) bir 'evet/hayır' kararı gerektirir ve bu karar değişkeni (yy) ile süreklilik arz eden miktar değişkeni (xx) birbirine xKyx \leq K \cdot y eşitsizliği ile bağlanır. Doğru cevapta hem bu mantıksal bağ kurulmuş, hem de maliyet fonksiyonu ve seçim kısıtlaması doğru ifade edilmiştir.

Adım Adım Çözüm

1
Amaç fonksiyonunun oluşturulması
minZ=1.000.000yA+1.500.000yB+50xA+40xB\min Z = 1.000.000y_A + 1.500.000y_B + 50x_A + 40x_B
Toplam maliyet, tesisin açılması durumunda katlanılan sabit maliyet ile her bir ton atık için oluşan değişken maliyetin toplamıdır.
2
Talep ve kapasite kısıtlarının tanımlanması
xA+xB4.000x_A + x_B \geq 4.000; xA5.000yAx_A \leq 5.000y_A; xB7.000yBx_B \leq 7.000y_B
En az 4.0004.000 ton işlenmesi gerekir. Ayrıca y=0y=0 ise x=0x=0 olmasını sağlayan mantıksal bağlantı kurulmalıdır.
3
Seçim ve değişken türü kısıtlarının eklenmesi
yA+yB1y_A + y_B \leq 1; y{0,1}y \in \{0, 1\}; x0x \geq 0
'En fazla bir' ifadesi toplamın 11 veya 00 olabileceğini gösterir. Miktarlar sürekli, seçimler ise kesiklidir (binary).

Anahtar Kavram

Sabit Maliyetli Karma Tamsayılı Modelleme (Fixed Charge Problem)

Daha Fazla Pratik

Mantıksal kısıtlardan 'Bağımlı Kararlar' (A seçilirse B de seçilmeli) durumunun modellemesini inceleyin.
Tahmini Süre:2m 0s
Soru 4Soru

Kamuya ait bir enerji üretim santralinin günlük operasyon maliyetlerini minimize etmek amacıyla bir karma tamsayılı programlama modeli kurulmak istenmektedir. Santralin devreye alınması durumunda 8.0008.000 TL tutarında bir sabit hazırlık maliyeti söz konusudur. Santral çalıştırıldığında üretilen her 11 MW elektrik için değişken maliyet 100100 TL olarak hesaplanmıştır. Teknik kısıtlar nedeniyle santral, eğer çalıştırılırsa en az 5050 MW, en fazla 500500 MW elektrik üretebilmektedir.

xx: Üretilen elektrik miktarı (MW) (sürekli değişken)
yy: Santralin çalışma durumu (11: çalışıyor, 00: çalışmıyor) (binary değişken)

Buna göre, toplam maliyeti (ZZ) minimize eden amaç fonksiyonu ve kapasite kısıtlarını içeren matematiksel model aşağıdakilerden hangisidir?

Cevabı ve açıklamayı göster

Cevap: minZ=8000y+100x\min Z = 8000y + 100x; x500y, x50y, y{0,1}, x0x \leq 500y, \ x \geq 50y, \ y \in \{0, 1\}, \ x \geq 0

Cevap

Doğru model, toplam maliyeti minZ=8000y+100x\min Z = 8000y + 100x olarak tanımlayan ve üretim miktarını 50yx500y50y \leq x \leq 500y kısıtları ile çalışma durumuna bağlayan ifadedir.
Karma tamsayılı programlama modellerinde, bir aktivitenin yapılıp yapılmadığını temsil eden binary değişken (yy), aktivitenin seviyesini temsil eden sürekli değişkenin (xx) sınırlarını belirlemek için kullanılır. Bu soruda, tesisin çalışma durumu y=1y=1 olduğunda 80008000 TL sabit maliyet amaç fonksiyonuna eklenir ve üretim miktarı 50x50050 \leq x \leq 500 aralığında sınırlandırılır. Tesis kapalıyken (y=0y=0) ise maliyet sıfır olur ve kısıtlar 0x00 \leq x \leq 0 haline gelerek üretimi engeller.

Adım Adım Çözüm

1
Karar değişkenlerinin ve maliyetlerin belirlenmesi
Amaç fonksiyonu bileşenleri: Sabit maliyet 8.000y8.000y ve değişken maliyet 100x100x olarak belirlenir.
Maliyet fonksiyonunu oluşturmak için sabit ve değişken unsurların doğru değişkenlerle çarpılması gerekir.
2
Amaç fonksiyonunun oluşturulması
minZ=8000y+100x\min Z = 8000y + 100x
Toplam maliyetin minimize edilmesi istenmektedir ve sabit maliyet sadece y=1y=1 olduğunda aktiftir.
3
Kapasite kısıtlarının mantıksal yapıya oturtulması
x500yx \leq 500y ve x50yx \geq 50y eşitsizlikleri elde edilir.
Tesis çalışmıyorsa (y=0y=0) üretimin sıfır olması, çalışıyorsa (y=1y=1) ise üretimin 50 ile 500 MW arasında olması bu kısıtlarla garanti edilir.

Anahtar Kavram

Sabit Hazırlık (Fixed Charge) Maliyetli Karma Tamsayılı Modeller

İpuçları

1
Sabit maliyetin sadece santral çalıştığında (y=1y=1) devreye girmesi gerektiğini düşünün.
2
Tesis kapalıyken (y=0y=0) üretimin (xx) zorunlu olarak sıfıra eşitlenmesi için xMaxyx \leq Max \cdot y kalıbını kullanın.
3
Alt ve üst sınırların her ikisinin de yy değişkeni ile çarpıldığı 50yx500y50y \leq x \leq 500y yapısı, santralin çalışma aralığını tam olarak yansıtır.

Daha Fazla Pratik

Mantıksal kısıtların (ya A ya B projeleri gibi) MIP modellerine nasıl dahil edildiğini çalışmak konuyu pekiştirecektir.
Tahmini Süre:1m 30s
Soru 5Soru

Bir lojistik firması, yeni bir dağıtım güzergahı açıp açmama kararı aşamasındadır. Eğer güzergah açılırsa 10.00010.000 TL tutarında sabit bir hazırlık maliyeti oluşacaktır. Güzergahın aktif olması durumunda taşınan her bir birim ürün için ise 200200 TL değişken operasyonel maliyet söz konusudur. Güzergahın açılma durumu yy (010-1 tamsayı değişkeni) ve taşınan ürün miktarı xx (x0x \geq 0 sürekli değişken) ile ifade edildiğine göre, bu problemin toplam maliyetini minimize eden amaç fonksiyonu aşağıdakilerden hangisidir?

Cevabı ve açıklamayı göster

Cevap: minZ=10.000y+200x\min Z = 10.000y + 200x

Cevap

Toplam maliyeti minimize eden amaç fonksiyonu 10.000y+200x10.000y + 200x şeklindedir.
Karma tamsayılı programlamada 'sabit maliyet' (hazırlık maliyeti), faaliyetin yapılıp yapılmadığını gösteren bir ikili (0-1) değişkenle (yy) çarpılır. 'Değişken maliyet' ise faaliyetin miktarını temsil eden sürekli değişkenle (xx) çarpılır. Bu iki maliyetin toplamı olan 10.000y+200x10.000y + 200x ifadesi doğru amaç fonksiyonudur.

Adım Adım Çözüm

1
Sabit maliyet bileşenini belirlemek
10.000y10.000y
Sabit maliyetler sadece ilgili faaliyet (güzergah açma) gerçekleştiğinde (y=1y=1) ödenir, aksi halde (y=0y=0) ödenmez.
2
Değişken maliyet bileşenini belirlemek
200x200x
Değişken maliyetler, faaliyetin hacmi veya miktarı (xx) arttıkça artan maliyetlerdir.
3
Amaç fonksiyonunu birleştirmek
Z=10.000y+200xZ = 10.000y + 200x
Toplam maliyet, sabit ve değişken maliyet kalemlerinin toplamından oluşur ve minimize edilmesi hedeflenir.

Anahtar Kavram

Karma Tamsayılı Programlamada Sabit Maliyetli (Fixed Charge) Modeller

Alternatif Yöntem

Mantıksal kontrol yöntemi: Eğer y=0y=0 ise (hat açılmazsa) toplam maliyetin 00 olması gerekir. Seçeneklerde y=0y=0 ve x=0x=0 yazıldığında sadece doğru olan model 00 sonucunu verir.
Tahmini Süre:45s
Soru 6Soru

Bir kamu kurumu, vatandaşların kullanımı için yeni bir sosyal tesis alanı inşa etmeyi planlamaktadır. Tesisin kurulması kararı verildiğinde 20.00020.000 TL tutarında bir sabit hazırlık maliyeti ortaya çıkacaktır. Ayrıca tesisin kapalı alanındaki her bir metrekarelik (m2m^2) düzenleme için 150150 TL değişken maliyet hesaplanmaktadır. Tesis için ayrılabilecek toplam alan en fazla 400400 m2m^2 olduğuna göre; toplam maliyeti minimize eden, xx değişkeninin kapalı alan miktarını (sürekli) ve yy değişkeninin tesisin kurulma kararını (00-11) temsil ettiği karma tamsayılı programlama modeli aşağıdakilerden hangisidir?

Cevabı ve açıklamayı göster

Cevap: minZ=20.000y+150x\min Z = 20.000y + 150x; x400yx \leq 400y; x0,y{0,1}x \geq 0, y \in \{0, 1\}

Cevap

Toplam maliyeti minimize eden model minZ=20.000y+150x\min Z = 20.000y + 150x amaç fonksiyonu ve x400yx \leq 400y kısıtını içeren modeldir.
Modelde sabit maliyet (20.00020.000) ancak tesisin inşasına karar verildiğinde (y=1y=1) devreye girmekte, değişken maliyet ise inşa edilen alan (xx) ile çarpılmaktadır. x400yx \leq 400y kısıtı, hem kapasiteyi belirlemekte hem de tesis kurulmadan (y=0y=0) alan kullanımının (x>0x>0) imkansız olduğunu garanti etmektedir.

Adım Adım Çözüm

1
Karar değişkenlerini tanımla.
xx: Kapalı alan miktarı (m2m^2, sürekli); yy: Tesis kurulma kararı (00 veya 11).
Karma tamsayılı modellerde bazı değişkenler sürekli, bazıları ise kesiklidir.
2
Amaç fonksiyonunu oluştur.
minZ=20.000y+150x\min Z = 20.000y + 150x
Sabit maliyet sadece tesis kurulduğunda (y=1y=1) oluşur, değişken maliyet ise alana bağlıdır.
3
Mantıksal kısıtı (Big-M mantığı) kur.
x400yx \leq 400y
Eğer tesis kurulmazsa (y=0y=0), kullanılan alan da 00 olmalıdır (x0x \leq 0); tesis kurulursa (y=1y=1), alan kapasite (400400) kadar olabilir.

Anahtar Kavram

Sabit hazırlık maliyeti içeren karma tamsayılı programlama modelleme mantığı.
Tahmini Süre:1m 0s
Soru 7Soru

Bir yerel yönetim, yeni bir ek hizmet binası açmayı planlamaktadır. Binanın açılmasına karar verilmesi durumunda 150.000150.000 TL tutarında bir sabit kurulum maliyeti oluşacaktır. Ayrıca, bu binada sunulan hizmetin birim başına değişken maliyeti 4040 TL'dir. Binanın açılmaması durumunda ise herhangi bir maliyet ortaya çıkmayacaktır.

yy değişkeni binanın açılma durumunu (11: açılacak, 00: açılmayacak), xx ise sunulan hizmet miktarını (sürekli değişken) temsil ettiğine göre, toplam maliyeti (ZZ) en küçüklemeyi (minimize etmeyi) amaçlayan fonksiyon aşağıdakilerden hangisidir?

Cevabı ve açıklamayı göster

Cevap: minZ=150.000y+40x\min Z = 150.000y + 40x

Cevap

Sabit maliyeti binanın açılma kararına (yy), değişken maliyeti ise hizmet miktarına (xx) bağlayan minZ=150.000y+40x\min Z = 150.000y + 40x fonksiyonu doğrudur.
Karma tamsayılı programlama modellerinde, bir faaliyetin gerçekleştirilip gerçekleştirilmemesine bağlı olan sabit maliyetler 010-1 (binary) değişkenlerle çarpılırken, hacme bağlı değişken maliyetler sürekli değişkenlerle çarpılır. Bu soruda 150.000150.000 TL sabit bir bedel olduğu için yy ile, 4040 TL birim başına olduğu için xx ile çarpılmalıdır.

Adım Adım Çözüm

1
Sabit maliyetin hangi değişkene bağlı olduğunu belirleyin.
150.000150.000 TL sabit maliyet, binanın açılıp açılmaması kararına (y{0,1}y \in \{0, 1\}) bağlıdır.
Sabit maliyetler sadece yatırım yapıldığında veya faaliyet başladığında ortaya çıkar.
2
Değişken maliyetin hangi değişkene bağlı olduğunu belirleyin.
Birim başına 4040 TL olan değişken maliyet, sunulan hizmet miktarına (x0x \geq 0) bağlıdır.
Değişken maliyetler üretim veya hizmet hacmi ile doğru orantılı olarak artar.
3
Amaç fonksiyonunu oluşturun.
Z=(150.000×y)+(40×x)Z = (150.000 \times y) + (40 \times x)
Toplam maliyet, sabit ve değişken maliyet kalemlerinin toplamından oluşur.

Anahtar Kavram

Karma Tamsayılı Programlamada Sabit Hazırlık (Fixed-Charge) Maliyetlerinin Modellenmesi
Soru 8Soru

Bir mobilya fabrikası, yeni bir koltuk modeli üretmek için 5.0005.000 TL sabit hazırlık (setup) maliyeti ve üretilen her bir koltuk için 1010 TL değişken maliyet öngörmektedir. Fabrikanın bu model için toplam üretim kapasitesi en fazla 1.0001.000 adettir. Üretim miktarı xx (sürekli değişken) ve üretim kararı yy (üretimin yapılması durumunda 11, aksi halde 00 değerini alan tamsayı değişken) ile gösterildiğine göre, toplam maliyeti minimize etmeyi amaçlayan uygun karma tamsayılı programlama modeli aşağıdakilerden hangisidir?

Cevabı ve açıklamayı göster

Cevap: minZ=5000y+10x\min Z = 5000y + 10x; x1000yx \leq 1000y, x0,y{0,1}x \geq 0, y \in \{0, 1\}

Cevap

Toplam maliyet fonksiyonunun minZ=5000y+10x\min Z = 5000y + 10x ve kapasite kısıtının x1000yx \leq 1000y (y{0,1}y \in \{0, 1\}) şeklinde kurgulandığı model doğrudur.
Karma tamsayılı programlama modellerinde sabit maliyetlerin devreye girmesi için binary bir karar değişkeni (yy) kullanılır. Doğru modelde, maliyet fonksiyonu sabit ve değişken maliyetleri doğru değişkenlerle eşleştirirken, kapasite kısıtı da üretimin ancak karar değişkeni aktif olduğunda yapılabileceğini garantiler.

Adım Adım Çözüm

1
Amaç fonksiyonunu oluşturun.
Z=5000y+10xZ = 5000y + 10x
Sabit maliyet (5.0005.000) sadece üretim yapıldığında (y=1y=1) maliyete eklenmelidir. Değişken maliyet (1010) ise her birim üretim (xx) başına eklenir.
2
Mantıksal kapasite kısıtını kurun.
x1000yx \leq 1000y
Eğer üretim yapılmazsa (y=0y=0), üst sınır 00 olur ve x=0x=0 zorunluluğu doğar. Eğer üretim yapılırsa (y=1y=1), üretim miktarı kapasite sınırı olan 1.0001.000 birimi aşamaz.

Anahtar Kavram

Sabit Maliyetli (Fixed Charge) Karma Tamsayılı Programlama Modellemesi
Tahmini Süre:50s
Soru 9Soru

Bir kamu hastanesi, laboratuvarlarında kullanılmak üzere özel bir dezenfektan çözeltisinin kendi tesislerinde üretimine geçip geçmeme kararı alacaktır.

- Hastane bu çözeltiyi üretmeye karar verirse, kimyasal reaksiyon stabilitesi gereği ayda en az 500500 litre, tesis kapasitesi gereği ise en fazla 20002000 litre üretim yapmak zorundadır.
- Üretim yapılmaması kararı alınırsa, üretim miktarı tam olarak sıfır olacaktır.

Dezenfektan çözeltisinin aylık üretim miktarını litre cinsinden xx sürekli değişkeni ile ve üretim yapma kararını yy sıfır-bir (ikili) değişkeni ile ifade ettiğimiz bir Karma Tamsayılı Programlama (MIP) modelinde, bu durumu doğru bir şekilde ifade eden kısıt seti aşağıdakilerden hangisidir?

Cevabı ve açıklamayı göster

Cevap: x500y0x - 500y \geq 0 ; x2000y0x - 2000y \leq 0 ; y{0,1}y \in \{0, 1\} ; x0x \geq 0

Cevap

Modeli doğru ifade eden kısıt seti: x500y0x - 500y \geq 0 ; x2000y0x - 2000y \leq 0 ; y{0,1}y \in \{0, 1\} ; x0x \geq 0 kısıtlarını içeren seçenektir.
Karma Tamsayılı Programlama (MIP) modellerinde 'ya belirtilen aralıkta değer al ya da sıfır ol' şeklindeki yarı-sürekli (semi-continuous) durumlar, sınır değerlerinin bir sıfır-bir değişkeni ile çarpılmasıyla modellenir. Doğru seçenekte yer alan x500yx \geq 500y (yani x500y0x - 500y \geq 0) ve x2000yx \leq 2000y (yani x2000y0x - 2000y \leq 0) eşitsizlikleri bu mantığı tam olarak karşılar. y=1y=1 iken 500x2000500 \leq x \leq 2000 aralığı geçerli olur, y=0y=0 iken ise 0x00 \leq x \leq 0 (dolayısıyla x=0x=0) durumu zorunlu kılınır.

Adım Adım Çözüm

1
Karar değişkenlerinin türlerini ve sınırlarını belirleme.
xx sürekli bir değişkendir (x0x \geq 0). yy ise evet/hayır kararını temsil ettiği için ikili (sıfır-bir) değişkendir (y{0,1}y \in \{0, 1\}).
Üretim miktarı kesirli olabilen bir sürekli değeri ifade ederken, üretime geçme kararı mantıksal bir seçimdir.
2
Üretim yapılması (y=1y=1) durumundaki kısıtları matematiksel olarak ifade etme.
Üretim varsa miktar 500500 ile 20002000 arasında olmalıdır: 500x2000500 \leq x \leq 2000.
Soruda belirtilen minimum reaksiyon stabilitesi ve maksimum tesis kapasitesi sınırlarıdır.
3
Üretim yapılmaması (y=0y=0) durumundaki kısıtı ifade etme.
Üretim yoksa miktar sıfır olmalıdır: x=0x = 0.
Karar verilmediğinde herhangi bir üretim gerçekleşemez.
4
İki durumu tek bir kısıt setinde birleştirmek için xx sınırlarını yy ile çarpma (Büyük-M tekniğinin yarı sürekli versiyonu).
Alt sınır için: x500yx \geq 500y. Üst sınır için: x2000yx \leq 2000y.
y=1y=1 iken 500x2000500 \leq x \leq 2000 olur. y=0y=0 iken 0x00 \leq x \leq 0 olur ki bu da doğrudan x=0x=0 eşitliğini sağlar.
5
Elde edilen eşitsizlikleri standart forma (değişkenler solda, sabitler sağda) dönüştürme.
x500y0x - 500y \geq 0 ve x2000y0x - 2000y \leq 0 denklemleri elde edilir.
Doğrusal ve tamsayılı programlama modellerinde kısıtlar genellikle standart formda yazılır.

Anahtar Kavram

Karma Tamsayılı Programlama Modellerinde Yarı Sürekli Değişken (Semi-continuous Variable) Modellemesi
Soru 10Soru

Bir kamu kurumu, e-devlet veri tabanı altyapısını güçlendirmek amacıyla yüksek performanslı yeni bir bulut sunucu sistemine geçiş yapıp yapmamayı değerlendirmektedir. Sistemin aktif hale getirilmesi kararı verilirse 50.00050.000 TL tutarında sabit bir kurulum (lisans) maliyeti katlanılacaktır. Sistem kurulduktan sonra, bu sunucu üzerinden işlenen her bir terabayt (TB) veri için 1515 TL değişken işlem maliyeti oluşacaktır. Sistemin altyapısı gereği, kurulum yapıldığında bu sunucuda en fazla 10.00010.000 TB veri işlenebilmektedir. Kurulum yapılmazsa bu sunucuda herhangi bir veri işlenmesi mümkün değildir (işlenen veri miktarı sıfır olmalıdır).

Sistemin kurulup kurulmama kararını yy (y{0,1}y \in \{0, 1\}) ve işlenen veri miktarını TB cinsinden bir sürekli değişken olan xx (x0x \ge 0) ile gösteren, toplam maliyeti en küçüklemeyi amaçlayan karma tamsayılı programlama modeli aşağıdakilerden hangisinde doğru formüle edilmiştir?

Cevabı ve açıklamayı göster

Cevap: minZ=15x+50000y\min Z = 15x + 50000y ; x10000y0x - 10000y \le 0 ; x0x \ge 0 (sürekli), y{0,1}y \in \{0, 1\}

Cevap

Amaç fonksiyonunun sabit ve değişken maliyetleri doğru ağırlıklarla topladığı, kapasite ve ön koşul ilişkisinin x10000y0x - 10000y \le 0 mantıksal kısıtıyla birbirine bağlandığı ve değişkenlerin türünün doğru (x sürekli, y ikili) ifade edildiği modeldir.
Doğru modelde maliyet maksimizasyonu önlenmiş (Min Z), x'in ancak y'nin 1 olması durumunda pozitif değer alabileceğini güvence altına alan bağlayıcı kısıt (x10000y0x - 10000y \le 0) doğru yazılmış ve problemin doğası gereği değişkenlerden yalnızca birinin sıfır-bir kısıtına tabi olduğu, diğerinin sürekli bırakıldığı (Karma model prensibi) hatasız uygulanmıştır.

Adım Adım Çözüm

1
Amaç fonksiyonunu belirlemek.
Min Z = 15x + 50000y
Toplam maliyet, veri miktarı başına 15 TL ile sistemin kurulum kararını yansıtan 50.000 TL'nin toplamından oluşur.
2
Mantıksal ön koşul ve kapasite kısıtını oluşturmak.
x <= 10000y => x - 10000y <= 0
Sistem kurulmazsa (y=0) işlenen veri sıfır (x<=0) olmalı, kurulursa (y=1) veri miktarı en fazla 10.000 olmalıdır. Bu bağlantı eşitsizlikle ifade edilmelidir.
3
Değişkenlerin uzayını (türünü) tanımlamak.
x >= 0 (sürekli) ve y elemandır {0, 1} (ikili/kesikli)
İşlenen veri (TB) kesirli değerler alabilen sürekli bir miktar, sistemin kurulum kararı ise var/yok mantığıyla çalışan sıfır-bir tamsayı değeridir.

Anahtar Kavram

Karma Tamsayılı (MIP) Modellerde Mantıksal (Sabit Maliyet) Kısıtlarının Formülasyonu
Soru 11Soru

Bir kamu enerji şirketi, bir bölgeye güneş (SS) ve rüzgâr (WW) santralleri kurmayı planlamaktadır. Bu karar problemi için değişkenler şu şekilde tanımlanmıştır:

ySy_S: Güneş santrali kurulursa 11, aksi halde 00 değerini alan ikili değişken,
yWy_W: Rüzgâr santrali kurulursa 11, aksi halde 00 değerini alan ikili değişken,
xSx_S: Güneş santralinden üretilecek enerji miktarı (MW),
xWx_W: Rüzgâr santralinden üretilecek enerji miktarı (MW).

Sistemin kısıtlarına ilişkin kural ve gereksinimler şunlardır:
I. Güneş santralinin maksimum üretim kapasitesi 120120 MW, rüzgâr santralinin maksimum üretim kapasitesi ise 150150 MW'tır. Enerji üretimi ancak ilgili santralin kurulması durumunda gerçekleşebilir.
II. Bölgenin asgari 8080 MW olan toplam enerji talebi bu iki santral tarafından karşılanmak zorundadır.
III. Rüzgâr santrali, sadece güneş santrali kurulduğu takdirde inşa edilebilecektir (Güneş santrali olmadan rüzgâr santrali kurulamaz, ancak güneş santrali tek başına kurulabilir).

Buna göre, bu problemi tanımlayan karma tamsayılı programlama (MIP) modeline ait kısıt kümesi aşağıdakilerden hangisinde doğru ve eksiksiz olarak verilmiştir?

Cevabı ve açıklamayı göster

Cevap: xS120ySx_S \leq 120 y_S ; xW150yWx_W \leq 150 y_W ; yWySy_W \leq y_S ; xS+xW80x_S + x_W \geq 80 ; yS,yW{0,1},xS,xW0y_S, y_W \in \{0, 1\}, x_S, x_W \geq 0

Cevap

Karma tamsayılı modelde, sürekli değişkenlerin ikili değişkenlerle kapasite sınırlarına doğru bağlandığı ve rüzgâr santralinin güneş santraline olan mantıksal ön koşulunun yWySy_W \leq y_S şeklinde ifade edildiği kısıt kümesi doğru cevaptır.
Doğru formülasyonda; üretim miktarları, kurulum karar değişkenleri ile xMyx \leq M \cdot y formatında doğru biçimde sınırlandırılmıştır (xS120ySx_S \leq 120 y_S ve xW150yWx_W \leq 150 y_W). Ayrıca 'rüzgâr sadece güneş kurulursa inşa edilebilir' mantıksal önermesi, yWy_W ikili değişkeninin ancak yS=1y_S=1 iken 11 olabileceğini şart koşan yWySy_W \leq y_S eşitsizliği ile hatasız modellenmiştir. Talep kısıtı ve değişken tanımları da bütünüyle uygundur.

Adım Adım Çözüm

1
Sürekli ve ikili değişkenler arasındaki kapasite (bağlantı) kısıtlarının oluşturulması.
xS120ySx_S \leq 120 y_S ve xW150yWx_W \leq 150 y_W
Enerji üretiminin (xx) ancak o santral kurulduğunda (y=1y=1) gerçekleşebilmesi için, sürekli değişkenin üst sınırı ilgili ikili değişkenle çarpılmalıdır. y=0y=0 iken x=0x=0 olmaya zorlanır.
2
Ön koşul (mantıksal bağımlılık) kısıtının oluşturulması.
yWySy_W \leq y_S
Rüzgâr santralinin (yWy_W) kurulabilmesi güneş santralinin (ySy_S) kurulmasına bağlıdır. Güneş santrali yoksa (yS=0y_S=0), rüzgâr santrali olamaz (yW=0y_W=0). Güneş santrali varsa (yS=1y_S=1), rüzgâr santrali olabilir veya olmayabilir (yW1y_W \le 1).
3
Talep kısıtının oluşturulması ve değişken yapılandırmasının tanımlanması.
xS+xW80x_S + x_W \geq 80 ve yS,yW{0,1},xS,xW0y_S, y_W \in \{0, 1\}, x_S, x_W \geq 0
Bölgenin toplam enerji ihtiyacı asgari 8080 MW olduğundan iki santralin üretim toplamı bu değere eşit veya büyük olmalıdır. Karar değişkenlerinin doğası gereği kurulumlar ikili, üretimler sürekli ve negatif olmayan değişkenlerdir.

Anahtar Kavram

Karma Tamsayılı Modellerde Mantıksal ve Kapasite Kısıtlarının Kurulması