التوقف الأمثل
في الرياضيات ، تُعنى نظرية التوقف الأمثل [ 1 ] [ 2 ] أو التوقف المبكر [ 3 ] بمشكلة اختيار الوقت الأمثل لاتخاذ إجراء معين، بهدف تعظيم العائد المتوقع أو تقليل التكلفة المتوقعة. تُوجد مسائل التوقف الأمثل في مجالات الإحصاء والاقتصاد والتمويل الرياضي (المتعلق بتسعير الخيارات الأمريكية ). ومن الأمثلة الرئيسية على مسائل التوقف الأمثل مسألة السكرتيرة . غالبًا ما تُصاغ مسائل التوقف الأمثل على شكل معادلة بيلمان ، ولذلك تُحل عادةً باستخدام البرمجة الديناميكية .
تعريف
حالة الزمن المنفصل
ترتبط مشاكل قواعد التوقف بعنصرين:
- سلسلة من المتغيرات العشوائية، والتي يُفترض أن يكون توزيعها المشترك معروفًا
- سلسلة من وظائف "المكافأة"والتي تعتمد على القيم المرصودة للمتغيرات العشوائية في 1:
بالنظر إلى هذه الأشياء، فإن المشكلة هي كما يلي:
- أنت تراقب تسلسل المتغيرات العشوائية، وفي كل خطوةيمكنك اختيار إما التوقف عن المراقبة أو الاستمرار
- إذا توقفت عن المراقبة عند الخطوةستحصل على مكافأة
- تريد اختيار قاعدة توقف لتحقيق أقصى عائد متوقع (أو ما يعادله، تقليل الخسارة المتوقعة).
حالة الزمن المستمر
لنفترض عملية تضخيممعرفة على فضاء احتمالي مُصفّىوافترض أنيتم تكييفها مع عملية الترشيح. وتتمثل مشكلة التوقف الأمثل في إيجاد وقت التوقف.مما يزيد من الربح المتوقع
أينتُسمى هذه الدالة دالة القيمة . هنايمكن أن تأخذ قيمة.
ويمكن صياغة ذلك بشكل أكثر تحديدًا كما يلي. نحن نعتبر عملية ماركوف قوية معدلة.معرفة على فضاء احتمالي مُصفّىأينيشير إلى مقياس الاحتمالية الذي تبدأ عنده العملية العشوائيةبالنظر إلى الدوال المتصلة، و، مشكلة التوقف الأمثل هي
يُطلق على هذا أحيانًا اسم صيغة MLS (والتي ترمز إلى ماير، ولاغرانج، والأعلى، على التوالي). [ 4 ]
طرق الحل
توجد عمومًا منهجان لحل مسائل التوقف الأمثل. [ 4 ] عندما تُوصف العملية الأساسية (أو عملية الكسب) بتوزيعاتها غير المشروطة ذات الأبعاد المحدودة ، فإن أسلوب الحل المناسب هو أسلوب المارتينجال، الذي سُمي بهذا الاسم لأنه يستخدم نظرية المارتينجال ، وأهم مفاهيمه هو غلاف سنيل . في حالة الزمن المتقطع، إذا كان أفق التخطيطإذا كانت البيانات محدودة، فيمكن حل المشكلة بسهولة باستخدام البرمجة الديناميكية .
عندما تُحدد العملية الأساسية بواسطة مجموعة من دوال الانتقال (الشرطية) التي تؤدي إلى مجموعة ماركوف من احتمالات الانتقال، يمكن غالبًا استخدام أدوات تحليلية قوية توفرها نظرية عمليات ماركوف ، ويُشار إلى هذا النهج باسم طريقة ماركوف. ويتم الحصول على الحل عادةً بحل مسائل الحدود الحرة المرتبطة بها ( مسائل ستيفان ).
نتيجة انتشار القفز
يترككن انتشارًا ليفي فيمقدم من SDE
أينهو الحركة البراونية ذات الأبعاد n،هومقياس بواسون العشوائي المعوض ذو الأبعاد n ،، :\mathbb {R} ^{k}\to \mathbb {R} ^{k\times m}} , و :\mathbb {R} ^{k}\times \mathbb {R} ^{k}\to \mathbb {R} ^{k\times l}} هي دوال معطاة بحيث يكون لها حل وحيدموجود. دعأن تكون مجموعة مفتوحة (منطقة الملاءة) و
ليكن وقت الإفلاس. مسألة التوقف الأمثل هي:
اتضح أنه في ظل بعض شروط الانتظام، [ 5 ] تتحقق نظرية التحقق التالية:
إذا كانت دالة :{\bar {\mathcal {S}}}\to \mathbb {R} } يحقق
- حيث تكون منطقة الاستمرار،
- على، و
- على، أينهو المولد المتناهي الصغر لـ
ثمللجميععلاوة على ذلك، إذا
- على
ثمللجميعوهو وقت التوقف الأمثل.
ويمكن كتابة هذه الشروط أيضاً بصيغة أكثر إيجازاً ( المتباينة التكاملية التباينية ):
- على
أمثلة
رمي العملة
(مثال حيث(يتقارب)
لديك عملة معدنية متوازنة وتقوم برميها بشكل متكرر. في كل مرة، قبل رميها، يمكنك اختيار التوقف عن رميها والحصول على مبلغ (بالدولار، على سبيل المثال) يعادل متوسط عدد مرات ظهور الصورة.
ترغب في زيادة المبلغ الذي تحصل عليه إلى أقصى حد من خلال اختيار قاعدة توقف. إذا كانت Xᵢ ( حيث i ≥ 1) تُشكّل سلسلة من المتغيرات العشوائية المستقلة والمتطابقة التوزيع وفقًا لتوزيع برنولي
وإذا
ثم التسلسلات، وهي الأشياء المرتبطة بهذه المشكلة.
بيع المنازل
(مثال حيث(لا يتقارب بالضرورة)
لديك منزل وترغب في بيعه. كل يوم يُعرض عليك منزل للبيع.لمنزلك، وادفعللاستمرار في الإعلان عنه. إذا بعت منزلك في يومسوف تربح، أين.
ترغب في زيادة المبلغ الذي تربحه إلى أقصى حد من خلال اختيار قاعدة توقف.
في هذا المثال، التسلسل (يمثل تسلسل العروض لمنزلك، ويمثل تسلسل وظائف المكافآت مقدار ما ستربحه. [ 6 ]
مشاكل السكرتيرة

- مجموعة الاستكشاف الصغيرة جدًا تختار مرشحًا دون المستوى الأمثل قبل رؤية الأفضل (*).
- تحدد المجموعة المثالية الأفضل.
- إذا كانت المجموعة كبيرة جدًا وتضمنت أفضل المرشحين، فسيتم اختيار المرشح الأخير.
(مثال حيث(متتالية منتهية)
أنت تراقب سلسلة من الأشياء التي يمكن ترتيبها من الأفضل إلى الأسوأ. وترغب في اختيار قاعدة توقف تزيد من فرصتك في اختيار أفضل شيء.
هنا، إذا( حيث n عدد كبير) هي رتب العناصر، وهل احتمال اختيارك لأفضل عنصر هو إذا توقفت عن رفض العناصر عمدًا في الخطوة i؟وهذه هي المتتاليات المرتبطة بهذه المسألة. وقد تم حل هذه المسألة في أوائل الستينيات من القرن الماضي على يد عدة أشخاص. ويُقدم خوارزمية الاحتمالات الحديثة للتوقف الأمثل (خوارزمية بروس) حلاً أنيقاً لمسألة السكرتيرة، بالإضافة إلى العديد من التعديلات عليها .
نظرية البحث
درس الاقتصاديون عدداً من مسائل التوقف الأمثل المشابهة لـ"مسألة السكرتيرة"، ويُطلقون عادةً على هذا النوع من التحليل اسم "نظرية البحث". وقد ركزت نظرية البحث بشكل خاص على بحث العامل عن وظيفة ذات أجر مرتفع، أو بحث المستهلك عن سلعة منخفضة السعر.
مشاكل في مواقف السيارات
من الأمثلة الخاصة على تطبيق نظرية البحث مهمة اختيار موقف السيارة الأمثل لسائق متوجه إلى دار الأوبرا (أو المسرح، أو مركز التسوق، إلخ). عند اقترابه من وجهته، يسير السائق في الشارع الذي تتوافر فيه مواقف السيارات - عادةً ما تكون بعض الأماكن فقط في موقف السيارات شاغرة. وبما أن الوجهة واضحة للعيان، يسهل تقدير المسافة إليها. وتتمثل مهمة السائق في اختيار موقف سيارة شاغر أقرب ما يمكن إلى الوجهة دون الحاجة إلى الالتفاف، بحيث تكون المسافة من هذا الموقف إلى الوجهة أقصر ما يمكن. [ 7 ]
تداول الخيارات
في تداول الخيارات في الأسواق المالية ، يُسمح لحامل الخيار الأمريكي بممارسة حقه في شراء (أو بيع) الأصل الأساسي بسعر محدد مسبقًا في أي وقت قبل تاريخ انتهاء الصلاحية أو عنده. ولذلك، فإن تقييم الخيارات الأمريكية هو في جوهره مسألة توقف أمثل. لنفترض نموذج بلاك-شولز الكلاسيكي ولنفرضليكن معدل الفائدة الخالي من المخاطر ووليكن معدل توزيع الأرباح وتقلبات سعر السهم.يتبع الحركة البراونية الهندسية
في إطار المقياس المحايد للمخاطر .
عندما يكون الخيار دائمًا، فإن مشكلة التوقف الأمثل هي
حيث تكون دالة العائدللحصول على خيار الاتصال وبالنسبة لخيار البيع. المتباينة التباينية هي
للجميع أينيمثل هذا حدود التمرين. الحل معروف بأنه [ 8 ]
- (نداء دائم)أينو
- (خيار البيع الدائم)أينو
من جهة أخرى، عندما يكون تاريخ انتهاء الصلاحية محدودًا، ترتبط المشكلة بمسألة ثنائية الأبعاد ذات حدود حرة، ولا يوجد لها حل مغلق معروف. مع ذلك، يمكن استخدام طرق عددية متنوعة. انظر نموذج بلاك-شولز#الخيارات الأمريكية للاطلاع على طرق التقييم المختلفة هنا، بالإضافة إلى فوجيت لحساب الوقت الأمثل لممارسة الخيار بطريقة منفصلة تعتمد على الشجرة .
انظر أيضاً
مراجع
الاقتباسات
- ↑ تشاو، واي إس؛ روبنز، إتش ؛ سيغموند، دي (1971). آمال عظيمة: نظرية التوقف الأمثل . بوسطن: هوتون ميفلين .
- ↑ فيرغسون، توماس س. (2007). التوقف الأمثل والتطبيقات . جامعة كاليفورنيا في لوس أنجلوس.
- ↑ هيل، ثيودور ب. (2009). "معرفة متى تتوقف". العالم الأمريكي . 97 (2): 126-133 . doi : 10.1511/2009.77.126 . ISSN 1545-2786 . S2CID 124798270 .
- (للاطلاع على الترجمة الفرنسية، انظر قصة الغلاف في عدد يوليو من مجلة Pour la Science (2009).)
- 1 2 بيسكير، غوران؛ شيريايف، ألبرت (2006). التوقف الأمثل ومسائل الحدود الحرة . محاضرات في الرياضيات. المعهد الفدرالي السويسري للتكنولوجيا في زيورخ. doi : 10.1007/978-3-7643-7390-0 . ISBN 978-3-7643-2419-3.
- ^ أوكسيندال، ب . سليم، أ. (2007). التحكم العشوائي التطبيقي في انتشار القفزات . دوى : 10.1007/978-3-540-69826-5 . رقم ISBN 978-3-540-69825-8. S2CID 123531718 .
- ↑ فيرغسون، توماس س .؛ كلاس، مايكل ج. (2010). "البحث عن منزل بدون لحظات ثانية". التحليل التسلسلي . 29 (3): 236-244 . doi : 10.1080/07474946.2010.487423 . ISSN 0747-4946 .
- ↑ ماكوين، ج.؛ ميلر الابن، ر. ج. (1960). "سياسات الاستمرارية المثلى". بحوث العمليات . 8 (3): 362-380 . doi : 10.1287/opre.8.3.362 . ISSN 0030-364X .
- ↑ كاراتزاس، يوانيس؛ شريف، ستيفن إي. (1998). أساليب التمويل الرياضي . النمذجة العشوائية والاحتمالات التطبيقية. المجلد 39. doi : 10.1007/b98840 . ISBN 978-0-387-94839-3.
مصادر
- توماس س. فيرغسون ، " من حل مشكلة السكرتيرة؟ " العلوم الإحصائية ، المجلد 4، 282-296، (1989)
- إف. توماس بروس . "اجمع الاحتمالات إلى واحد وتوقف." حوليات الاحتمالات ، المجلد 28، 1384-1391، (2000)
- ف. توماس بروس. "فن اتخاذ القرار الصحيح: لماذا يرغب صناع القرار في معرفة خوارزمية الاحتمالات." نشرة الجمعية الرياضية الأوروبية ، العدد 62، 14-20، (2006)
- روغرسون، ر.؛ شيمر، ر.؛ رايت، ر. (2005). "نماذج البحث النظرية لسوق العمل: دراسة استقصائية" (ملف PDF) . مجلة الأدب الاقتصادي . 43 (4): 959-988 . doi : 10.1257/002205105775362014 . JSTOR 4129380 .
- التمويل الرياضي
- الأساليب التسلسلية
- البرمجة الديناميكية
