Karush-Kuhn-Tucker (EZ) uvjetima, ponekad se nazivaju Kuhn-Tucker uvjetima, su uvjeti koji nelinearno programiranje problema moraju ispuniti kako bi se optimalno. KKT uvjetima proteže način Lagrangian množitelja, dopuštajući za nejednakosti ograničenja, za razliku od Lagrangeov multiplikatora koji dopuštaju samo jednakost ograničenja.
Razmotrimo nelinearni optimizacije problema:
Umanjiti
predmet:
Ćemo dopustiti predstavljaju relativni minimum točka za naš problem, koji također zadovoljava neke ograničenje kvalifikacije. S ovim, onda možemo pretpostaviti da za svaki element postoji vektor
, gdje l predstavlja broj jednakosti ograničenja, i
, gdje m predstavlja broj nejednakosti ograničenja. Ove konstante,
i
, su pozvani KKT množitelja.
Da bi KKT uvjetima koji će se održati u nelinearno programiranje problema (NLP), svaki od tri uvjeta moraju biti ispunjena [1-4]. Primal izvodljivosti restates u čemu je problem države, da nejednakost spolova i ograničenja na moraju biti ispunjeni kako bi se problem biti optimalni:
Drugi uvjet je poznat kao dvostruki uvjet isplativosti. U tom stanju država, a verbosely, da je svaki element u mora biti veći od nule, i da je stacionarnost problema mora biti jednaka 0.
Stacionarnost problem je:
Dok druge dvije su jednostavno uvjeti koji l i m mora zadovoljiti kako bi se optimalno.
Treći uvjet koji moraju biti ispunjeni poznat kao dopunska malaksalost. Ovaj uvjet se jednostavno navodi da je za svaku mu i njihovom odgovarajućem nejednakosti ograničenje, proizvod od dva bi trebalo rezultirati nula:
Kada se ta tri uvjeta su ispunjeni, smo susreli KKT uvjetima i naše rješenje, , je optimalno rješenje za NLP problema. Postoji možda više od jednog x u prostoru koji zadovoljavaju uvjete. Svaka točka u problemu prostora u kojem svaki elementlim, tako da torka (x, l, m) zadovoljavaju uvjete KKT se zovu KKT bodova. Derivacija ove prepreke mogu se naći u [1,2]
Ograničenje kvalifikacija
Kao što je spomenuto ranije, točke koje smo testiranje je potrebno ispuniti neke kvalifikacije da bi točku treba uzeti u obzir. Najpoznatiji ograničenje Kvalifikacija Linearna neovisnosti ograničenje kvalifikacije (Licq), koji jednostavno navodi da i
su linearno neovisni od drugih u točki
. Mangasarian-Fromovitz ograničenje kvalifikacije (MFCQ) država slično LICQ s dodatkom da pozitivno lineraly neovisni u
. [5]
Postoje međutim druga ograničenja kvalifikacijske da se opustite LICQ. Kvalifikator Slater ograničenje može se koristiti u konveksni problema. Ako postoji točka x takav da i
za sve što sam,J aktivni u
, onda škriljevca stanje drži. [5,6]
Ostale vrste ograničenja kvalifikacija ne postoje, ali ta tri Čini se da je najčešće koriste u KKT kvalifikacija.
[1] Kuhn, H. i Tucker, A., “Nelinearno programiranje” Zbornik radova 2. Berkeley simpozij 1951, pp. 481-492.
[2] Karush, W., “Minima funkcija više varijabli s Nejednakosti kao strani ograničenja”. M. Sc. Disertacija, Sveučilište. u Chicagu, Chicago, Il, 1939.
[3] Kuhn, M. “Karush-Kuhn-Tucker theorema”, Internet: http://smp.if.uj.edu.pl/~kopiec/MT/Materialy/KarushKuhnTucker.pdf, Uni CDSEM. Manhajm, 2006.
[4]McCarl, B. i Spreen, T., “Nelinearni Optimizacija uvjeti”, Ch. 12, Primijeniti matematički programiranje algebarskih sustava. Internet: http://agecon2.tamu.edu/people/faculty/mccarl-bruce/mccspr/thebook.pdf
[5]Eustaquio, R. Karas, E. i Ribeiro, A. Ograničenje kvalifikacije za nelinearno programiranje, Tech Report, Sveučilište. u Parana.
[6] Stići, D. i Zalinescu, C. “O nužnosti neke uvjete Ograničenje kvalifikacije u Konveksni programiranje”, Journal of Konveksni Analiza, 11 (1), 2004. pp 95-110.