跳至內容

卡魯什-庫恩-塔克條件

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

數學中,卡魯什-庫恩-塔克條件(英語:Karush-Kuhn-Tucker Conditions,常見別名:Kuhn-Tucker,KKT條件,Karush-Kuhn-Tucker最優化條件,Karush-Kuhn-Tucker條件,Kuhn-Tucker最優化條件,Kuhn-Tucker條件)是在滿足一些有規則的條件下,一個非線性規劃問題能有最優化解法的一個必要條件。這是一個使用廣義拉格朗日函數的結果。

考慮以下非線式最優化問題:

是需要最小化的函數,是不等式約束,是等式約束,分別為不等式約束和等式約束的數量。

不等式約束問題的必要和充分條件初見於威廉·卡魯什的碩士論文[1],之後在一份由哈羅德·W·庫恩阿爾伯特·W·塔克撰寫的研究生論文[2]出現後受到重視。

必要條件

假設有目標函數,即是要被最小化的函數,約束函數。再者,假設他們都是於這點是連續可微的,如果是一局部極小值,那麼將會存在一組所謂乘子的常數, 令到

正則性條件或約束規範

於上述必要和充分條件中,dual multiplier 可能是零。當是零時,這個情況就是退化的或反常的。因此必要和充分條件會將約束的幾何特性而不是將函數自身的特點納入計算。

有一定數量的正則性條件能保證解法不是退化的(即),它們包括:

  • 線性獨立約束規範(Linear independence constraint qualification,LICQ):有效不等式約束的梯度和等式約束的梯度於線性獨立。
  • Mangasarian-Fromowitz約束規範(Mangasarian-Fromowitz constraint qualification,MFCQ):有效不等式約束的梯度和等式約束的梯度於正線性獨立。
  • 常秩約束規範(Constant rank constraint qualification、CRCQ):考慮每個有效不等式約束的梯度子集和等式約束的梯度,於的鄰近區域的秩(rank)不變。
  • 常正線性依賴約束規範(Constant positive linear dependence constraint qualification,CPLD):考慮每個有效不等式約束的梯度子集和等式約束的梯度,如果它們於是正線性依賴,那麼它們於的鄰近區域也是正線性依賴。(如果存在 not all zero令到,那麼是正線性依賴)
  • 斯萊特條件(Slater condition):如果問題只包含不等式約束,那麼有一點令到 for all

雖然MFCQ不等同於CRCQ,但可證出LICQ⇒MFCQ⇒CPLD,LICQ⇒CRCQ⇒CPLD。於實際情況下,較弱的約束規範會被傾向使用,這是因為較弱的約束規範能提供較強的最優化條件。

充分條件

假設目標函數及約束函數皆為 函數,而是一仿射函數,假設有一可行點,如果有常數令到

那麼這點是一全局極小值

註釋

  1. ^ W. Karush. Minima of Functions of Several Variables with Inequalities as Side Constraints. M.Sc. Dissertation. Dept. of Mathematics, Univ. of Chicago, Chicago, Illinois. 1939. .此論文可於以下網址得到:http://wwwlib.umi.com/dxweb/details?doc_no=7371591[失效連結] (需付費)
  2. ^ Kuhn, H. W.; Tucker, A. W. Nonlinear programming. Proceedings of 2nd Berkeley Symposium. Berkeley: University of California Press: 481–492. 1951. 

參考文獻

  • Avriel, Mordecai (2003). Nonlinear Programming: Analysis and Methods. Dover Publishing. ISBN 0-486-43227-0.
  • R. Andreani, J. M. Martínez, M. L. Schuverdt, On the relation between constant positive linear dependence condition and quasinormality constraint qualification. Journal of optimization theory and applications, vol. 125, no2, pp. 473-485 (2005).