可行域

數學概念

可行域由所有可行解組成的集合。

基本概念


滿足線性約束條件的解(x,y)叫做可行解,由所有可行解組成的集合叫做可行域。它亦稱允許域、能行域。數學規劃的基本概念之一,即約束集(數學規劃的基本概念之一。指在數學規劃問題中,滿足所有約束條件的點組成的集合)。一個數學規劃問題的可行域可以是有界的,也可以是無界的。

圖釋舉例


在優化設計中,一個不等式約束條件可以將設計空間劃分為兩個部分:一部分滿足約束條件,另一部分不滿足約束條件,這兩部分的分界面稱為約束面,即,如圖(a)所示。若某項設計有m個不等式約束條件,則由m個約束面在設計空間中形成兩個區域,如圖(b)所示()。凡滿足不等式約束方程組的設計變數選擇區域,稱為設計可行域,或稱約束區域;凡不滿足不等式約束方程組中任一個約束條件的設計變數選擇區域,則稱為設計非可行域或約束違反區域。可行域內的設計點所對應的解均為可行解。在優化設計問題中,由於存在各種設計約束,其最優設計方案通常都是可行域上的邊界點。