Doğrusal programlama

matematik biliminde, özellikle yöneylem araştırması uygulamalı dalında, doğrusal programlama  problemleri bir doğrusal amaç 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. ö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, 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:
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 matris şekline 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 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

i̇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.

i̇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. i̇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. i̇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ükey 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 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.

petrol sanayiinde uygulamalar

çözücüler ve scripting (programlama) dilleri 

 aimms
 cassowary constraint solver
 symphony
 cplex
 gams
 gnu linear programming kit
 lingo
 lips 
 mathematica
 minto
 mosek
 qoca
 xpress-mp

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
 mps dosya formatı
 programlama ile şebeke problemleri
 informs institute for operations research and the management sciences ([amerikan] yöneylem araştırması ve i̇şletme bilimleri enstitüsü)

kaynakça 
 alexander schrijver, theory of linear and integer programming. john wiley, 1998, isbn 0-471-98232-6 
 thomas h. cormen, charles e. leiserson, ronald l. rivest, ve clifford stein. introduction to algorithms, second edition. mit press and mcgraw-hill, 2001. isbn 0-262-03293-7. chapter 29: linear programming, pp. 770–821.
  a6: mp1: integer programming, s. 245 
 bernd gärtner, jiri matousek (2006). understanding and using linear programming, berlin: springer. isbn 3-540-30697-8
 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 
 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  
 
  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.  
 jalaluddin abdullah, optimization by the fixed-point method, version 1.97. http://www.optimization-online.org/db_html/2007/09/1775.html

dış bağlantılar 
 doğrusal programlama problemlerinin formüle edilmesi   (erişim tarihi:17.4.2009)
 gizli optimal çözümleri ile birlikte 0-1 tamsayılı programlama kalite testleri  (erişim tarihi:17.4.2009)
 doğrusal programlama   (erişim tarihi:17.4.2009)
 mathematik programları sözlüğü   (erişim tarihi:17.4.2009)
 tamsayılı programlama üzerine bir ders   (erişim tarihi:17.4.2009)
 doğrusal programlama için çok sıkı sorulanlar  (erişim tarihi:17.4.2009)
 bugünkü yöneylem araştırma/işletme bilimi: doğrusal programlamanın gözden geçirilmesi  (erişim tarihi:17.4.2009)
 doğrusal programlama: formüle edilme, simpleks algoritması, hedef programlaması ve excel solver örnekleri   (erişim tarihi:17.4.2009)
 george dantzig  (erişim tarihi:17.4.2009)

yazılımlar 
 aimms optimization modeling  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  — computational infrastructure for operations research, açık kaynak kitaplığı.
 gams  — genel cebirsel modelleme sistemi.
 cplex — doğrusal programlama çözümleri için satışa hazır programlar.
 glpk  — gnu doğrusal programlama için avadanlık: açık kaynaklı ücretsiz doğrusal programlama yazılımları 
 hopdm  — yüksek derecede birincil-ikincil yöntemi
 lindo  — lp, ip, global çözücü/modelleme dili ile
 lp_solve  — c-kütüphanesi kapsayan açık-kaynaklı çözücü.
 mosek  — lp,ip,qp,socp ve mip için optimazisyon yazılımları. 
 mathematica  — genel teknik matematiksel bilgisayar sistemi. buyuk ölçekte dogrusal programlama çözümü desteği sağlamayı da kapsar.
 premium solver  — kutuçizim için add-in.
 what's best!  — kutuçizim için add-in.
 xpress-mp  — eğitim için ücretsiz kullanılabilir optimazisyon yazılımı.
 vanguard doğrusal programlama optimazisayon yazılımı
 qsopt  doğrusal programlama optimizasyon yazılımı.
 doğrusal programlama bazlı "microarray data classification server (mdcs) (mikro-sıralı veri sınıflandırma serverı)"
 doğrusal programlama ve doğrusal amaç programlama problemleri icin ms-dos kullanan bir 'freeware' program
 simpleks metodu avadanlığı - kolay kullanım
 glpk üzerinde ibm tarafından doğrusal programlamaya giriş hakkında bir teknik makale 
 orstat2000  — 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 i̇çinde birkaç doğrusal ve doğrusal-olmayan programlama çözümüleri kapsayan bir bilimsel avadanlık seti.
 tomlab  matlab, labview ve .net yazılm sekillerinde optimizasyon çözücüleri vermektedir.
 scip  mps dosya formatı veri kullanarak karışık tam sayılı programlama problemlerini tek başına çözümlemek için kompüter programı.
 gipals32.dll  — windows içinden çağrılabilir doğrusal programlama yazılım kitaplığı (ücretsiz deneyim ve akademik kullanma için özel lisans verilebilir).

 
optimizasyon
yöneylem araştırması