Doğrusal programlama probleminin matematiksel modelini tamamlamak için her bir karar değişkeninin negatif olmama varsayımını sağlaması gerekir. Karar değişkeninin sadece pozitif değerli olduğu varsayılırsa, ilgili işaret kısıtı modele eklenir. Herhangi bir doğrusal programlama modeli, belirlenen amaç fonksiyonunu minimize veya maksimize edecek karar değişkenlerinin değerini bulmak için kurulur. Kısıtlayıcı denklemler eşitlik ya da eşitsizlik şeklinde olabilir.