सामान्यीकृत वितरण नियम: Difference between revisions

From Vigyanwiki
No edit summary
 
(3 intermediate revisions by 3 users not shown)
Line 1: Line 1:
'''सामान्यीकृत वितरण नियम''' (जीडीएल) वितरण गुण का एक ऐसा सामान्यीकरण है जो सामान्य [[संदेश देना]] एल्गोरिदम को जन्म देता है।<ref name=GenDistLaw>{{cite journal|last=Aji|first=S.M.|author2=McEliece, R.J.|title=सामान्यीकृत वितरणात्मक कानून|journal=IEEE Transactions on Information Theory|date=Mar 2000|volume=46|issue=2|pages=325–343|doi=10.1109/18.825794|url=https://authors.library.caltech.edu/1541/1/AJIieeetit00.pdf}}</ref> यह [[सूचना सिद्धांत]], [[डिजिटल संचार]], [[ संकेत आगे बढ़ाना |संकेत आगे बढ़ाना]], सांख्यिकी और कृत्रिम बुद्धिमत्ता समुदायों में कई लेखकों के फलन का संश्लेषण है। अतः नियम और एल्गोरिदम को इसी शीर्षक के साथ श्रीनिवास एम. अजी और रॉबर्ट जे. मैकएलीस द्वारा अर्ध-संरक्षक में प्रस्तुत किया गया था।<ref name=GenDistLaw />
'''सामान्यीकृत वितरण नियम''' (जीडीएल) वितरण गुण का एक ऐसा सामान्यीकरण है जो सामान्य [[संदेश देना]] एल्गोरिदम को जन्म देता है।<ref name=GenDistLaw>{{cite journal|last=Aji|first=S.M.|author2=McEliece, R.J.|title=सामान्यीकृत वितरणात्मक कानून|journal=IEEE Transactions on Information Theory|date=Mar 2000|volume=46|issue=2|pages=325–343|doi=10.1109/18.825794|url=https://authors.library.caltech.edu/1541/1/AJIieeetit00.pdf}}</ref> यह [[सूचना सिद्धांत]], डिजिटल संचार, [[ संकेत आगे बढ़ाना |संकेत आगे बढ़ाना]], सांख्यिकी और कृत्रिम बुद्धिमत्ता समुदायों में कई लेखकों के फलन का संश्लेषण है। अतः नियम और एल्गोरिदम को इसी शीर्षक के साथ श्रीनिवास एम. अजी और रॉबर्ट जे. मैकएलीस द्वारा अर्ध-संरक्षक में प्रस्तुत किया गया था।<ref name=GenDistLaw />
==परिचय==
==परिचय==
''गणित में वितरणात्मक नियम गुणा और योग की संक्रियाओं से संबंधित नियम है, जिसे प्रतीकात्मक रूप से कहा गया है, <math> a*(b + c) = a*b + a*c</math>; अर्थात, एकपदी गुणनखंड <math>a</math> द्विपद गुणनखंड <math> b + c </math> के प्रत्येक पद पर वितरित किया जाता है, या अलग से लागू किया जाता है, जिसके परिणामस्वरूप उत्पाद <math> a*b + a*c </math>- होता है" - ब्रिटानिका''<ref name="Britannica">{{cite encyclopedia|title=वितरणात्मक कानून|url=http://www.britannica.com/EBchecked/topic/166204/distributive-law|encyclopedia=Encyclopædia Britannica. Encyclopædia Britannica Online|publisher=Encyclopædia Britannica Inc|accessdate=1 May 2012}}</ref>
''गणित में वितरणात्मक नियम गुणा और योग की संक्रियाओं से संबंधित नियम है, जिसे प्रतीकात्मक रूप से कहा गया है, <math> a*(b + c) = a*b + a*c</math>; अर्थात, एकपदी गुणनखंड <math>a</math> द्विपद गुणनखंड <math> b + c </math> के प्रत्येक पद पर वितरित किया जाता है, या अलग से लागू किया जाता है, जिसके परिणामस्वरूप उत्पाद <math> a*b + a*c </math>- होता है" - ब्रिटानिका''<ref name="Britannica">{{cite encyclopedia|title=वितरणात्मक कानून|url=http://www.britannica.com/EBchecked/topic/166204/distributive-law|encyclopedia=Encyclopædia Britannica. Encyclopædia Britannica Online|publisher=Encyclopædia Britannica Inc|accessdate=1 May 2012}}</ref>


जैसा कि परिभाषा से देखा जा सकता है, अंकगणितीय अभिव्यक्ति में वितरणात्मक नियम को लागू करने से इसमें संक्रियाओं की संख्या कम हो जाती है। पूर्व उदाहरण में संक्रियाओं की कुल संख्या तीन <math> a*b + a*c </math>) में दो गुणा और एक जोड़) से घटकर दो हो गई <math> a*(b + c) </math>में एक गुणा और एक जोड़)। वितरणात्मक नियम के सामान्यीकरण से [[तेज़ एल्गोरिदम|तीव्र एल्गोरिदम]] का बड़ा वर्ग तैयार होता है। इसमें [[फास्ट फूरियर ट्रांसफॉर्म|फास्ट फूरियर परिवर्तन]] और [[विटर्बी एल्गोरिदम]] सम्मिलित हैं।
जैसा कि परिभाषा से देखा जा सकता है, अंकगणितीय अभिव्यक्ति में वितरणात्मक नियम को लागू करने से इसमें संक्रियाओं की संख्या कम हो जाती है। पूर्व उदाहरण में संक्रियाओं की कुल संख्या तीन <math> a*b + a*c </math>) में दो गुणा और एक जोड़) से घटकर दो हो गई <math> a*(b + c) </math>में एक गुणा और एक जोड़)। वितरणात्मक नियम के सामान्यीकरण से तीव्र एल्गोरिदम का बड़ा वर्ग तैयार होता है। इसमें [[फास्ट फूरियर ट्रांसफॉर्म|फास्ट फूरियर परिवर्तन]] और [[विटर्बी एल्गोरिदम]] सम्मिलित हैं।


इस प्रकार से इसे नीचे दिए गए उदाहरण में अधिक औपचारिक विधि से समझाया गया है:
इस प्रकार से इसे नीचे दिए गए उदाहरण में अधिक औपचारिक विधि से समझाया गया है:
Line 9: Line 9:
<math>\alpha(a,\, b) \stackrel{\mathrm{def}}{=} \displaystyle\sum \limits_{c,d,e \in A} f(a, \, c, \, b) \, g(a, \, d, \, e) </math> जहां <math>f(\cdot)</math> और <math>g(\cdot)</math> वास्तविक-मानित फलन हैं, <math>a,b,c,d,e \in A</math> और <math>|A|=q</math> (कहना)
<math>\alpha(a,\, b) \stackrel{\mathrm{def}}{=} \displaystyle\sum \limits_{c,d,e \in A} f(a, \, c, \, b) \, g(a, \, d, \, e) </math> जहां <math>f(\cdot)</math> और <math>g(\cdot)</math> वास्तविक-मानित फलन हैं, <math>a,b,c,d,e \in A</math> और <math>|A|=q</math> (कहना)


यहां हम परिणाम प्राप्त करने के लिए स्वतंत्र चरों (<math>c</math>, <math>d</math>, और <math>e</math>) को हाशिए पर रख रहे हैं। जब हम कम्प्यूटेशनल जटिलता की गणना कर रहे हैं, तो हम देख सकते हैं कि <math>(a,b)</math> के प्रत्येक <math>q^{2}</math> जोड़े के लिए, त्रिक <math>(c,d,e)</math> के कारण <math>q^{3}</math> पद हैं जिन्हें लेने की आवश्यकता है प्रत्येक चरण में एक योग और एक गुणा के साथ <math>\alpha(a,\, b)</math> के मूल्यांकन में भाग लें। इसलिए, आवश्यक गणनाओं की कुल संख्या <math>2\cdot q^2 \cdot q^3 = 2q^5</math> हैं। इसलिए उपरोक्त फलन की स्पर्शोन्मुख जटिलता <math>O(n^5)</math> हैं।
यहां हम परिणाम प्राप्त करने के लिए स्वतंत्र चरों (<math>c</math>, <math>d</math>, और <math>e</math>) को हाशिए पर रख रहे हैं। जब हम कम्प्यूटेशनल जटिलता की गणना कर रहे हैं, तो हम देख सकते हैं कि <math>(a,b)</math> के प्रत्येक <math>q^{2}</math> जोड़े के लिए, त्रिक <math>(c,d,e)</math> के कारण <math>q^{3}</math> पद हैं जिन्हें लेने की आवश्यकता है प्रत्येक चरण में एक योग और एक गुणा के साथ <math>\alpha(a,\, b)</math> के मूल्यांकन में भाग लें है। इसलिए, आवश्यक गणनाओं की कुल संख्या <math>2\cdot q^2 \cdot q^3 = 2q^5</math> हैं। इसलिए उपरोक्त फलन की स्पर्शोन्मुख जटिलता <math>O(n^5)</math> हैं।


यदि हम वितरण नियम को समीकरण के आरएचएस पर लागू करते हैं, तो हमें निम्नलिखित मिलता है:
यदि हम वितरण नियम को समीकरण के आरएचएस पर लागू करते हैं, तो हमें निम्नलिखित मिलता है:
Line 16: Line 16:
अतः इसका अर्थ यह है कि <math>\alpha(a, \, b)</math> को उत्पाद <math>\alpha_{1}(a,\, b) \cdot \alpha_{2}(a)</math> के रूप में वर्णित किया जा सकता है जहां <math> \alpha_{1}(a,b) \stackrel{\mathrm{def}}{=} \displaystyle\sum\limits_{c \in A} f(a, \, c, \, b )</math> और <math>\alpha_{2}(a) \stackrel{\mathrm{def}}{=} \displaystyle\sum\limits_{d,\,e \in A} g(a,\, d, \,e )</math>
अतः इसका अर्थ यह है कि <math>\alpha(a, \, b)</math> को उत्पाद <math>\alpha_{1}(a,\, b) \cdot \alpha_{2}(a)</math> के रूप में वर्णित किया जा सकता है जहां <math> \alpha_{1}(a,b) \stackrel{\mathrm{def}}{=} \displaystyle\sum\limits_{c \in A} f(a, \, c, \, b )</math> और <math>\alpha_{2}(a) \stackrel{\mathrm{def}}{=} \displaystyle\sum\limits_{d,\,e \in A} g(a,\, d, \,e )</math>


अब, जब हम कम्प्यूटेशनल जटिलता की गणना कर रहे हैं, तो हम देख सकते हैं कि <math>\alpha_{1}(a,\, b)</math> और <math>\alpha_{2}(a)</math> प्रत्येक में <math>q^{3}</math> योग हैं और जब हम होते हैं तो <math>q^2</math> गुणन होते हैं <math>\alpha(a, \, b)</math> का मूल्यांकन करने के लिए उत्पाद <math>\alpha_{1}(a,\, b) \cdot \alpha_{2}(a)</math> का उपयोग करना। इसलिए, आवश्यक गणनाओं की कुल संख्या <math>q^3 + q^3 + q^2 = 2q^3 + q^2</math> है। इसलिए गणना की स्पर्शोन्मुख जटिलता <math>\alpha(a,b)</math> <math>O(n^{3})</math> से <math>O(n^{5})</math> तक कम कर देता है। यह उदाहरण से ज्ञात होता है कि वितरण नियम लागू करने से कम्प्यूटेशनल जटिलता कम हो जाती है जो कि तीव्र एल्गोरिदम की स्पष्ट विशेषताओं में से है।
अब, जब हम कम्प्यूटेशनल जटिलता की गणना कर रहे हैं, तो हम देख सकते हैं कि <math>\alpha_{1}(a,\, b)</math> और <math>\alpha_{2}(a)</math> प्रत्येक में <math>q^{3}</math> योग हैं और जब हम होते हैं तो <math>q^2</math> गुणन होते हैं <math>\alpha(a, \, b)</math> का मूल्यांकन करने के लिए उत्पाद <math>\alpha_{1}(a,\, b) \cdot \alpha_{2}(a)</math> का उपयोग करना है। इसलिए, आवश्यक गणनाओं की कुल संख्या <math>q^3 + q^3 + q^2 = 2q^3 + q^2</math> है। इसलिए गणना की स्पर्शोन्मुख जटिलता <math>\alpha(a,b)</math> <math>O(n^{3})</math> से <math>O(n^{5})</math> तक कम कर देता है। यह उदाहरण से ज्ञात होता है कि वितरण नियम लागू करने से कम्प्यूटेशनल जटिलता कम हो जाती है जो कि तीव्र एल्गोरिदम की स्पष्ट विशेषताओं में से है।


==इतिहास==
==इतिहास==


कुछ समस्याएँ जिन्हें हल करने के लिए वितरणात्मक नियम का उपयोग किया गया, उन्हें निम्नानुसार समूहीकृत किया जा सकता है
कुछ समस्याएँ जिन्हें हल करने के लिए वितरणात्मक नियम का उपयोग किया गया, उन्हें निम्नानुसार समूहीकृत किया जा सकता है:


1. डिकोडिंग एल्गोरिदम<br>कम घनत्व समता-जांच कोड को डिकोड करने के लिए गैलेजर द्वारा जीडीएल जैसे एल्गोरिदम का उपयोग किया गया था। गैलागर के फलन के आधार पर टान्नर ने [[टान्नर ग्राफ]] प्रस्तुत किया और गैलागर के फलन को संदेश पासिंग रूप में व्यक्त किया। टेनर्स ग्राफ़ ने विटरबी एल्गोरिदम को समझाने में भी सहायता की।
1. डिकोडिंग एल्गोरिदम<br>कम घनत्व समता-जांच कोड को डिकोड करने के लिए गैलेजर द्वारा जीडीएल जैसे एल्गोरिदम का उपयोग किया गया था। गैलागर के फलन के आधार पर टान्नर ने टान्नर ग्राफ प्रस्तुत किया और गैलागर के फलन को संदेश पासिंग रूप में व्यक्त किया। टेनर्स ग्राफ़ ने विटरबी एल्गोरिदम को समझाने में भी सहायता की है।


फ़ॉर्नी द्वारा यह देखा गया है कि विटर्बी के [[कन्वेन्शनल कोड]] की अधिकतम संभावना डिकोडिंग में जीडीएल जैसी व्यापकता के एल्गोरिदम का भी उपयोग किया जाता है।
फ़ॉर्नी द्वारा यह देखा गया है कि विटर्बी के कन्वेन्शनल कोड की अधिकतम संभावना डिकोडिंग में जीडीएल जैसी व्यापकता के एल्गोरिदम का भी उपयोग किया जाता है।


2. [[फॉरवर्ड-बैकवर्ड एल्गोरिथम|फॉरवर्ड-बैकवर्ड एल्गोरिदम]]<br>फॉरवर्ड बैकवर्ड एल्गोरिदम ने [[मार्कोव श्रृंखला]] में स्थितियों को ट्रैक करने के लिए एल्गोरिदम के रूप में सहायता की। और इसमें भी सामान्यता के जैसे जीडीएल के एल्गोरिदम का उपयोग किया गया था
2. [[फॉरवर्ड-बैकवर्ड एल्गोरिथम|फॉरवर्ड-बैकवर्ड एल्गोरिदम]]<br>फॉरवर्ड बैकवर्ड एल्गोरिदम ने [[मार्कोव श्रृंखला]] में स्थितियों को ट्रैक करने के लिए एल्गोरिदम के रूप में सहायता की है। और इसमें भी सामान्यता के जैसे जीडीएल के एल्गोरिदम का उपयोग किया गया था


3. कृत्रिम बुद्धिमत्ता<br>एआई में कई समस्याओं को हल करने के लिए संधि ट्री की अवधारणा का उपयोग किया गया है। इसके अतिरिक्त [[बाल्टी उन्मूलन]] की अवधारणा में कई अवधारणाओं का उपयोग किया गया।
3. कृत्रिम बुद्धिमत्ता<br>एआई में कई समस्याओं को हल करने के लिए संधि ट्री की अवधारणा का उपयोग किया गया है। इसके अतिरिक्त बाल्टी उन्मूलन की अवधारणा में कई अवधारणाओं का उपयोग किया गया।


==एमपीएफ समस्या==
==एमपीएफ समस्या==


इस प्रकार से एमपीएफ या उत्पाद फलन को हाशिए पर रखना सामान्य कम्प्यूटेशनल समस्या है जिसमें विशेष स्थिति में कई शास्त्रीय समस्याएं सम्मिलित हैं जैसे कि असतत [[हैडामर्ड परिवर्तन]] की गणना, मेमोरी-कम [[चैनल (संचार)]] पर [[रैखिक कोड]] की [[अधिकतम संभावना डिकोडिंग]], और [[मैट्रिक्स श्रृंखला गुणन]]। अतः जीडीएल की शक्ति इस तथ्य में निहित है कि यह उन स्थितियों पर लागू होता है जिनमें योग और गुणा को सामान्यीकृत किया जाता है। इस व्यवहार को समझाने के लिए [[क्रमविनिमेय सेमीरिंग|क्रमविनिमेय अर्ध वलय]] स्पष्ट संरचना है। इसे समुच्चय पर <math>K</math> ऑपरेटरों के साथ "<math>+</math>" और "<math>.</math>" परिभाषित किया गया है, जहां <math>(K,\, +)</math> और <math>(K,\, .)</math> [[क्रमविनिमेय मोनोइड]] हैं और वितरणात्मक नियम निहित है।
इस प्रकार से एमपीएफ या उत्पाद फलन को हाशिए पर रखना सामान्य कम्प्यूटेशनल समस्या है जिसमें विशेष स्थिति में कई शास्त्रीय समस्याएं सम्मिलित हैं जैसे कि असतत [[हैडामर्ड परिवर्तन]] की गणना, मेमोरी-कम चैनल (संचार) पर रैखिक कोड की अधिकतम संभावना डिकोडिंग, और मैट्रिक्स श्रृंखला गुणन है। अतः जीडीएल की शक्ति इस तथ्य में निहित है कि यह उन स्थितियों पर लागू होता है जिनमें योग और गुणा को सामान्यीकृत किया जाता है। इस व्यवहार को समझाने के लिए क्रमविनिमेय अर्ध वलय स्पष्ट संरचना है। इसे समुच्चय पर <math>K</math> ऑपरेटरों के साथ "<math>+</math>" और "<math>.</math>" परिभाषित किया गया है, जहां <math>(K,\, +)</math> और <math>(K,\, .)</math> क्रमविनिमेय मोनोइड हैं और वितरणात्मक नियम निहित है।


मान लीजिए <math>p_1, \ldots, p_n</math> ऐसे परिवर्तनशील <math>p_1 \in A_1, \ldots, p_n \in A_{n}</math> हैं जहां <math>A </math> और <math>|A_i| = q_i</math> परिमित समुच्चय है। जहां <math>i = 1,\ldots, n</math> है। यदि <math>S = \{i_{1}, \ldots, i_{r}\}</math> और <math>S \, \subset \{1,\ldots, n\}</math>, मान लीजिए <math> A_{S}  = A_{i_1} \times \cdots \times A_{i_r} </math>, <math> p_{S} = (p_{i_1},\ldots, p_{i_r})</math>,
मान लीजिए <math>p_1, \ldots, p_n</math> ऐसे परिवर्तनशील <math>p_1 \in A_1, \ldots, p_n \in A_{n}</math> हैं जहां <math>A </math> और <math>|A_i| = q_i</math> परिमित समुच्चय है। जहां <math>i = 1,\ldots, n</math> है। यदि <math>S = \{i_{1}, \ldots, i_{r}\}</math> और <math>S \, \subset \{1,\ldots, n\}</math>, मान लीजिए <math> A_{S}  = A_{i_1} \times \cdots \times A_{i_r} </math>, <math> p_{S} = (p_{i_1},\ldots, p_{i_r})</math>,
Line 50: Line 50:
: <math> \alpha(p_1, \, p_4) =  \displaystyle\sum\limits_{p_2 \in A_2,\, p_3 \in A_3, \, p_5 \in A_5 } f(p_1,\, p_2,\, p_5 ) \cdot g(p_2, \, p_4)</math>
: <math> \alpha(p_1, \, p_4) =  \displaystyle\sum\limits_{p_2 \in A_2,\, p_3 \in A_3, \, p_5 \in A_5 } f(p_1,\, p_2,\, p_5 ) \cdot g(p_2, \, p_4)</math>
: <math> \beta(p_{2}) = \sum\limits_{p_1 \in A_1,\, p_3 \in A_3,\, p_4 \in A_4, \, p_5 \in A_5 } f(p_1, \, p_2, \, p_5) \cdot g(p_2, \, p_4) </math>
: <math> \beta(p_{2}) = \sum\limits_{p_1 \in A_1,\, p_3 \in A_3,\, p_4 \in A_4, \, p_5 \in A_5 } f(p_1, \, p_2, \, p_5) \cdot g(p_2, \, p_4) </math>
प्रकार सेय हां स्थानीय प्रांत और स्थानीय कर्नेल को इस प्रकार परिभाषित किया गया है:
इस प्रकार से यहाँ स्थानीय प्रांत और स्थानीय कर्नेल को इस प्रकार परिभाषित किया गया है:
  {|
  {|
|-
|-
Line 89: Line 89:


: <math>F(p_1, p_2, p_3,p_4) = \displaystyle\sum \limits_{r_1,r_2,r_3,r_4} f(r_1,r_2,r_3,r_4) \cdot(-1)^{p_1r_1 + p_2r_2 + p_3r_3 + p_4r_4}.</math> है।
: <math>F(p_1, p_2, p_3,p_4) = \displaystyle\sum \limits_{r_1,r_2,r_3,r_4} f(r_1,r_2,r_3,r_4) \cdot(-1)^{p_1r_1 + p_2r_2 + p_3r_3 + p_4r_4}.</math> है।
इस प्रकार से यह फलन <math>f(\cdot)</math> का हैडामर्ड परिवर्तन है। इसलिए हम देख सकते हैं कि हैडामर्ड परिवर्तन की गणना एमपीएफ समस्या की विशेष स्थिति है। यह सिद्ध करने के लिए और अधिक उदाहरण प्रदर्शित किए जा सकते हैं कि एमपीएफ समस्या कई शास्त्रीय समस्याओं की विशेष स्थिति बनाती है जैसा कि ऊपर बताया गया है जिनका विवरण यहां पाया जा सकता है।<ref name=GenDistLaw />
इस प्रकार से यह फलन <math>f(\cdot)</math> का हैडामर्ड परिवर्तन है। इसलिए हम देख सकते हैं कि हैडामर्ड परिवर्तन की गणना एमपीएफ समस्या की विशेष स्थिति है। यह सिद्ध करने के लिए और अधिक उदाहरण प्रदर्शित किए जा सकते हैं कि एमपीएफ समस्या कई शास्त्रीय समस्याओं की विशेष स्थिति बनाती है जैसा कि ऊपर बताया गया है, जिनका विवरण यहां पाया जा सकता है।<ref name=GenDistLaw />
== जीडीएल: एमपीएफ समस्या को हल करने के लिए एल्गोरिदम ==
== जीडीएल: एमपीएफ समस्या को हल करने के लिए एल्गोरिदम ==


Line 109: Line 109:
ऊपर दिए गए स्थानीय प्रांत के समुच्चय के लिए, कोई उन्हें संधि ट्री में व्यवस्थित कर सकता है जैसा कि नीचे दिखाया गया है:
ऊपर दिए गए स्थानीय प्रांत के समुच्चय के लिए, कोई उन्हें संधि ट्री में व्यवस्थित कर सकता है जैसा कि नीचे दिखाया गया है:


[[File:An example of a junction tree on a given set.png|center|ट्री के संधि का उदाहरण]]इसी प्रकार यदि निम्नलिखित जैसा और समुच्चय दिया गया है
[[File:An example of a junction tree on a given set.png|center|ट्री के संधि का उदाहरण|491x491px]]इसी प्रकार यदि निम्नलिखित जैसा और समुच्चय दिया गया है-


उदाहरण 2: निम्नलिखित चार स्थानीय प्रांत पर विचार करें:
उदाहरण 2: निम्नलिखित चार स्थानीय प्रांत पर विचार करें:
Line 131: Line 131:
जहां <math>v_k \operatorname{adj} v_i</math> का अर्थ है कि <math>v_{k}</math> ट्री में <math>v_{i}</math> का आसन्न शीर्ष है।
जहां <math>v_k \operatorname{adj} v_i</math> का अर्थ है कि <math>v_{k}</math> ट्री में <math>v_{i}</math> का आसन्न शीर्ष है।


इसी प्रकार प्रत्येक शीर्ष पर स्थिति होती है जिसे फलन के मानों वाली तालिका के रूप में परिभाषित किया जाता है <math>\sigma_{i}: A_{S_{i}} \rightarrow R </math>, निश्चित वैसे ही जैसे संदेश 1 से प्रारंभ होते हैं, ठीक उसी प्रकार, <math>v_{i}</math> की स्थिति स्थानीय कर्नेल <math>\alpha(p_{S_{i}})</math> के रूप में परिभाषित किया गया है, परंतु जब भी <math>\sigma_{i}</math> अद्यतन हो जाता है, यह निम्नलिखित समीकरण का पालन करता है:
इसी प्रकार प्रत्येक शीर्ष पर स्थिति होती है जिसे फलन के मानों वाली तालिका <math>\sigma_{i}: A_{S_{i}} \rightarrow R </math> के रूप में परिभाषित किया जाता है , निश्चित वैसे ही जैसे संदेश 1 से प्रारंभ होते हैं, ठीक उसी प्रकार, <math>v_{i}</math> की स्थिति स्थानीय कर्नेल <math>\alpha(p_{S_{i}})</math> के रूप में परिभाषित किया गया है, परंतु जब भी <math>\sigma_{i}</math> अद्यतन हो जाता है, यह निम्नलिखित समीकरण का पालन करता है:


: <math>\sigma(p_{S_i})  =  \alpha_i(p_{S_i}) \prod_{v_k \operatorname{adj} v_i}  \mu_{k,j}(p_{S_k\cap S_i})(2).</math>
: <math>\sigma(p_{S_i})  =  \alpha_i(p_{S_i}) \prod_{v_k \operatorname{adj} v_i}  \mu_{k,j}(p_{S_k\cap S_i})(2).</math>
Line 141: Line 141:
ऐसी दो विशेष स्थिति हैं जिनके विषय में हम यहां बात करने जा रहे हैं, अर्थात् एकल शीर्ष समस्या जिसमें उद्देश्य फलन की गणना मात्र शीर्ष पर की जाती है। इस प्रकार से <math>v_{0}</math> और दूसरा सभी शीर्ष समस्याएँ है जहां लक्ष्य सभी शीर्षों पर उदेश्य फलन की गणना करना है।
ऐसी दो विशेष स्थिति हैं जिनके विषय में हम यहां बात करने जा रहे हैं, अर्थात् एकल शीर्ष समस्या जिसमें उद्देश्य फलन की गणना मात्र शीर्ष पर की जाती है। इस प्रकार से <math>v_{0}</math> और दूसरा सभी शीर्ष समस्याएँ है जहां लक्ष्य सभी शीर्षों पर उदेश्य फलन की गणना करना है।


आइए 'एकल-शीर्ष समस्या' से प्रारंभ करें, जीडीएल प्रत्येक किनारे को लक्षित शीर्ष <math>v_0</math> की ओर निर्देशित करके प्रारंभ करेगा। यहां संदेश मात्र लक्षित शीर्ष की दिशा में ही भेजे जाते हैं। ध्यान दें कि सभी निर्देशित संदेश मात्र बार भेजे जाते हैं। संदेश लीफ नोड्स (जहां डिग्री 1 है) से प्रारंभ होकर लक्ष्य शीर्ष <math>v_0</math> की ओर बढ़ते हैं। संदेश पत्तियों से उसके माता-पिता तक और फिर वहां से उनके माता-पिता तक और इसी प्रकार तब तक चलता रहता है जब तक कि वह लक्ष्य शीर्ष <math>v_0</math> तक नहीं पहुंच जाता है। लक्ष्य शिखर <math>v_0</math> अपनी स्थिति की गणना तभी करेगा जब उसे अपने सभी निकटवर्तियों से सभी संदेश प्राप्त होंगे। एक बार जब हमें स्थिति मिल जाती है, तो हमें उत्तर मिल जाता है और इसलिए एल्गोरिदम समाप्त हो जाता है।
आइए 'एकल-शीर्ष समस्या' से प्रारंभ करें, जीडीएल प्रत्येक किनारे को लक्षित शीर्ष <math>v_0</math> की ओर निर्देशित करके प्रारंभ करेगा। यहां संदेश मात्र लक्षित शीर्ष की दिशा में ही भेजे जाते हैं। ध्यान दें कि सभी निर्देशित संदेश मात्र एक बार भेजे जाते हैं। संदेश लीफ नोड्स (जहां डिग्री 1 है) से प्रारंभ होकर लक्ष्य शीर्ष <math>v_0</math> की ओर बढ़ते हैं। संदेश पत्तियों से उसके माता-पिता तक और फिर वहां से उनके माता-पिता तक और इसी प्रकार तब तक चलता रहता है जब तक कि वह लक्ष्य शीर्ष <math>v_0</math> तक नहीं पहुंच जाता है। लक्ष्य शिखर <math>v_0</math> अपनी स्थिति की गणना तभी करेगा जब उसे अपने सभी निकटवर्तियों से सभी संदेश प्राप्त होंगे। एक बार जब हमें स्थिति मिल जाती है, तो हमें उत्तर मिल जाता है और इसलिए एल्गोरिदम समाप्त हो जाता है।


इस प्रकार से उदाहरण के लिए, आइए ऊपर दिए गए स्थानीय प्रांत के समुच्चय से निर्मित संधि ट्री पर विचार करें, अर्थात उदाहरण 1 से समुच्चय, <br />अब इन प्रांत के लिए शेड्यूलिंग तालिका है (जहां लक्ष्य शीर्ष <math>p_2</math> है)।
इस प्रकार से उदाहरण के लिए, आइए ऊपर दिए गए स्थानीय प्रांत के समुच्चय से निर्मित संधि ट्री पर विचार करें, अर्थात उदाहरण 1 से समुच्चय, <br />अब इन प्रांत के लिए शेड्यूलिंग तालिका है (जहां लक्ष्य शीर्ष <math>p_2</math> है)।
Line 147: Line 147:
<math>\text{Round                      Message or State Computation} </math><br/><math>1.\mu_{8,4}(p_{4}) = \alpha_{8}(p_{4}) </math><br/><math>2.\mu_{8,4}(p_{4}) = \Sigma_{p_{2}} \alpha_{9}(p_{2},p_{4}) </math><br/><math>3.\mu_{5,2}(p_{3}) = \alpha_{5}(p_{3}) </math><br/><math>4.\mu_{6,3}(p_{1}) = \Sigma_{p_{4}} \alpha_{6}(p_{1},p_{4}) </math><br/><math>5.\mu_{7,3}(p_{1}) = \alpha_{7}(p_{1}) </math><br/><math>6.\mu_{4,2}(p_{3}) = \Sigma_{p_{4}} \alpha_{4}(p_{3},p_{4}).\mu_{8,4}(p_{4}).\mu_{9,4}(p_{4}) </math><br/><math>7.\mu_{3,1}(p_{2}) = \Sigma_{p_{1}} \alpha_{3}(p_{2},p_{1}).\mu_{6,3}(p_{1}).\mu_{7,3}(p_{1}) </math><br/><math>8.\mu_{2,1}(p_{2}) = \Sigma_{p_{3}} \alpha_{2}(p_{3},p_{2}).\mu_{4,2}(p_{3}).\mu_{5,2}(p_{3}) </math><br/><math>9.\sigma_{1}(p_{2}) = \alpha_{1}(p_{2}).\mu_{2,1}(p_{2}).\mu_{3,1}(p_{2})</math>
<math>\text{Round                      Message or State Computation} </math><br/><math>1.\mu_{8,4}(p_{4}) = \alpha_{8}(p_{4}) </math><br/><math>2.\mu_{8,4}(p_{4}) = \Sigma_{p_{2}} \alpha_{9}(p_{2},p_{4}) </math><br/><math>3.\mu_{5,2}(p_{3}) = \alpha_{5}(p_{3}) </math><br/><math>4.\mu_{6,3}(p_{1}) = \Sigma_{p_{4}} \alpha_{6}(p_{1},p_{4}) </math><br/><math>5.\mu_{7,3}(p_{1}) = \alpha_{7}(p_{1}) </math><br/><math>6.\mu_{4,2}(p_{3}) = \Sigma_{p_{4}} \alpha_{4}(p_{3},p_{4}).\mu_{8,4}(p_{4}).\mu_{9,4}(p_{4}) </math><br/><math>7.\mu_{3,1}(p_{2}) = \Sigma_{p_{1}} \alpha_{3}(p_{2},p_{1}).\mu_{6,3}(p_{1}).\mu_{7,3}(p_{1}) </math><br/><math>8.\mu_{2,1}(p_{2}) = \Sigma_{p_{3}} \alpha_{2}(p_{3},p_{2}).\mu_{4,2}(p_{3}).\mu_{5,2}(p_{3}) </math><br/><math>9.\sigma_{1}(p_{2}) = \alpha_{1}(p_{2}).\mu_{2,1}(p_{2}).\mu_{3,1}(p_{2})</math>


इस प्रकार एकल शीर्ष जीडीएल की जटिलता को इस प्रकार दिखाया जा सकता है
इस प्रकार एकल शीर्ष जीडीएल की जटिलता को इस प्रकार दिखाया जा सकता है-


<math>\Sigma_{v} d(v)|A_{S_{(v)}}| </math> अंकगणितीय संक्रियाएँ<br />जहां (नोट: उपरोक्त समीकरण का स्पष्टीकरण लेख में बाद में बताया गया है)<br /><math>S(v)</math> <math>v</math> का लेबल है।<br /><math>d(v)</math> की [[डिग्री (ग्राफ सिद्धांत)]] <math>v</math> है (अर्थात् v के निकटवर्ती शीर्षों की संख्या)।
<math>\Sigma_{v} d(v)|A_{S_{(v)}}| </math> अंकगणितीय संक्रियाएँ<br />जहां (नोट: उपरोक्त समीकरण का स्पष्टीकरण लेख में बाद में बताया गया है)<br /><math>S(v)</math> <math>v</math> का लेबल है।<br /><math>d(v)</math> की [[डिग्री (ग्राफ सिद्धांत)]] <math>v</math> है (अर्थात् v के निकटवर्ती शीर्षों की संख्या)।
Line 153: Line 153:
'''सभी शीर्ष समस्या''' को हल करने के लिए, हम जीडीएल को कई विधियों से नियोजक कर सकते हैं, उनमें से कुछ समानांतर कार्यान्वयन हैं जहां प्रत्येक समय में, प्रत्येक स्थिति को अपडेट किया जाता है और प्रत्येक संदेश की गणना और ही समय में प्रसारित किया जाता है। इस प्रकार के कार्यान्वयन में स्थिति और संदेश अधिक से अधिक संख्या में चक्कर लगाने के बाद स्थिर हो जाएंगे जो कि ट्री के व्यास के बराबर है। इस बिंदु पर शीर्षों की सभी अवस्थाएँ वांछित उद्देश्य फलन के बराबर होंगी।
'''सभी शीर्ष समस्या''' को हल करने के लिए, हम जीडीएल को कई विधियों से नियोजक कर सकते हैं, उनमें से कुछ समानांतर कार्यान्वयन हैं जहां प्रत्येक समय में, प्रत्येक स्थिति को अपडेट किया जाता है और प्रत्येक संदेश की गणना और ही समय में प्रसारित किया जाता है। इस प्रकार के कार्यान्वयन में स्थिति और संदेश अधिक से अधिक संख्या में चक्कर लगाने के बाद स्थिर हो जाएंगे जो कि ट्री के व्यास के बराबर है। इस बिंदु पर शीर्षों की सभी अवस्थाएँ वांछित उद्देश्य फलन के बराबर होंगी।


इस समस्या के लिए जीडीएल को नियोजक करने की दूसरी विधि क्रमिक कार्यान्वयन है जहां यह एकल शीर्ष समस्या के समान है, इसके अतिरिक्त कि हम एल्गोरिदम को तब तक नहीं रोकते हैं जब तक कि आवश्यक समुच्चय के सभी शीर्षों को अपने सभी निकटवर्तियों से सभी संदेश न मिल जाएं और उनकी स्थिति की गणना न कर लें।<br />इस प्रकार से इस कार्यान्वयन के लिए आवश्यक अंकगणित की संख्या अधिकतम <math>\Sigma_{v \in V} d(v)|A_{S_{(v)}}| </math> अंकगणितीय संक्रिया है।
इस समस्या के लिए जीडीएल को नियोजक करने की दूसरी विधि क्रमिक कार्यान्वयन है, जहां यह एकल शीर्ष समस्या के समान है, इसके अतिरिक्त कि हम एल्गोरिदम को तब तक नहीं रोकते हैं जब तक कि आवश्यक समुच्चय के सभी शीर्षों को अपने सभी निकटवर्तियों से सभी संदेश न मिल जाएं और उनकी स्थिति की गणना न कर लें।<br />इस प्रकार से इस कार्यान्वयन के लिए आवश्यक अंकगणित की संख्या अधिकतम <math>\Sigma_{v \in V} d(v)|A_{S_{(v)}}| </math> अंकगणितीय संक्रिया है।


==संधि ट्री का निर्माण==
==संधि ट्री का निर्माण==
Line 163: Line 163:
== शेड्यूलिंग प्रमेय ==
== शेड्यूलिंग प्रमेय ==


मान लीजिए कि <math>'T'</math> शीर्ष समुच्चय <math>'V'</math> और किनारा समुच्चय <math>'E'</math> के साथ संधि ट्री बनें। इस एल्गोरिदम में, संदेश किसी भी किनारे पर दोनों दिशाओं में भेजे जाते हैं, इसलिए हम किनारे के समुच्चय E को शीर्षों के क्रमित जोड़े के समुच्चय के रूप में कह/मान सकते हैं। इस प्रकार से उदाहरण के लिए, चित्र 1 से <math>'E'</math> निम्नानुसार परिभाषित किया जा सकता है
मान लीजिए कि <math>'T'</math> शीर्ष समुच्चय <math>'V'</math> और किनारा समुच्चय <math>'E'</math> के साथ संधि ट्री बनें। इस एल्गोरिदम में, संदेश किसी भी किनारे पर दोनों दिशाओं में भेजे जाते हैं, इसलिए हम किनारे के समुच्चय E को शीर्षों के क्रमित जोड़े के समुच्चय के रूप में कह/मान सकते हैं। इस प्रकार से उदाहरण के लिए, चित्र 1 से <math>'E'</math> निम्नानुसार परिभाषित किया जा सकता है-


: <math>E = \{(1,2),(2,1),(1,3),(3,1),(4,2),(2,4),(5,2),(2,5),(6,3),(3,6),(7,3),(3,7),(8,4),(4,8),(9,4),(4,9)\}</math>
: <math>E = \{(1,2),(2,1),(1,3),(3,1),(4,2),(2,4),(5,2),(2,5),(6,3),(3,6),(7,3),(3,7),(8,4),(4,8),(9,4),(4,9)\}</math>
Line 284: Line 284:
[[Category: Machine Translated Page]]
[[Category: Machine Translated Page]]
[[Category:Created On 16/08/2023]]
[[Category:Created On 16/08/2023]]
[[Category:Vigyan Ready]]

Latest revision as of 10:15, 1 December 2023

सामान्यीकृत वितरण नियम (जीडीएल) वितरण गुण का एक ऐसा सामान्यीकरण है जो सामान्य संदेश देना एल्गोरिदम को जन्म देता है।[1] यह सूचना सिद्धांत, डिजिटल संचार, संकेत आगे बढ़ाना, सांख्यिकी और कृत्रिम बुद्धिमत्ता समुदायों में कई लेखकों के फलन का संश्लेषण है। अतः नियम और एल्गोरिदम को इसी शीर्षक के साथ श्रीनिवास एम. अजी और रॉबर्ट जे. मैकएलीस द्वारा अर्ध-संरक्षक में प्रस्तुत किया गया था।[1]

परिचय

गणित में वितरणात्मक नियम गुणा और योग की संक्रियाओं से संबंधित नियम है, जिसे प्रतीकात्मक रूप से कहा गया है, ; अर्थात, एकपदी गुणनखंड द्विपद गुणनखंड के प्रत्येक पद पर वितरित किया जाता है, या अलग से लागू किया जाता है, जिसके परिणामस्वरूप उत्पाद - होता है" - ब्रिटानिका[2]

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

इस प्रकार से इसे नीचे दिए गए उदाहरण में अधिक औपचारिक विधि से समझाया गया है:

जहां और वास्तविक-मानित फलन हैं, और (कहना)

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

यदि हम वितरण नियम को समीकरण के आरएचएस पर लागू करते हैं, तो हमें निम्नलिखित मिलता है:

अतः इसका अर्थ यह है कि को उत्पाद के रूप में वर्णित किया जा सकता है जहां और

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

इतिहास

कुछ समस्याएँ जिन्हें हल करने के लिए वितरणात्मक नियम का उपयोग किया गया, उन्हें निम्नानुसार समूहीकृत किया जा सकता है:

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

फ़ॉर्नी द्वारा यह देखा गया है कि विटर्बी के कन्वेन्शनल कोड की अधिकतम संभावना डिकोडिंग में जीडीएल जैसी व्यापकता के एल्गोरिदम का भी उपयोग किया जाता है।

2. फॉरवर्ड-बैकवर्ड एल्गोरिदम
फॉरवर्ड बैकवर्ड एल्गोरिदम ने मार्कोव श्रृंखला में स्थितियों को ट्रैक करने के लिए एल्गोरिदम के रूप में सहायता की है। और इसमें भी सामान्यता के जैसे जीडीएल के एल्गोरिदम का उपयोग किया गया था

3. कृत्रिम बुद्धिमत्ता
एआई में कई समस्याओं को हल करने के लिए संधि ट्री की अवधारणा का उपयोग किया गया है। इसके अतिरिक्त बाल्टी उन्मूलन की अवधारणा में कई अवधारणाओं का उपयोग किया गया।

एमपीएफ समस्या

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

मान लीजिए ऐसे परिवर्तनशील हैं जहां और परिमित समुच्चय है। जहां है। यदि और , मान लीजिए , ,

, , और

मान लीजिए जहां है। मान लीजिए किसी फलन को इस प्रकार परिभाषित किया गया है कि , जहां क्रमविनिमेय अर्ध वलय है। साथ ही, को स्थानीय प्रांत और को स्थानीय कर्नेल नाम दिया गया है।

इस प्रकार से अब वैश्विक कर्नेल को के जैसे परिभाषित किया जाता है :

एमपीएफ समस्या की परिभाषा: एक या अधिक सूचकांकों , के लिए, वैश्विक कर्नेल के - हाशियाकरण के मानों की एक तालिका की गणना करें, जो के रूप में परिभाषित फलन है।

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

निम्नलिखित एमपीएफ समस्या का उदाहरण है। मान लीजिए और ऐसे चर हैं कि और । यहाँ और । इस प्रकार से इन चरों का उपयोग करके दिए गए फलन और हैं, और हमें और की गणना इस प्रकार परिभाषित करने की आवश्यकता है:

इस प्रकार से यहाँ स्थानीय प्रांत और स्थानीय कर्नेल को इस प्रकार परिभाषित किया गया है:

स्थानीय प्रांत स्थानीय कर्नेल

जहां का उदेश्य फलन है और उदेश्य फलन है।

अतः एक अन्य उदाहरण पर विचार करें जहां और एक वास्तविक मानित फलन है। अब, हम एमपीएफ समस्या पर विचार करेंगे जहां क्रमविनिमेय अर्ध वलय को सामान्य योग और गुणा के साथ वास्तविक संख्याओं के समुच्चय के रूप में परिभाषित किया गया है, और स्थानीय प्रांत और स्थानीय कर्नेल को निम्नानुसार परिभाषित किया गया है:

स्थानीय प्रांत स्थानीय कर्नेल

चूँकि वैश्विक कर्नेल को स्थानीय कर्नेल के उत्पाद के रूप में परिभाषित किया गया है, यह

और स्थानीय प्रांत पर उद्देश्य फलन

है।

इस प्रकार से यह फलन का हैडामर्ड परिवर्तन है। इसलिए हम देख सकते हैं कि हैडामर्ड परिवर्तन की गणना एमपीएफ समस्या की विशेष स्थिति है। यह सिद्ध करने के लिए और अधिक उदाहरण प्रदर्शित किए जा सकते हैं कि एमपीएफ समस्या कई शास्त्रीय समस्याओं की विशेष स्थिति बनाती है जैसा कि ऊपर बताया गया है, जिनका विवरण यहां पाया जा सकता है।[1]

जीडीएल: एमपीएफ समस्या को हल करने के लिए एल्गोरिदम

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

इस प्रकार से उदाहरण के लिए,

उदाहरण 1: निम्नलिखित नौ स्थानीय प्रांत पर विचार करें:

ऊपर दिए गए स्थानीय प्रांत के समुच्चय के लिए, कोई उन्हें संधि ट्री में व्यवस्थित कर सकता है जैसा कि नीचे दिखाया गया है:

ट्री के संधि का उदाहरण

इसी प्रकार यदि निम्नलिखित जैसा और समुच्चय दिया गया है-

उदाहरण 2: निम्नलिखित चार स्थानीय प्रांत पर विचार करें:

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

5.,
6.,

अतः इसी प्रकार प्रांत के इन समुच्चय के लिए, संधि ट्री नीचे दिखाए गए जैसा दिखता है:

संधि ट्री का और उदाहरण

सामान्यीकृत वितरण नियम (जीडीएल) एल्गोरिदम

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

=

जहां का अर्थ है कि ट्री में का आसन्न शीर्ष है।

इसी प्रकार प्रत्येक शीर्ष पर स्थिति होती है जिसे फलन के मानों वाली तालिका के रूप में परिभाषित किया जाता है , निश्चित वैसे ही जैसे संदेश 1 से प्रारंभ होते हैं, ठीक उसी प्रकार, की स्थिति स्थानीय कर्नेल के रूप में परिभाषित किया गया है, परंतु जब भी अद्यतन हो जाता है, यह निम्नलिखित समीकरण का पालन करता है:

एल्गोरिदम का मूल कार्य

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

संदेश भेजने का नियोजन और स्थिति की गणना

ऐसी दो विशेष स्थिति हैं जिनके विषय में हम यहां बात करने जा रहे हैं, अर्थात् एकल शीर्ष समस्या जिसमें उद्देश्य फलन की गणना मात्र शीर्ष पर की जाती है। इस प्रकार से और दूसरा सभी शीर्ष समस्याएँ है जहां लक्ष्य सभी शीर्षों पर उदेश्य फलन की गणना करना है।

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

इस प्रकार से उदाहरण के लिए, आइए ऊपर दिए गए स्थानीय प्रांत के समुच्चय से निर्मित संधि ट्री पर विचार करें, अर्थात उदाहरण 1 से समुच्चय,
अब इन प्रांत के लिए शेड्यूलिंग तालिका है (जहां लक्ष्य शीर्ष है)।










इस प्रकार एकल शीर्ष जीडीएल की जटिलता को इस प्रकार दिखाया जा सकता है-

अंकगणितीय संक्रियाएँ
जहां (नोट: उपरोक्त समीकरण का स्पष्टीकरण लेख में बाद में बताया गया है)
का लेबल है।
की डिग्री (ग्राफ सिद्धांत) है (अर्थात् v के निकटवर्ती शीर्षों की संख्या)।

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

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

संधि ट्री का निर्माण

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

परिभाषित किया गया है, जहाँ n उस समुच्चय में अवयवों की संख्या है। अधिक स्पष्टता और विवरण के लिए, कृपया इन्हें देखें।[3][4]

शेड्यूलिंग प्रमेय

मान लीजिए कि शीर्ष समुच्चय और किनारा समुच्चय के साथ संधि ट्री बनें। इस एल्गोरिदम में, संदेश किसी भी किनारे पर दोनों दिशाओं में भेजे जाते हैं, इसलिए हम किनारे के समुच्चय E को शीर्षों के क्रमित जोड़े के समुच्चय के रूप में कह/मान सकते हैं। इस प्रकार से उदाहरण के लिए, चित्र 1 से निम्नानुसार परिभाषित किया जा सकता है-

टिप्पणी: उपरोक्त आपको वे सभी संभावित दिशा-निर्देश देता है जिनसे संदेश ट्री में यात्रा सकता है।

अतः जीडीएल के लिए नियोजक को उपसमुच्चय के सीमित अनुक्रम के रूप में परिभाषित किया गया है। जिसका सामान्यतः प्रतिनिधित्व किया जाता है

{}, जहां के समयान अद्यतन किए गए संदेशों एल्गोरिदम चलाने के समय का समुच्चय है।

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

में परिभाषित उद्देश्य होगी और यदि से तक कोई पथ है।

कम्प्यूटेशनल जटिलता

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

उदाहरण: सबसे सरल स्थिति पर विचार करें जहां हमें निम्नलिखित अभिव्यक्ति की गणना करने की आवश्यकता है।

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

इस प्रकार से ऊपर बताए गए उदाहरण के समान हम जीडीएल लागू करके यथासंभव कम संक्रिया करने के लिए समीकरणों को विभिन्न रूपों में व्यक्त करेंगे।

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

संदेश पासिंग का उपयोग करके संधि ट्री को हल करने की जटिलता निम्नलिखित है-

हम पहले उपयोग किए गए सूत्र को निम्नलिखित रूप में फिर से लिखते हैं। यह शीर्ष v से w

तक भेजे जाने वाले संदेश का समीकरण है, ----संदेश समीकरण

इसी प्रकार हम शीर्ष v की स्थिति की गणना के लिए समीकरण को

के अनुसार फिर से लिखते हैं।

हम पहले एकल-शीर्ष समस्या का विश्लेषण करेंगे और मान लेंगे कि लक्ष्य शीर्ष है और इसलिए हमारे निकट से किनारा है।

इस प्रकार से मान लीजिए हमारे निकट बढ़त है, हम संदेश समीकरण का उपयोग करके संदेश की गणना करते हैं। की गणना करने के लिए

परिवर्धन और

गुणन की आवश्यकता होती है।

(हम को के रूप में दर्शाते हैं।)

परंतु के लिए कई संभावनाएं होंगी इसलिए

के लिए संभावनाएं हैं।

इस प्रकार पूर्ण संदेश को

परिवर्धन और

गुणन की आवश्यकता होगी।

ट्री के किनारों के साथ की ओर एक संदेश भेजने के लिए आवश्यक अंकगणितीय संक्रियाओं की कुल संख्या

जोड़ और

गुणन होगी।

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

इस प्रकार स्थिति की गणना के लिए आवश्यक गणनाओं की संख्या नीचे

जोड़ और

गुणन के रूप में दी गई है।

इस प्रकार गणनाओं की संख्या का कुल योग

----

है जहां एक किनारा है और इसका आकार द्वारा परिभाषित किया गया है।

उपरोक्त सूत्र हमें ऊपरी सीमा देता है।

यदि हम किनारे की जटिलता को परिभाषित करते हैं जैसा कि

है, इसलिए, को

के रूप में लिखा जा सकता है।

अतः अब हम चित्र 1 में परिभाषित समस्या के लिए किनारे की जटिलता की गणना

के अनुसार करते हैं।

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

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

हम यह मात्रा

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

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

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

संदर्भ

  1. 1.0 1.1 1.2 Aji, S.M.; McEliece, R.J. (Mar 2000). "सामान्यीकृत वितरणात्मक कानून" (PDF). IEEE Transactions on Information Theory. 46 (2): 325–343. doi:10.1109/18.825794.
  2. "वितरणात्मक कानून". Encyclopædia Britannica. Encyclopædia Britannica Online. Encyclopædia Britannica Inc. Retrieved 1 May 2012.
  3. "संग्रहीत प्रति" (PDF). Archived from the original (PDF) on 2015-03-19. Retrieved 2015-03-19. The Junction Tree Algorithms
  4. http://www-anw.cs.umass.edu/~cs691t/SS02/lectures/week7.PDF Archived 2012-05-26 at the Wayback Machine The Junction Tree Algorithm