View source for संरचनात्मक प्रेरण

{{short description|Proof method in mathematical logic}}

'''संरचनात्मक प्रेरण''' [[प्रमाण विधि]] है जिसका उपयोग [[गणितीय तर्क]] (जैसे Łoś' के सिद्धांत के प्रमाण में), [[कंप्यूटर विज्ञान]], [[ग्राफ सिद्धांत]] और कुछ अन्य गणितीय क्षेत्रों में उपयोग की जाती है। यह प्राकृतिक संख्याओं पर [[गणितीय प्रेरण]] का सामान्यीकरण है और इसे अधिक विस्तृत रूप से किसी भी [[नोथेरियन प्रेरण]] विस्तारित किया जा सकता है। संरचनात्मक पुनरावर्तन, पुनरावर्तन विधि है जो संरचनात्मक संभावना के साथ सामान्य पुनरावर्तन के समान संबंध रखती है, जिस प्रकार सामान्य गणितीय अभिवादन सामान्य प्राकृतिक संख्याओं पर आधारित होता है।

किसी प्रस्ताव को सिद्ध करने के लिए संरचनात्मक प्रेरण का उपयोग किया जाता है {{math|''P''(''x'')}} [[सभी के लिए]] धारण करता है {{mvar|x}} किसी प्रकार की [[पुनरावर्ती परिभाषा]] संरचना, जैसे प्रथम-क्रम तर्क सूत्र, [[सूची (कंप्यूटर विज्ञान)]], या [[वृक्ष (ग्राफ़ सिद्धांत)]]। संरचनाओं पर सुस्थापित आंशिक क्रम परिभाषित किया गया है (सूत्रों के लिए उपसूत्र, सूचियों के लिए उपसूची, और वृक्षों के लिए उपवृक्ष)। संरचनात्मक प्रेरण प्रमाण प्रमाण है कि प्रस्ताव सभी [[न्यूनतम तत्व]] संरचनाओं के लिए लागू होता है और यदि यह निश्चित संरचना के तत्काल उप-संरचनाओं के लिए लागू होता है {{mvar|S}}, तो इसे अवश्य धारण करना चाहिए {{mvar|S}} भी। (औपचारिक रूप से कहें तो, यह फिर वास्तव में किसी भी {{mvar|x}} के लिए प्रस्तावना सत्य होने के लिए पूर्वाधिकारी अभिवादन की धारणा को पूरा करता है, जो यह दावा करता है कि ये दो शर्तें प्रस्तुत करना पर्याप्त है कि प्रस्तावना सभी {{mvar|x}} के लिए सत्य है।)

संरचनात्मक पुनरावर्ती फ़ंक्शन पुनरावर्ती फ़ंक्शन को परिभाषित करने के लिए समान विचार का उपयोग करता है: "आधार मामले" ने प्रत्येक न्यूनतम संरचना को संभाला और पुनरावर्तन के लिए नियम। संरचनात्मक पुनरावर्तन सामान्यतः संरचनात्मक संभावना द्वारा सत्य सिद्ध किया जाता है; विशेष रूप से आसान मामलों में, आनुवंशिक चरण को  अधिकांशतः छोड़ दिया जाता है। नीचे दिए गए उदाहरण में, लंबाई और ++ (या विवेक, जो संख्या को बढ़ाता है) फ़ंक्शन संरचनात्मक पुनरावर्तक हैं।

उदाहरण के लिए, यदि संरचनाएँ सूचियाँ की हैं, तो सामान्यतः "इससे कम" आंशिक क्रमण "<" का परिचय किया जाता है, जिसमें {{math|''L'' < ''M''}}  होता है जबकि सूची  {{mvar|L}} सूची {{mvar|M}} की पूरी सूची होती है। इस आंशिक क्रमण के अनुसार, रिक्त सूची {{math|[]}} अद्वितीय न्यूनतम तत्व होती है। तो, किसी सुची {{mvar|L}} के लिए संरचनात्मक अभिवादन प्रमाण {{math|''P''(''L'')}} फिर दो भागों से मिलता है: पहले, {{math|''P''([])}} सत्य होने का प्रमाण और दूसरे, यदि {{math|''P''(''L'')}} किसी सूची {{mvar|L}} के लिए सत्य है, {{mvar|L}} और {{mvar|M}}, की पूरी सूची है, तो {{math|''P''(''M'')}} भी सत्य होना चाहिए।

अंततः, फ़ंक्शन या संरचना के निर्माण के तरीके पर निर्भर करके एक से अधिक बेस केस और/या एक से अधिक अनुवंशिक केस के उपस्थिति की संभावना हो सकती है। ऐसे मामलों में, किसी प्रस्तावना {{math|''P''(''L'')}} के संरचनात्मक अभिवादन को निम्नलिखित ढंग से पूरा किया जाता है:
{{ordered list|list_style_type=upper-alpha
|प्रत्येक बेस केस  {{mvar|BC}} के लिए {{math|''P''(''BC'')}} सत्य होने का प्रमाण।
| यदि किसी विशिष्ट उदाहरण {{mvar|I}}, के लिए {{math|''P''(''I'')}} सत्य है, और {{mvar|M}} उदाहरण {{mvar|I}} से किसी भी एक पुनरावृत्ति नियम को एक बार लागू करके प्राप्त किया जा सकता है, तो {{math|''P''(''M'')}}  भी सत्य होना चाहिए।}}

==उदाहरण==

[[File:Waldburg Ahnentafel.jpg|thumb|प्राचीन पूर्वज वृक्ष, 5 पीढ़ियों में 31 व्यक्तियों को दर्शाता है]]पूर्वज वृक्ष सामान्यतः जाने वाली डेटा संरचना है, जो किसी व्यक्ति के माता-पिता, दादा-दादी, आदि को जितना ज्ञात है उतना दिखाती है (उदाहरण के लिए चित्र देखें)। यह पुनरावर्ती रूप से परिभाषित है:
* सरलतम मामले में,   पूर्वज वृक्ष केवल   व्यक्ति को दिखाता है (यदि उनके माता-पिता के बारे में कुछ भी नहीं ज्ञात है);
* वैकल्पिक रूप से, पूर्वज वृक्ष व्यक्ति को दर्शाता है और, शाखाओं से जुड़ा हुआ, उनके माता-पिता के दो पूर्वज उपवृक्ष को भी दिखाता है (संक्षेपण के लिए प्रमाणित करने के लिए   सरलीकृत मानदंड उपयोग किया जा रहा है कि यदि इनमें से   ज्ञात है, तो दोनों ज्ञात हैं)।

उदाहरण के रूप में, "जीवित वृक्ष जो {{mvar|g}} पीढ़ियों पर फैलता है, अधिकतम {{math|2<sup>''g''</sup> − 1}}व्यक्तियों को दिखाता है" जैसी गुणवत्ता को संरचनात्मक अभिवादन के माध्यम से निम्नलिखित रूप से सिद्ध किया जा सकता है:
* सरलतम मामले में, वृक्ष   ही व्यक्ति को दिखाता है और इसलिए   पीढ़ियों को; ऐसे वृक्ष के लिए गुणवत्ता सत्य है, क्योंकि {{math|1 ≤ 2<sup>1</sup> − 1}} है।
* विकल्प से, वृक्ष   व्यक्ति और उनके माता-पिता के वृक्षों को दिखाता है। क्योंकि उनका प्रत्येक वृक्ष पूरे वृक्ष का   उपसंरचना है, इसलिए इसे सिद्ध करने के लिए अनुमान लगाया जा सकता है कि इस गुणवत्ता को प्रमाणित किया जा सकता है (जिसे अनुवंशिक हाइपोथिसिस कहते हैं)। इसका मतलब, {{math|''p'' ≤ 2<sup>''g''</sup> − 1}} और {{math|''q'' ≤ 2<sup>''h''</sup> − 1}} को अनुमान लगाया जा सकता है, जहां {{mvar|g}} और {{mvar|h}} पिता के उपवृक्ष की पीढ़ियों की संख्या को दर्शाते हैं, और {{mvar|p}} और {{mvar|q}} उन व्यक्तियों की संख्या को दर्शाते हैं जिन्हें वे दिखाते हैं।
** यदि {{math|''g'' ≤ ''h''}}, हो, तो पूरा वृक्ष {{math|1 + ''h''}} पीढ़ियों पर फैलता है और {{math|1=''p'' + ''q'' + 1}} व्यक्तियों को दिखाता है, और<math display=block>p+q+1 \leq (2^g-1) + (2^h-1) + 1 \leq 2^h+2^h-1 = 2^{1+h}-1,</math>अर्थात संपूर्ण वृक्ष संपत्ति को संतुष्ट करता है।
** यदि {{math|1=''h'' ≤ ''g''}}, हो, तो पूरा वृक्ष {{math|1=1 + ''g''}} पीढ़ियों पर फैलता है और {{math|''p'' + ''q'' + 1 ≤ 2{{sup|''g'' + 1}} − 1}} व्यक्तियों को दर्शाता है, जिसे समान तरीके से कारणांतर द्वारा प्रमाणित किया जा सकता है, अर्थात पूरा वृक्ष इस मामले में भी गुणवत्ता को संतुष्ट करता है।
इस प्रकार, संरचनात्मक अभिवादन के द्वारा, प्रत्येक पूर्वज वृक्ष गुणवत्ता को संतुष्ट करता है।

अन्य, अधिक औपचारिक उदाहरण के रूप में, सूचियों की निम्नलिखित संपत्ति पर विचार करते हैं:

:<math>\text{EQ:} \quad \operatorname{len}(L +\!+\ M) = \operatorname{len}(L) + \operatorname{len}(M)</math>
जहां  {{math|++}}  सूचियों का संयोजन ऑपरेशन है {{math|len()}} सूचियों का संयोजन ऑपरेशन है {{mvar|L}} और {{mvar|M}} सूचियाँ हैं।

सूचियों के लिए लंबाई और संयोजन ऑपरेशन के लिए हमें परिभाषाएं चाहिए। {{math|(''h'':''t'')}}  सूची का प्रतिनिधित्व करती है, जिसका मुख्य अंश {{mvar|h}} है (पहला तत्व) और उसका टेल (बचे हुए तत्वों की सूची) {{mvar|t}}, है। {{math|[]}} खाली सूची को दर्शाता है। सूचियों की लंबाई और संयोजन ऑपरेशन के लिए परिभाषाएं निम्नलिखित हैं:

:<math>\begin{array}{ll}
\text{LEN1:} & \operatorname{len}([\ ]) = 0 \\
\text{LEN2:} & \operatorname{len}(h:t) = 1 + \operatorname{len}(t) \\
& \\
\text{APP1:} &  [\ ] +\!+\ list = list \\
\text{APP2:} & (h:t) +\!+\ list = h : (t +\!+\ list)
\end{array}</math>
हमारा प्रस्ताव {{math|''P''(''l'')}} यह है कि {{math|EQ}} सभी सूचियों के लिए सत्य है {{mvar|M}} कब {{mvar|L}} है {{mvar|l}}. हम वो दिखाना चाहते हैं {{math|1=''P''(''l'')}} सभी सूचियों के लिए सत्य है {{mvar|l}}. हम इसे सूचियों में संरचनात्मक प्रेरण द्वारा सिद्ध करेंगे।

पहले हम इसे सिद्ध करेंगे {{math|''P''([])}} क्या सच है; वह है, {{math|EQ}} सभी सूचियों के लिए सत्य है {{mvar|M}} कब {{mvar|L}} ख़ाली सूची होती है {{math|[]}}. विचार करना {{math|EQ}}:

:<math>\begin{array}{rll}
\operatorname{len}(L +\!+\ M) 
&= \operatorname{len}([\ ] +\!+\ M)                 \\
&= \operatorname{len}(M)                            & (\text{by APP1})\\
&= 0 + \operatorname{len}(M)                        \\
&= \operatorname{len}([\ ]) + \operatorname{len}(M) & (\text{by LEN1})\\
&= \operatorname{len}(L) + \operatorname{len}(M)    \\
\end{array}</math>
अतः प्रमेय का यह भाग सिद्ध हो गया है; {{math|EQ}} सभी के लिए सत्य है {{mvar|M}}, जब {{mvar|L}} है {{math|[]}}, क्योंकि बायां पक्ष और दायां पक्ष बराबर हैं।

इसके बाद, किसी भी गैर-रिक्त सूची {{mvar|I}} पर विचार पर करें. जब से {{mvar|I}} गैर-रिक्त है, इसमें मुख्य आइटम है, {{mvar|x}}, और पूंछ सूची, {{mvar|xs}}, अतः हम इसे उस प्रकार व्यक्त कर सकते हैं {{math|(''x'':''xs'')}}. प्रेरण परिकल्पना वह है जो {{math|EQ}} के सभी मानों के लिए सत्य है {{mvar|M}} जब {{mvar|L}} है {{mvar|xs}}:

:<math>\text{HYP:} \quad \operatorname{len}(xs +\!+\ M) = \operatorname{len}(xs) + \operatorname{len}(M)</math>
हम यह दिखाना चाहेंगे कि यदि ऐसा है तो {{math|EQ}} के सभी मानों के लिए भी सत्य है {{mvar|M}} जब {{math|1=''L'' = ''I'' = (''x'':''xs'')}}. हम पहले की प्रकार आगे बढ़ते हैं:

:<math>\begin{array}{rll}
\operatorname{len}(L) + \operatorname{len}(M) 
&= \operatorname{len}(x:xs) + \operatorname{len}(M)       \\
&= 1 + \operatorname{len}(xs) + \operatorname{len}(M)     & (\text{by LEN2}) \\
&= 1 + \operatorname{len}(xs +\!+\ M)                     & (\text{by HYP}) \\
&= \operatorname{len}(x: (xs +\!+\ M))                    & (\text{by LEN2}) \\
&= \operatorname{len}((x:xs) +\!+\ M)                     & (\text{by APP2}) \\
&= \operatorname{len}(L +\!+\ M)
\end{array}</math>
इस प्रकार, संरचनात्मक प्रेरण से, हम उसे प्राप्त करते हैं कि सूचि {{math|''P''(''L'')}} सभी {{mvar|L}} सूचियों के लिए सत्य है.

==सुव्यवस्थित==

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

उदाहरण के रूप में, सभी बाइनरी ट्री का समुच्चय ले लेते हैं। हम दिखाएंगे कि पूर्ण बाइनरी ट्री में पत्तियों की संख्या, आंतरिक नोड्स की संख्या से अधिक है। मान लें कि कोई विरोधी उदाहरण है; इससे तो निश्चित रूप से उसमें आंतरिक नोड्स की सबसे कम संख्या होगी। इस विरोधी उदाहरण, {{mvar|C}}, में {{mvar|n}} आंतरिक नोड्स और {{mvar|l}} पत्तियाँ होती हैं, जहां {{math|1=''n'' + 1 ≠ ''l''}}। इसके अतिरिक्त, {{mvar|C}} गैर-तुच्छ होना चाहिए, क्योंकि साधारण वृक्ष में n = 0 और l = 1 होता है और इसलिए यह विपरीत उदाहरण नहीं होता है। इसलिए {{mvar|C}} में कम से कम पत्ती होती है जिसका मूल नोड आंतरिक नोड होता है। इस पत्ते और उसके मूल नोड को वृक्ष से हटा दें, पत्ती के सहोदर नोड को उस स्थान पर पदोन्नत करें जिस पर पहले उसके मूल नोड का प्रभुत्व था। इससे , {{mvar|n}} और {{mvar|l}} 1 से दोनों कम हो जाते हैं, इसलिए नया वृक्ष भी {{math|1=''n'' + 1 ≠ ''l''}} होगा और इसलिए यह छोटा विपरीत उदाहरण है। लेकिन परिकल्पना से, {{mvar|C}} पहले से ही सबसे छोटा विपरीत उदाहरण था; इसलिए, यह धारणा कि प्रारंभिक में कोई विपरीत उदाहरण उपस्थित थे, ग़लत रहा होगा। यहाँ 'छोटा' केद्वारा निहित आंशिक क्रम वही है जो यही कहता है कि {{math|''S'' < ''T''}} जबकि {{mvar|S}} में तत्वों की संख्या {{mvar|T}} से कम होती है।

==यह भी देखें==
*संयोजन
*[[प्रारंभिक बीजगणित]]
*[[लूप अपरिवर्तनीय]], लूप के लिए एनालॉग

==संदर्भ==
* {{cite book | last = Hopcroft | first = John E.|author2=Rajeev Motwani |author3=Jeffrey D. Ullman | title = Introduction to Automata Theory, Languages, and Computation| url = https://archive.org/details/trent_0116404725818 | url-access = registration | edition = 2nd  | publisher = Addison-Wesley | location =  Reading Mass | year = 2001 | isbn = 978-0-201-44124-6}}
* {{YouTube | u21QV-MlVDY | "Mathematical Logic - Video 01.08 - Generalized (Structural) Induction" }}
Early publications about structural induction include:
* {{cite journal | last = Burstall | first = R. M. | title = Proving Properties of Programs by Structural Induction | journal = The Computer Journal | volume = 12 | number = 1 | pages = 41–48 | year = 1969 | doi=10.1093/comjnl/12.1.41| doi-access = free}}
* {{citation | last = Aubin | first = Raymond | title = Mechanizing Structural Induction | publisher = University of Edinburgh |  series = EDI-INF-PHD | volume = 76-002 | year = 1976 | hdl = 1842/6649 }}
* {{cite conference | last1 = Huet | first1 = G. | last2 = Hullot | first2 = J. M. | title = Proofs by Induction in Equational Theories with Constructors | book-title = 21st Ann. Symp. on Foundations of Computer Science | publisher = IEEE | pages = 96–107 | year = 1980 | url = https://hal.inria.fr/inria-00076533/file/RR-0028.pdf}}
* [[Rózsa Péter]], ''Über die Verallgemeinerung der Theorie der rekursiven Funktionen für abstrakte Mengen geeigneter Struktur als Definitionsbereiche'', Symposium International, Varsovie septembre (1959) <small>(''On the generalization of the theory of recursive functions for abstract quantities with suitable structures as domains'')</small>.

{{Mathematical logic}}
[[Category: ग्राफ सिद्धांत]] [[Category: कंप्यूटर विज्ञान में तर्क]] [[Category: गणितीय प्रेरण]] [[Category: गणितीय तर्क]] [[Category: गणितीय प्रमाण]] [[Category: कल्याण]] 



[[Category: Machine Translated Page]]
[[Category:Created On 25/07/2023]]
[[Category:Vigyan Ready]]