Karush–Kuhn–Tucker-villkor

Karush–Kuhn–Tucker-villkor (eller KKT-villkor) är ett villkor som måste vara uppfyllt för att en punkt ska vara en optimallösning till ett optimeringsproblem. Villkoret är nödvändigt men inte tillräckligt, det vill säga om villkoret är uppfyllt så behöver det inte betyda att punkten är optimum. Dock är det säkert att optimum uppfyller villkoret så en punkt som inte uppfyller villkoret kan inte vara optimum.

Villkoren

Funktionen f med gradient enligt bilden och bivillkoren rött (utanför cirkeln) och grönt (innanför cirkeln). Det tillåtna området är grårandigt. Punkterna $x^1$ och $x^3$ är lokala minima och alla tre markerade punkter uppfyller KKT-villkoren.

Antag att man har en funktion som ska minimeras med vissa bivillkor.

$\text{min}f(x)\text{ med bivillkoren }{g}_i(x)\le b_i$

I sådana fall uppfyller en tillåten punkt som är funktionens optimum (punkten x^*) följande villkor:

$\mathrm{\nabla }f(x^{*})+\sum _{i=1}^m{v}_i\mathrm{\nabla }{g}_i(x^{*})=0$

Där koefficenterna $v_i\ge 0$. Endast aktiva bivillkor ska påverka, så:

$v_i(g_i(x^{*})-b_i)=0.$

Det vill säga, antingen är koefficienterna noll eller så är bivillkoret aktivt.

Källor

• Mall:Bokref