पूर्व शर्त

From alpha
Jump to navigation Jump to search

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

रैखिक प्रणालियों के लिए पूर्व शर्त

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

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

विवरण

उपरोक्त मूल रेखीय प्रणाली को हल करने के बजाय, सही पूर्वानुकूलित प्रणाली पर विचार किया जा सकता है

और हल करें

के लिए और

के लिए .

वैकल्पिक रूप से, कोई वाम पूर्वानुकूलित प्रणाली को हल कर सकता है

दोनों प्रणालियाँ मूल प्रणाली के समान समाधान देती हैं जब तक कि प्रीकंडीशनर मैट्रिक्स विलक्षण है। वाम पूर्वानुकूलन अधिक पारंपरिक है।

दो तरफा पूर्व शर्त प्रणाली

फायदेमंद हो सकता है, उदाहरण के लिए, मैट्रिक्स समरूपता को संरक्षित करने के लिए: यदि मूल मैट्रिक्स वास्तविक सममित और वास्तविक पूर्व शर्त है और संतुष्ट करना फिर पूर्व शर्त मैट्रिक्स सममित भी है। दो तरफा पूर्व शर्त विकर्ण स्केलिंग के लिए आम है जहां पूर्व शर्त है और विकर्ण हैं और स्केलिंग मूल मैट्रिक्स के कॉलम और पंक्तियों दोनों पर लागू होती है , उदाहरण के लिए, मैट्रिक्स की प्रविष्टियों की गतिशील सीमा को कम करने के लिए।

पूर्वानुकूलन का लक्ष्य स्थिति संख्या को कम करना है, उदाहरण के लिए, बाएँ या दाएँ पूर्वानुकूलित सिस्टम मैट्रिक्स की या . छोटी स्थिति संख्याएं पुनरावृत्त सॉल्वरों के तेजी से अभिसरण का लाभ उठाती हैं और सिस्टम मैट्रिक्स और दाएं हाथ की ओर गड़बड़ी के संबंध में समाधान की स्थिरता में सुधार करती हैं, उदाहरण के लिए, कम परिशुद्धता (कंप्यूटर) का उपयोग करके मैट्रिक्स प्रविष्टियों के अधिक आक्रामक परिमाणीकरण (सिग्नल प्रोसेसिंग) की अनुमति विज्ञान)।

पूर्व शर्त मैट्रिक्स या शायद ही कभी स्पष्ट रूप से बनता है। केवल प्रीकंडीशनर लगाने की क्रिया ही ऑपरेशन को हल करती है किसी दिए गए वेक्टर को गणना करने की आवश्यकता हो सकती है।

आम तौर पर पसंद में एक व्यापार-बंद होता है . ऑपरेटर के बाद से पुनरावृत्ति रैखिक सॉल्वर के प्रत्येक चरण पर लागू किया जाना चाहिए, इसे लागू करने की एक छोटी सी लागत (कंप्यूटिंग समय) होनी चाहिए संचालन। इसलिए सबसे सस्ता प्रीकंडीशनर होगा के बाद से जाहिर है, इसका परिणाम मूल रैखिक प्रणाली में होता है और पूर्व शर्त कुछ भी नहीं करती है। दूसरे छोर पर चुनाव है देता है जिसकी इष्टतम स्थिति संख्या 1 है, जिसके लिए अभिसरण के लिए एकल पुनरावृत्ति की आवश्यकता होती है; हालांकि इस मामले में और पूर्वानुकूलन को लागू करना मूल प्रणाली को हल करने जितना ही कठिन है। एक इसलिए चुनता है इन दो चरम सीमाओं के बीच कहीं, ऑपरेटर को रखते हुए रैखिक पुनरावृत्तियों की न्यूनतम संख्या प्राप्त करने के प्रयास में यथासंभव सरल। विशिष्ट पूर्वानुकूलन दृष्टिकोणों के कुछ उदाहरण नीचे दिए गए हैं।

पूर्वनिर्धारित पुनरावृत्त तरीके

के लिए पूर्व शर्त पुनरावृत्त तरीके ज्यादातर मामलों में, गणितीय रूप से पूर्वानुकूलित प्रणाली पर लागू मानक पुनरावृत्ति विधियों के समतुल्य हैं उदाहरण के लिए, हल करने के लिए मानक रिचर्डसन पुनरावृति है

पूर्व शर्त प्रणाली के लिए लागू यह एक पूर्व शर्त विधि बन जाती है

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


मैट्रिक्स विभाजन

एक पुनरावृत्त विधि#स्थिर पुनरावृत्त विधियाँ मैट्रिक्स विभाजन द्वारा निर्धारित की जाती हैं और पुनरावृत्ति मैट्रिक्स . ये मानते हुए

  • सिस्टम मैट्रिक्स सममित मैट्रिक्स सकारात्मक-निश्चित मैट्रिक्स है|सकारात्मक-निश्चित,
  • विभाजन मैट्रिक्स सममित मैट्रिक्स सकारात्मक-निश्चित मैट्रिक्स है|सकारात्मक-निश्चित,
  • स्थिर पुनरावृत्त विधि अभिसारी है, जैसा कि द्वारा निर्धारित किया गया है ,

हालत संख्या से ऊपर घिरा हुआ है


ज्यामितीय व्याख्या

एक सममित मैट्रिक्स के लिए सकारात्मक-निश्चित मैट्रिक्स मैट्रिक्स पूर्व शर्त आमतौर पर सममित सकारात्मक निश्चित होने के लिए भी चुना जाता है। पूर्व शर्त संचालिका तब भी सममित सकारात्मक निश्चित है, लेकिन के संबंध में -आधारित स्केलर उत्पाद। इस मामले में, एक पूर्वानुकूलनक लगाने में वांछित प्रभाव पूर्वानुकूल संकारक का द्विघात रूप बनाना है के प्रति सम्मान के साथ आधारित स्केलर उत्पाद लगभग गोलाकार होना चाहिए।[1]


चर और गैर रेखीय पूर्व शर्त

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

यादृच्छिक पूर्व शर्त

वेरिएबल प्रीकंडीशनिंग का एक दिलचस्प विशेष मामला रैंडम प्रीकंडीशनिंग है, उदाहरण के लिए, रैंडम कोर्स ग्रिड पर multigrid प्रीकंडीशनिंग।[2] यदि ढतला हुआ वंश विधियों में उपयोग किया जाता है, तो रैंडम प्रीकंडीशनिंग को स्टोकेस्टिक ग्रेडिएंट डिसेंट के कार्यान्वयन के रूप में देखा जा सकता है और फिक्स्ड प्रीकंडिशनिंग की तुलना में तेजी से अभिसरण हो सकता है, क्योंकि यह ग्रेडिएंट डिसेंट के एसिम्प्टोटिक ज़िग-ज़ैग पैटर्न को तोड़ता है।

स्पेक्ट्रल रूप से समकक्ष पूर्व शर्त

आंशिक अंतर समीकरणों के सन्निकटन से उत्पन्न रैखिक प्रणालियों के पुनरावृत्त समाधान के लिए पूर्वानुकूलन का सबसे आम उपयोग है। सन्निकटन गुणवत्ता जितनी बेहतर होगी, मैट्रिक्स का आकार उतना ही बड़ा होगा। ऐसे मामले में, एक ओर, इष्टतम पूर्वानुकूलन का लक्ष्य वर्णक्रमीय स्थिति को संख्या बनाना है ऊपर से मैट्रिक्स आकार के एक स्थिर स्वतंत्र द्वारा बाध्य होना, जिसे एवगेनी जॉर्जिएविच डी'याकोनोव|डायकोनोव द्वारा वर्णक्रमीय समकक्ष पूर्वानुकूलन कहा जाता है। दूसरी ओर, के आवेदन की लागत गुणन की लागत के लिए आदर्श रूप से आनुपातिक (मैट्रिक्स आकार से स्वतंत्र भी) होना चाहिए एक वेक्टर द्वारा।

उदाहरण

जैकोबी (या विकर्ण) पूर्व शर्त

जैकोबी प्रीकंडीशनर प्रीकंडिशनिंग के सबसे सरल रूपों में से एक है, जिसमें प्रीकंडीशनर को मैट्रिक्स के विकर्ण के रूप में चुना जाता है। यह मानते हुए , हम पाते हैं यह तिरछे प्रभावी मैट्रिक्स के लिए कुशल है . इसका उपयोग बीम समस्याओं या 1-डी समस्याओं के लिए विश्लेषण सॉफ्टवेयर में किया जाता है (EX:- STAAD PRO)

एसपीए

विरल अनुमानित उलटा पूर्व शर्त कम करता है कहां फ्रोबेनियस मानदंड है और विरल मैट्रिसेस के कुछ उपयुक्त विवश सेट से है। फ्रोबेनियस मानदंड के तहत, यह कई स्वतंत्र न्यूनतम-वर्ग समस्याओं (प्रत्येक स्तंभ के लिए एक) को हल करने के लिए कम कर देता है। में प्रविष्टियाँ कुछ स्पार्सिटी पैटर्न तक ही सीमित होना चाहिए या समस्या उतनी ही कठिन और समय लेने वाली बनी रहती है जितनी कि इसका सटीक उलटा पता लगाना . यह विधि एम.जे. ग्रोटे और टी. हकल द्वारा स्पार्सिटी पैटर्न के चयन के लिए एक दृष्टिकोण के साथ पेश की गई थी।[3]


अन्य पूर्व शर्त

बाहरी कड़ियाँ


eigenvalue समस्याओं के लिए पूर्व शर्त

Eigenvalue समस्याओं को कई वैकल्पिक तरीकों से तैयार किया जा सकता है, जिनमें से प्रत्येक अपनी पूर्व शर्त के लिए अग्रणी है। पारंपरिक पूर्व शर्त तथाकथित वर्णक्रमीय परिवर्तनों पर आधारित है। लक्षित eigenvalue (लगभग) जानने के बाद, संबंधित सजातीय रैखिक प्रणाली को हल करके संबंधित eigenvector की गणना कर सकते हैं, इस प्रकार रैखिक प्रणाली के लिए पूर्व शर्त का उपयोग करने की अनुमति मिलती है। अंत में, ईगेनवैल्यू समस्या को रेले भागफल के अनुकूलन के रूप में तैयार करने से दृश्य के लिए पूर्व शर्त वाली अनुकूलन तकनीकें सामने आती हैं।[4]


वर्णक्रमीय परिवर्तन

एक eigenvalue समस्या के लिए रैखिक प्रणालियों के अनुरूप मैट्रिक्स को बदलने के लिए किसी को लुभाया जा सकता है मैट्रिक्स के साथ एक पूर्व शर्त का उपयोग करना . हालांकि, यह तभी समझ में आता है जब egenvectors की मांग की जा रही हो और समान हैं। यह वर्णक्रमीय परिवर्तनों का मामला है।

सबसे लोकप्रिय स्पेक्ट्रल ट्रांसफॉर्मेशन तथाकथित शिफ्ट-एंड-इनवर्ट ट्रांसफॉर्मेशन है, जहां किसी दिए गए स्केलर के लिए , जिसे शिफ्ट कहा जाता है, मूल eigenvalue समस्या शिफ्ट-एंड-इनवर्ट समस्या से बदल दिया गया है . eigenvectors संरक्षित हैं, और एक पुनरावृत्त सॉल्वर, जैसे, शक्ति पुनरावृत्ति द्वारा शिफ्ट-एंड-इनवर्ट समस्या को हल कर सकते हैं। यह व्युत्क्रम पुनरावृत्ति देता है, जो आम तौर पर ईजेनवेक्टर में परिवर्तित हो जाता है, जो शिफ्ट के निकटतम ईजेनवेल्यू के अनुरूप होता है। . रेले भागफल पुनरावृत्ति एक चर बदलाव के साथ एक बदलाव और उलटा तरीका है।

वर्णक्रमीय परिवर्तन ईगेनवैल्यू समस्याओं के लिए विशिष्ट हैं और रैखिक प्रणालियों के लिए कोई एनालॉग नहीं हैं। उन्हें शामिल परिवर्तन की सटीक संख्यात्मक गणना की आवश्यकता होती है, जो बड़ी समस्याओं के लिए मुख्य अड़चन बन जाती है।

सामान्य शर्त

लीनियर सिस्टम से घनिष्ठ संबंध बनाने के लिए, मान लें कि लक्षित आइगेनवैल्यू जाना जाता है (लगभग)। तब कोई सजातीय रैखिक प्रणाली से संबंधित ईजेनवेक्टर की गणना कर सकता है . लीनियर सिस्टम के लिए लेफ्ट प्रीकंडीशनिंग की अवधारणा का उपयोग करते हुए, हम प्राप्त करते हैं , कहां पूर्व शर्त है, जिसे हम रिचर्डसन पुनरावृत्ति का उपयोग करके हल करने का प्रयास कर सकते हैं


आदर्श पूर्व शर्त[4]

मूर-पेनरोज़ स्यूडोइनवर्स पूर्व शर्त है, जो ऊपर रिचर्डसन पुनरावृत्ति को एक चरण में अभिसरण बनाता है , जबसे , द्वारा चिह्नित , आइगेनस्पेस पर ऑर्थोगोनल प्रोजेक्टर है, जिसके अनुरूप है . विकल्प तीन स्वतंत्र कारणों से अव्यावहारिक है। पहला, वास्तव में ज्ञात नहीं है, हालांकि इसे इसके सन्निकटन से बदला जा सकता है . दूसरा, सटीक मूर-पेनरोज स्यूडोइनवर्स को ईजेनवेक्टर के ज्ञान की आवश्यकता होती है, जिसे हम खोजने की कोशिश कर रहे हैं। इसे जैकोबी-डेविडसन प्रीकंडीशनर के उपयोग से कुछ हद तक रोका जा सकता है , कहां अनुमानित . अंतिम, लेकिन कम से कम नहीं, इस दृष्टिकोण को सिस्टम मैट्रिक्स के साथ रैखिक प्रणाली के सटीक संख्यात्मक समाधान की आवश्यकता होती है , जो बड़ी समस्याओं के लिए उतना ही महंगा हो जाता है, जितना ऊपर दी गई शिफ्ट-एंड-इनवर्ट विधि। यदि समाधान पर्याप्त रूप से सटीक नहीं है, तो दूसरा चरण बेमानी हो सकता है।

व्यावहारिक पूर्व शर्त

आइए हम पहले सैद्धांतिक मूल्य को बदलें इसके वर्तमान सन्निकटन के साथ उपरोक्त रिचर्डसन पुनरावृति में एक व्यावहारिक एल्गोरिदम प्राप्त करने के लिए

लोकप्रिय विकल्प है रेले भागफल समारोह का उपयोग करना . व्यावहारिक पूर्वानुकूलन उतना ही तुच्छ हो सकता है जितना कि केवल प्रयोग करना या आइगेनवैल्यू समस्याओं के कुछ वर्गों के लिए दक्षता संख्यात्मक और सैद्धांतिक दोनों रूप से प्रदर्शित किया गया है। विकल्प ईजेनवैल्यू समस्याओं के लिए आसानी से उपयोग करने की अनुमति देता है, रैखिक प्रणालियों के लिए विकसित किए गए विभिन्न प्रकार के प्रीकंडीशनर।

बदलते मूल्य के कारण , रिचर्डसन पुनरावृति जैसे सरलतम तरीकों के लिए भी, रैखिक प्रणाली के मामले की तुलना में एक व्यापक सैद्धांतिक अभिसरण विश्लेषण अधिक कठिन है।

बाहरी कड़ियाँ


अनुकूलन में पूर्व शर्त

ढाल वंश का चित्रण

ऑप्टिमाइज़ेशन (गणित) में, प्रीकंडीशनिंग का उपयोग आमतौर पर प्रथम-क्रम सन्निकटन | प्रथम-क्रम अनुकूलन (गणित) एल्गोरिदम को गति देने के लिए किया जाता है।

विवरण

उदाहरण के लिए, वास्तविक-मूल्यवान फ़ंक्शन का स्थानीय न्यूनतम पता लगाने के लिए ढाल डिसेंट का उपयोग करते हुए, व्यक्ति ग्रेडिएंट के ऋणात्मक के समानुपाती कदम उठाता है (या अनुमानित ग्रेडिएंट) वर्तमान बिंदु पर फ़ंक्शन का:

प्रीकंडीशनर को ग्रेडिएंट पर लागू किया जाता है:

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

लीनियर सिस्टम से कनेक्शन

एक द्विघात समारोह का न्यूनतम

,

कहां और वास्तविक कॉलम-वैक्टर हैं और एक वास्तविक सममित मैट्रिक्स सकारात्मक-निश्चित मैट्रिक्स है, बिल्कुल रैखिक समीकरण का समाधान है . तब से , कम से कम करने की पूर्व शर्त ढाल वंश विधि है

यह रेखीय समीकरणों की प्रणाली को हल करने के लिए पूर्व शर्त रिचर्डसन पुनरावृति है।

आइगेनवैल्यू समस्याओं से कनेक्शन

रेले भागफल का न्यूनतम

कहां एक वास्तविक गैर-शून्य स्तंभ-वेक्टर है और एक वास्तविक सममित मैट्रिक्स सकारात्मक-निश्चित मैट्रिक्स है, का सबसे छोटा eigenvalue है , जबकि मिनिमाइज़र संबंधित आइजन्वेक्टर है। तब से के लिए आनुपातिक है , कम से कम करने की पूर्व शर्त ढाल वंश विधि है

यह eigenvalue समस्याओं को हल करने के लिए पूर्वानुकूलित रिचर्डसन पुनरावृति का एक एनालॉग है।

परिवर्तनीय पूर्व शर्त

कई मामलों में, स्तर सेट के बदलते आकार के लिए समायोजित करने के लिए पुनरावृत्त एल्गोरिथम के कुछ या यहां तक ​​​​कि हर चरण में पूर्व शर्त को बदलना फायदेमंद हो सकता है, जैसा कि

हालाँकि, यह ध्यान में रखना चाहिए कि एक कुशल पूर्व-कंडीशनर का निर्माण अक्सर कम्प्यूटेशनल रूप से महंगा होता है। प्रीकंडिशनर को अपडेट करने की बढ़ी हुई लागत तेजी से अभिसरण के सकारात्मक प्रभाव को आसानी से ओवरराइड कर सकती है।

संदर्भ

  1. Shewchuk, Jonathan Richard (August 4, 1994). "कष्टदायी दर्द के बिना कंजुगेट ग्रेडिएंट विधि का परिचय" (PDF).
  2. Henricus Bouwmeester, Andrew Dougherty, Andrew V Knyazev. Nonsymmetric Preconditioning for Conjugate Gradient and Steepest Descent Methods. Procedia Computer Science, Volume 51, Pages 276-285, Elsevier, 2015. https://doi.org/10.1016/j.procs.2015.05.241
  3. Grote, M. J. & Huckle, T. (1997). "विरल अनुमानित व्युत्क्रमों के साथ समानांतर पूर्व शर्त". SIAM Journal on Scientific Computing. 18 (3): 838–53. doi:10.1137/S1064827594276552.
  4. 4.0 4.1 Knyazev, Andrew V. (1998). "पहले से तैयार ईजेन्सोल्वर - एक ऑक्सीमोरोन?". Electronic Transactions on Numerical Analysis. 7: 104–123.
  5. Himmelblau, David M. (1972). एप्लाइड नॉनलाइनियर प्रोग्रामिंग. New York: McGraw-Hill. pp. 78–83. ISBN 0-07-028921-2.


स्रोत

श्रेणी:संख्यात्मक रैखिक बीजगणित