कंडीशनिंग और संख्यात्मक स्थिरता

कंडीशनिंग यह मापती है कि किसी समस्या का समाधान उसके डेटा में होने वाले विक्षोभों के प्रति कितना संवेदनशील है, जबकि स्थिरता यह मापती है कि एक विशेष एल्गोरिथम सीमित-परिशुद्धता अंकगणित में कितनी त्रुटि जोड़ता है; ये दोनों मिलकर परिकलित परिणाम की सटीकता निर्धारित करते हैं।

Definition

कंडीशनिंग किसी समस्या का एक आंतरिक गुण है जो यह बताता है कि इसका सटीक समाधान इनपुट के विक्षोभों पर कैसे प्रतिक्रिया करता है, जबकि संख्यात्मक स्थिरता एक एल्गोरिथम का एक गुण है जो यह बताता है कि यह राउंडिंग त्रुटियों के बावजूद समस्या को कितनी ईमानदारी से हल करता है।

Scope

यह विषय फ्लोटिंग-पॉइंट अंकगणित और यूनिट राउंडऑफ, रैखिक प्रणालियों को हल करने और फलनों का मूल्यांकन करने जैसी समस्याओं की कंडीशन संख्या, फॉरवर्ड और बैकवर्ड त्रुटि, इस सामान्य नियम को कि फॉरवर्ड त्रुटि कंडीशन संख्या गुणा बैकवर्ड त्रुटि से सीमित होती है, और बैकवर्ड तथा फॉरवर्ड स्थिरता की परिभाषाओं को शामिल करता है।

Core questions

• फ्लोटिंग-पॉइंट अंकगणित को कैसे प्रतिरूपित किया जाता है, और यूनिट राउंडऑफ की क्या भूमिका है?
• किसी समस्या की कंडीशन संख्या क्या मापती है, और इसे रैखिक प्रणालियों और फलन मूल्यांकन के लिए कैसे परिभाषित किया जाता है?
• फॉरवर्ड त्रुटि, बैकवर्ड त्रुटि और कंडीशनिंग कैसे संबंधित हैं?
• एक बैकवर्ड-स्थिर एल्गोरिथम एक फॉरवर्ड-स्थिर एल्गोरिथम से कैसे भिन्न होता है, और बैकवर्ड स्थिरता सामान्य लक्ष्य क्यों है?

Key theories

कंडीशन संख्या

कंडीशन संख्या वह कारक है जिससे डेटा में सापेक्ष विक्षोभ समाधान में प्रवर्धित हो सकते हैं; एक रैखिक प्रणाली के लिए यह मैट्रिक्स नॉर्म गुणा व्युत्क्रम के नॉर्म के बराबर होती है, और यह एल्गोरिथम से स्वतंत्र रूप से प्राप्त की जा सकने वाली सटीकता पर एक सीमा निर्धारित करती है।

बैकवर्ड त्रुटि विश्लेषण

उत्तर में त्रुटि को सीधे सीमित करने के बजाय, यह दिखाया जाता है कि परिकलित परिणाम एक आसन्न समस्या का सटीक उत्तर है; एक एल्गोरिथम बैकवर्ड स्थिर होता है जब यह आसन्न समस्या मूल से यूनिट राउंडऑफ के क्रम की मात्रा से भिन्न होती है।

फॉरवर्ड त्रुटि बराबर कंडीशन संख्या गुणा बैकवर्ड त्रुटि

संख्यात्मक विश्लेषण का केंद्रीय सामान्य नियम यह बताता है कि फॉरवर्ड (समाधान) त्रुटि लगभग समस्या की कंडीशन संख्या को बैकवर्ड त्रुटि से गुणा करने पर सीमित होती है, जो समस्या और एल्गोरिथम के योगदान को स्पष्ट रूप से अलग करती है।

Mechanisms

फ्लोटिंग-पॉइंट संख्याएँ वास्तविक संख्याओं को सीमित परिशुद्धता के साथ दर्शाती हैं, इसलिए प्रत्येक प्राथमिक संक्रिया में यूनिट राउंडऑफ द्वारा सीमित एक सापेक्ष त्रुटि होती है। बैकवर्ड त्रुटि विश्लेषण इन त्रुटियों को परिणाम के बजाय डेटा के विक्षोभों के लिए जिम्मेदार ठहराकर ट्रैक करता है, जिससे इस प्रकार की सीमाएँ उत्पन्न होती हैं: परिकलित उत्तर एक विक्षुब्ध इनपुट का सटीक उत्तर है। बैकवर्ड त्रुटि सीमा को समस्या की कंडीशन संख्या के साथ संयोजित करने पर एक फॉरवर्ड त्रुटि अनुमान प्राप्त होता है, जो यह बताता है कि एक स्थिर एल्गोरिथम भी एक खराब-कंडीशन वाली समस्या पर सटीकता क्यों खो सकता है।

Clinical relevance

जब भी परिकलित परिणामों पर भरोसा करना आवश्यक हो, कंडीशनिंग और स्थिरता को समझना आवश्यक है: यह बताता है कि कुछ लीस्ट-स्क्वायर सूत्र सटीकता क्यों खो देते हैं, सिमुलेशन और डेटा विश्लेषण में स्थिर एल्गोरिदम और सुव्यवस्थित सूत्रों के चयन का मार्गदर्शन करता है, और चेतावनी देता है कि एक खराब-कंडीशन वाला मॉडल उपयोग की गई विधि की परवाह किए बिना विश्वसनीय उत्तर नहीं दे सकता है।

History

वैचारिक ढाँचा विल्किंसन द्वारा स्थापित किया गया था, जिनके 1960 के दशक में बैकवर्ड त्रुटि विश्लेषण ने गाऊसी विलोपन की व्यावहारिक विश्वसनीयता को समझाया, और बाद में हाईम द्वारा पूरे क्षेत्र में व्यवस्थित और विस्तारित किया गया; IEEE 754 फ्लोटिंग-पॉइंट मानक ने बाद में राउंडिंग व्यवहार को एक ठोस और पोर्टेबल आधार पर रखा।

Key figures

• James H. Wilkinson
• Nicholas J. Higham
• Lloyd N. Trefethen
• William Kahan

Seminal works

• trefethen1997
• higham2002

Frequently asked questions

यदि कोई एल्गोरिथम स्थिर है, तो क्या वह हमेशा सटीक उत्तर देगा?

नहीं। एक बैकवर्ड-स्थिर एल्गोरिथम केवल यह गारंटी देता है कि उसका उत्तर एक आसन्न समस्या के लिए सटीक है; यदि समस्या स्वयं खराब-कंडीशन वाली है, तो उस आसन्न समस्या का समाधान बहुत भिन्न हो सकता है, इसलिए फॉरवर्ड त्रुटि अभी भी बड़ी हो सकती है।

यूनिट राउंडऑफ क्या है?

यूनिट राउंडऑफ वह अधिकतम सापेक्ष त्रुटि है जो तब होती है जब एक वास्तविक संख्या को निकटतम फ्लोटिंग-पॉइंट संख्या में पूर्णांकित किया जाता है; यह फ्लोटिंग-पॉइंट अंकगणित की ग्रैन्युलैरिटी निर्धारित करता है और अनिवार्य रूप से हर स्थिरता सीमा में दिखाई देता है।