庫恩一塔克爾充分條件

庫恩一塔克爾充分條件(Kuhn-Tucker sufficientcondition)判定約束非線性規劃問題某可行點為極小點的充分條件。

庫恩一塔克爾充分條件(Kuhn-Tucker sufficientcondition)判定約束非線性規劃問題某可行點為極小點的充分條件.對於凸規劃來說，則是判別極小點的充分必要條件.對於有約束非線性規劃問題(NP)(參見“非線性規劃”)，設f<x)}g;<x)<i=1,2,…，P)和h;<x) <j=1, 2, ... }q)二階連續可微，且x*是可行點.如果存在向量入‘一以廠，石，…，形)T和月‘一伽了，厲，…，可)‘r滿足庫恩一塔克爾條件，且對滿足條件

的任意非零向量z，有

式中1是使g;<x* >_。的下標i的集合，p zf}<x * >p'"g;<x‘)}i=1，2，…，p)和p zh; (x’)(，=1，2，…，q)依次是f<x)}grCx)和h; ( x)在點x‘處的黑塞矩陣.則上述條件為庫恩一塔克爾充分條件.