लेवेनबर्ग-मार्क्वार्ड एल्गोरिदम: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 2: Line 2:
गणित और कंप्यूटिंग में, '''लेवेनबर्ग-मार्क्वार्ड एल्गोरिदम''' ('''एलएमए''' या सिर्फ '''एलएम'''), जिसे डैम्प्ड न्यूनतम-वर्ग (डीएलएस) विधि के रूप में भी जाना जाता है, इसका उपयोग गैर-रेखीय न्यूनतम वर्ग समस्याओं का समाधान करने के लिए किया जाता है। ये न्यूनतमकरण समस्याएँ विशेष रूप से न्यूनतम वर्ग [[वक्र फिटिंग]] में उत्पन्न होती हैं। एलएमए गॉस-न्यूटन एल्गोरिदम (जीएनए) और [[ ढतला हुआ वंश | ग्रेडिएंट डिसेंट]] की विधि के बीच अंतरण करता है। एलएमए जीएनए की तुलना में अधिक [[मजबूती (कंप्यूटर विज्ञान)|मजबूत (कंप्यूटर विज्ञान)]] है, जिसका अर्थ है कि कई स्थितियों में यह अंतिम न्यूनतम से बहुत दूर से प्रारंभ होने वाला समाधान ढूंढता है। अच्छे व्यवहार वाले कार्यों और उचित प्रारंभिक मापदंडों के लिए, एलएमए जीएनए की तुलना में धीमा होता है। ट्रस्ट क्षेत्र दृष्टिकोण का उपयोग करके एलएमए को गॉस-न्यूटन के रूप में भी देखा जा सकता है।
गणित और कंप्यूटिंग में, '''लेवेनबर्ग-मार्क्वार्ड एल्गोरिदम''' ('''एलएमए''' या सिर्फ '''एलएम'''), जिसे डैम्प्ड न्यूनतम-वर्ग (डीएलएस) विधि के रूप में भी जाना जाता है, इसका उपयोग गैर-रेखीय न्यूनतम वर्ग समस्याओं का समाधान करने के लिए किया जाता है। ये न्यूनतमकरण समस्याएँ विशेष रूप से न्यूनतम वर्ग [[वक्र फिटिंग]] में उत्पन्न होती हैं। एलएमए गॉस-न्यूटन एल्गोरिदम (जीएनए) और [[ ढतला हुआ वंश | ग्रेडिएंट डिसेंट]] की विधि के बीच अंतरण करता है। एलएमए जीएनए की तुलना में अधिक [[मजबूती (कंप्यूटर विज्ञान)|मजबूत (कंप्यूटर विज्ञान)]] है, जिसका अर्थ है कि कई स्थितियों में यह अंतिम न्यूनतम से बहुत दूर से प्रारंभ होने वाला समाधान ढूंढता है। अच्छे व्यवहार वाले कार्यों और उचित प्रारंभिक मापदंडों के लिए, एलएमए जीएनए की तुलना में धीमा होता है। ट्रस्ट क्षेत्र दृष्टिकोण का उपयोग करके एलएमए को गॉस-न्यूटन के रूप में भी देखा जा सकता है।


एल्गोरिथम पहली बार 1944 में [[केनेथ लेवेनबर्ग]] द्वारा [[फ्रैंकफोर्ड शस्त्रागार|फ्रैंकफोर्ड आर्मी आर्सेनल]] में काम करते समय प्रकाशित किया गया था।<ref name="Levenberg"/> इसे 1963 में ड्यूपॉन्ट में [[सांख्यिकीविद|सांख्यिकीविद्]] के रूप में काम करने वाले [[डोनाल्ड मार्क्वार्ट]]<ref name="Marquardt"/> द्वारा और स्वतंत्र रूप से गिरार्ड विने<ref name="Girard"/> और मॉरिसन<ref name="Wynne"/> द्वारा फिर से खोजा गया था।<ref name="Morrison"/>
एल्गोरिथम पसमाधानी बार 1944 में [[केनेथ लेवेनबर्ग]] द्वारा [[फ्रैंकफोर्ड शस्त्रागार|फ्रैंकफोर्ड आर्मी आर्सेनल]] में काम करते समय प्रकाशित किया गया था।<ref name="Levenberg"/> इसे 1963 में ड्यूपॉन्ट में [[सांख्यिकीविद|सांख्यिकीविद्]] के रूप में काम करने वाले [[डोनाल्ड मार्क्वार्ट]]<ref name="Marquardt"/> द्वारा और इंडिपेंडेंट रूप से गिरार्ड विने<ref name="Girard"/> और मॉरिसन<ref name="Wynne"/> द्वारा फिर से खोजा गया था।<ref name="Morrison"/>


सामान्य कर्व-फिटिंग समस्याओं का समाधान करने के लिए कई सॉफ्टवेयर एप्लीकेशनों में एलएमए का उपयोग किया जाता है। गॉस-न्यूटन एल्गोरिदम का उपयोग करके यह अधिकांश प्रथम-क्रम विधियों की तुलना में तेज़ी से परिवर्तित होता है।<ref>{{cite journal|title=Improved Computation for Levenberg–Marquardt Training|last1=Wiliamowski|first1=Bogdan|last2=Yu|first2=Hao|journal=IEEE Transactions on Neural Networks and Learning Systems|volume=21|issue=6|date=June 2010|url=https://www.eng.auburn.edu/~wilambm/pap/2010/Improved%20Computation%20for%20LM%20Training.pdf}}</ref> चूँकि, अन्य पुनरावृत्त अनुकूलन एल्गोरिदम की तरह, एलएमए केवल [[स्थानीय न्यूनतम]] पाता है, जो जरूरी नहीं कि [[वैश्विक न्यूनतम]] हो।
सामान्य कर्व-फिटिंग समस्याओं का समाधान करने के लिए कई सॉफ्टवेयर एप्लीकेशनों में एलएमए का उपयोग किया जाता है। गॉस-न्यूटन एल्गोरिदम का उपयोग करके यह अधिकांश प्रथम-क्रम विधियों की तुलना में तेज़ी से परिवर्तित होता है।<ref>{{cite journal|title=Improved Computation for Levenberg–Marquardt Training|last1=Wiliamowski|first1=Bogdan|last2=Yu|first2=Hao|journal=IEEE Transactions on Neural Networks and Learning Systems|volume=21|issue=6|date=June 2010|url=https://www.eng.auburn.edu/~wilambm/pap/2010/Improved%20Computation%20for%20LM%20Training.pdf}}</ref> चूँकि, अन्य पुनरावृत्त अनुकूलन एल्गोरिदम की तरह, एलएमए केवल [[स्थानीय न्यूनतम]] पाता है, जो जरूरी नहीं कि [[वैश्विक न्यूनतम]] हो।


== समस्या ==
== समस्या ==
लेवेनबर्ग-मार्क्वार्ड एल्गोरिथ्म का प्राथमिक अनुप्रयोग न्यूनतम-वर्ग वक्र फिटिंग समस्या में है: का सेट दिया गया है <math>m</math> अनुभवजन्य जोड़े <math>\left (x_i, y_i\right )</math> स्वतंत्र और आश्रित चर के पैरामीटर खोजें {{tmath|\boldsymbol\beta}} मॉडल वक्र का <math>f\left (x, \boldsymbol\beta\right )</math> ताकि विचलनों के वर्गों का योग हो <math>S\left (\boldsymbol\beta\right )</math> न्यूनतम किया गया है:
लेवेनबर्ग-मार्क्वार्ड एल्गोरिथ्म का प्राथमिक अनुप्रयोग न्यूनतम-वर्ग वक्र फिटिंग समस्या में है: इंडिपेंडेंट और डिपेंडेंट वेरिएबल के <math>m</math> अनुभवजन्य जोड़े <math>\left (x_i, y_i\right )</math> का एक सेट दिया गया है, मॉडल वक्र के पैरामीटर {{tmath|\boldsymbol\beta}} ढूंढें <math>f\left (x, \boldsymbol\beta\right )</math> जिससे विचलन <math>S\left (\boldsymbol\beta\right )</math> के वर्गों का योग कम से कम हो:


:<math>\hat{\boldsymbol\beta} \in \operatorname{argmin}\limits_{\boldsymbol\beta} S\left (\boldsymbol\beta\right ) \equiv \operatorname{argmin}\limits_{\boldsymbol\beta} \sum_{i=1}^m \left [y_i - f\left (x_i, \boldsymbol\beta\right )\right ]^2,</math> जिसे गैर-रिक्त माना जाता है।
:<math>\hat{\boldsymbol\beta} \in \operatorname{argmin}\limits_{\boldsymbol\beta} S\left (\boldsymbol\beta\right ) \equiv \operatorname{argmin}\limits_{\boldsymbol\beta} \sum_{i=1}^m \left [y_i - f\left (x_i, \boldsymbol\beta\right )\right ]^2,</math>  
:जिसे गैर-रिक्त माना जाता है।


== समाधान ==
== समाधान ==
अन्य संख्यात्मक न्यूनीकरण एल्गोरिदम की तरह, लेवेनबर्ग-मार्क्वार्ड एल्गोरिदम पुनरावृत्ति प्रक्रिया है। न्यूनतमकरण प्रारंभ करने के लिए, उपयोगकर्ता को पैरामीटर वेक्टर के लिए प्रारंभिक अनुमान प्रदान करना होगा {{tmath|\boldsymbol\beta}}. केवल न्यूनतम वाले स्थितियों में, बेख़बर मानक अनुमान जैसा होता है <math>\boldsymbol\beta^\text{T} = \begin{pmatrix}1,\ 1,\ \dots,\ 1\end{pmatrix}</math> ठीक काम करेगा; स्थानीय न्यूनतम वाले स्थितियों में, एल्गोरिदम वैश्विक न्यूनतम में तभी परिवर्तित होता है जब प्रारंभिक अनुमान पहले से ही अंतिम समाधान के कुछ करीब हो।
अन्य संख्यात्मक न्यूनतमकरण एल्गोरिदम की तरह, लेवेनबर्ग-मार्क्वार्ड एल्गोरिदम एक पुनरावृत्त प्रक्रिया है। न्यूनतमकरण प्रारंभ करने के लिए उपयोगकर्ता को पैरामीटर वेक्टर {{tmath|\boldsymbol\beta}} के लिए प्रारंभिक अनुमान प्रदान करना होगा। केवल एक न्यूनतम वाले स्थितियों में, <math>\boldsymbol\beta^\text{T} = \begin{pmatrix}1,\ 1,\ \dots,\ 1\end{pmatrix}</math> जैसा एक अनइंफोर्मेड मानक अनुमान ठीक काम करेगा; मल्टीपल मिनिमा वाले स्थितियों में, एल्गोरिदम वैश्विक न्यूनतम में तभी परिवर्तित होता है जब प्रारंभिक अनुमान पसमाधाने से ही अंतिम समाधान के कुछ निकट हो।


प्रत्येक पुनरावृत्ति चरण में, पैरामीटर वेक्टर {{tmath|\boldsymbol\beta}} को नए अनुमान से बदल दिया गया है {{tmath|\boldsymbol\beta + \boldsymbol\delta}}. इरादा करना {{tmath|\boldsymbol\delta}}, कार्यक्रम <math>f\left (x_i, \boldsymbol\beta + \boldsymbol\delta\right )</math> इसके Gradient#Linear_approximation_to_a_function द्वारा अनुमानित है:
प्रत्येक पुनरावृत्ति चरण में, पैरामीटर वेक्टर {{tmath|\boldsymbol\beta}} को एक नए अनुमान {{tmath|\boldsymbol\beta + \boldsymbol\delta}} द्वारा प्रतिस्थापित किया जाता है। {{tmath|\boldsymbol\delta}} निर्धारित करने के लिए, फ़ंक्शन <math>f\left (x_i, \boldsymbol\beta + \boldsymbol\delta\right )</math> को इसके रैखिककरण द्वारा अनुमानित किया जाता है:


: <math>f\left (x_i, \boldsymbol\beta + \boldsymbol\delta\right ) \approx f\left (x _i, \boldsymbol\beta\right ) + \mathbf J_i \boldsymbol\delta,</math>
: <math>f\left (x_i, \boldsymbol\beta + \boldsymbol\delta\right ) \approx f\left (x _i, \boldsymbol\beta\right ) + \mathbf J_i \boldsymbol\delta,</math>
कहाँ
जहाँ
: <math>\mathbf J_i = \frac{\partial f\left (x_i, \boldsymbol\beta\right )}{\partial \boldsymbol\beta}</math> का [[ ग्रेडियेंट ]] (इस मामले में पंक्ति-वेक्टर) है {{tmath|f}} इसके संबंध में {{tmath|\boldsymbol\beta}}.
: <math>\mathbf J_i = \frac{\partial f\left (x_i, \boldsymbol\beta\right )}{\partial \boldsymbol\beta}</math>  
:{{tmath|\boldsymbol\beta}} के संबंध में {{tmath|f}} का [[ ग्रेडियेंट |ग्रेडियेंट]] (इस स्थिति में पंक्ति-वेक्टर) है।


योग <math>S\left (\boldsymbol\beta\right )</math> वर्ग विचलन के संबंध में शून्य ढाल पर इसका न्यूनतम स्तर होता है {{tmath|\boldsymbol\beta}}. उपरोक्त प्रथम-क्रम सन्निकटन <math>f\left (x_i, \boldsymbol\beta + \boldsymbol\delta\right )</math> देता है
वर्ग विचलन के योग <math>S\left (\boldsymbol\beta\right )</math> का {{tmath|\boldsymbol\beta}} के संबंध में शून्य ग्रेडिएंट पर न्यूनतम होता है। <math>f\left (x_i, \boldsymbol\beta + \boldsymbol\delta\right )</math> का उपरोक्त प्रथम-क्रम सन्निकटन देता है
: <math>S\left (\boldsymbol\beta + \boldsymbol\delta\right ) \approx \sum_{i=1}^m \left [y_i - f\left (x_i, \boldsymbol\beta\right ) - \mathbf J_i \boldsymbol\delta\right ]^2,</math>
: <math>S\left (\boldsymbol\beta + \boldsymbol\delta\right ) \approx \sum_{i=1}^m \left [y_i - f\left (x_i, \boldsymbol\beta\right ) - \mathbf J_i \boldsymbol\delta\right ]^2,</math>
या वेक्टर संकेतन में,
या वेक्टर संकेतन में,
Line 32: Line 34:


:<math>\left (\mathbf J^{\mathrm T} \mathbf J\right )\boldsymbol\delta = \mathbf J^{\mathrm T}\left [\mathbf y - \mathbf f\left (\boldsymbol\beta\right )\right ],</math>
:<math>\left (\mathbf J^{\mathrm T} \mathbf J\right )\boldsymbol\delta = \mathbf J^{\mathrm T}\left [\mathbf y - \mathbf f\left (\boldsymbol\beta\right )\right ],</math>
कहाँ <math>\mathbf J</math> [[जैकोबियन मैट्रिक्स और निर्धारक]] है, जिसका {{tmath|i}}-वीं पंक्ति बराबर होती है <math>\mathbf J_i</math>, और कहाँ <math>\mathbf f\left (\boldsymbol\beta\right )</math> और <math>\mathbf y</math> वेक्टर के साथ हैं {{tmath|i}}-वाँ घटक
जहाँ <math>\mathbf J</math> [[जैकोबियन मैट्रिक्स और निर्धारक]] है, जिसका {{tmath|i}}-वीं पंक्ति <math>\mathbf J_i</math> के समान होती है, और जहां <math>\mathbf f\left (\boldsymbol\beta\right )</math> और <math>\mathbf y</math> क्रमशः {{tmath|i}}-वें घटक <math>f\left (x_i, \boldsymbol\beta\right )</math> और <math>y_i</math> वाले वेक्टर हैं। {{tmath|\boldsymbol\beta}} के लिए प्राप्त उपरोक्त अभिव्यक्ति गॉस-न्यूटन विधि के अंतर्गत आती है। ऊपर परिभाषित जैकोबियन मैट्रिक्स (सामान्यतः) एक वर्ग मैट्रिक्स नहीं है, ऊपर परिभाषित जैकोबियन मैट्रिक्स (सामान्यतः) वर्ग मैट्रिक्स नहीं है, किन्तु आकार <math>m \times n</math> का आयताकार मैट्रिक्स है, जहाँ <math>n</math> पैरामीटरों (वेक्टर <math>\boldsymbol\beta</math> का आकार) है) की संख्या है। मैट्रिक्स गुणन <math>\left (\mathbf J^{\mathrm T} \mathbf J\right)</math> आवश्यक <math>n \times n</math> वर्ग मैट्रिक्स उत्पन्न करता है और दाईं ओर मैट्रिक्स-वेक्टर उत्पाद आकार <math>n</math> का एक वेक्टर उत्पन्न करता है। परिणाम <math>n</math> रैखिक समीकरणों का एक सेट है, जिसे {{tmath|\boldsymbol\delta}} के लिए समाधान किया जा सकता है।
<math>f\left (x_i, \boldsymbol\beta\right )</math> और <math>y_i</math> क्रमश। उपरोक्त अभिव्यक्ति के लिए प्राप्त की गई {{tmath|\boldsymbol\beta}} गॉस-न्यूटन विधि के अंतर्गत आता है। ऊपर परिभाषित जैकोबियन मैट्रिक्स (सामान्य तौर पर) वर्ग मैट्रिक्स नहीं है, बल्कि आकार का आयताकार मैट्रिक्स है <math>m \times n</math>, कहाँ <math>n</math> पैरामीटरों की संख्या (वेक्टर का आकार) है <math>\boldsymbol\beta</math>). मैट्रिक्स गुणन <math>\left (\mathbf J^{\mathrm T} \mathbf J\right)</math> आवश्यक उपज देता है <math>n \times n</math> वर्ग मैट्रिक्स और दाहिनी ओर मैट्रिक्स-वेक्टर उत्पाद आकार का वेक्टर उत्पन्न करता है <math>n</math>. परिणाम का सेट है <math>n</math> रैखिक समीकरण, जिन्हें हल किया जा सकता है {{tmath|\boldsymbol\delta}}.


लेवेनबर्ग का योगदान इस समीकरण को नम संस्करण द्वारा प्रतिस्थापित करना है:
लेवेनबर्ग का योगदान इस समीकरण को नम संस्करण द्वारा प्रतिस्थापित करना है:


:<math>\left (\mathbf J^{\mathrm T} \mathbf J + \lambda\mathbf I\right ) \boldsymbol\delta = \mathbf J^{\mathrm T}\left [\mathbf y - \mathbf f\left (\boldsymbol\beta\right )\right],</math>
:<math>\left (\mathbf J^{\mathrm T} \mathbf J + \lambda\mathbf I\right ) \boldsymbol\delta = \mathbf J^{\mathrm T}\left [\mathbf y - \mathbf f\left (\boldsymbol\beta\right )\right],</math>
कहाँ {{tmath|\mathbf I}} पहचान मैट्रिक्स है, जो वेतन वृद्धि के रूप में देता है {{tmath|\boldsymbol\delta}} अनुमानित पैरामीटर वेक्टर के लिए {{tmath|\boldsymbol\beta}}.
जहां {{tmath|\mathbf I}} पहचान मैट्रिक्स है, जो अनुमानित पैरामीटर वेक्टर {{tmath|\boldsymbol\beta}} में वृद्धि {{tmath|\boldsymbol\delta}} देता है।


(गैर-नकारात्मक) अवमंदन कारक {{tmath|\lambda}} को प्रत्येक पुनरावृत्ति पर समायोजित किया जाता है। यदि की कमी हो {{tmath|S}} तीव्र है, छोटे मूल्य का उपयोग किया जा सकता है, जो एल्गोरिदम को गॉस-न्यूटन एल्गोरिदम के करीब लाता है, जबकि यदि कोई पुनरावृत्ति अवशिष्ट में अपर्याप्त कमी देता है, {{tmath|\lambda}} को ग्रेडिएंट-डिसेंट दिशा के करीब कदम बढ़ाते हुए बढ़ाया जा सकता है। ध्यान दें कि का ग्रेडिएंट {{tmath|S}} इसके संबंध में {{tmath|\boldsymbol\beta}} बराबर है <math>-2\left (\mathbf J^{\mathrm T}\left [\mathbf y - \mathbf f\left (\boldsymbol\beta\right )\right ]\right )^{\mathrm T}</math>. इसलिए, के बड़े मूल्यों के लिए {{tmath|\lambda}}, कदम लगभग ढाल के विपरीत दिशा में उठाया जाएगा। यदि या तो परिकलित चरण की लंबाई {{tmath|\boldsymbol\delta}} या नवीनतम पैरामीटर वेक्टर से वर्गों के योग में कमी {{tmath|\boldsymbol\beta + \boldsymbol\delta}} पूर्वनिर्धारित सीमा से नीचे गिरना, पुनरावृत्ति रुकना, और अंतिम पैरामीटर वेक्टर {{tmath|\boldsymbol\beta}} को समाधान माना जाता है।
(गैर-नकारात्मक) डंपिंग फैक्टर {{tmath|\lambda}} को प्रत्येक पुनरावृत्ति पर समायोजित किया जाता है। यदि {{tmath|S}} की कमी तेजी से होती है, तो एक छोटे मान का उपयोग किया जा सकता है, जो एल्गोरिदम को गॉस-न्यूटन एल्गोरिदम के निकट लाता है, जबकि यदि कोई पुनरावृत्ति अवशिष्ट में अपर्याप्त कमी देता है, तो {{tmath|\lambda}} को ग्रेडिएंट-डिसेंट दिशा के निकट एक चरण बढ़ाते हुए बढ़ाया जा सकता है।  


जब अवमंदन कारक {{tmath|\lambda}} के सापेक्ष बड़ा है <math> \| \mathbf J^{\mathrm T} \mathbf J \| </math>, उलटना <math> \mathbf J^{\mathrm T} \mathbf J + \lambda \mathbf I </math> यह आवश्यक नहीं है, क्योंकि अपडेट छोटे ग्रेडिएंट चरण द्वारा अच्छी तरह से अनुमानित है <math> \lambda^{-1} \mathbf J^{\mathrm T}\left [\mathbf y - \mathbf f\left (\boldsymbol\beta\right )\right ]</math>.
ध्यान दें कि {{tmath|\boldsymbol\beta}} के संबंध में {{tmath|S}} का ग्रेडिएंट <math>-2\left (\mathbf J^{\mathrm T}\left [\mathbf y - \mathbf f\left (\boldsymbol\beta\right )\right ]\right )^{\mathrm T}</math> के समान है। इसलिए, {{tmath|\lambda}} के बड़े मानों के लिए, चरण लगभग ग्रेडिएंट के विपरीत दिशा में उठाया जाएगा। यदि परिकलित चरण डेल्टा की लंबाई या नवीनतम पैरामीटर वेक्टर {{tmath|\boldsymbol\beta + \boldsymbol\delta}} से वर्गों के योग में कमी पूर्वनिर्धारित सीमा से नीचे आती है, तो पुनरावृत्ति रुक जाती है, और अंतिम पैरामीटर वेक्टर {{tmath|\boldsymbol\beta}} को समाधान माना जाता है।


समाधान पैमाने को अपरिवर्तनीय बनाने के लिए मार्क्वार्ड के एल्गोरिदम ने वक्रता के अनुसार ढाल के प्रत्येक घटक को स्केल करके संशोधित समस्या हल की। यह उन दिशाओं में बड़ी गति प्रदान करता है जहां ढाल छोटी है, जो छोटी ढाल की दिशा में धीमी गति से अभिसरण से बचाती है। फ्लेचर ने अपने 1971 के पेपर में गैर-रेखीय न्यूनतम वर्गों के लिए संशोधित मार्क्वार्ड सबरूटीन ने पहचान मैट्रिक्स को प्रतिस्थापित करते हुए फॉर्म को सरल बनाया। {{tmath|\mathbf I}} विकर्ण तत्वों से युक्त विकर्ण मैट्रिक्स के साथ {{tmath|\mathbf J^\text{T}\mathbf J}}:
जब डंपिंग फैक्टर {{tmath|\lambda}} <math> \| \mathbf J^{\mathrm T} \mathbf J \| </math> के सापेक्ष बड़ा होता है, तो <math> \mathbf J^{\mathrm T} \mathbf J + \lambda \mathbf I </math> को इनवर्ट करना आवश्यक नहीं होता है, क्योंकि अपडेट को छोटे ग्रेडिएंट चरण <math> \lambda^{-1} \mathbf J^{\mathrm T}\left [\mathbf y - \mathbf f\left (\boldsymbol\beta\right )\right ]</math> द्वारा अच्छी तरह से अनुमानित किया जाता है।
 
समाधान पैमाने को अपरिवर्तनीय बनाने के लिए मार्क्वार्ड के एल्गोरिदम ने वक्रता के अनुसार ग्रेडिएंट के प्रत्येक घटक को स्केल करके एक संशोधित समस्या हल की। यह उन दिशाओं में बड़ी गति प्रदान करता है जहां ग्रेडिएंट छोटी है, जो छोटी ग्रेडिएंट की दिशा में धीमी गति से अभिसरण से बचाती है। फ्लेचर ने अपने 1971 के पेपर में गैर-रेखीय न्यूनतम वर्गों के लिए एक संशोधित मार्क्वार्ड सबरूटीन ने फॉर्म को सरल बनाया, पहचान मैट्रिक्स {{tmath|\mathbf I}} को {{tmath|\mathbf J^\text{T}\mathbf J}} के विकर्ण तत्वों से युक्त विकर्ण मैट्रिक्स के साथ बदल दिया।


:<math>\left [\mathbf J^{\mathrm T} \mathbf J + \lambda \operatorname{diag}\left (\mathbf J^{\mathrm T} \mathbf J\right )\right ] \boldsymbol\delta = \mathbf J^{\mathrm T}\left [\mathbf y - \mathbf f\left (\boldsymbol\beta\right )\right ].</math>
:<math>\left [\mathbf J^{\mathrm T} \mathbf J + \lambda \operatorname{diag}\left (\mathbf J^{\mathrm T} \mathbf J\right )\right ] \boldsymbol\delta = \mathbf J^{\mathrm T}\left [\mathbf y - \mathbf f\left (\boldsymbol\beta\right )\right ].</math>
समान अवमंदन कारक [[तिखोनोव नियमितीकरण]] में दिखाई देता है, जिसका उपयोग रैखिक खराब समस्याओं का समाधान करने के लिए किया जाता है, साथ ही [[ रिज प्रतिगमन ]], सांख्यिकी में [[अनुमान सिद्धांत]] तकनीक में भी किया जाता है।
समान डंपिंग फैक्टर [[तिखोनोव नियमितीकरण]] में दिखाई देता है, जिसका उपयोग रैखिक खराब समस्याओं का समाधान करने के लिए किया जाता है, इसके साथ ही [[ रिज प्रतिगमन | रिज प्रतिगमन]] , सांख्यिकी में [[अनुमान सिद्धांत]] विधि में भी किया जाता है।


=== भिगोना पैरामीटर का विकल्प ===
=== भिगोना पैरामीटर का विकल्प ===
डंपिंग पैरामीटर के सर्वोत्तम विकल्प के लिए विभिन्न कमोबेश अनुमानी तर्क सामने रखे गए हैं {{tmath|\lambda}}. सैद्धांतिक तर्क मौजूद हैं जो दिखाते हैं कि इनमें से कुछ विकल्प एल्गोरिदम के स्थानीय अभिसरण की गारंटी क्यों देते हैं; चूँकि, ये विकल्प एल्गोरिदम के वैश्विक अभिसरण को ग्रेडिएंट डिसेंट के अवांछनीय गुणों से ग्रस्त कर सकते हैं, विशेष रूप से, इष्टतम के करीब बहुत धीमी गति से अभिसरण।
डंपिंग पैरामीटर के सर्वोत्तम विकल्प के लिए विभिन्न कमोबेश अनुमानी तर्क सामने रखे गए हैं {{tmath|\lambda}}. सैद्धांतिक तर्क मौजूद हैं जो दिखाते हैं कि इनमें से कुछ विकल्प एल्गोरिदम के स्थानीय अभिसरण की गारंटी क्यों देते हैं; चूँकि, ये विकल्प एल्गोरिदम के वैश्विक अभिसरण को ग्रेडिएंट डिसेंट के अवांछनीय गुणों से ग्रस्त कर सकते हैं, विशेष रूप से, इष्टतम के निकट बहुत धीमी गति से अभिसरण।


किसी भी विकल्प का पूर्ण मूल्य इस बात पर निर्भर करता है कि प्रारंभिक समस्या कितनी अच्छी तरह से मापी गई है। मार्क्वार्ड ने मूल्य से शुरुआत करने की सिफारिश की {{tmath|\lambda_0}} और कारक {{tmath|\nu > 1}}. प्रारंभ में सेटिंग <math>\lambda = \lambda_0</math> और वर्गों के शेष योग की गणना करना <math>S\left (\boldsymbol\beta\right )</math> प्रारंभिक बिंदु से कदम के बाद अवमंदन कारक के साथ <math>\lambda = \lambda_0</math> और दूसरे के साथ {{tmath|\lambda_0 / \nu}}. यदि ये दोनों प्रारंभिक बिंदु से भी बदतर हैं, तो अवमंदन को क्रमिक गुणन द्वारा बढ़ाया जाता है {{tmath|\nu}} जब तक नए अवमंदन कारक के साथ बेहतर बिंदु नहीं मिल जाता {{tmath|\lambda_0\nu^k}} कुछ के लिए {{tmath|k}}.
किसी भी विकल्प का पूर्ण मान इस बात पर निर्भर करता है कि प्रारंभिक समस्या कितनी अच्छी तरह से मापी गई है। मार्क्वार्ड ने मान से शुरुआत करने की सिफारिश की {{tmath|\lambda_0}} और कारक {{tmath|\nu > 1}}. प्रारंभ में सेटिंग <math>\lambda = \lambda_0</math> और वर्गों के शेष योग की गणना करना <math>S\left (\boldsymbol\beta\right )</math> प्रारंभिक बिंदु से चरण के बाद डंपिंग फैक्टर के साथ <math>\lambda = \lambda_0</math> और दूसरे के साथ {{tmath|\lambda_0 / \nu}}. यदि ये दोनों प्रारंभिक बिंदु से भी बदतर हैं, तो अवमंदन को क्रमिक गुणन द्वारा बढ़ाया जाता है {{tmath|\nu}} जब तक नए डंपिंग फैक्टर के साथ बेहतर बिंदु नहीं मिल जाता {{tmath|\lambda_0\nu^k}} कुछ के लिए {{tmath|k}}.


यदि अवमंदन कारक का उपयोग करें {{tmath|\lambda / \nu}} के परिणामस्वरूप वर्ग अवशिष्ट में कमी आती है, तो इसे नए मान के रूप में लिया जाता है {{tmath|\lambda}} (और नया इष्टतम स्थान इस अवमंदन कारक से प्राप्त स्थान के रूप में लिया जाता है) और प्रक्रिया जारी रहती है; यदि उपयोग कर रहे हैं {{tmath|\lambda / \nu}} के परिणामस्वरूप बदतर अवशेष मिला, लेकिन उपयोग किया गया {{tmath|\lambda}} परिणामस्वरूप बेहतर अवशेष प्राप्त हुआ {{tmath|\lambda}} को अपरिवर्तित छोड़ दिया जाता है और नए इष्टतम को प्राप्त मूल्य के रूप में लिया जाता है {{tmath|\lambda}} अवमंदन कारक के रूप में।
यदि डंपिंग फैक्टर का उपयोग करें {{tmath|\lambda / \nu}} के परिणामस्वरूप वर्ग अवशिष्ट में कमी आती है, तो इसे नए मान के रूप में लिया जाता है {{tmath|\lambda}} (और नया इष्टतम स्थान इस डंपिंग फैक्टर से प्राप्त स्थान के रूप में लिया जाता है) और प्रक्रिया जारी रहती है; यदि उपयोग कर रहे हैं {{tmath|\lambda / \nu}} के परिणामस्वरूप बदतर अवशेष मिला, लेकिन उपयोग किया गया {{tmath|\lambda}} परिणामस्वरूप बेहतर अवशेष प्राप्त हुआ {{tmath|\lambda}} को अपरिवर्तित छोड़ दिया जाता है और नए इष्टतम को प्राप्त मान के रूप में लिया जाता है {{tmath|\lambda}} डंपिंग फैक्टर के रूप में।


डंपिंग पैरामीटर के नियंत्रण के लिए प्रभावी रणनीति, जिसे विलंबित संतुष्टि कहा जाता है, में प्रत्येक चढ़ाई वाले चरण के लिए पैरामीटर को थोड़ी मात्रा में बढ़ाना और प्रत्येक डाउनहिल चरण के लिए बड़ी मात्रा में कमी करना शामिल है। इस रणनीति के पीछे का विचार अनुकूलन की शुरुआत में बहुत तेजी से नीचे की ओर बढ़ने से बचना है, इसलिए भविष्य के पुनरावृत्तियों में उपलब्ध चरणों को प्रतिबंधित करना और इसलिए अभिसरण को धीमा करना है।<ref name="Transtrum2011"/>अधिकांश स्थितियों में 2 के कारक की वृद्धि और 3 के कारक की कमी को प्रभावी दिखाया गया है, जबकि बड़ी समस्याओं के लिए 1.5 के कारक की वृद्धि और 5 के कारक की कमी के साथ अधिक चरम मूल्य बेहतर काम कर सकते हैं।<ref name="Transtrum2012"/>
डंपिंग पैरामीटर के नियंत्रण के लिए प्रभावी रणनीति, जिसे विलंबित संतुष्टि कहा जाता है, में प्रत्येक चढ़ाई वाले चरण के लिए पैरामीटर को थोड़ी मात्रा में बढ़ाना और प्रत्येक डाउनहिल चरण के लिए बड़ी मात्रा में कमी करना शामिल है। इस रणनीति के पीछे का विचार अनुकूलन की शुरुआत में बहुत तेजी से नीचे की ओर बढ़ने से बचना है, इसलिए भविष्य के पुनरावृत्तियों में उपलब्ध चरणों को प्रतिबंधित करना और इसलिए अभिसरण को धीमा करना है।<ref name="Transtrum2011"/>अधिकांश स्थितियों में 2 के कारक की वृद्धि और 3 के कारक की कमी को प्रभावी दिखाया गया है, जबकि बड़ी समस्याओं के लिए 1.5 के कारक की वृद्धि और 5 के कारक की कमी के साथ अधिक चरम मान बेहतर काम कर सकते हैं।<ref name="Transtrum2012"/>




Line 66: Line 69:
\boldsymbol{v}_k + \frac{1}{2} \boldsymbol{a}_k
\boldsymbol{v}_k + \frac{1}{2} \boldsymbol{a}_k
</math>
</math>
कहाँ <math>\boldsymbol{a}_k</math> का समाधान है
जहाँ <math>\boldsymbol{a}_k</math> का समाधान है


:<math>
:<math>
Line 79: Line 82:
\end{align}
\end{align}
</math>
</math>
कहाँ <math>f(\boldsymbol{x})</math> और <math>\boldsymbol{J}</math> एल्गोरिदम द्वारा पहले ही गणना की जा चुकी है, इसलिए गणना करने के लिए केवल अतिरिक्त फ़ंक्शन मूल्यांकन की आवश्यकता है <math>f(\boldsymbol{x} + h \boldsymbol{\delta})</math>. परिमित अंतर चरण का चुनाव <math>h</math> एल्गोरिदम की स्थिरता को प्रभावित कर सकता है, और लगभग 0.1 का मान आमतौर पर सामान्य रूप से उचित होता है।<ref name="Transtrum2012"/>
जहाँ <math>f(\boldsymbol{x})</math> और <math>\boldsymbol{J}</math> एल्गोरिदम द्वारा पसमाधाने ही गणना की जा चुकी है, इसलिए गणना करने के लिए केवल अतिरिक्त फ़ंक्शन मानांकन की आवश्यकता है <math>f(\boldsymbol{x} + h \boldsymbol{\delta})</math>. परिमित अंतर चरण का चुनाव <math>h</math> एल्गोरिदम की स्थिरता को प्रभावित कर सकता है, और लगभग 0.1 का मान आमतौर पर सामान्य रूप से उचित होता है।<ref name="Transtrum2012"/>


चूँकि त्वरण वेग के विपरीत दिशा की ओर इंगित कर सकता है, इसलिए यदि अवमंदन बहुत छोटा है तो विधि को रोकने से रोकने के लिए, चरण को स्वीकार करने के लिए त्वरण पर अतिरिक्त मानदंड जोड़ा जाता है, जिसके लिए आवश्यक है
चूँकि त्वरण वेग के विपरीत दिशा की ओर इंगित कर सकता है, इसलिए यदि अवमंदन बहुत छोटा है तो विधि को रोकने से रोकने के लिए, चरण को स्वीकार करने के लिए त्वरण पर अतिरिक्त मानदंड जोड़ा जाता है, जिसके लिए आवश्यक है
Line 86: Line 89:
\frac{2 \left\| \boldsymbol{a}_k \right\|}{\left\| \boldsymbol{v}_k \right\|} \le \alpha
\frac{2 \left\| \boldsymbol{a}_k \right\|}{\left\| \boldsymbol{v}_k \right\|} \le \alpha
</math>
</math>
कहाँ <math>\alpha</math> आमतौर पर कठिन समस्याओं के लिए छोटे मान के साथ, 1 से कम मान पर तय किया जाता है।<ref name="Transtrum2012"/>
जहाँ <math>\alpha</math> आमतौर पर कठिन समस्याओं के लिए छोटे मान के साथ, 1 से कम मान पर तय किया जाता है।<ref name="Transtrum2012"/>


जियोडेसिक त्वरण शब्द को जोड़ने से अभिसरण गति में महत्वपूर्ण वृद्धि हो सकती है और यह विशेष रूप से तब उपयोगी होता है जब एल्गोरिदम उद्देश्य फ़ंक्शन के परिदृश्य में संकीर्ण घाटियों के माध्यम से आगे बढ़ रहा है, जहां अनुमत चरण छोटे होते हैं और दूसरे क्रम के शब्द के कारण उच्च सटीकता महत्वपूर्ण सुधार देती है।<ref name="Transtrum2012"/>
जियोडेसिक त्वरण शब्द को जोड़ने से अभिसरण गति में महत्वपूर्ण वृद्धि हो सकती है और यह विशेष रूप से तब उपयोगी होता है जब एल्गोरिदम उद्देश्य फ़ंक्शन के परिदृश्य में संकीर्ण घाटियों के माध्यम से आगे बढ़ रहा है, जहां अनुमत चरण छोटे होते हैं और दूसरे क्रम के शब्द के कारण उच्च सटीकता महत्वपूर्ण सुधार देती है।<ref name="Transtrum2012"/>
Line 96: Line 99:
[[Image:Lev-Mar-better-fit.png|thumb|बेहतर फिट]]
[[Image:Lev-Mar-better-fit.png|thumb|बेहतर फिट]]
[[Image:Lev-Mar-best-fit.png|thumb|सबसे अच्छा फिट]]इस उदाहरण में हम फ़ंक्शन को फिट करने का प्रयास करते हैं <math>y = a \cos\left (bX\right ) + b \sin\left (aX\right )</math> लीस्कर फ़ंक्शन के रूप में [[जीएनयू ऑक्टेव]] में कार्यान्वित लेवेनबर्ग-मार्क्वार्ड एल्गोरिदम का उपयोग करना। ग्राफ़ मापदंडों के लिए उत्तरोत्तर बेहतर फिटिंग दिखाते हैं <math>a = 100</math>, <math>b = 102</math> इस्तेमाल किया गया
[[Image:Lev-Mar-best-fit.png|thumb|सबसे अच्छा फिट]]इस उदाहरण में हम फ़ंक्शन को फिट करने का प्रयास करते हैं <math>y = a \cos\left (bX\right ) + b \sin\left (aX\right )</math> लीस्कर फ़ंक्शन के रूप में [[जीएनयू ऑक्टेव]] में कार्यान्वित लेवेनबर्ग-मार्क्वार्ड एल्गोरिदम का उपयोग करना। ग्राफ़ मापदंडों के लिए उत्तरोत्तर बेहतर फिटिंग दिखाते हैं <math>a = 100</math>, <math>b = 102</math> इस्तेमाल किया गया
प्रारंभिक वक्र में. केवल जब अंतिम ग्राफ़ में पैरामीटर मूल के सबसे करीब चुने जाते हैं, तो वक्र बिल्कुल फिट होते हैं। यह समीकरण
प्रारंभिक वक्र में. केवल जब अंतिम ग्राफ़ में पैरामीटर मूल के सबसे निकट चुने जाते हैं, तो वक्र बिल्कुल फिट होते हैं। यह समीकरण
लेवेनबर्ग-मार्क्वार्ड एल्गोरिथम के लिए बहुत संवेदनशील प्रारंभिक स्थितियों का उदाहरण है। इस संवेदनशीलता का कारण मल्टीपल मिनिमा - फ़ंक्शन का अस्तित्व है <math>\cos\left (\beta x\right )</math> पैरामीटर मान पर न्यूनतम है <math>\hat\beta</math> और <math>\hat\beta + 2n\pi</math>.
लेवेनबर्ग-मार्क्वार्ड एल्गोरिथम के लिए बहुत संवेदनशील प्रारंभिक स्थितियों का उदाहरण है। इस संवेदनशीलता का कारण मल्टीपल मिनिमा - फ़ंक्शन का अस्तित्व है <math>\cos\left (\beta x\right )</math> पैरामीटर मान पर न्यूनतम है <math>\hat\beta</math> और <math>\hat\beta + 2n\pi</math>.



Revision as of 13:01, 6 August 2023

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

एल्गोरिथम पसमाधानी बार 1944 में केनेथ लेवेनबर्ग द्वारा फ्रैंकफोर्ड आर्मी आर्सेनल में काम करते समय प्रकाशित किया गया था।[1] इसे 1963 में ड्यूपॉन्ट में सांख्यिकीविद् के रूप में काम करने वाले डोनाल्ड मार्क्वार्ट[2] द्वारा और इंडिपेंडेंट रूप से गिरार्ड विने[3] और मॉरिसन[4] द्वारा फिर से खोजा गया था।[5]

सामान्य कर्व-फिटिंग समस्याओं का समाधान करने के लिए कई सॉफ्टवेयर एप्लीकेशनों में एलएमए का उपयोग किया जाता है। गॉस-न्यूटन एल्गोरिदम का उपयोग करके यह अधिकांश प्रथम-क्रम विधियों की तुलना में तेज़ी से परिवर्तित होता है।[6] चूँकि, अन्य पुनरावृत्त अनुकूलन एल्गोरिदम की तरह, एलएमए केवल स्थानीय न्यूनतम पाता है, जो जरूरी नहीं कि वैश्विक न्यूनतम हो।

समस्या

लेवेनबर्ग-मार्क्वार्ड एल्गोरिथ्म का प्राथमिक अनुप्रयोग न्यूनतम-वर्ग वक्र फिटिंग समस्या में है: इंडिपेंडेंट और डिपेंडेंट वेरिएबल के अनुभवजन्य जोड़े का एक सेट दिया गया है, मॉडल वक्र के पैरामीटर ढूंढें जिससे विचलन के वर्गों का योग कम से कम हो:

जिसे गैर-रिक्त माना जाता है।

समाधान

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

प्रत्येक पुनरावृत्ति चरण में, पैरामीटर वेक्टर को एक नए अनुमान द्वारा प्रतिस्थापित किया जाता है। निर्धारित करने के लिए, फ़ंक्शन को इसके रैखिककरण द्वारा अनुमानित किया जाता है:

जहाँ

के संबंध में का ग्रेडियेंट (इस स्थिति में पंक्ति-वेक्टर) है।

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

या वेक्टर संकेतन में,

का व्युत्पन्न लेना इसके संबंध में और परिणाम को शून्य पर सेट करने से परिणाम मिलता है

जहाँ जैकोबियन मैट्रिक्स और निर्धारक है, जिसका -वीं पंक्ति के समान होती है, और जहां और क्रमशः -वें घटक और वाले वेक्टर हैं। के लिए प्राप्त उपरोक्त अभिव्यक्ति गॉस-न्यूटन विधि के अंतर्गत आती है। ऊपर परिभाषित जैकोबियन मैट्रिक्स (सामान्यतः) एक वर्ग मैट्रिक्स नहीं है, ऊपर परिभाषित जैकोबियन मैट्रिक्स (सामान्यतः) वर्ग मैट्रिक्स नहीं है, किन्तु आकार का आयताकार मैट्रिक्स है, जहाँ पैरामीटरों (वेक्टर का आकार) है) की संख्या है। मैट्रिक्स गुणन आवश्यक वर्ग मैट्रिक्स उत्पन्न करता है और दाईं ओर मैट्रिक्स-वेक्टर उत्पाद आकार का एक वेक्टर उत्पन्न करता है। परिणाम रैखिक समीकरणों का एक सेट है, जिसे के लिए समाधान किया जा सकता है।

लेवेनबर्ग का योगदान इस समीकरण को नम संस्करण द्वारा प्रतिस्थापित करना है:

जहां पहचान मैट्रिक्स है, जो अनुमानित पैरामीटर वेक्टर में वृद्धि देता है।

(गैर-नकारात्मक) डंपिंग फैक्टर को प्रत्येक पुनरावृत्ति पर समायोजित किया जाता है। यदि की कमी तेजी से होती है, तो एक छोटे मान का उपयोग किया जा सकता है, जो एल्गोरिदम को गॉस-न्यूटन एल्गोरिदम के निकट लाता है, जबकि यदि कोई पुनरावृत्ति अवशिष्ट में अपर्याप्त कमी देता है, तो को ग्रेडिएंट-डिसेंट दिशा के निकट एक चरण बढ़ाते हुए बढ़ाया जा सकता है।

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

जब डंपिंग फैक्टर के सापेक्ष बड़ा होता है, तो को इनवर्ट करना आवश्यक नहीं होता है, क्योंकि अपडेट को छोटे ग्रेडिएंट चरण द्वारा अच्छी तरह से अनुमानित किया जाता है।

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

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

भिगोना पैरामीटर का विकल्प

डंपिंग पैरामीटर के सर्वोत्तम विकल्प के लिए विभिन्न कमोबेश अनुमानी तर्क सामने रखे गए हैं . सैद्धांतिक तर्क मौजूद हैं जो दिखाते हैं कि इनमें से कुछ विकल्प एल्गोरिदम के स्थानीय अभिसरण की गारंटी क्यों देते हैं; चूँकि, ये विकल्प एल्गोरिदम के वैश्विक अभिसरण को ग्रेडिएंट डिसेंट के अवांछनीय गुणों से ग्रस्त कर सकते हैं, विशेष रूप से, इष्टतम के निकट बहुत धीमी गति से अभिसरण।

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

यदि डंपिंग फैक्टर का उपयोग करें के परिणामस्वरूप वर्ग अवशिष्ट में कमी आती है, तो इसे नए मान के रूप में लिया जाता है (और नया इष्टतम स्थान इस डंपिंग फैक्टर से प्राप्त स्थान के रूप में लिया जाता है) और प्रक्रिया जारी रहती है; यदि उपयोग कर रहे हैं के परिणामस्वरूप बदतर अवशेष मिला, लेकिन उपयोग किया गया परिणामस्वरूप बेहतर अवशेष प्राप्त हुआ को अपरिवर्तित छोड़ दिया जाता है और नए इष्टतम को प्राप्त मान के रूप में लिया जाता है डंपिंग फैक्टर के रूप में।

डंपिंग पैरामीटर के नियंत्रण के लिए प्रभावी रणनीति, जिसे विलंबित संतुष्टि कहा जाता है, में प्रत्येक चढ़ाई वाले चरण के लिए पैरामीटर को थोड़ी मात्रा में बढ़ाना और प्रत्येक डाउनहिल चरण के लिए बड़ी मात्रा में कमी करना शामिल है। इस रणनीति के पीछे का विचार अनुकूलन की शुरुआत में बहुत तेजी से नीचे की ओर बढ़ने से बचना है, इसलिए भविष्य के पुनरावृत्तियों में उपलब्ध चरणों को प्रतिबंधित करना और इसलिए अभिसरण को धीमा करना है।[7]अधिकांश स्थितियों में 2 के कारक की वृद्धि और 3 के कारक की कमी को प्रभावी दिखाया गया है, जबकि बड़ी समस्याओं के लिए 1.5 के कारक की वृद्धि और 5 के कारक की कमी के साथ अधिक चरम मान बेहतर काम कर सकते हैं।[8]


जियोडेसिक त्वरण

लेवेनबर्ग-मार्क्वार्ट चरण की वेग के रूप में व्याख्या करते समय पैरामीटर स्पेस में जियोडेसिक पथ के साथ, त्वरण के लिए जिम्मेदार दूसरे ऑर्डर शब्द को जोड़कर विधि में सुधार करना संभव है जियोडेसिक के साथ

जहाँ का समाधान है

चूँकि यह जियोडेसिक त्वरण शब्द केवल दिशात्मक व्युत्पन्न पर निर्भर करता है वेग की दिशा में , इसमें पूर्ण दूसरे क्रम के व्युत्पन्न मैट्रिक्स की गणना करने की आवश्यकता नहीं है, कंप्यूटिंग लागत के संदर्भ में केवल छोटे ओवरहेड की आवश्यकता होती है।[9] चूंकि दूसरे क्रम का व्युत्पन्न काफी जटिल अभिव्यक्ति हो सकता है, इसलिए इसे सीमित अंतर सन्निकटन के साथ बदलना सुविधाजनक हो सकता है

जहाँ और एल्गोरिदम द्वारा पसमाधाने ही गणना की जा चुकी है, इसलिए गणना करने के लिए केवल अतिरिक्त फ़ंक्शन मानांकन की आवश्यकता है . परिमित अंतर चरण का चुनाव एल्गोरिदम की स्थिरता को प्रभावित कर सकता है, और लगभग 0.1 का मान आमतौर पर सामान्य रूप से उचित होता है।[8]

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

जहाँ आमतौर पर कठिन समस्याओं के लिए छोटे मान के साथ, 1 से कम मान पर तय किया जाता है।[8]

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


उदाहरण

खराब फिटिंग
बेहतर फिट
सबसे अच्छा फिट

इस उदाहरण में हम फ़ंक्शन को फिट करने का प्रयास करते हैं लीस्कर फ़ंक्शन के रूप में जीएनयू ऑक्टेव में कार्यान्वित लेवेनबर्ग-मार्क्वार्ड एल्गोरिदम का उपयोग करना। ग्राफ़ मापदंडों के लिए उत्तरोत्तर बेहतर फिटिंग दिखाते हैं , इस्तेमाल किया गया

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

यह भी देखें

  • ट्रस्ट क्षेत्र
  • नेल्डर-मीड विधि
  • लेवेनबर्ग-मार्क्वार्ड एल्गोरिदम के वेरिएंट का उपयोग समीकरणों की गैर-रेखीय प्रणालियों का समाधान करने के लिए भी किया गया है।[10]


संदर्भ

  1. Levenberg, Kenneth (1944). "A Method for the Solution of Certain Non-Linear Problems in Least Squares". Quarterly of Applied Mathematics. 2 (2): 164–168. doi:10.1090/qam/10666.
  2. Marquardt, Donald (1963). "An Algorithm for Least-Squares Estimation of Nonlinear Parameters". SIAM Journal on Applied Mathematics. 11 (2): 431–441. doi:10.1137/0111030. hdl:10338.dmlcz/104299.
  3. Girard, André (1958). "Excerpt from Revue d'optique théorique et instrumentale". Rev. Opt. 37: 225–241, 397–424.
  4. Wynne, C. G. (1959). "Lens Designing by Electronic Digital Computer: I". Proc. Phys. Soc. Lond. 73 (5): 777–787. Bibcode:1959PPS....73..777W. doi:10.1088/0370-1328/73/5/310.
  5. Morrison, David D. (1960). "Methods for nonlinear least squares problems and convergence proofs". Proceedings of the Jet Propulsion Laboratory Seminar on Tracking Programs and Orbit Determination: 1–9.
  6. Wiliamowski, Bogdan; Yu, Hao (June 2010). "Improved Computation for Levenberg–Marquardt Training" (PDF). IEEE Transactions on Neural Networks and Learning Systems. 21 (6).
  7. Transtrum, Mark K; Machta, Benjamin B; Sethna, James P (2011). "Geometry of nonlinear least squares with applications to sloppy models and optimization". Physical Review E. APS. 83 (3): 036701. arXiv:1010.1449. Bibcode:2011PhRvE..83c6701T. doi:10.1103/PhysRevE.83.036701. PMID 21517619. S2CID 15361707.
  8. 8.0 8.1 8.2 8.3 Transtrum, Mark K; Sethna, James P (2012). "Improvements to the Levenberg-Marquardt algorithm for nonlinear least-squares minimization". arXiv:1201.5885 [physics.data-an].
  9. "अरेखीय न्यूनतम-वर्ग फिटिंग". GNU Scientific Library. Archived from the original on 2020-04-14.
  10. Kanzow, Christian; Yamashita, Nobuo; Fukushima, Masao (2004). "Levenberg–Marquardt methods with strong local convergence properties for solving nonlinear equations with convex constraints". Journal of Computational and Applied Mathematics. 172 (2): 375–397. Bibcode:2004JCoAM.172..375K. doi:10.1016/j.cam.2004.02.013.


अग्रिम पठन


बाहरी संबंध

| group5 = Metaheuristics | abbr5 = heuristic | list5 =

| below =

}} | group5 =Metaheuuristic |abbr5 = heuristic | list5 =*विकासवादी एल्गोरिथ्म

| below =* सॉफ्टवेयर

}}