Matematik biliminde, özellikle yöneylem araştırması uygulamalı dalında, doğrusal programlama problemleri bir doğrusal eşitlik ve/veya eşitsizlik nı sağlayacak şekilde optimizasyon (yani amaç fonksiyonu değerinin en küçüklenmesi veya en büyüklenmesinin) yapılmasıdır. Bir eğer ve tek bir doğrusal amaç fonksiyonuna sahipse ve tüm kısıtlamaları doğrusal eşitlik veya eşitsizliklerden oluşuyorsa, (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 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 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. Özelikle 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, geliştirmiştir.
Bu zaman kadar doğrusal programlamaya yaptıkları katkılar nedeni ile Kantoroviç, Dantzing ve von Neumann'a 1975'te 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 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 'ın doğrusal programlama problemlerin çözülmesi için (simpleks algoritması yerine) 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:
- sk
veya
......................................................................
- Örnek olarak 2 değişkenli ve 3 kısıtlamalı problem için
- Negatif olmama kısıtlamaları - sonuç değişken değerlerinin 0 veya pozitif değerde olmaları:
- Genel olarak n değişkenli problem için:
veya
- , .....
- Örnek olarak 2 değişkenli problem için
- ve
Bu problem kolaylıkla dönüştürülebilir:
- maksimum bul: maks.
- kısıtlamalar: kis.
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 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 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 adı verilen bir polihedron 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 uygulanmasına göre gerçekleşir. Hedef fonksiyonunun doğrusal olması en iyi optimal çözümlerin sonlu noktalar setinin bir 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 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 '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 '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.
Petrol sanayiinde uygulamalar
Çözücüler ve Scripting (Programlama) Dilleri
- GAMS
- LiPS 6 Haziran 2011 tarihinde Wayback Machine sitesinde .
- Mathematica
Ayrıca bakınız
- Dinamik programlama
- Simpleks algoritması, Doğrusal programlama çözüm algoritması
- Leonid Kantoroviç, Dogrusal programlamayı ilk ortaya atanlardan biri
- Gölge fiyat
- Institute for Operations Research and the Management Sciences ([Amerikan] Yöneylem Araştırması ve İşletme Bilimleri Enstitüsü)
Kaynakça
- Alexander Schrijver, Theory of Linear and Integer Programming. John Wiley, 1998, (İngilizce)
- , , ve . , Second Edition. MIT Press and McGraw-Hill, 2001. . Chapter 29: Linear Programming, pp. 770–821.
- ve (1979). . W.H. Freeman. . A6: MP1: INTEGER PROGRAMMING, s. 245 (İngilizce)
- Bernd Gärtner, Jiri Matousek (2006). Understanding and Using Linear Programming, Berlin: Springer. (İngilizce)
- V. Chandru and M.R.Rao, Linear Programming, Bölüm 31 Handbook of Algorithms and Theory of Computing, editör M.J.Atallah, CRC Press 1999, 31-1 ile 31-37 arası. http://www.cse.iitb.ac.in/dbms/Data/Papers-Other/Algorithms/lp.ps.gz[](İngilizce)
- 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 . (İngilizce)
- Michael J. Todd (Şubat 2002). "The many facets of linear programming". Mathematical Programming. 91 (3).(İngilizce)
- , , Mark Overmars, (2000). Computational Geometry (2nd revised edition bas.). Springer-Verlag. . Bölüm 4: Doğrusal Programlama: pp. 63–94. Doğrusal programlama için olasılaştırılmış yarı-düzey kesişimi algoritmasını açıklar. (İngilizce)
- Jalaluddin Abdullah, Optimization by the Fixed-Point Method, Version 1.97. http://www.optimization-online.org/DB_HTML/2007/09/1775.html 3 Şubat 2010 tarihinde Wayback Machine sitesinde . (İngilizce)
Dış bağlantılar
- Doğrusal programlama problemlerinin formüle edilmesi 4 Eylül 2009 tarihinde Wayback Machine sitesinde . (İngilizce) (Erişim tarihi:17.4.2009)
- Gizli optimal çözümleri ile birlikte 0-1 tamsayılı programlama kalite testleri 5 Mayıs 2009 tarihinde Wayback Machine sitesinde . (İngilizce)(Erişim tarihi:17.4.2009)
- Doğrusal Programlama 11 Haziran 2008 tarihinde Wayback Machine sitesinde . (İngilizce) (Erişim tarihi:17.4.2009)
- Mathematik programları sözlüğü 28 Mart 2010 tarihinde Wayback Machine sitesinde . (İngilizce) (Erişim tarihi:17.4.2009)
- Tamsayılı programlama üzerine bir derS 5 Eylül 2009 tarihinde Wayback Machine sitesinde . (İngilizce) (Erişim tarihi:17.4.2009)
- (İngilizce) (Erişim tarihi:17.4.2009)
- (İngilizce) (Erişim tarihi:17.4.2009)
- Doğrusal programlama: Formüle edilme, simpleks algoritması, hedef programlaması ve Excel Solver örnekleri 4 Haziran 2009 tarihinde Wayback Machine sitesinde . (İngilizce) (Erişim tarihi:17.4.2009)
- George Dantzig 16 Nisan 2009 tarihinde Wayback Machine sitesinde . (İngilizce)(Erişim tarihi:17.4.2009)
Yazılımlar
- AIMMS Optimization Modeling 3 Şubat 2008 tarihinde Wayback Machine sitesinde . — 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 . — COmputational INfrastructure for Operations Research, Açık kaynak kitaplığı.
- GAMS 20 Ağustos 2009 tarihinde Wayback Machine sitesinde . — Genel cebirsel modelleme sistemi.
- — Doğrusal programlama çözümleri için satışa hazır programlar.
- GLPK 11 Nisan 2008 tarihinde Wayback Machine sitesinde . — GNU doğrusal programlama için avadanlık: açık kaynaklı ücretsiz doğrusal programlama yazılımları
- HOPDM 3 Şubat 2008 tarihinde Wayback Machine sitesinde . — Yüksek derecede birincil-ikincil yöntemi
- LINDO 23 Mart 2008 tarihinde Wayback Machine sitesinde . — LP, IP, Global çözücü/modelleme dili ile
- lp_solve 15 Mart 2008 tarihinde Wayback Machine sitesinde . — C-kütüphanesi kapsayan açık-kaynaklı çözücü.
- MOSEK 18 Aralık 2008 tarihinde Wayback Machine sitesinde . — LP,IP,QP,SOCP ve MIP için optimazisyon yazılımları.
- Mathematica 17 Şubat 2011 tarihinde Wayback Machine sitesinde . — Genel teknik matematiksel bilgisayar sistemi. Buyuk ölçekte dogrusal programlama çözümü desteği sağlamayı da kapsar.
- Premium Solver 26 Mart 2008 tarihinde Wayback Machine sitesinde . — Kutuçizim için add-in.
- What's Best! 23 Mart 2008 tarihinde Wayback Machine sitesinde . — Kutuçizim için add-in.
- Xpress-MP 29 Mart 2008 tarihinde Wayback Machine sitesinde . — Eğitim için ücretsiz kullanılabilir optimazisyon yazılımı.
- QSopt 28 Mart 2008 tarihinde Wayback Machine sitesinde . Doğrusal programlama optimizasyon yazılımı.
- Doğrusal programlama ve doğrusal amaç programlama problemleri icin MS-DOS kullanan bir 'freeware' program[]
- GLPK üzerinde IBM tarafından Doğrusal Programlamaya giriş hakkında bir teknik makale 9 Mayıs 2008 tarihinde Wayback Machine sitesinde .
- Orstat2000 11 Nisan 2008 tarihinde Wayback Machine sitesinde . — Doğrusal ve doğrusal-olmayan programlama için kolay kullanılır modülleri kapsar (eğitim amaçlı kullanış için ücretsiz)
- İç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 . MATLAB, LabVIEW ve .NET yazılm sekillerinde optimizasyon çözücüleri vermektedir.
- SCIP 2 Ekim 2006 tarihinde Wayback Machine sitesinde . 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 . — Windows içinden çağrılabilir doğrusal programlama yazılım kitaplığı (ücretsiz deneyim ve akademik kullanma için özel lisans verilebilir).
wikipedia, wiki, viki, vikipedia, oku, kitap, kütüphane, kütübhane, ara, ara bul, bul, herşey, ne arasanız burada,hikayeler, makale, kitaplar, öğren, wiki, bilgi, tarih, yukle, izle, telefon için, turk, türk, türkçe, turkce, nasıl yapılır, ne demek, nasıl, yapmak, yapılır, indir, ücretsiz, ücretsiz indir, bedava, bedava indir, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, resim, müzik, şarkı, film, film, oyun, oyunlar, mobil, cep telefonu, telefon, android, ios, apple, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, pc, web, computer, bilgisayar
Matematik biliminde ozellikle yoneylem arastirmasi uygulamali dalinda dogrusal programlama problemleri bir dogrusal esitlik ve veya esitsizlik ni saglayacak sekilde optimizasyon yani amac fonksiyonu degerinin en kucuklenmesi veya en buyuklenmesinin yapilmasidir Bir eger ve tek bir dogrusal amac fonksiyonuna sahipse ve tum kisitlamalari dogrusal esitlik veya esitsizliklerden olusuyorsa lineer program olarak adlandirilir Baska bir deyisle modelin tek amacli fonksiyonu ve tum kisitlamalari sureklilik gosteren agirlikli toplamlarindan olusmalidir Dogrusal lineer programlamadaki dogrusal lineer sozcugu modeldeki tum matematiksel fonksiyonlarin dogrusal lineer olmasi gerektigini belirtir Programlama kelimesi ise bilgisayar programlama ya isaret etmez daha cok planlama ile es anlamlidir Dolayisiyla dogrusal lineer programlama bircok uygun alternatif arasindan belirlenmis bir hedefe uyan optimal cozumu bulacak aktivitelerin planlanmasini icerir Fazla matematiksel olmayan terimler ile bir seri dogrusal esitlik veya esitsizlik seklinde ifade edilmis kosullara bagli olarak en kucuk maliyet veya en buyuk kar gibi en iyi sonuca varilmasidir Matris notasyonu kullanilarak maks cTx displaystyle mathbf c T mathbf x sk Ax b displaystyle A mathbf x leq mathbf b x 0 displaystyle mathbf x geq 0 Burada c displaystyle mathbf c amac fonksiyonu katsayilarini 1xn kapsayan vektordur ve T ustu transpoz notasyonu olup x displaystyle mathbf x degiskenleri kapsayan bir 1xn vektordur A displaystyle mathbf A bir mxn katsayilar matrisidir b displaystyle mathbf b mx1 sol tarafta olan sabit degerler vektorudur Genel olarak bir dogrusal programlama probleminde b displaystyle mathbf b A displaystyle mathbf A ve b displaystyle mathbf b matrislerinde sayisal degerler halinde problem baslangicinda verilir ve x displaystyle mathbf x vektoru icin sayisal degisken degerleri sonuc olarak problem cozulmekle bulunur Dogrusal programlama bircok pratik alanda kullanim sahasi bulmaktadir Ozellikle bircok isletme ve ekonomi sorunlarina ozel veya kamu sektorunde devamli kullanilmaktadir Nakliyat enerji uretimi ve dagitimi telekomunikasyon sinai uretim gibi teknik isletmecilik gerektiren alanlarinda bulunan bircok firmalar dogrusal programlamayi cok kullanmaktadirlar Dogrusal programlama isletmecilik alanlarinda cok kapsamli ve cok cesitli sorunlarin cozulebilmesini saglamaktadir Bunlar sorunlar arasinda planlama yol gosterme zaman programlamasi is ve isci tahsis edilmesi gibi onemli sorunlar dogrusal programlama kullanilarak modellenebilmektedir Dogrusal programlamanin tarihcesi1975 Leonid Kantorovich Dogrusal esitsizlikler sistemi seklindeki bir problemin incelenmesi ta Fourierin calismalarina kadar dayanmaktadir ve bu taninmis matematikci anisina yontemi seklinde isimlendirilmistir 1920 lerde Sovyet Rusya da tum ekonomi planlamasi konulari pratikte on plana gecmisken teorik olarak tum ekonominin nasil planlanabilecegini gostermek icin yapilan teorik calismalar arasinda Leonid Kantorovic in katkisi ilk defa bir dogrusal programlama probleminin acikca ortaya cikarilmasina yol acmistir Ne yazik ki teorinin pratik planlamaya uygulanmasinin imkansizligi ve ideolojik nedenler dolayisiyla Kantrovic in bu calismasinin onemi ancak II Dunya Savasindan sonra anlasilabilmistir II Dunya Savasi sirasinda Birlesik Amerika da ortaya cikan lojistik tahsis sorunlarini incelemek icin kurulan bir arastirma grubu grup baskani olan George Dantzig etrafinda bu turlu sorunlarin cozulmesi icin dogrusal programlama probleminin tanimlanmasi geregini ortaya cikartmislar ve bu turlu dogrusal programlama problemlerinin cozumu icin simpleks algoritmasi adini verdikleri bir cozum sistemi ortaya atmislardir Ozelikle bu matematik modelin ve cozum algoritmasinin maliyetleri ve getirileri planlama suretiyle harp masraflarinin kisilmasina yol actigi acikca goruldugu icin bu teorik ve pratik gelismeler 1947 ye kadar devlet siri olarak sakli kalmistir 1947 de John von Neumann ozellikle oyunlar teorisi ile de ilgileniyorken gelistirmistir Bu zaman kadar dogrusal programlamaya yaptiklari katkilar nedeni ile Kantorovic Dantzing ve von Neumann a 1975 te verilmistir 1947 den sonra ozellikle gelistirilen bilgisayar uygulamalari ile birlikte ozellikle buyuk ozel sanayi birimleri ve buyuk devlet projeleri icin bircok dogrusal programlama problem tanimlanmis ve simpleks algoritmasi ile cozulup pratikte kullanilmaya baslanmistir Ornegin petrol rafine sirketlerinin gunluk uretim planlamalari ve cok girdili ve cok ciktili uretim karisimi planlamalari icin dogrusal programlama cozumlerini devamli olarak kullanmaya baslamislardir 1979 da dogrusal programlama probleminin polinom zaman icinde cozulebilecegini ilk defa ispat etmistir Fakat bu alanda cok daha onemli teorik ve pratik gelismeler 1984 te in dogrusal programlama problemlerin cozulmesi icin simpleks algoritmasi yerine ortaya atmasi ile baslamistir Dogrusal programlamanin pratik yararliligi bu yontemin ilk kullanilma problemlerinden biri olan ve Dantzig tarafindan ortaya atilan 70 kisinin 70 goreve karar verici kuruma en iyi sonuc cikaracak sekilde tahsis edilmesi orneginin biraz daha ayrintilarina bakmak suretiyle anlasilabilir Eger cozum icin her mumkun tahsisi teker teker elden gecirip her biri icin amaca yaptigi katkiyi bulmak deneyimine girisilirse bu kadar cok buyuk sayida permutasyonun elden gecirilmesinin imkansiz oldugu hemen aciga cikar cunku gerekli permutasyon sayisi butun yakin evrende bulunan parcaciklarin sayisina yaklasir Eger bu problem dogrusal programlama seklinde belirtilip en iyi cozumu bulma karari verirsek en zor ve zaman alici cabanin probleminin cozumunde degil problemin programa girdisinin hazirlanmasinda oldugu anlasilir Bu problemin bilgisayarla simpleks algoritmasi kullanilarak cozulmesi goz kirpma zamani bile almaz Dogrusal programlama kurami arkasinda bulunan teori kontrol edilmesi gereken mumkun en iyi cozum sayisini cok etkili sekilde azaltmaktadir Kullanim alanlariDogrusal programlama yonteminin cok olmasina ragmen matematik icin cok onemli olan optimizasyon alaninda cok buyuk bir rol oynamasinda cesitli nedenler vardir Yoneylem arastirmasi alaninda bircok pratik problem dogrusal programlama problemi olarak tanimlanmaktadir Dogrusal programlamanin bazi ozel hallerinin ornegin ag sebekelerinde akisim veya coklu mal akisimi problemlerinin o kadar onemli olduklari anlasilmistir ki ozel problem cozum sekilleri ve algoritmalari ortaya cikartmak icin bu ozel problem alanlarina buyuk arastirma cabalari yoneltilmistir Diger tipte olan optimizasyon problemleri icin ortaya cikartilan algoritmalarin cogu ozel alt problem olarak dogrusal programlama cozumlerini kapsamaktadir Matematik optimizasyon kavram ve yontemlerinin gelistirilmesi icin yapilan calismalarin gecmisine bakilirsa bunlarin en onemli olanlarinin cogunun ornegin dualite koveksite bolunebilirlik ve daha genellestirmeler ilk defa dogrusal programlama icin ortaya atilip gelistirildigi asikar olarak gorulmektedir Ayni sekilde pratik alanlar olan isletmecilik ve mikroiktisat alanlarinda etkin mal ve hizmet uretimi ve arzi icin gelirleri maksimum hale getirmek veya maliyet ve masraflari minimum hale getirmek icin dogrusal programlama cok buyuk katkilarda bulunmaktadir Dogrusal programlamanin bu pratik alanlardaki kullanildigi problemler arasinda yiyecek maddelerinin harmanlanmasi envanter kontrolu insan ve makine kaynaklarinin en iyi sekilde tahsis edilmeleri ilan kampanyalarinin planlamasi elektrik ve diger enerji icin toptan fiyatlama ve tahsis planlamasi vb bulunmaktadir Standart sekilBir dogrusal programlama probleminin tanimlanmasi icin en uygun ve alisilmis olan sekline standart sekil adi verilmektedir Bu standart sekilde bir dogrusal programlama problemi uc ozel parcadan olusmaktadir Her dogrusal program problemi bir genel standart dogrusal program problemine yani kanonik sekille donusturulebilir Matematiksel olarak bir genel standart dogrusal program problemi basitce bir sekilde soyle ifade edilir Amac fonksiyonu Bir maksimize edilecek dogrusal amac fonksiyonu Genel olarak n degiskenli problem icin maks cTx displaystyle mathbf c T mathbf x veya maks c1x1 c2x2 cnxn displaystyle c 1 x 1 c 2 x 2 cdots c n x n dd dd Ornek olarak 2 degiskenli problem icin maksimum bul c1x1 c2x2 displaystyle c 1 x 1 c 2 x 2 dd dd Kisitlamalar dogrusal esitsizlik veya esitlik halinde kisitlayici kosullar Genel olarak n degiskenli m kisitlamali problem icin sk Ax b displaystyle A mathbf x leq mathbf b dd dd veya a11x1 a12x2 a1nxn b1 displaystyle a 11 x 1 a 12 x 2 cdots a 1n x n leq b 1 a21x1 a22x2 a2nxn b2 displaystyle a 21 x 1 a 22 x 2 cdots a 2n x n leq b 2 dd dd am1x1 am2x2 amnxn bm displaystyle a m1 x 1 a m2 x 2 cdots a mn x n leq b m dd dd Ornek olarak 2 degiskenli ve 3 kisitlamali problem icina11x1 a12x2 b1 displaystyle a 11 x 1 a 12 x 2 leq b 1 a21x1 a22x2 b2 displaystyle a 21 x 1 a 22 x 2 leq b 2 a31x1 a32x2 b3 displaystyle a 31 x 1 a 32 x 2 leq b 3 dd dd Negatif olmama kisitlamalari sonuc degisken degerlerinin 0 veya pozitif degerde olmalari Genel olarak n degiskenli problem icin x 0 displaystyle mathbf x geq 0 dd dd dd veya x1 0 displaystyle x 1 geq 0 x2 0 displaystyle x 2 geq 0 xn 0 displaystyle x n geq 0 dd dd Ornek olarak 2 degiskenli problem icinx1 0 displaystyle x 1 geq 0 ve x2 0 displaystyle x 2 geq 0 dd dd Bu problem kolaylikla donusturulebilir maksimum bul maks cTx displaystyle mathbf c T mathbf x kisitlamalar kis Ax b x 0 displaystyle mathbf A mathbf x leq mathbf b mathbf x geq 0 Dogrusal programlama diger sekiller de alabilir Bunlardan birkac ornek verelim minimizasyon problemleri degisik sekillerde displaystyle geq veya halinde verilen kisitlamalar negatif degisken kapsayan problem vb Butun bu degisik sekiller uygun donusumler kullanilarak standart forma donusturulebilirler OrneginEklenmis sekil belirtisiz gevsek sekli Simpleks algoritmasini kullanip cozum bulunmaya baslanmadan once dogrusal programlama problemlerinin eklenmis sekle donusturulmeleri gerekir Bu sekil icin seklinde esitsizlik halinde olan her kisitlama bir negatif olmayan eklenmesi ile esitlik haline donusturulur Bu halde dogrusal programlama problemi su sekli alir Z in maksimumunu bulun Kisitlamalar 1 cT00AI Zxxs 0b displaystyle begin bmatrix 1 amp mathbf c T amp 0 0 amp mathbf A amp mathbf I end bmatrix begin bmatrix Z mathbf x mathbf x s end bmatrix begin bmatrix 0 mathbf b end bmatrix x xs 0 displaystyle mathbf x mathbf x s geq 0 Burada xs yeni olarak ortaya cikartilan gevseklik degiskenleridir ve Z maksimum degeri bulunacak amac degiskenidir OrneginIkincillikHer dogrusal programlama problemi ki buna asilsal primal problem adi verilir belirli donusumler yapilarak bir diger probleme cevrilebilir Bu ikincil problem asilsal probleminin en iyi optimal degeri icin bir ust sinir temin eder Matris sekille asilsal problem standart sekilde soyle ifade edilir Maksimum deger bul maks cTx displaystyle mathbf c T mathbf x Kisitlamalar kis Ax b x 0 displaystyle mathbf A mathbf x leq mathbf b mathbf x geq 0 Bu asil belirtilme sekli olan asilsal problemine karsit ikincil problem matris olarak soyle yazilir Minimum deger bul min bTy displaystyle mathbf b T mathbf y Kisitlamalar kis ATy c y 0 displaystyle mathbf A T mathbf y geq mathbf c mathbf y geq 0 Goruldugu gibi asilsal problemde degiskenler x vektoruyle ikincil problemde ise y vektoru ile ifade edilmektedir Ikincillik kuramina iki genel fikir temel olmaktadir Birine gore ikincil dual probleminin tekrar ikincil problemini ortaya cikartirsak bunun asilsal problemi olacagi gercegidir Ikinci ana fikir ise bir asilsal dogrusal programlama problemi icin her bir uygun cozumun bunun ikincil problemin amac fonksiyonunun en iyi optimal degerine bir sinir getirdigidir Zayif ikincillik teoremi bir ikincil problemi icin herhangi bir uygun cozumde bulunan amac fonksiyonu degerinin bu uygun cozumde asilsal problemi icin amac fonksiyonu degerinden her zaman daha buyuk veya esit olacagini onerir Guclu ikincillik teoremi ise eger asilsal problemi icin en iyi optimal cozum x olarak bulunursa o halde ikincil problem icin de bir en iyi optimal cozum y bulundugunu ve bu iki optimal cozum arasinda su baglanti oldugunu cTx bTy onerir Bir dogrusal programlama problemi sinirsiz veya uygunsuz bulunarak cozumsuz olabilir Ikincillik teoremine gore eger asilsal sinirsiz ise o halde zayif ikincillik teoremine gore ikincil problem uygunsuzdur Ayni sekilde eger ikincil problem sinirsiz ise asilsal problem uygunsuz olacaktir Ancak hem asilsal ve hem de ikincil problemlerinin uygunsuz olmalari da mumkundur OrneginTamamlayici gevseklikEger sadece birincil problem icin en iyi optimal cozum biliniyorsa ikincil problem icin bir en iyi optimal cozumun elde edilmesi tamamlayici gevseklik teoremini kullanmak suretiyle mumkun olur Bu teorem sunu onerir x x1 x2 xn birincil problem icin olanakli bir cozum ve y y1 y2 ym ise ikincil problem icin olanakli bir cozum oldugu kabul edilsin w1 w2 wm birincil problem iccin gevseklik degiskenler ve z1 z2 zn du bunlara karsit ikincil problem icin gevseklik degiskenleri olsunlar Bu halde x ve y kendileri icin yukarida anilmis problemler icin en iyi optimal sonuc olmalarii ancak ve ancak xjzj 0 for j 1 2 n wiyi 0 for i 1 2 m sartlari gerceklesirse ortaya cikar Bu nedenle eger birincil problemdeki i inci gevseklik degiskeni sifira esit degilse ikincil problemde i inci degisken degeri sifira esit olur Benzer sekilde eger ikincil problemdeki j inci gevseklik degisken sifira esit degillerse birincil problemde j inci degisken degeri sifira esittir KuramGeometrik olarak dogrusal kisitlayicilar adi verilen bir polihedron belirtirler Hedef fonksiyonu da dogrusal oldugu yani bir konveks fonksiyon oldugu icin her yoresel en iyi optimum noktasi otomatik olarak global en iyi optimal noktasi olur Bu oneri uygulanmasina gore gerceklesir Hedef fonksiyonunun dogrusal olmasi en iyi optimal cozumlerin sonlu noktalar setinin bir ve cok defa tek bir noktadan olusur En iyi optimal cozum noktasinin bulunamadigi iki ozel hal bulunmaktadir Birinci ozel halde kisitlamalar birbirleri ile tamamiyle celisme halindedirler Tam celisme halindeki iki dogrusal kisitlamaya ornegin x 2 ve x 1 olabilir Bu halde bostur ve hicbir cozum bulunmadigi icin en iyi optimal sonuc da yoktur Bu halde dogrusal programlama problemine olanaksiz problem adi verilir AlgoritmalarIki degisken uzerinde bir seri dogrusal kisitlamalar bu degiskenler icin her mumkun cozum noktasini kapsayan bir uygunluk alani ortaya cikarirlar Cozumu elde edilebilir problem icin uygunluk alani bir seklini alir Dogrusal programlama problemlerinin pratik olarak cozumlenmesi icin ilk kullanisli algoritma George Dantzig ve Rand Corp ozel arastirma ekibinin ortaya attigi simpleks algoritmasidir Bu algoritma kisitlamalardan ortaya cikan duzeyleri bircok degisirli polihedron iki degiskenli problemde uygunluk alani olarak gormekte ve bu polihedronda kesisme noktalarini yani polihedron koselerini iki degiskenli problemde kisitlama cizgilerinin kesisme noktalarini birer mumkun cozum olarak gormektedir Bundan sonra bir koseden baslayip bu koseyi tayin eden kenarlar takip edilerek amac fonksiyonun iyilesmesini saglayan kenarlar teshis edilmekte bunlardan amac fonksiyonuna en iyi sonuc cikaracak kenar takip edilip bir diger polihedron kosesi bulunmaktadir Bu yeni bulunan polihedron kosesi de ayni usul kullanilarak daha iyi bir baska koseye gidebilme imkani aranmaktadir Eger elde bulunan bir polihedron kosesinden daha iyi amac sonuc saglayan bir koseye gitme imkani yoksa bu son kose optimum cozum olarak kabul edilmektedir Genel olarak cok buyuk sayida degiskenli ve cok buyuk sayida kisitlamali pratik dogrusal programlama problemlerinde bu polihedron uzerinde koseden koseye gidis yonteminin eger koseden koseye gidislerin dalgalanma larini onlemek icin ozel itina gosterilirse etkin ve global bir optimum sonuc cikartmakta oldugu eldeki kullanma tecrubelerinden bilinmektedir Fakat matematikciler bilmektedirler ki bu cesit yinelemeli itiratif cozum cok buyuk sayida hatta ussel olarak artan sayida kose incelemesi gerektirebilmektedir Onceleri bilgisayar kullanarak bu cesit yinelemeli cozum problemlerinin sonlu bir zaman doneminde cozumlenemeyecegi yani bu problemin P karmasiklik sinifina dahil oldugu suphesi ortaya cikmisti Fakat bu soruna yanit 1979 da Leonid Khachiyan adli bir Sovyet Rus matematikcisi tarafindan gelistirilen ve lineer programlama icin ilk en fena halde polinom zaman algoritmasi olan nin ortaya atilmasi ile acikliga kavusturulmustur Buna gore n tane degiskeni olan ve L girdi bit leri ile enkodlanabilen bir problemin cozumlenmesi icin bu Khachiyan algoritmasi icin O L sayisal rakamli O n4L aritmetik operasyon yapilmasi gerekmektedir Bu cozumleme algoritmasi Arkadi Namirovski tarafindan onerilen konveks optimizasyon bulunmasi icin kullanilan elipsoid tekniginin Naum Shor ve D Yudin tarafindan gelistirilmis sekli ile uygulanmaktadir Fakat bu yeni algoritma dogrusal programlama uzerinde yeni matematiksel arastirmalara ilham kaynagi olmus ve matematikciler polihedronun sinirlarinda disindan kose kose arastirmaya dayanan dissal cozum ler arama yerine polihedronun icinden gidisle en iyi dis koseyi bulmaya dayanan icsel nokta yontemleri ne dayanan algoritmalarla pratik cozum usulleri gelistirmislerdir 1984 te N Karmarkar bir icsel nokta yontemi olarak dogrusal programlama problemlerinin cozumu icin ni ortaya atmistir Bu algoritma ile Khachiyan in teorik en kotu hal polinom siniri O n3 5L displaystyle O n 3 5 L ifadesine dusurulmustur Boylece simpleks algoritmasina nazaran pratik cozum performansinda gelismeler ortaya cikmistir UyHala cozulememis problemler ve en son calismalarTam sayili bilinmeyenlerUygulama AlanlariDogrusal programlama pratik hayatta orta donem veya uzun donem optimizasyon problemlerinin yani yoneylem arastirmasi terimlerini kullanirsak ozel sektor veya devlet sektoru kurumlarinin taktik ve stratejik problemlerinin cozulmesi icin uygulanmaktadir Dogrusal programlamanin uygulanma alani cok genistir girdi planlamasi uretim planlamasi ve idaresi insan kaynaklari planlamasi dagitim ve lojistik planlamasi ve idaresi pazarlama planlamasi finansman idaresi ve kontrolu alanlarinda ozellikle etkin sonuclar ortaya cikarirlar Ozellikle buyuk tarim uretimi ormancilik sanayi sektoru fabrika uretimi petrol gaz elektrik nukleer gibi enerji uretimi ve dagitimi kara nakliyat vasitalari demiryolu ve hava nakliyati telekomunikasyon finansman saglama vb kesimlerde kullanilmaktadir Petrol sanayiinde uygulamalarCozuculer ve Scripting Programlama DilleriGAMS LiPS 6 Haziran 2011 tarihinde Wayback Machine sitesinde MathematicaAyrica bakinizDinamik programlama Simpleks algoritmasi Dogrusal programlama cozum algoritmasi Leonid Kantorovic Dogrusal programlamayi ilk ortaya atanlardan biri Golge fiyat Institute for Operations Research and the Management Sciences Amerikan Yoneylem Arastirmasi ve Isletme Bilimleri Enstitusu KaynakcaAlexander Schrijver Theory of Linear and Integer Programming John Wiley 1998 ISBN 0 471 98232 6 Ingilizce ve Second Edition MIT Press and McGraw Hill 2001 ISBN 0 262 03293 7 Chapter 29 Linear Programming pp 770 821 ve 1979 W H Freeman ISBN 0 7167 1045 5 A6 MP1 INTEGER PROGRAMMING s 245 Ingilizce Bernd Gartner Jiri Matousek 2006 Understanding and Using Linear Programming Berlin Springer ISBN 3 540 30697 8 Ingilizce V Chandru and M R Rao Linear Programming Bolum 31 Handbook of Algorithms and Theory of Computing editor M J Atallah CRC Press 1999 31 1 ile 31 37 arasi http www cse iitb ac in dbms Data Papers Other Algorithms lp ps gz olu kirik baglanti Ingilizce V Chandru and M R Rao Integer Programming Bolum 32 in Handbook of Algorithms and Theory of Computing editor M J Atallah CRC Press 1999 32 1 ile 32 45 arasi http citeseer ist psu edu 291576 html 3 Nisan 2008 tarihinde Wayback Machine sitesinde Ingilizce Michael J Todd Subat 2002 The many facets of linear programming Mathematical Programming 91 3 Ingilizce Mark Overmars 2000 Computational Geometry 2nd revised edition bas Springer Verlag ISBN 3 540 65620 0 KB1 bakim Birden fazla ad yazar listesi link KB1 bakim Fazladan yazi link Bolum 4 Dogrusal Programlama pp 63 94 Dogrusal programlama icin olasilastirilmis yari duzey kesisimi algoritmasini aciklar Ingilizce Jalaluddin Abdullah Optimization by the Fixed Point Method Version 1 97 http www optimization online org DB HTML 2007 09 1775 html 3 Subat 2010 tarihinde Wayback Machine sitesinde Ingilizce Dis baglantilarDogrusal programlama problemlerinin formule edilmesi 4 Eylul 2009 tarihinde Wayback Machine sitesinde Ingilizce Erisim tarihi 17 4 2009 Gizli optimal cozumleri ile birlikte 0 1 tamsayili programlama kalite testleri 5 Mayis 2009 tarihinde Wayback Machine sitesinde Ingilizce Erisim tarihi 17 4 2009 Dogrusal Programlama 11 Haziran 2008 tarihinde Wayback Machine sitesinde Ingilizce Erisim tarihi 17 4 2009 Mathematik programlari sozlugu 28 Mart 2010 tarihinde Wayback Machine sitesinde Ingilizce Erisim tarihi 17 4 2009 Tamsayili programlama uzerine bir derS 5 Eylul 2009 tarihinde Wayback Machine sitesinde Ingilizce Erisim tarihi 17 4 2009 Ingilizce Erisim tarihi 17 4 2009 Ingilizce Erisim tarihi 17 4 2009 Dogrusal programlama Formule edilme simpleks algoritmasi hedef programlamasi ve Excel Solver ornekleri 4 Haziran 2009 tarihinde Wayback Machine sitesinde Ingilizce Erisim tarihi 17 4 2009 George Dantzig 16 Nisan 2009 tarihinde Wayback Machine sitesinde Ingilizce Erisim tarihi 17 4 2009 YazilimlarAIMMS Optimization Modeling 3 Subat 2008 tarihinde Wayback Machine sitesinde dogrusal programlamayi pratik sanayide kullanmak uzere tescilli yazilim olarak hazirlanmistir Deneme icin ozel ucretsiz kullanma linansi alinabilir CGAL Computational Geometry Algorithms Library Hesaplamak icin Geometri Algoritma Kitapligi bir dogrusal cozucu kapsar ve nispeten kucuk sayida kisitlamalar veya degiskenler icin kesin sonuclar verir COIN OR 19 Aralik 2008 tarihinde Wayback Machine sitesinde COmputational INfrastructure for Operations Research Acik kaynak kitapligi GAMS 20 Agustos 2009 tarihinde Wayback Machine sitesinde Genel cebirsel modelleme sistemi Dogrusal programlama cozumleri icin satisa hazir programlar GLPK 11 Nisan 2008 tarihinde Wayback Machine sitesinde GNU dogrusal programlama icin avadanlik acik kaynakli ucretsiz dogrusal programlama yazilimlari HOPDM 3 Subat 2008 tarihinde Wayback Machine sitesinde Yuksek derecede birincil ikincil yontemi LINDO 23 Mart 2008 tarihinde Wayback Machine sitesinde LP IP Global cozucu modelleme dili ile lp solve 15 Mart 2008 tarihinde Wayback Machine sitesinde C kutuphanesi kapsayan acik kaynakli cozucu MOSEK 18 Aralik 2008 tarihinde Wayback Machine sitesinde LP IP QP SOCP ve MIP icin optimazisyon yazilimlari Mathematica 17 Subat 2011 tarihinde Wayback Machine sitesinde Genel teknik matematiksel bilgisayar sistemi Buyuk olcekte dogrusal programlama cozumu destegi saglamayi da kapsar Premium Solver 26 Mart 2008 tarihinde Wayback Machine sitesinde Kutucizim icin add in What s Best 23 Mart 2008 tarihinde Wayback Machine sitesinde Kutucizim icin add in Xpress MP 29 Mart 2008 tarihinde Wayback Machine sitesinde Egitim icin ucretsiz kullanilabilir optimazisyon yazilimi QSopt 28 Mart 2008 tarihinde Wayback Machine sitesinde Dogrusal programlama optimizasyon yazilimi Dogrusal programlama ve dogrusal amac programlama problemleri icin MS DOS kullanan bir freeware program olu kirik baglanti GLPK uzerinde IBM tarafindan Dogrusal Programlamaya giris hakkinda bir teknik makale 9 Mayis 2008 tarihinde Wayback Machine sitesinde Orstat2000 11 Nisan 2008 tarihinde Wayback Machine sitesinde Dogrusal ve dogrusal olmayan programlama icin kolay kullanilir modulleri kapsar egitim amacli kullanis icin ucretsiz Icinde birkac dogrusal ve dogrusal olmayan programlama cozumuleri kapsayan bir bilimsel avadanlik seti TOMLAB 14 Mart 2008 tarihinde Wayback Machine sitesinde MATLAB LabVIEW ve NET yazilm sekillerinde optimizasyon cozuculeri vermektedir SCIP 2 Ekim 2006 tarihinde Wayback Machine sitesinde MPS dosya formati veri kullanarak karisik tam sayili programlama problemlerini tek basina cozumlemek icin komputer programi GIPALS32 DLL 25 Mart 2008 tarihinde Wayback Machine sitesinde Windows icinden cagrilabilir dogrusal programlama yazilim kitapligi ucretsiz deneyim ve akademik kullanma icin ozel lisans verilebilir