1樓：Sixiang
對偶變數，顧名思義，就是在給定一組主問題的解之後，將子問題轉化為其對偶問題，並求解這個對偶問題所得到的解。
假設有乙個優化問題
可分解為如下兩個問題：
（主問題） + （子問題）
當給定乙個主問題的可行解 的時，將子問題轉化為對偶問題：
上述問題中的 就是對偶變數。
對於如上問題，有兩種情況（1）上述問題有解，且最優解為 ，那麼，如果子問題為線性問題，那麼根據強對偶理論，我們有
由於子問題是線性的， 是關於 的凸函式，所以，我們將主問題轉化為其上鏡圖形式(epigraph)，可以得到：
（注意：這裡是對於任意 ）
這玩意就是 optimality cut。從幾何的角度上理解，這個對偶變數可以視為主問題在 位置的梯度。
如果（2）上述問題是無界的 (unbounded)，意味著對偶問題在某個極方向上無界，那麼意味著原問題給定的 是不可行的（也就是說給定這組 ，對應的 無解）。關於這個極方向，通過觀察對偶問題的目標函式可以很容易得出，如果當存在 0" eeimg="1"/>時，對應的對偶變數 可以取正無窮，使得對偶問題無界。那麼，所謂的 feasibility cut 就是使得這些極方向的係數小於0：
加上這個cut之後，我們就不會在更新主問題的解 的時候讓它等於 ，否則 0" eeimg="1"/>會和這個cut相矛盾。
整形變數，無符號整形變數，是幹什麼用的，怎麼理解？
中公教育IT培訓 1 整型變數可以分為以下4類 1 短整型，型別關鍵字為short int 2 基本整型，型別關鍵字為int。3 長整型，型別關鍵字為long int 4 無符號整型，型別關鍵字為unsigned int 或unsignedshort或unsignedlong。他們都是資料型別的一種...
你是怎麼獲得信仰的？
護法居士 如來明證下四法故。何謂為四。一曰一切萬物皆歸無常。二曰一切諸有悉為苦毒。三曰一切諸法皆無有我。四曰一切有形悉至於空無。為泥洹寂。 感覺在二元對立的世界活的累了。而且我做不到得到別人得不到的看別人失望而沾沾自喜 我初次意識到這點有點驚訝,有點反人性對不對 很多煩惱，很多擔憂，發現人生就是乙個...
c語言中整型變數的取值範圍是怎麼取的？為什麼是負的二的七次方到二的七次方減一？
調皮的李先生 我認為是這樣的 1byte等於8bit，也就是8個0或1，如 或11111111。其中第乙個數代表的意思是該數為正還是負，為1時代表負，為0時代表正。例如 00000001表示該數為1.至於為什麼是 2 7 2 7 1，說明一下2 7等於128,所以2 7 1等於127 因為11111...