في الرياضيات، مصطلح
الاستمثال أو
مفاضلية أو
تحسين (بالإنكليزية: optimization) يشير إلى اختيار العنصر الأمثل من بين مجموعة بدائل متاحة.
إذا كان لدينا : دالة رياضية
f :
A 
R من مجموعة
A إلى مجموعة الأعداد الحقيقية. فإنه لدينا : عنصر
في
A بحيث أن
من أجل جميع قيم
في المجموعة
A ("تصغير" minimization) أو بحيث أن
من أجل جميع قيم
في المجموعة
A ("تكبير" maximization).
مثل هذه الصياغة ندعوها أحيانا :
برنامج رياضي mathematical program، وهو مصطلح لا يرتبط ببرمجة الحاسب، لكنه يبقى مستخدما في مجالات مثل البرمجة الخطية linear programming، فائدة هذا الحقل الدراسي تكمن في قدرته على نمذجة العديد من المسائل النظرية والواقعية أيضا.
A تؤلف مجموعة جزئية ما من الفضاء الإقليدي
Rn, غالبا ما حدد عن طريق مجموعة من المحددات
محددات constraints, أو المعادلات أو المتراجحات التي يجب أن تحققها عناصر
A.
عناصر
A تدعى
حلولا ممكنة (محتملة)
feasible solutions. والدالة
f تدعى
دالة موضوعية objective function أو
دالة الكلفة cost function. الحل الممكن الذي يقوم بتصغير أو تكبير الدالة الموضوعية (حسب الغالية التي نريدها) ندعوه الحل الأمثل (الأفضل أو الأحسن)
optimal solution.
نطاق الدالة
f : وهو
A يدعى
فضاء البحث search space، في حين تدعى عناصر
A الحلول المرشحة candidate solution أو الحلول الممكنة
feasible solutions.
بشكل عام، يكون هناك عدة نهايات صغرى محلية local minima ونهايات عظمى maxima محلية، حيث تعرف النهاية الصغرى المحلية
على انها نقطة تحقق : من أجل بعض القيم
وجميع قيم
التي تحقق :
;
تكون الصيغة التالية محققة :
هذا يعني أنه على أي نطاق كروي محيط ب
تكون جميع قيم الدالة أكبر أو تساوي قيمة الدالة في هذه النقطة (هذا مفهوم
النهاية الصغرى). بشكل مشابه يمكننا تعريف النهاية العظمى والكبيرة.
الموقع
