التحسين تحت قواعد
تخضع المحافظ الحقيقية لقواعد: مجموع الأوزان واحد، ولا بيع على المكشوف، وسقف للدوران. والمسألة المقيّدة هي minf(w) بشرط المساواتين h(w)=0 والمتباينات g(w)≤0. ومع مساواة واحدة تكون أفضل نقطة ممكنة حيث يخترق ∇f سطح القيد عموديًا، لأن أي مركبة جانبية يمكن استعمالها لتحسين f دون مغادرة السطح. وهذا شرط لاغرانج ∇f+λ∇h=0، والعدد λ هو مضروب لاغرانج. وجمع كل شيء في لاغرانجيان L=f+λh+μg يحوّل المسألة المقيدة إلى البحث عن نقطة ساكنة لـ L.
∇f+λ∇h+μ∇g=0,h=0,g≤0,μ≥0,μg=0(1) في المتباينات تتكون المجموعة الكاملة من الشروط، المسماة نسبة إلى كاروش وكون وتاكر، من أربعة أجزاء: سكون لاغرانجيان، والإمكان الأولي (تتحقق القيود)، والإمكان الثنائي (μ≥0)، والارتخاء التكاملي (μg=0). ويعني الارتخاء التكاملي أن كل متباينة إما غير فعالة بـ g<0 وμ=0 فلا تؤثر، وإما فعالة بـ g=0 وμ>0 فتعمل كمساواة. وفي المسألة المحدبة تكون هذه الشروط لازمة وكافية للأمثل العام. والمضروب سعر أيضًا: هو المعدل الذي تتحسن به أفضل قيمة لـ f حين يُرخى القيد بوحدة واحدة.
مثالان صغيرانلنصغّر
x2+y2 بشرط
x+y=1. تعطي شروط لاغرانج
2x+λ=0 و
2y+λ=0 القيمة
x=y=−λ/2، ثم يعطي القيد
λ=−1 و
x=y=0.5 بقيمة
0.5. وإذا رُخي القيد إلى
x+y=c صارت أفضل قيمة
c2/2 وميلها عند
c=1 يساوي
1=−λ. ثم لنصغّر
(x−2)2 بشرط
x≤1. النهاية الصغرى الحرة
x=2 تخالف القاعدة، فالقيد فعّال عند
x=1 و
2(x−2)+μ=0 تعطي
μ=2>0. أما مع القاعدة
x≤3 فالنهاية الصغرى الحرة مسموحة و
μ=0.
محفظة التباين الأدنى هي الحالة النموذجية: صغّر wTΣw بشرط 1Tw=1. يعطي شرط لاغرانج 2Σw+λ1=0 النتيجة w∝Σ−11. ولأصلين غير مترابطين بتباينين 0.04 و0.09 تتناسب الأوزان مع 1/0.04=25 و1/0.09=11.1 فيكون w1=0.692 وw2=0.308 وتباين المحفظة 1/(25+11.1)=0.0277. والمضروب يساوي −2 مرة هذا التباين الأدنى. وفي محفظة حقيقية يكون لقاعدة الشراء فقط أو لسقف الدوران مضروبها الخاص، ويدل μ الكبير على أن تلك القاعدة تكلفك كثيرًا.
- قيد مساواة: ∇f+λ∇h=0 مع h=0.
- متباينة: μ≥0 وμg=0؛ فعّال يعني g=0 وغير فعّال يعني μ=0.
- السعر: المضروب هو حساسية أفضل قيمة لإرخاء قيده.
تحقق من الإمكان والإشاراتبعد الحل تحقق من الجواب بالشروط الأربعة. وأكثر الأخطاء شيوعًا مضروب بإشارة خاطئة في متباينة (يجب أن يكون μ≥0 حين تُكتب القيود g≤0) وقيد فعّال افتُرض غير فعّال. وتختلف اصطلاحات الإشارة بين الكتب والمكتبات، فاقرأ دائمًا أي صيغة يتوقعها محلّك. المختبر: ما الذي يُقيَّم
- المضروب10 نقطة
- النقطة المثلى10 نقطة
- إرخاء القيد10 نقطة
- وزن أدنى تباين لأصلين15 نقطة
- التباين الأدنى15 نقطة
- شروط KKT الأربعة15 نقطة
- قيد فعّال10 نقطة
- ماذا يخبرك المضروب15 نقطة