卡鲁什-库恩-塔克条件

數學中,卡鲁什-库恩-塔克条件英語:,常見別名: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. . M.Sc. Dissertation. Dept. of Mathematics, Univ. of Chicago, Chicago, Illinois. 1939..此論文可於以下網址得到:http://wwwlib.umi.com/dxweb/details?doc_no=7371591%5B%5D (需付費)
  2. Kuhn, H. W.; Tucker, A. W. . . 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).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.