規劃論的一個重要分支。主要研究在線性約束條件下，求線性函數的最小值或最大值問題。其數學基礎是代數學中的線性等式理論和幾何學中的凸多面體理論。若約束條件和目標函數是非線性的，則稱為非{1}。