जैसा कि यह स्पष्ट नहीं है कि आपकी समस्या कहां है, मैं बहुत शुरुआत में शुरू करूंगा।
गणितीय प्रेरणादायक चीनी फुसफुसाहट के खेल की तरह काम करता है (आदर्श मामले में, यानी सभी संचार दोषरहित है) या (पूरी तरह से स्थापित) डोमिनोज़ : आप कहीं से शुरू करते हैं और दिखाते हैं कि आपका हर अगला कदम कुछ भी नहीं तोड़ता है, यह मानते हुए कि कुछ भी टूट नहीं गया है। फिर।
औपचारिक रूप से, प्रत्येक प्रेरण प्रमाण में तीन मूल तत्व होते हैं:
- इंडक्शन एंकर , बेस केस भी : आप छोटे मामलों के लिए दिखाते हैं, जो दावा करता है।
- इंडक्शन परिकल्पना : आप मानते हैं कि जिस सेट के बारे में आप कुछ साबित करना चाहते हैं , उस दावे का एक निश्चित सबसेट है।
- प्रेरक कदम : परिकल्पना का उपयोग करना, आप दिखाते हैं कि दावा अधिक तत्वों के लिए है।
बेशक, स्टेप को ऐसे ट्यून करना होगा कि यह पूरे बेस सेट (लिमिट में) को कवर करे।
महत्वपूर्ण नोट: जो लोग अपने प्रेरण कौशल के बारे में आश्वस्त होते हैं वे अक्सर लंगर पर चमकते हैं और परिकल्पना को छोड़ देते हैं। जबकि यह एक विशेषज्ञ दर्शकों (जैसे एक कागज) को अपना काम प्रस्तुत करते समय ठीक है, यह खुद को प्रूफ करते समय अनुशंसित नहीं किया जाता है , खासकर एक शुरुआत के रूप में। सब कुछ लिखो।
एक सरल उदाहरण पर विचार करें ; हम यह दिखाना चाहते हैं कि ∑ n i = 0 i = n ( n + 1)(N,≤) सभी के लिए रखती हैn∈एन∑ni=0i=n(n+1)2n∈N ।
- एंकर : के लिए , Σ n मैं = 0 मैं = 0 = n ( n + 1 )n=0∑ni=0i=0=n(n+1)2 स्पष्ट रूप से रखती है।
- हाइपोथीसिस : मान लें कि एक मनमाना लिए रखती है, लेकिन fixed²n∈एन।∑ki=0i=k(k+1)2n∈N
चरण : , योग की गणना करें:n+1
∑i=0n+1i=(n+1)+∑i=0ni=IHn+1+n(n+1)2=(n+2)(n+1)2
तो पहचान । (हम ध्यान दें कि हमें केवल k = n के लिए परिकल्पना के एक छोटे से हिस्से की आवश्यकता थीn+1k=n । अक्सर ऐसा होता है।)
आगमनात्मक सिद्धांत अब हमें विश्वास दिलाता है कि दावा वास्तव में धारण करता है: हमने इसे सीधे लिए दिखाया है । चरण कहता है, यदि यह 0 के लिए है, तो यह 1 के लिए भी है ; यदि यह 1 के लिए है , तो यह 2 के लिए भी है00112 ; और इसी तरह।
आइए एक और उदाहरण देखें, इस बार । दावा हम साबित करना चाहते है: हर परिमित सबसेट के लिए एक के एन , बिजली के आकार को निर्धारित 2 ए के एक है 2 | ए | ³। हम में हमारे प्रेरण प्रदर्शन ( एन , ≤ ) , फिर अर्थात् सबसेट के आकार पर, एक ।(2N,⊆)AN2AA2|A|(N,≤)A
- एंकर: आकार , खाली सेट के (केवल) सेट पर विचार करें । स्पष्ट रूप से, 2 ly = { ∅ } और इसलिए | 2 ∅ | = 1 = 2 0 जैसा कि दावा किया गया है।02∅={∅}|2∅|=1=20
- हाइपोथीसिस: मान लें कि सभी सेट के लिए के साथ | ए | ≤ n कुछ मनमाने ढंग से साथ है, लेकिन तय n ∈ एन , हमारे पास है | 2 ए | = 2 | ए | ।A⊆N|A|≤nn∈N|2A|=2|A|
कदम: Let आकार के arbitrary⁴ n + 1 , और ख ∈ बी मनमाना (जैसे ख के रूप में मौजूद n + 1 > 0 )। अब परिकल्पना पर लागू होता है बी ∖ { ख } और इस तरह | 2 बी ∖ { बी } | = 2 एन । जबसेB⊆Nn+1b∈Bbn+1>0B∖{b}|2B∖{b}|=2n
,2B=2B∖{b}∪{A∪{b}∣A∈2B∖{b}}
हम वास्तव में है का दावा किया है।|2B|=2⋅|2B∖{b}|=2⋅2n=2n+1
फिर से, प्रेरण द्वारा दावा सिद्ध किया जाता है।
अब, आपकी समस्या के लिए एक आम चाल का उपयोग कर सकते हैं: कथन को मजबूत करना । यदि आप अपने दावे को "एक स्वचालित संख्या के साथ सभी शब्दों को स्वीकार करते हैं" के रूप में अपना दावा करते हैं, तो आपको लंबाई n के सभी शब्दों के बीच एक प्रेरण परिकल्पना मिलती है।n , ठीक उसी तरह जो विषम संख्या वाले लोगों को ऑटोमेटन द्वारा स्वीकार किया जाता है"। यह आपको कहीं भी नहीं ले जाएगा क्योंकि हम इस बारे में कुछ भी नहीं जानते हैं कि किसी दिए गए (स्वीकृत) शब्द के किस हिस्से में कितने लोग शामिल हैं; परिकल्पना आपके मनमाने ढंग से चयनित शब्द को काट देने पर लागू नहीं होती है।
इसलिए, आप एक मजबूत दावा तैयार करना चाहते हैं: "ऑटोमेटन राज्य B अगर और केवल अगर इनपुट के उपभोग किए गए हिस्से में एक विषम संख्या होती है", और इसे यह दिखाएं। ध्यान दें कि यह पूर्व दावे का अर्थ है।
- एंकर : लंबाई शून्य, processing के एकमात्र स्ट्रिंग को संसाधित करने के बाद, स्पष्ट रूप से राज्य ए में हैεA के रूप में दावा किया है।
- परिकल्पना : मान लें कि क्लेम एन तक की लंबाई के इनपुट टुकड़ों के लिए हैn जो जो मनमाने ढंग से चुना गया है, लेकिन निश्चित है।
- चरण : एक मनमाना शब्द पर विचार करें । दो मामले हैं।
w∈{0,1}n+1
- में सम संख्या वाले सम्मिलित हैं। अंतिम प्रतीक के लिए दो मामले हैं।
w
- : इस मामले में, डब्ल्यू ' = डब्ल्यू 1 ... डब्ल्यू एन - 1 लोगों की सम संख्या में शामिल है। प्रेरण परिकल्पना द्वारा, ऑटोमेटन डब्ल्यू ′ के उपभोग के बादराज्य ए में है। जैसा कि दावा किया गया है, w n = 0 काउपभोगकरने से ऑटोमेटन राज्य A में रहता है।wn=0w′=w1…wn−1Aw′wn=0A
- : इस मामले में, डब्ल्यू ' = डब्ल्यू 1 ... डब्ल्यू एन - 1 लोगों की एक विषम संख्या में शामिल है। प्रेरण परिकल्पना करके, automaton अवस्था में है बी सेवन के बाद एक डब्ल्यू ' । जैसा कि दावा किया गया है, w n = 1 काउपभोगकरने से ऑटोमेटन राज्य A पर स्विच होजाता है।wn=1w′=w1…wn−1Bw′wn=1A
- में विषम संख्या है। केस 1 के समान।w
प्रेरण का सिद्धांत तात्पर्य है कि दावा वास्तव में है।
- आप कुछ आंशिक ऑर्डर के साथ इंडक्शन करते हैं; लंगर को सभी न्यूनतम तत्वों को कवर करने की आवश्यकता होती है, और कभी-कभी अधिक (बयान के आधार पर)।
- "मनमाना, लेकिन निश्चित" आवश्यक है! हम n बदल नहीं सकतेn कदम में और इसे मान सकते हैं जैसे कि यह एक निश्चित संख्या थी, लेकिन हम इसके बारे में कुछ भी नहीं मान सकते हैं।
- साथ सेट शक्ति को नकारना अजीब लग सकता है। यह अवलोकन में निहित है कि पावर सेट ए से 0 , 1 तक सभी कार्यों के सेट के बराबर है2AA0,1 , जिसे इस प्रकार निरूपित किया जाता है।
- पूरे स्थान को कवर करने के लिए मनमाना चुनना आवश्यक है। किसी को यह कहने के लिए लुभाया जा सकता है, "कोई भी ऐसा ए लें और एक ऐसा तत्व जोड़ें जो पहले नहीं था।" इस मामले में, वह भी ऐसा ही करेगा, लेकिन अधिक जटिल सेटिंग्स (जैसे ग्राफ़ में नोड्स जोड़ना) में गलत करना आसान हो सकता है। हमेशा एक मनमाना बड़ा ऑब्जेक्ट लें और फिर इसके हिस्सों पर परिकल्पना को लागू करने के लिए इसे काट दें; छोटे से बड़े ऑब्जेक्ट को इकट्ठा न करें जो परिकल्पना द्वारा कवर किया जाता है।BA