方程組與不等式組

可行域

如果一個不等式組是一串限制——你的預算、你的時間、你的空間——那麼可行域就是你實際被允許選擇的一切所組成的菜單。它是所有同時滿足該方程組中每個不等式的點的集合,是不違反任何規則的公共地帶。

在座標平面上,你給每個不等式所允許的半平面塗上陰影,只保留重疊部分,就找到了它。結果通常是一塊多邊形狀的區域(對線性不等式而言),邊沿著邊界直線,頂點在各邊界相交之處。這些頂點尤為重要。

這個術語來自最佳化與線性規劃,你要在可行域上對某個量取最大或最小值。那裡有一個關鍵事實:對於線性目標函數,最優值總出現在有界可行域的某個頂點上——所以你可以只檢查各角點,而不必檢查每個內部點。可行域可能有界、無界,或在約束彼此衝突時為空。

對 x ≥ 0、y ≥ 0、x + y ≤ 4,可行域是頂點為 (0, 0)、(4, 0)、(0, 4) 的三角形。要使 P = 3x + 2y 最大,檢驗各頂點:P = 0、12、8——最大值 12 在 (4, 0) 處取得。

被允許的區域;最優值落在它的角點上。

又稱
solution region可行区域可行區域