التكييف والاستقرار العددي
يقيس التكييف مدى حساسية حل مشكلة ما للاضطرابات في بياناتها، بينما يقيس الاستقرار مقدار الخطأ الذي تضيفه خوارزمية معينة في حسابات الدقة المحدودة؛ ويحددان معًا دقة النتيجة المحسوبة.
Definition
التكييف هو خاصية جوهرية للمشكلة تصف كيفية استجابة حلها الدقيق لاضطرابات المدخلات، في حين أن الاستقرار العددي هو خاصية للخوارزمية تصف مدى دقتها في حل المشكلة على الرغم من أخطاء التقريب.
Scope
يغطي هذا الموضوع حسابات الفاصلة العائمة وتقريب الوحدة، ورقم تكييف المشكلات مثل حل الأنظمة الخطية وتقييم الدوال، والخطأ الأمامي والخلفي، والقاعدة التجريبية التي تنص على أن الخطأ الأمامي محدود برقم التكييف مضروبًا في الخطأ الخلفي، وتعريفات الاستقرار الخلفي والأمامي.
Core questions
- كيف يتم نمذجة حسابات الفاصلة العائمة، وما هو دور تقريب الوحدة؟
- ماذا يحدد رقم تكييف المشكلة، وكيف يتم تعريفه للأنظمة الخطية ولتقييم الدوال؟
- كيف يرتبط الخطأ الأمامي والخطأ الخلفي والتكييف؟
- ما الذي يميز خوارزمية مستقرة خلفيًا عن خوارزمية مستقرة أماميًا، ولماذا يعتبر الاستقرار الخلفي هو الهدف المعتاد؟
Key theories
- رقم التكييف
- رقم التكييف هو العامل الذي يمكن أن تتضخم به الاضطرابات النسبية في البيانات في الحل؛ بالنسبة للنظام الخطي، فإنه يساوي معيار المصفوفة مضروبًا في معيار معكوسها، ويضع حدًا للدقة القابلة للتحقيق بغض النظر عن الخوارزمية.
- تحليل الخطأ الخلفي
- بدلاً من تحديد الخطأ في الإجابة مباشرة، يوضح المرء أن النتيجة المحسوبة هي الإجابة الدقيقة لمشكلة قريبة؛ تكون الخوارزمية مستقرة خلفيًا عندما تختلف هذه المشكلة القريبة عن الأصلية بمقدار من رتبة تقريب الوحدة.
- الخطأ الأمامي يساوي رقم التكييف مضروبًا في الخطأ الخلفي
- تنص القاعدة التجريبية المركزية للتحليل العددي على أن الخطأ الأمامي (الحل) محدود تقريبًا برقم تكييف المشكلة مضروبًا في الخطأ الخلفي، مما يفصل بوضوح مساهمات المشكلة والخوارزمية.
Mechanisms
تمثل أرقام الفاصلة العائمة الأعداد الحقيقية بدقة محدودة، لذا فإن كل عملية أساسية تتكبد خطأً نسبيًا محدودًا بتقريب الوحدة. يتتبع تحليل الخطأ الخلفي هذه الأخطاء عن طريق نسبتها إلى اضطرابات البيانات بدلاً من النتيجة، مما ينتج عنه حدود على الشكل التالي: الإجابة المحسوبة تساوي الإجابة الدقيقة لمدخل مضطرب. يؤدي الجمع بين حد الخطأ الخلفي ورقم تكييف المشكلة إلى تقدير الخطأ الأمامي، مما يفسر لماذا يمكن لخوارزمية مستقرة أن تفقد الدقة في مشكلة سيئة التكييف.
Clinical relevance
يعد فهم التكييف والاستقرار ضروريًا كلما كان يجب الوثوق بالنتائج المحسوبة: فهو يفسر سبب فقدان بعض صيغ المربعات الصغرى للدقة، ويوجه اختيار الخوارزميات المستقرة والصيغ جيدة الوضع عبر المحاكاة وتحليل البيانات، ويحذر عندما لا يمكن لنموذج سيء التكييف أن ينتج إجابة موثوقة بغض النظر عن الطريقة المستخدمة.
History
تم وضع الإطار المفاهيمي بواسطة ويلكنسون (Wilkinson)، الذي أوضح تحليله للخطأ الخلفي في الستينيات الموثوقية العملية لطريقة الحذف الغاوسي، وتم لاحقًا منهجته وتوسيعه عبر المجال بأكمله بواسطة هايهام (Higham)؛ وقد وضع معيار IEEE 754 للفاصلة العائمة لاحقًا سلوك التقريب على أساس ثابت وقابل للنقل.
Key figures
- James H. Wilkinson
- Nicholas J. Higham
- Lloyd N. Trefethen
- William Kahan
Related topics
Seminal works
- trefethen1997
- higham2002
Frequently asked questions
- إذا كانت الخوارزمية مستقرة، فهل ستعطي دائمًا إجابة دقيقة؟
- لا. تضمن الخوارزمية المستقرة خلفيًا فقط أن إجابتها دقيقة لمشكلة قريبة؛ إذا كانت المشكلة نفسها سيئة التكييف، فقد يكون لهذه المشكلة القريبة حل مختلف تمامًا، وبالتالي قد يظل الخطأ الأمامي كبيرًا.
- ما هو تقريب الوحدة؟
- تقريب الوحدة هو الحد الأقصى للخطأ النسبي الذي يحدث عندما يتم تقريب عدد حقيقي إلى أقرب عدد فاصلة عائمة؛ إنه يحدد دقة حسابات الفاصلة العائمة ويظهر في كل حد استقرار تقريبًا.