Olurlu Bölge

Uygun çözümler bölgesi (UÇB) (ayrıca uygun çözümler kümesi, İng. Feasible region, feasible set) — yöneylem araştırması, optimizasyon ve matematiksel modellemede, bir probleme yüklenen tüm kısıtlamaları sağlayan olası tüm çözümlerin (değişken değerleri kümelerinin) oluşturduğu kümedir.

UÇB, optimal çözümün arandığı alt uzayı temsil eder. Bu bölgenin dışında kalan herhangi bir çözüm uygun değildir.

Tanım ve Oluşturma

Uygun çözümler bölgesi, problemdeki her bir kısıtlama tarafından tanımlanan kümelerin kesişimi olarak oluşturulur. Kısıtlamalar şu biçimlerde ifade edilebilir:

• Eşitsizlikler: Değişkenlerin veya bunların kombinasyonlarının değerleri için üst ya da alt sınırlar belirler (örneğin, "A kaynağının tüketimi 100 birimi geçmemeli", "üretilen ürün miktarı en az 50 adet olmalı").
• Eşitlikler: Koşulun tam olarak sağlanmasını gerektirir (örneğin, "toplam taşıma hacmi 1000 ton olmalı", "giriş ve çıkış akışları arasındaki denge sıfıra eşittir").
• Değişken işaret koşulları: Değişkenler çoğu zaman negatif olmayan, tam sayı değerli ya da belirli bir ayrık kümeye ait olmak zorundadır.

Bir nokta (veya değişken değerleri vektörü), yalnızca ve yalnızca tüm bu kısıtlamaları aynı anda sağladığında UÇB'ye aittir.

Geometrik Yorum

UÇB, özellikle az sayıda değişken içeren problemlerde belirgin bir geometrik yoruma sahiptir:

• İki boyutlu uzayda (2 değişken): Her doğrusal eşitsizlik kısıtlaması bir yarı-düzlem tanımlar. UÇB bu yarı-düzlemlerin kesişimini oluşturur — dışbükey bir çokgen (sınırsız veya boş olabilir).
• Üç boyutlu uzayda (3 değişken): Her doğrusal eşitsizlik kısıtlaması bir yarı-uzay tanımlar. UÇB bu yarı-uzayların kesişimidir — dışbükey bir çok yüzlü (poliedre).
• Çok boyutlu uzayda: Doğrusal kısıtlamalar tarafından tanımlanan UÇB, dışbükey bir çok yüzlüdür (politop).

Doğrusal olmayan kısıtlamalar söz konusu olduğunda, UÇB daha karmaşık bir biçim alabilir ve dışbükey olmayabilir.

Optimizasyondaki Rolü

Uygun çözümler bölgesi, optimizasyonda temel bir rol oynar:

1. Arama uzayının tanımlanması: Problemin optimal çözümü (eğer mevcutsa) her zaman UÇB'nin içinde veya sınırında bulunur. Optimizasyon algoritmaları, amaç fonksiyonunun ekstremumunu tam olarak bu bölge içinde arar. 2. Çözümlerin varlığının doğrulanması: Eğer UÇB boş bir kümeyse (yani kısıtlamalar birbiriyle çelişiyorsa), problemin uygun çözümü yoktur ve dolayısıyla optimal çözüm de mevcut değildir. 3. Optimal çözüm üzerindeki etki: UÇB'nin biçimi ve boyutu, amaç fonksiyonunun ekstremumuna ulaşılıp ulaşılamayacağını ve bu ekstremumun değerini doğrudan etkiler.

UÇB'nin Özellikleri (Doğrusal Programlama Problemlerinde)

Tüm kısıtlamaların ve amaç fonksiyonunun doğrusal olduğu doğrusal programlama (DP) problemlerinde UÇB önemli özelliklere sahiptir:

• Dışbükeylik: Eğer iki nokta UÇB'ye aitse, bu iki noktayı birleştiren doğru parçasının tamamı da UÇB'ye aittir. Bu özellik, optimal çözümün (eğer mevcutsa ve tekse) UÇB çok yüzlüsünün köşelerinden birinde bulunacağını garanti eder.
• Kapalılık: UÇB kendi sınırlarını içerir (≤, ≥ biçimindeki katı olmayan eşitsizlikler ve eşitlikler nedeniyle).

UÇB şu durumlardan birinde olabilir:

• Sınırlı: Sonlu boyutlara sahiptir.
• Sınırsız: Bir veya birden fazla yönde sonsuzluğa uzanır.
• Boş: Hiçbir nokta içermez.

Ayrıca bakınız

• Yöneylem araştırması
• Optimizasyon
• Matematiksel model
• Kısıtlamalar
• Uygun çözüm
• Optimal çözüm
• Amaç fonksiyonu
• Doğrusal programlama
• Dışbükey küme

Literatür

• Ventsel E. S. Yöneylem araştırması: problemler, ilkeler, metodoloji. — Moskova: Nauka, 1988.
• Ackoff R., Sasieni M. Yöneylem araştırmasının temelleri. — Moskova: Mir, 1971.
• Taha, Hamdy A. Operations Research: An Introduction. — Pearson. (10th ed., 2017)
• Hillier, Frederick S.; Lieberman, Gerald J. Introduction to Operations Research. — McGraw-Hill Education. (11th ed., 2021)