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

From Vigyanwiki
No edit summary
No edit summary
Line 15: Line 15:
अन्य संख्यात्मक न्यूनतमकरण एल्गोरिदम की तरह, लेवेनबर्ग-मार्क्वार्ड एल्गोरिदम एक पुनरावृत्त प्रक्रिया है। न्यूनतमकरण प्रारंभ करने के लिए उपयोगकर्ता को पैरामीटर वेक्टर {{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>
Line 55: Line 55:
डंपिंग पैरामीटर {{tmath|\lambda}} के सर्वोत्तम विकल्प के लिए विभिन्न कमोबेश अनुमानी तर्क सामने रखे गए हैं। सैद्धांतिक तर्क उपस्थित हैं जो दिखाते हैं कि इनमें से कुछ विकल्प एल्गोरिदम के स्थानीय अभिसरण की गारंटी क्यों देते हैं; चूँकि, ये विकल्प एल्गोरिदम के वैश्विक अभिसरण को विशेष रूप से इष्टतम के निकट बहुत धीमी गति से अभिसरण के अवांछनीय गुणों से ग्रस्त कर सकते हैं।
डंपिंग पैरामीटर {{tmath|\lambda}} के सर्वोत्तम विकल्प के लिए विभिन्न कमोबेश अनुमानी तर्क सामने रखे गए हैं। सैद्धांतिक तर्क उपस्थित हैं जो दिखाते हैं कि इनमें से कुछ विकल्प एल्गोरिदम के स्थानीय अभिसरण की गारंटी क्यों देते हैं; चूँकि, ये विकल्प एल्गोरिदम के वैश्विक अभिसरण को विशेष रूप से इष्टतम के निकट बहुत धीमी गति से अभिसरण के अवांछनीय गुणों से ग्रस्त कर सकते हैं।


यदि ये दोनों प्रारंभिक बिंदु से भी बदतर हैं, तो अवमंदन को V द्वारा क्रमिक गुणन द्वारा बढ़ाया जाता है जब तक कि कुछ {{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_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|\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 67: Line 66:
=== जियोडेसिक त्वरण ===
=== जियोडेसिक त्वरण ===


लेवेनबर्ग-मार्क्वार्ट चरण की वेग के रूप में व्याख्या करते समय <math>\boldsymbol{v}_k</math> पैरामीटर स्पेस में [[जियोडेसिक]] पथ के साथ, त्वरण के लिए जिम्मेदार दूसरे ऑर्डर शब्द को जोड़कर विधि में सुधार करना संभव है <math>\boldsymbol{a}_k</math> जियोडेसिक के साथ
पैरामीटर स्पेस में [[जियोडेसिक]] पथ के साथ लेवेनबर्ग-मार्क्वार्ड चरण को वेग <math>\boldsymbol{v}_k</math> के रूप में व्याख्या करते समय, त्वरण <math>\boldsymbol{a}_k</math> के लिए जिम्मेदार दूसरे ऑर्डर शब्द को जोड़कर विधि में सुधार करना संभव है। जियोडेसिक के साथ


:<math>
:<math>
Line 77: Line 76:
\boldsymbol{J}_k \boldsymbol{a}_k = -f_{vv} .
\boldsymbol{J}_k \boldsymbol{a}_k = -f_{vv} .
</math>
</math>
चूँकि यह जियोडेसिक त्वरण शब्द केवल [[दिशात्मक व्युत्पन्न]] पर निर्भर करता है <math>f_{vv} = \sum_{\mu\nu} v_{\mu} v_{\nu} \partial_{\mu} \partial_{\nu} f (\boldsymbol{x})</math> वेग की दिशा में <math>\boldsymbol{v}</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 85: Line 84:
\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"/>


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


:<math>
:<math>
\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 100: Line 99:


[[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> इस्तेमाल किया गया
[[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:55, 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 =* सॉफ्टवेयर

}}