رياضيات الاستمثال
من ويكيبيديا، الموسوعة الحرة
في الرياضيات , مصطلح الاستمثال أو مفاضلية أو تحسين optimization يشير إلى دراسة مسائل من الشكل التالي :
إذا كان لدينا : دالة رياضية f : A R من مجموعة A إلى مجموعة الأعداد الحقيقية. فإنه لدينا : عنصر x0 في A بحيث أن f(x0) ≤ f(x) من أجل جميع قيم x في المجموعة A ("تصغير" minimization ) أو بحيث أن f(x0) ≥ f(x) من أجل جميع قيم x في المجموعة 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 محلية , حيث تعرف النهية الصغرى المحلية x* على انها نقطة تحقق : من أجل بعض القيم δ > 0 و جميع قيم x التي تحقق :
- ;
تكون الصيغة التالية محققة :
هذا يعني أنه على أي نطاق كروي محيط ب x* تكون جميع قيم الدالة أكبر أو تساوي قيمة الدالة في هذه النقطة (هذا مفهوم النهاية الصغرى) . بشكل مشابه يمكننا تعريف النهاية العظمى .
الفروع الأساسية في الرياضيات |
|
---|---|
المنطق الرياضي | نظرية المجموعات | التوافقيات | نظرية الأعداد | الجبر التجريدي | الجبر الخطي | نظرية الزمر | الهندسة | الطبولوجيا | الهندسة التفاضلية | التحليل الرياضي | التحليل الدالي | التحليل الحقيقي | التحليل العقدي | التحليل العددي | التحليل الشعاعي | المعادلات التفاضلية | نظرية الإحتمالات | الإحصاء | رياضيات الاستمثال |