Matematik biliminde, özellikle yöneylem araştırması uygulamalı dalında, doğrusal programlama problemleri bir doğrusalamaç fonksiyonunun doğrusal eşitlik ve/veya eşitsizlik kısıtlamalarını sağlayacak şekilde optimizasyon (yani amaç fonksiyonu değerinin en küçüklenmesi veya en büyüklenmesinin) yapılmasıdır. Bir optimizasyon modeli eğer sürekli değişkenlere ve tek bir doğrusal amaç fonksiyonuna sahipse ve tüm kısıtlamaları doğrusal eşitlik veya eşitsizliklerden oluşuyorsa, doğrusal (lineer) program olarak adlandırılır. Başka bir deyişle, modelin tek-amaçlı fonksiyonu ve tüm kısıtlamaları, süreklilik gösteren karar değişkenlerinin ağırlıklı toplamlarından oluşmalıdır.
Doğrusal (lineer) programlamadaki doğrusal (lineer) sözcüğü, modeldeki tüm matematiksel fonksiyonların doğrusal (lineer) olması gerektiğini belirtir. Programlama kelimesi ise bilgisayar programlama'ya işaret etmez; daha çok planlama ile eş anlamlıdır. Dolayısıyla doğrusal (lineer) programlama, birçok uygun alternatif arasından belirlenmiş bir hedefe uyan optimal çözümü bulacak aktivitelerin planlanmasını içerir.
Fazla matematiksel olmayan terimler ile, bir seri doğrusal eşitlik veya eşitsizlik şeklinde ifade edilmiş koşullara bağlı olarak (en küçük maliyet veya en büyük kâr gibi) en iyi sonuca varılmasıdır.
Matris notasyonu kullanılarak
maks
sk
Burada
amaç fonksiyonu katsayılarını (1xn) kapsayan vektördür ve T-üstü transpoz notasyonu olup
değişkenleri kapsayan bir (1xn) vektördür.
bir (mxn) katsayılar matrisidir.
(mx1) sol-tarafta olan sabit değerler vektörüdür.
Genel olarak bir doğrusal programlama probleminde , ve matrislerinde sayısal değerler halinde problem başlangıcında verilir ve vektörü için sayısal değişken değerleri sonuç olarak, problem çözülmekle, bulunur.
Doğrusal programlama birçok pratik alanda kullanım sahası bulmaktadır. Özellikle birçok işletme ve ekonomi sorunlarına özel veya kamu sektöründe devamlı kullanılmaktadır. Nakliyat, enerji üretimi ve dağıtımı, telekomunikasyon, sınai üretim gibi teknik işletmecilik gerektiren alanlarında bulunan birçok firmalar doğrusal programlamayı çok kullanmaktadırlar. Doğrusal programlama işletmecilik alanlarında çok kapsamlı ve çok çeşitli sorunların çözülebilmesini sağlamaktadır. Bunlar sorunlar arasında planlama, yol gösterme, zaman programlaması, iş ve işçi tahsis edilmesi gibi önemli sorunlar doğrusal programlama kullanılarak modellenebilmektedir.
Doğrusal programlamanın tarihçesi
Doğrusal eşitsizlikler sistemi şeklindeki bir problemin incelenmesi ta Fourierin çalışmalarına kadar dayanmaktadır ve bu tanınmış matematikçi anısına Fourier-Motzkin eliminasyon yöntemi şeklinde isimlendirilmiştir.
1920'lerde Sovyet Rusya'da tüm ekonomi planlaması konuları pratikte ön plana geçmişken teorik olarak tüm ekonominin nasıl planlanabileceğini göstermek için yapılan teorik çalışmalar arasında Leonid Kantoroviç'in katkısı ilk defa bir doğrusal programlama probleminin açıkça ortaya çıkarılmasına yol açmıştır. Ne yazık ki teorinin pratik planlamaya uygulanmasının imkânsızlığı ve ideolojik nedenler dolayısıyla Kantroviç'in bu çalışmasının önemi ancak II. Dünya Savaşından sonra anlaşılabilmiştir.
II. Dünya Savaşı sırasında Birleşik Amerika'da ortaya çıkan lojistik tahsis sorunlarını incelemek için kurulan bir araştırma grubu, grup başkanı olan George Dantzig etrafında, bu türlü sorunların çözülmesi için doğrusal programlama probleminin tanımlanması gereğini ortaya çıkartmışlar ve bu türlü doğrusal programlama problemlerinin çözümü için simpleks algoritması adını verdikleri bir çözüm sistemi ortaya atmışlardır. Özellikle bu matematik modelin ve çözüm algoritmasının, maliyetleri ve getirileri planlama suretiyle harp masraflarının kısılmasına yol açtığı açıkça görüldüğü için bu teorik ve pratik gelişmeler 1947'ye kadar devlet sırı olarak saklı kalmıştır. 1947'de John von Neumann, özellikle oyunlar teorisi ile de ilgileniyorken, ikincillik teorisini geliştirmiştir.
Bu zaman kadar doğrusal programlamaya yaptıkları katkılar nedeni ile Kantoroviç, Dantzing ve von Neumann'a 1975'te Nobel Ekonomi ödülü verilmiştir.
1947'den sonra özellikle geliştirilen bilgisayar uygulamaları ile birlikte özellikle büyük özel sanayi birimleri ve büyük devlet projeleri için birçok doğrusal programlama problem tanımlanmış ve simpleks algoritması ile çözülüp pratikte kullanılmaya başlanmıştır. Örneğin petrol rafine şirketlerinin günlük üretim planlamaları ve çok girdili ve çok çıktılı üretim karışımı planlamaları için doğrusal programlama çözümlerini devamlı olarak kullanmaya başlamışlardır.
1979'da Leonid Haciyan doğrusal programlama probleminin polinom zaman içinde çözülebileceğini ilk defa ispat etmiştir. Fakat bu alanda çok daha önemli teorik ve pratik gelişmeler 1984'te Narendra Karmarkar'ın doğrusal programlama problemlerin çözülmesi için (simpleks algoritması yerine) içsel nokta yöntemi ortaya atması ile başlamıştır.
Doğrusal programlamanın pratik yararlılığı bu yöntemin ilk kullanılma problemlerinden biri olan ve Dantzig tarafından ortaya atılan 70 kişinin 70 göreve, karar verici kuruma en iyi sonuç çıkaracak şekilde, tahsis edilmesi örneğinin biraz daha ayrıntılarına bakmak suretiyle anlaşılabilir. Eğer çözüm için her mümkün tahsisi teker teker elden geçirip her biri için amaca yaptığı katkıyı bulmak deneyimine girişilirse, bu kadar çok büyük sayıda permutasyonun elden geçirilmesinin imkânsız olduğu hemen açığa çıkar; çünkü gerekli permütasyon sayısı bütün yakın evrende bulunan parçacıkların sayısına yaklaşır. Eğer bu problem doğrusal programlama şeklinde belirtilip en iyi çözümü bulma kararı verirsek, en zor ve zaman alıcı çabanın probleminin çözümünde değil problemin programa girdisinin hazırlanmasında olduğu anlaşılır. Bu problemin bilgisayarla simpleks algoritması kullanılarak çözülmesi göz kırpma zamanı bile almaz. Doğrusal programlama kuramı arkasında bulunan teori, kontrol edilmesi gereken mümkün en iyi çözüm sayısını çok etkili şekilde azaltmaktadır.
Kullanım alanları
Doğrusal programlama yönteminin çok olmasına rağmen matematik için çok önemli olan optimizasyon alanında çok büyük bir rol oynamasında çeşitli nedenler vardır. Yöneylem araştırması alanında birçok pratik problem doğrusal programlama problemi olarak tanımlanmaktadır. Doğrusal programlamanın bazı özel hallerinin, örneğin ağ şebekelerinde akışım veya çoklu mal akışımı problemlerinin, o kadar önemli oldukları anlaşılmıştır ki özel problem çözüm şekilleri ve algoritmaları ortaya çıkartmak için bu özel problem alanlarına büyük araştırma çabaları yöneltilmiştir.
Diğer tipte olan optimizasyon problemleri için ortaya çıkartılan algoritmaların çoğu özel alt problem olarak doğrusal programlama çözümlerini kapsamaktadır. Matematik optimizasyon kavram ve yöntemlerinin geliştirilmesi için yapılan çalışmaların geçmişine bakılırsa, bunların en önemli olanlarının çoğunun (örneğin dualite, koveksite, bölünebilirlik ve daha genelleştirmeler) ilk defa doğrusal programlama için ortaya atılıp geliştirildiği aşikar olarak görülmektedir.
Aynı şekilde pratik alanlar olan işletmecilik ve mikroiktisat alanlarında etkin mal ve hizmet üretimi ve arzı için gelirleri maksimum hale getirmek veya maliyet ve masrafları minimum hale getirmek için, doğrusal programlama çok büyük katkılarda bulunmaktadır. Doğrusal programlamanın bu pratik alanlardaki kullanıldığı problemler arasında yiyecek maddelerinin harmanlanması, envanter kontrolü, insan ve makine kaynaklarının en iyi şekilde tahsis edilmeleri, ilan kampanyalarının planlaması, elektrik ve diğer enerji için toptan fiyatlama ve tahsis planlaması vb. bulunmaktadır.
Standart şekil
Bir doğrusal programlama probleminin tanımlanması için en uygun ve alışılmış olan şekline standart şekil adı verilmektedir. Bu standart şekilde bir doğrusal programlama problemi üç özel parçadan oluşmaktadır:
Her doğrusal program problemi bir genel standart doğrusal program problemine (yani kanonik şekille) dönüştürülebilir. Matematiksel olarak bir genel standart doğrusal program problemi basitçe bir şekilde şöyle ifade edilir:
Amaç fonksiyonu - Bir maksimize edilecek doğrusal amaç fonksiyonu
Genel olarak n değişkenli problem için:
maks veya
maks .
Örnek olarak 2 değişkenli problem için:
maksimum bul
Kısıtlamalar - doğrusal eşitsizlik veya eşitlik halinde kısıtlayıcı koşullar:
Genel olarak n değişkenli m kısıtlamalı problem için:
Doğrusal programlama diğer şekiller de alabilir. Bunlardan birkaç örnek verelim: minimizasyon problemleri; değişik şekillerde ( veya = halinde) verilen kısıtlamalar; negatif değişken kapsayan problem vb. Bütün bu değişik şekiller uygun dönüşümler kullanılarak standart forma dönüştürülebilirler.
Örneğin
Eklenmiş şekil (belirtisiz gevşek şekli)
Simpleks algoritmasını kullanıp çözüm bulunmaya başlanmadan önce doğrusal programlama problemlerinin eklenmiş şekle dönüştürülmeleri gerekir. Bu şekil için (≤ şeklinde) eşitsizlik halinde olan her kısıtlama bir negatif olmayan belirtisiz gevşeklik değişkeni eklenmesi ile eşitlik haline dönüştürülür. Bu halde, doğrusal programlama problemi şu şekli alır:
Z in maksimumunu bulun .
Kısıtlamalar:
Burada xs yeni olarak ortaya çıkartılan gevşeklik değişkenleridir ve Z maksimum değeri bulunacak amaç değişkenidir.
Örneğin
İkincillik
Her dogrusal programlama problemi (ki buna asılsal (primal) problem adı verilir) belirli dönüşümler yapılarak bir diğer ikincil (dual) probleme çevrilebilir. Bu ikincil problem asılsal probleminin en iyi optimal değeri için bir üst sınır temin eder. Matris şekille asılsal problem standart şekilde şöyle ifade edilir:
Maksimum değer bul - maks.
Kısıtlamalar - kıs.
Bu asıl belirtilme şekli olan asılsal problemine karşıt ikincil problem matris olarak şöyle yazılır:
Minimum değer bul - min.
Kısıtlamalar - kıs.
Görüldüğü gibi asılsal problemde değişkenler x vektörüyle, ikincil problemde ise y vektörü ile ifade edilmektedir.
İkincillik kuramına iki genel fikir temel olmaktadır. Birine göre ikincil (dual) probleminin tekrar ikincil problemini ortaya çıkartırsak, bunun asılsal problemi olacağı gerçeğidir. İkinci ana fikir ise, bir asılsal doğrusal programlama problemi için her bir uygun çözümün bunun ikincil problemin amaç fonksiyonunun en iyi optimal değerine bir sınır getirdiğidir. Zayıf ikincillik teoremi, bir ikincil problemi için herhangi bir uygun çözümde bulunan amaç fonksiyonu değerinin, bu uygun çözümde asılsal problemi için amaç fonksiyonu değerinden her zaman daha büyük veya eşit olacağını önerir. Güçlü ikincillik teoremi ise eğer asılsal problemi için en iyi optimal çözüm, x* olarak bulunursa, o halde ikincil problem için de bir en iyi optimal çözüm, y*, bulunduğunu ve bu iki optimal çözüm arasında şu bağlantı olduğunu
cTx*=bTy*
önerir.
Bir doğrusal programlama problemi sınırsız veya uygunsuz bulunarak çözümsüz olabilir. İkincillik teoremine göre, eğer asılsal sınırsız ise, o halde zayıf ikincillik teoremine göre, ikincil problem uygunsuzdur. Aynı şekilde, eğer ikincil problem sınırsız ise, asılsal problem uygunsuz olacaktır. Ancak hem asılsal ve hem de ikincil problemlerinin uygunsuz olmaları da mümkündür.
Örneğin
Tamamlayıcı gevşeklik
Eğer sadece birincil problem için en iyi optimal çözüm biliniyorsa, ikincil problem için bir en iyi optimal çözümün elde edilmesi tamamlayıcı gevşeklik teoremini kullanmak suretiyle mümkün olur. Bu teorem şunu önerir:
x = (x1, x2, . . ., xn) birincil problem için olanaklı bir çözüm ve y = (y1, y2, . . ., ym) ise ikincil problem için olanaklı bir çözüm olduğu kabul edilsin. (w1, w2, . . ., wm) birincil problem icçin gevşeklik değişkenler ve (z1, z2, . . ., zn) du bunlara karşıt ikincil problem için gevşeklik değişkenleri olsunlar. Bu halde x ve y kendileri için yukarıda anılmış problemler için en iyi optimal sonuç olmalariı, ancak ve ancak
xjzj = 0, for j = 1, 2, . . ., n,
wiyi = 0, for i = 1, 2, . . ., m.
şartları gerçekleşirse ortaya çıkar.
Bu nedenle, eğer birincil problemdeki i'inci gevşeklik değişkeni sıfıra eşit değilse, ikincil problemde i'inci değişken değeri sıfıra eşit olur. Benzer şekilde, eğer ikincil problemdeki j'inci gevşeklik değişken sıfıra eşit değillerse, birincil problemde j'inci değişken değeri sıfıra eşittir.
Kuram
Geometrik olarak, doğrusal kısıtlayıcılar olanaklı yöre adı verilen bir içbükeypolihedron belirtirler. Hedef fonksiyonu da doğrusal olduğu, yani bir konveks fonksiyon olduğu, için her yöresel en iyi optimum noktası, otomatik olarak, global en iyi optimal noktası olur. Bu öneri Karush-Kuhn-Tucker teoremininin uygulanmasına göre gerçekleşir. Hedef fonksiyonunun doğrusal olması en iyi optimal çözümlerin sonlu noktalar setinin bir konveks kabuğudur ve çok defa tek bir noktadan oluşur.
En iyi optimal çözüm noktasının bulunamadığı iki özel hal bulunmaktadır. Birinci özel halde, kısıtlamalar birbirleri ile tamamiyle çelişme halindedirler (Tam çelişme halindeki iki doğrusal kısıtlamaya örnegin x ≥ 2 ve x ≤ 1 olabilir). Bu halde olanaklı yöre boştur ve hiçbir çözüm bulunmadığı için en iyi optimal sonuç da yoktur. Bu halde, doğrusal programlama problemine olanaksız problem adı verilir.
Algoritmalar
Doğrusal programlama problemlerinin pratik olarak çözümlenmesi için ilk kullanışlı algoritma George Dantzig ve Rand Corp. özel araştırma ekibinin ortaya attığı simpleks algoritmasıdır. Bu algoritma kısıtlamalardan ortaya çıkan düzeyleri birçok değişirli polihedron (iki değişkenli problemde "uygunluk alanı") olarak görmekte ve bu polihedronda kesişme noktalarını yani polihedron köşelerini (iki değişkenli problemde kısıtlama çizgilerinin kesişme noktalarını) birer mümkün çözüm olarak görmektedir. Bundan sonra bir köşeden başlayıp bu köşeyi tayin eden kenarlar takip edilerek amaç fonksiyonun iyileşmesini sağlayan kenarlar teşhis edilmekte; bunlardan amaç fonksiyonuna en iyi sonuç çıkaracak kenar takip edilip bir diğer polihedron köşesi bulunmaktadır. Bu yeni bulunan polihedron köşesi de aynı usul kullanılarak daha iyi bir başka köşeye gidebilme imkânı aranmaktadır. Eğer elde bulunan bir polihedron köşesinden daha iyi amaç sonuç sağlayan bir köşeye gitme imkânı yoksa, bu son köşe optimum çözüm olarak kabul edilmektedir.
Genel olarak çok büyük sayıda değişkenli ve çok büyük sayıda kısıtlamalı pratik doğrusal programlama problemlerinde bu polihedron üzerinde köşeden köşeye gidiş yönteminin, eğer köşeden köşeye gidişlerin "dalgalanma"larını önlemek için özel itina gösterilirse, etkin ve global bir optimum sonuç çıkartmakta olduğu eldeki kullanma tecrübelerinden bilinmektedir. Fakat matematikçiler bilmektedirler ki bu çeşit yinelemeli (itiratif) çözüm çok büyük sayıda (hatta, üssel olarak artan sayıda) köşe incelemesi gerektirebilmektedir. Önceleri bilgisayar kullanarak bu çeşit yinelemeli çözüm problemlerinin sonlu bir zaman döneminde çözümlenemeyeceği (yani bu problemin P-karmaşıklık sınıfına dahil olduğu) şüphesi ortaya çıkmıştı. Fakat bu soruna yanıt, 1979'da "Leonid Khachiyan" adlı bir Sovyet Rus matematikçisi tarafından geliştirilen ve lineer programlama için ilk en-fena-halde-polinom-zaman algoritması olan elipsoid yöntemi'nin ortaya atılması ile açıklığa kavuşturulmuştur. Buna göre, n tane değişkeni olan ve L girdi "bit"leri ile enkodlanabilen bir problemin çözümlenmesi için, bu Khachiyan algoritması için O(L) sayısal rakamlı O(n4L)aritmetik operasyon yapılması gerekmektedir. Bu çözümleme algoritması ("Arkadi Namirovski" tarafından önerilen "konveks optimizasyon" bulunması için kullanılan elipsoid tekniğinin), "Naum Shor" ve "D. Yudin" tarafından geliştirilmiş şekli ile uygulanmaktadır.
Fakat bu yeni algoritma doğrusal programlama üzerinde yeni matematiksel araştırmalara ilham kaynağı olmuş ve matematikçiler polihedronun sınırlarında dışından köşe köşe araştırmaya dayanan "dışsal çözüm"ler arama yerine polihedronun içinden gidişle en iyi dış koşeyi bulmaya dayanan "içsel nokta yöntemleri"ne dayanan algoritmalarla pratik çözüm usulleri geliştirmişlerdir. 1984'te "N.Karmarkar" bir "içsel nokta yöntemi" olarak doğrusal programlama problemlerinin çözümü için Karmarkar Algoritması'nı ortaya atmıştır. Bu algoritma ile Khachiyan'ın teorik en-kötü-hal-polinom sınırı ifadesine düşürülmüştür. Böylece simpleks algoritmasına nazaran pratik çözüm performansında gelişmeler ortaya çıkmıştır.
Uy
Hala çözülememiş problemler ve en son çalışmalar
Tam sayılı bilinmeyenler
Uygulama Alanları
Dogrusal programlama pratik hayatta orta dönem veya uzun dönem optimizasyon problemlerinin (yani yoneylem araştırması terimlerini kullanırsak özel sektor veya devlet sektörü kurumlarının taktik ve stratejik problemlerinin) çözülmesi için uygulanmaktadır. Doğrusal programlamanın uygulanma alanı çok geniştir; girdi planlaması, üretim planlaması ve idaresi, insan kaynakları planlaması, dağıtım ve lojistik planlaması ve idaresi, pazarlama planlaması, finansman idaresi ve kontrolü alanlarında özellikle etkin sonuçlar ortaya çıkarırlar. Özellikle büyük tarım üretimi, ormancılık, sanayi sektörü; fabrika üretimi; petrol, gaz, elektrik, nükleer gibi enerji üretimi ve dağıtımı; kara nakliyat vasıtaları, demiryolu ve hava nakliyatı, telekomünikasyon, finansman sağlama vb kesimlerde kullanılmaktadır.
V. Chandru and M.R.Rao, Integer Programming, Bölum 32 in Handbook of Algorithms and Theory of Computing, editor M.J.Atallah, CRC Press 1999, 32-1 ile 32-45 arası. http://citeseer.ist.psu.edu/291576.html 3 Nisan 2008 tarihinde Wayback Machine sitesinde arşivlendi. (İngilizce)
Michael J. Todd (Şubat 2002). "The many facets of linear programming". Mathematical Programming. 91 (3).(İngilizce)
AIMMS Optimization Modeling 3 Şubat 2008 tarihinde Wayback Machine sitesinde arşivlendi. AIMMS — doğrusal programlamayı pratik sanayide kullanmak üzere tescilli yazılım olarak hazırlanmıştır. Deneme için özel ücretsiz kullanma linansı alınabilir.
CGAL — Computational Geometry Algorithms Library (Hesaplamak icin Geometri Algoritma Kitapligi) bir doğrusal çözücü kapsar ve nispeten küçük sayıda kısıtlamalar veya değişkenler için kesin sonuçlar verir.
COIN-OR 19 Aralık 2008 tarihinde Wayback Machine sitesinde arşivlendi. — COmputational INfrastructure for Operations Research, Açık kaynak kitaplığı.
Cplex — Doğrusal programlama çözümleri için satışa hazır programlar.
GLPK 11 Nisan 2008 tarihinde Wayback Machine sitesinde arşivlendi. — GNU doğrusal programlama için avadanlık: açık kaynaklı ücretsiz doğrusal programlama yazılımları
MOSEK 18 Aralık 2008 tarihinde Wayback Machine sitesinde arşivlendi. — LP,IP,QP,SOCP ve MIP için optimazisyon yazılımları.
Mathematica 17 Şubat 2011 tarihinde Wayback Machine sitesinde arşivlendi. — Genel teknik matematiksel bilgisayar sistemi. Buyuk ölçekte dogrusal programlama çözümü desteği sağlamayı da kapsar.
Orstat2000 11 Nisan 2008 tarihinde Wayback Machine sitesinde arşivlendi. — Doğrusal ve doğrusal-olmayan programlama için kolay kullanılır modülleri kapsar (eğitim amaçlı kullanış için ücretsiz)
Trilinos İçinde birkaç doğrusal ve doğrusal-olmayan programlama çözümüleri kapsayan bir bilimsel avadanlık seti.
TOMLAB 14 Mart 2008 tarihinde Wayback Machine sitesinde arşivlendi. MATLAB, LabVIEW ve .NET yazılm sekillerinde optimizasyon çözücüleri vermektedir.
SCIP 2 Ekim 2006 tarihinde Wayback Machine sitesinde arşivlendi. MPS dosya formatı veri kullanarak karışık tam sayılı programlama problemlerini tek başına çözümlemek için kompüter programı.
GIPALS32.DLL 25 Mart 2008 tarihinde Wayback Machine sitesinde arşivlendi. — Windows içinden çağrılabilir doğrusal programlama yazılım kitaplığı (ücretsiz deneyim ve akademik kullanma için özel lisans verilebilir).