自由變數

自由變數有多個義項。一個是指?>謂詞公式中出現的自由變數，其對應的是約束變數；另一個是指線性規劃中沒有非負性條件的設計變數。

基本介紹

• 中文名：自由變數
• 外文名：Free variable
• 義項1：線性規劃中無非負限制的變數
• 義項2：指在公式中有自由出現的變數
• 所屬學科：數學

線性規劃中的自由變數

自由變數(free variable)是指線性規劃中沒有非負性條件的設計變數。若問題中含有這種變數，為構成線性規劃標準式，常以兩個相減的非負設計變數替代之，使最佳化設計數學模型中的所有設計變數均為非負設計變數。替代前後的最優解是等價的。具有自由變數的線性規劃問題有時亦可利用對偶理論化為對偶問題直接求解。

自由變數線上性規劃問題數學模型中，如果出現沒有非負限制，可以為正，也可以為負的變數就稱其為自由變量。化標準形時，需引進兩個非負變數，，令將自由變數轉化為有非負要求約束的變數。

各種線性規劃模型都需要轉化成標準型後求解。下面介紹各種轉化方法。

(1)最小化問題的轉化。求min z等價於求max(-z)，因此，只需改變目標函式的符號就可以實現最大化和最小化之間的轉換。

(2)不等式約束的處理。不等式約束可以通過引入鬆弛變數或剩餘變數轉化為等式約束，具體為：

等價於

其中稱為鬆弛變數。

等價於

其中稱為剩餘變數。

(3)非正變數與符號無限制變數的處理。

若，令，則新變數為非負變數。

若為符號無限制變數(稱為自由變數)，可令，即以兩個非負變數之差來代替自由變數。

從以上討論可見，任何形式的線性規劃都可轉化為標準型。

謂詞公式中的自由變數

通常稱變數x在謂詞公式和中的出現為約束出現； 並稱A為和的作用域(或轄域)。如果變數x在公式A中的某次出現是在A的分子公式中的約束出現，則稱x的該次出現是約束出現；若變數x在公式A的某次出現不是約束出現，就稱該出現為自由出現。 在公式A中有自由出現的變數稱為自由變數，在公式A中有約束出現的變數稱為約束變數。

例如，謂詞公式，從左向右算起，變數x的第一、二、三次出現是約束出現，第四次出現是自由出現，變數則全是自由變數。

可以看出，一個變數可以既是約束變數，又是自由變數。

顯然，公式和公式的真值相同，同樣， 公式和公式的真值也相同。也即，謂詞邏輯中的謂詞的真值與謂詞中的約束變數的記法無關。因此，可引入改名規則：若打算把某謂詞公式中的量詞(Qx)換成(Qy)，則y必須是在該(Qx)的作用域內不出現的變數，並且把該(Qx)的作用域內一切自由出現的x換成y。(其中，Q為或)

例如，對於可改名為。

因此，在謂詞邏輯的一個表達式中，總可以通過改名規則，使得該表達式中所有的約束變數都不是自由變數，於是，所有的自由變數也都不是約束變數。

用x\p來表示“變數x在p中不是自由的”。如果x\p且x\q，那么在複合公式中，x也不是自由變數。當變數在集合表達式中聲明時，它總為約束變數。例如：

在該集合表示中，變數n是約束變數。N是自然數集，n：N表示n是自然數集中的一個元素。定義的謂詞部分還引入另一個約束變數m。在此定義中，max是自由變數，若處於規格說明的上下文中，常常假定它已在前面被聲明過。渭詞的含義是：存在一個m，使得n等於m乘以max，其中，m是一個自然數。