# 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 𝐜^T 𝐱 
sk A𝐱 ≤𝐛
𝐱 ≥0
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 𝐜^T 𝐱 veya 
maks c_1x_1+c_2x_2+⋯+c_nx_n.
   - Örnek olarak 2 değişkenli problem için:
maksimum bul c_1 x_1 + c_2 x_2 
  - 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 A𝐱 ≤𝐛 
veya
 a_11 x_1 + a_12 x_2 + ⋯+ a_1nx_n ≤b_1
 a_21 x_1 + a_22 x_2 + ⋯+ a_2nx_n ≤b_2
 a_m1 x_1 + a_m2 x_2 + ⋯+ a_mnx_n ≤b_m
   - Örnek olarak 2 değişkenli ve 3 kısıtlamalı problem için
 a_11 x_1 + a_12 x_2 ≤b_1
 a_21 x_1 + a_22 x_2 ≤b_2
 a_31 x_1 + a_32 x_2 ≤b_3
  - 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:
𝐱 ≥0
veya 
x_1≥0, x_2≥0 ... x_n≥0
   - Örnek olarak 2 değişkenli problem için
 x_1 ≥0 ve x_2 ≥0 
Bu problem kolaylıkla matris şekline dönüştürülebilir: 
 maksimum bul: maks. 𝐜^T 𝐱 
 kısıtlamalar: kis. 𝐀𝐱 ≤𝐛, 𝐱 ≥0 
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.


## 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:
 [ 1 amp; -𝐜^T amp; 0; 0 amp; 𝐀 amp; 𝐈 ]
 [ Z; 𝐱; 𝐱_s ] = 
 [ 0; 𝐛 ]
 𝐱, 𝐱_s ≥0 
Burada "xs" yeni olarak ortaya çıkartılan "gevşeklik" değişkenleridir ve "Z" maksimum değeri bulunacak amaç değişkenidir.


## İ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. 𝐜^T 𝐱 
 Kısıtlamalar - kıs. 𝐀𝐱 ≤𝐛, 𝐱 ≥0 
Bu asıl belirtilme şekli olan "asılsal" problemine karşıt "ikincil" problem matris olarak şöyle yazılır:
 Minimum değer bul - min. 𝐛^T 𝐲 
 Kısıtlamalar - kıs. 𝐀^T 𝐲 ≥𝐜, 𝐲 ≥0 
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 teoremi"ne 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.


## 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 teoremi"ni 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 tamamıyla ç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ı O(n^3.5L) ifadesine düşürülmüştür. Böylece simpleks algoritmasına nazaran pratik çözüm performansında gelişmeler ortaya çıkmıştır.
Uy


## 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.


## Çözücüler ve Scripting (Programlama) Dilleri.
  - AIMMS
  - Cassowary constraint solver
  - SYMPHONY
  - CPLEX
  - GAMS
  - GNU Linear Programming Kit
  - Lingo
  - LiPS {{Webarşiv|url=https://web.archive.org/web/20110606043239/http://sourceforge.net/projects/lipside/ |tarih=6 Haziran 2011 }}
  - Mathematica
  - MINTO
  - MOSEK
  - Qoca
  - Xpress-MP


## Yazılımlar.
  - AIMMS Optimization Modeling {{Webarşiv|url=https://web.archive.org/web/20080203074307/http://www.aimms.com/aimms/pricing/try_aimms.html?dm=wikipedia |tarih=3 Şubat 2008 }} 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 {{Webarşiv|url=https://web.archive.org/web/20081219115931/http://www.coin-or.org/ |tarih=19 Aralık 2008 }} — COmputational INfrastructure for Operations Research, Açık kaynak kitaplığı.
  - GAMS {{Webarşiv|url=https://web.archive.org/web/20090820061234/http://www.gams.com/ |tarih=20 Ağustos 2009 }} — Genel cebirsel modelleme sistemi.
  - Cplex — Doğrusal programlama çözümleri için satışa hazır programlar.
  - GLPK {{Webarşiv|url=https://web.archive.org/web/20080411180702/http://www.gnu.org/software/glpk/ |tarih=11 Nisan 2008 }} — GNU doğrusal programlama için avadanlık: açık kaynaklı ücretsiz doğrusal programlama yazılımları 
  - HOPDM {{Webarşiv|url=https://web.archive.org/web/20080203074115/http://www.maths.ed.ac.uk/~gondzio/software/hopdm.html |tarih=3 Şubat 2008 }} — Yüksek derecede birincil-ikincil yöntemi
  - LINDO {{Webarşiv|url=https://web.archive.org/web/20080323060407/http://www.lindo.com/ |tarih=23 Mart 2008 }} — LP, IP, Global çözücü/modelleme dili ile
  - lp_solve {{Webarşiv|url=https://web.archive.org/web/20080315165617/http://sourceforge.net/projects/lpsolve |tarih=15 Mart 2008 }} — C-kütüphanesi kapsayan açık-kaynaklı çözücü.
  - MOSEK {{Webarşiv|url=https://web.archive.org/web/20081218000937/http://www.mosek.com/ |tarih=18 Aralık 2008 }} — LP, IP, QP, SOCP ve MIP için optimazisyon yazılımları. 
  - Mathematica {{Webarşiv|url=https://web.archive.org/web/20110217204025/http://www.wolfram.com/ |tarih=17 Şubat 2011 }} — Genel teknik matematiksel bilgisayar sistemi. Büyük ölçekte dogrusal programlama çözümü desteği sağlamayı da kapsar.
  - Premium Solver {{Webarşiv|url=https://web.archive.org/web/20080326085723/http://www.solver.com/ |tarih=26 Mart 2008 }} — Kutuçizim için add-in.
  - What's Best! {{Webarşiv|url=https://web.archive.org/web/20080323060407/http://www.lindo.com/ |tarih=23 Mart 2008 }} — Kutuçizim için add-in.
  - Xpress-MP {{Webarşiv|url=https://web.archive.org/web/20080329220645/http://www.dashoptimization.com/ |tarih=29 Mart 2008 }} — Eğitim için ücretsiz kullanılabilir optimazisyon yazılımı.
  - Vanguard Doğrusal Programlama Optimazisayon yazılımı
  - QSopt {{Webarşiv|url=https://web.archive.org/web/20080328083456/http://www2.isye.gatech.edu/~wcook/qsopt/ |tarih=28 Mart 2008 }} 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{{Ölü bağlantı|tarih=Mart 2020 }}
  - Simpleks metodu avadanlığı - Kolay kullanım
  - GLPK üzerinde IBM tarafından Doğrusal Programlamaya giriş hakkında bir teknik makale {{Webarşiv|url=https://web.archive.org/web/20080509101122/http://www-128.ibm.com/developerworks/linux/library/l-glpk1/index.html |tarih=9 Mayıs 2008 }}
  - Orstat2000 {{Webarşiv|url=https://web.archive.org/web/20080411111646/http://staff.feweb.vu.nl/tijms/ |tarih=11 Nisan 2008 }} — 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 {{Webarşiv|url=https://web.archive.org/web/20080314105123/http://tomopt.com/ |tarih=14 Mart 2008 }} MATLAB, LabVIEW ve .NET yazılm sekillerinde optimizasyon çözücüleri vermektedir.
  - SCIP {{Webarşiv|url=https://web.archive.org/web/20061002132048/http://scip.zib.de/ |tarih=2 Ekim 2006 }} MPS dosya formatı veri kullanarak karışık tam sayılı programlama problemlerini tek başına çözümlemek için kompüter programı.
  - GIPALS32.DLL {{Webarşiv|url=https://web.archive.org/web/20080325053801/http://www.optimalon.com/product_gipals32.htm |tarih=25 Mart 2008 }} — Windows içinden çağrılabilir doğrusal programlama yazılım kitaplığı (ücretsiz deneyim ve akademik kullanma için özel lisans verilebilir).