نمایش مبدأ برای شرایط کاروش–کون–تاکر

در [[بهینه‌سازی ریاضی]]، '''شرایط کاروش–کون–تاکر''' (KKT) شرایط لازم مرتبه اول برای یک راه حل در [[مسئله بهینه‌سازی]] محدب غیرخطی می‌باشند. هنگامی که مسئله اولیه محدب باشند شرایط KKT برای نقاط بهینه مسئله اولیه و مسئله دوگان صادق هستند، یا به عبارت دیگر فاصله دوگانی صفر می‌باشد. شرایط KKT نقش مهمی در بهینه‌سازی بازی می‌کند. موارد بسیار کمی هست که بتوان شرایط KKT را به صورت تحلیلی حل کرد. در بیشتر موارد باید از الگوریتم‌های بهینه‌سازی استفاده کرد.<ref>{{یادکرد کتاب|عنوان=Convex optimization|نام خانوادگی=Boyd, Stephen, and Lieven Vandenberghe|نام=|ناشر=Cambridge university press|سال=2004|شابک=|مکان=|صفحات=}}</ref>

== مسئله بهینه‌سازی غیرخطی ==
مسئله بهینه‌سازی غیرخطی به شکل زیر را در نظر بگیرید:
:<math>\begin{align}
\mathbf{minimize}\quad&f(x) \\
\mathrm{subject\ to}\quad&g_i(x) \leq 0;\quad i \in \left \{1,\dots,m \right \} \\
                    &h_j(x) = 0;\quad j \in \left \{1,\dots,\ell \right \}
\end{align}</math>mtfc

== شرایط KKT و دوگانی مؤکد ==
شرایط KKT در حقیقت شرایط لازم برای برقراری دوگانی مؤکد در مسائل دوگان هست. در مسائل محدب شرایط KKT شرایط لازم و کافی برای دوگانی مؤکد هست.

== شرایط KKT در مسئله بهینه‌سازی محدب ==
KKT در مسائل بهینه‌سازی محدب دارای چهار شرط زیر است:

۱-مسئله اولیه شدنی باشد
:<math>g_i(x^*) \le 0, \text{ for } i = 1, \ldots, m</math>
:<math>h_j(x^*) = 0, \text{ for } j = 1, \ldots, \ell \,\!</math>

۲-مسئله دوگان شدنی باشد
:<math>\mu_i \ge 0, \text{ for } i = 1, \ldots, m</math>

۳-شرط Complementary slackness برقرار باشد
:<math>\mu_i g_i (x^*) = 0, \text{ for }\; i = 1,\ldots,m.</math>

۴-شرط ایستا برقرار باشد
:<math>-\nabla f(x^*) = \sum_{i=1}^m \mu_i \nabla g_i(x^*) + \sum_{j=1}^\ell \lambda_j \nabla h_j(x^*),</math>

یک x,λ,μ در چهار رابطه فوق به دست می‌آید، که این مقادیر پاسخ‌های بهینه مسئله اولیه و دوگان هستند.<ref>Edwin Kah Pin Chong,An Introduction to Optimization,September 23, 2011</ref>

== پانویس ==
{{پانویس|چپ‌چین=بله}}
{{الگوریتم‌های بهینه‌سازی}}

[[رده:ویکی‌سازی رباتیک]]
[[رده:بهینه‌سازی ریاضی]]
[[رده:اقتصاد ریاضی]]
[[رده:بهینه‌سازی]]
[[رده:بهینه‌سازی محدب]]