Chiziqli programmalashtirish masalasini kanonik shakllari

1-ta’rif. Noma’lumlarning son qiymatlari toʻplami masalaning plani deyiladi.
2-ta’rif. Cheklanishlar sistemasini qanoatlantiruvchi har qanday plan (echim) mumkin boʻlgan plan (echim) deyiladi.
3-ta’rif. Maqsad funksiyasiga maksimal (yoki minimal) qiymat beruvchi mumkin boʻlgan plan (echim) masalaning optimal plani (echimi) deyiladi.
Maqsad funksiyasining cheklanishlarini qanoatlantiradigan maksimum yoki minimumini topishning (1.2.1) masalasi koʻrinishi standart chiziqli programmalash masalasi deyiladi.
Tengsizliklar sistemasi koʻrinishida berilgan cheklanish shartlarini qoʻshimcha oʻzgaruvchilar, ya’ni x_n+i kiritib tenglamalar sistemasini quyidagicha yozish mumkin.

U holda bunday masalaga kanonik koʻrinishda berilgan Chiziqli programmalash masalasi deyiladi.
Chiziqli programmalash masalasi echimlarining xususiyatlari
Chiziqli programmalash masalalari xususmiyatlarini bayon etishdan oldin qavariq toʻplamlar va qavariq funkwiyalar tushunchalariga toʻxtalib oʻtamiz.
1-ta’rif. n oʻlchovli fazoda berilgan X toʻplam ixtiyoriy x₁ va x₂ nuqta bilan birga shu nuqtalarni birlashtiruvchi kesmani ham oʻz ichida saqlasa, unga qavariq toʻplam deyiladi.
1-xossa. Chiziqli programmalash masalalarining echimlar toʻplami qavariqdir.
2-xossa. Chiziqli maqsad funksiya oʻzining eng kichik qiymatiga mumkin boʻlgan echimlar toʻplami boʻlgan koʻpyoqlining uchki nuqtalaridagina erishadi. (xossalarni isbotlash mustaqil ish qilib beriladi)