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

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


एल्गोरिथम पसमाधानी बार 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>  
Line 13: Line 13:


== समाधान ==
== समाधान ==
अन्य संख्यात्मक न्यूनतमकरण एल्गोरिदम की तरह, लेवेनबर्ग-मार्क्वार्ड एल्गोरिदम एक पुनरावृत्त प्रक्रिया है। न्यूनतमकरण प्रारंभ करने के लिए उपयोगकर्ता को पैरामीटर वेक्टर {{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> को इसके रैखिककरण द्वारा अनुमानित किया जाता है:
प्रत्येक पुनरावृत्ति चरण में, पैरामीटर सदिश {{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>  
: <math>\mathbf J_i = \frac{\partial f\left (x_i, \boldsymbol\beta\right )}{\partial \boldsymbol\beta}</math>  
:{{tmath|\boldsymbol\beta}} के संबंध में {{tmath|f}} का [[ ग्रेडियेंट |ग्रेडियेंट]] (इस स्थिति में पंक्ति-वेक्टर) है।
:{{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>
या वेक्टर संकेतन में,
या सदिश संकेतन में,
: <math>\begin{align}
: <math>\begin{align}
  S\left (\boldsymbol\beta + \boldsymbol\delta\right ) &\approx \left \|\mathbf y - \mathbf f\left (\boldsymbol\beta\right ) - \mathbf J\boldsymbol\delta\right \|^2\\
  S\left (\boldsymbol\beta + \boldsymbol\delta\right ) &\approx \left \|\mathbf y - \mathbf f\left (\boldsymbol\beta\right ) - \mathbf J\boldsymbol\delta\right \|^2\\
Line 31: Line 31:
   &= \left [\mathbf y - \mathbf f\left (\boldsymbol\beta\right )\right ]^{\mathrm T}\left [\mathbf y - \mathbf f\left (\boldsymbol\beta\right )\right ] - 2\left [\mathbf y - \mathbf f\left (\boldsymbol\beta\right )\right ]^{\mathrm T} \mathbf J \boldsymbol\delta + \boldsymbol\delta^{\mathrm T} \mathbf J^{\mathrm T} \mathbf J\boldsymbol\delta.
   &= \left [\mathbf y - \mathbf f\left (\boldsymbol\beta\right )\right ]^{\mathrm T}\left [\mathbf y - \mathbf f\left (\boldsymbol\beta\right )\right ] - 2\left [\mathbf y - \mathbf f\left (\boldsymbol\beta\right )\right ]^{\mathrm T} \mathbf J \boldsymbol\delta + \boldsymbol\delta^{\mathrm T} \mathbf J^{\mathrm T} \mathbf J\boldsymbol\delta.
\end{align}</math>
\end{align}</math>
का व्युत्पन्न लेना <math>S\left (\boldsymbol\beta + \boldsymbol\delta\right )</math> इसके संबंध में {{tmath|\boldsymbol\delta}} और परिणाम को शून्य पर सेट करने से परिणाम मिलता है
का व्युत्पन्न लेना <math>S\left (\boldsymbol\beta + \boldsymbol\delta\right )</math> इसके संबंध में {{tmath|\boldsymbol\delta}} और परिणाम को शून्य पर समूह करने से परिणाम मिलता है


:<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>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>\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>\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\beta}} में वृद्धि {{tmath|\boldsymbol\delta}} देता है।
जहां {{tmath|\mathbf I}} पहचान आव्यूह है, जो अनुमानित पैरामीटर सदिश {{tmath|\boldsymbol\beta}} में वृद्धि {{tmath|\boldsymbol\delta}} देता है।


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


ध्यान दें कि {{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}} को समाधान माना जाता है।
ध्यान दें कि {{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}} को समाधान माना जाता है।


जब डंपिंग फैक्टर {{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|\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}} के विकर्ण तत्वों से युक्त विकर्ण मैट्रिक्स के साथ बदल दिया।
समाधान पैमाने को अपरिवर्तनीय बनाने के लिए मार्क्वार्ड के एल्गोरिदम ने वक्रता के अनुसार ग्रेडिएंट के प्रत्येक घटक को स्केल करके एक संशोधित समस्या हल की। यह उन दिशाओं में बड़ी गति प्रदान करता है जहां ग्रेडिएंट छोटी है, जो छोटी ग्रेडिएंट की दिशा में धीमी गति से अभिसरण से बचाती है। फ्लेचर ने अपने 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>
Line 53: Line 53:


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


किसी भी विकल्प का पूर्ण मूल्य इस बात पर निर्भर करता है कि प्रारंभिक समस्या कितनी अच्छी तरह से मापी गई है। मार्क्वार्ड ने मान {{tmath|\lambda_0}} और फैक्टर {{tmath|\nu > 1}} से प्रारंभ करने की अनुशंसा की। प्रारंभ में <math>\lambda = \lambda_0</math> सेट करना और प्रारंभिक बिंदु से एक चरण के बाद <math>\lambda = \lambda_0</math> के डंपिंग फैक्टर के साथ और दूसरे {{tmath|\lambda_0 / \nu}} के साथ वर्गों <math>S\left (\boldsymbol\beta\right )</math> के अवशिष्ट योग की गणना करना है। यदि ये दोनों प्रारंभिक बिंदु से भी वर्से हैं, तो डंपिंग को {{tmath|\nu}} द्वारा क्रमिक गुणन द्वारा बढ़ाया जाता है जब तक कि कुछ {{tmath|k}} के लिए {{tmath|\lambda_0\nu^k}} के नए डंपिंग फैक्टर के साथ एक उत्तम बिंदु नहीं मिल जाता है।
किसी भी विकल्प का पूर्ण मूल्य इस बात पर निर्भर करता है कि प्रारंभिक समस्या कितनी अच्छी तरह से मापी गई है। मार्क्वार्ड ने मान {{tmath|\lambda_0}} और फैक्टर {{tmath|\nu > 1}} से प्रारंभ करने की अनुशंसा की। प्रारंभ में <math>\lambda = \lambda_0</math> समूह करना और प्रारंभिक बिंदु से एक चरण के पश्चात् <math>\lambda = \lambda_0</math> के डंपिंग फैक्टर के साथ और दूसरे {{tmath|\lambda_0 / \nu}} के साथ वर्गों <math>S\left (\boldsymbol\beta\right )</math> के अवशिष्ट योग की गणना करना है। यदि यह दोनों प्रारंभिक बिंदु से भी वर्से हैं, तब डंपिंग को {{tmath|\nu}} द्वारा क्रमिक गुणन द्वारा बढ़ाया जाता है जब तक कि कुछ {{tmath|k}} के लिए {{tmath|\lambda_0\nu^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 76: Line 76:
\boldsymbol{J}_k \boldsymbol{a}_k = -f_{vv} .
\boldsymbol{J}_k \boldsymbol{a}_k = -f_{vv} .
</math>
</math>
चूंकि यह जियोडेसिक त्वरण शब्द केवल वेग <math>\boldsymbol{v}</math> की दिशा के साथ [[दिशात्मक व्युत्पन्न]] <math>f_{vv} = \sum_{\mu\nu} v_{\mu} v_{\nu} \partial_{\mu} \partial_{\nu} f (\boldsymbol{x})</math> पर निर्भर करता है, इसलिए इसमें पूर्ण दूसरे क्रम के व्युत्पन्न मैट्रिक्स की गणना करने की आवश्यकता नहीं होती है, जिसके लिए कंप्यूटिंग लागत के संदर्भ में केवल एक छोटे ओवरहेड की आवश्यकता होती है।<ref>{{cite web|url=https://www.gnu.org/software/gsl/doc/html/nls.html|title=अरेखीय न्यूनतम-वर्ग फिटिंग|publisher=GNU Scientific Library|archive-url=https://web.archive.org/web/20200414204913/https://www.gnu.org/software/gsl/doc/html/nls.html|archive-date=2020-04-14}}</ref> चूंकि दूसरे क्रम का व्युत्पन्न काफी जटिल अभिव्यक्ति हो सकता है, इसलिए इसे सीमित अंतर सन्निकटन के साथ बदलना सुविधाजनक हो सकता है
चूंकि यह जियोडेसिक त्वरण शब्द केवल वेग <math>\boldsymbol{v}</math> की दिशा के साथ [[दिशात्मक व्युत्पन्न]] <math>f_{vv} = \sum_{\mu\nu} v_{\mu} v_{\nu} \partial_{\mu} \partial_{\nu} f (\boldsymbol{x})</math> पर निर्भर करता है, इसलिए इसमें पूर्ण दूसरे क्रम के व्युत्पन्न आव्यूह की गणना करने की आवश्यकता नहीं होती है, जिसके लिए कंप्यूटिंग निवेश के संदर्भ में केवल एक छोटे ओवरहेड की आवश्यकता होती है।<ref>{{cite web|url=https://www.gnu.org/software/gsl/doc/html/nls.html|title=अरेखीय न्यूनतम-वर्ग फिटिंग|publisher=GNU Scientific Library|archive-url=https://web.archive.org/web/20200414204913/https://www.gnu.org/software/gsl/doc/html/nls.html|archive-date=2020-04-14}}</ref> चूंकि दूसरे क्रम का व्युत्पन्न अधिक जटिल अभिव्यक्ति हो सकता है, इसलिए इसे सीमित अंतर सन्निकटन के साथ बदलना सुविधाजनक हो सकता है


:<math>
:<math>
Line 86: Line 86:
जहां <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"/>


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


:<math>
:<math>
Line 93: Line 93:
जहाँ <math>\alpha</math> सामान्यतः कठिन समस्याओं के लिए छोटे मान के साथ, 1 से कम मान पर तय किया जाता है।<ref name="Transtrum2012"/>
जहाँ <math>\alpha</math> सामान्यतः कठिन समस्याओं के लिए छोटे मान के साथ, 1 से कम मान पर तय किया जाता है।<ref name="Transtrum2012"/>


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




Line 100: Line 100:
[[Image:Lev-Mar-poor-fit.png|thumb|खराब फिटिंग]]
[[Image:Lev-Mar-poor-fit.png|thumb|खराब फिटिंग]]
[[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> के लिए उत्तरोत्तर उत्तम फिटिंग दिखाते हैं। केवल जब अंतिम ग्राफ़ में पैरामीटर मूल के सबसे निकट चुने जाते हैं, तो वक्र बिल्कुल फिट होते हैं। यह समीकरण लेवेनबर्ग-मार्क्वार्ड एल्गोरिथम के लिए बहुत संवेदनशील प्रारंभिक स्थितियों का एक उदाहरण है। इस संवेदनशीलता का एक कारण मल्टीपल मिनिमा का अस्तित्व है - फलन <math>\cos\left (\beta x\right )</math> में पैरामीटर मान <math>\hat\beta</math> और <math>\hat\beta + 2n\pi</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> पर न्यूनतम है।
== यह भी देखें ==
== यह भी देखें ==
* ट्रस्ट क्षेत्र
* ट्रस्ट क्षेत्र

Revision as of 06:54, 7 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. Jump up to: 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 =* सॉफ्टवेयर

}}