यदि विभाजन-अनुपात पर निर्भर करता है, तो विभाजन को हल करना और शकों को जीतना


20

क्या फॉर्म की पुनरावृत्ति को हल करने के लिए एक सामान्य तरीका है:

T(n)=T(nnc)+T(nc)+f(n)

के लिए , या अधिक आम तौर परc<1

T(n)=T(ng(n))+T(r(n))+f(n)

जहां के कुछ उप-रेखीय कार्य हैं ।g(n),r(n)n

अद्यतन : मैं नीचे दिए गए लिंक के माध्यम से चला गया हूं और जेफ एरिकसन के नोट्स में सभी पुनरावृत्ति संबंधों के माध्यम से झारना भी । कहीं भी पुनरावृत्ति के इस रूप की चर्चा नहीं की गई है। अक्रक-बाजी विधि केवल तब लागू होती है जब विभाजन भिन्नात्मक होता है। किसी भी मार्मिक संदर्भ से अवगत कराया जाएगा।


2
कार्य उत्पन्न करने का प्रयास करें।
साढ़ेसाती

1
क्या अकर-बाज़ी पद्धति लागू होती है? यह केवल अनुमान देता है, लेकिन यह पर्याप्त हो सकता है। O()
वॉनब्रांड

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

1
टॉम लेटन के हैंडआउट्स को "डिवाइड-एंड-कॉनरेक्ट पुनरावर्ती के लिए बेहतर मास्टर प्रमेयों पर नोट्स" पर देखें, वे 'नेट पर उपलब्ध हैं। शायद आप अकर-बाज़ी के सबूत को अपने मामले में ढाल सकते हैं ।
वॉनब्रांड

1
@EngrStudent जेनेरेटिंग फ़ंक्शंस को पहली ही टिप्पणी में प्रस्तावित किया गया था। :)
राफेल

जवाबों:


6

मान लें कि आपके पास एक पुनरावृत्ति जो सकारात्मक दायरे से अधिक है।

टी(n)={टी(n-nसी)+टी(nसी)+(n)n> 21अन्यथा

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

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

  1. मैं मान लूंगा कि "चिकनी-ईश" है। यह देखना काफी आसान है कि हर जगह भिन्न नहीं है। वास्तव में, यह निरंतर भी नहीं है, क्योंकि और , और । इसलिए, या , द्वारा उत्पन्न पुनरावृत्त मानचित्रों को देखते हुए, यदि इसके पुनरावृत्ति वृक्ष में तो पर एक विच्छेदन होगा।टी ( एन ) एफ ( एन ) = लॉग ( एन ) सी = 1टी(n)टी(n)(n)=लॉग(n) लिमn2-टी(एन)=1लिमn2+टी(एन)=2+ln2nसी=12लिमn2-टी(n)=1लिमn2+टी(n)=2+ln2 nn-nn टी(एन)एन2एनएनटी(एन)nn-nटी(n)n2कहीं इसके प्रक्षेपवक्र में। यह बहुत सारी अड़चनें हैं, हो सकता है कि यह डिरिचलेट के फंक्शन को भी अपने पैसे के लिए चलाए। यदि हम उस बिंदु पर पहुंच रहे हैं, जहां हम किसी फ़ंक्शन के व्यवहारों की तुलना कहीं और नहीं होने वाले फ़ंक्शन के प्रोटोटाइपिकल उदाहरण से कर रहे हैं, तो क्या यह दावा करने के लिए हँसने योग्य नहीं है कि यह "चिकनी-ईश" है? खैर, यह पता चला है कि व्यवहार में, इन विसंगतियों का प्रभाव असमान रूप से कम हो जाता है, इस बिंदु पर कि आपका ग्राफ लगभग सहज दिखता है जब अनंत की ओर झुकता है! इसलिए, मैं प्रस्ताव करता हूं कि हम अपने पिचफॉर्क डालते हैं और इस परिस्थिति में बस दूसरे तरीके से देखते हैं। विशेष रूप से, मैं मान लूंगा कि ब्याज किसी भी बिंदु पर , जो मूल से काफी दूर है,nnटी(n)कुछ पड़ोस के आसपास, या कम से कम लगभग भिन्न होने योग्य है।
  2. जब पर्याप्त रूप से दूर होगा, तो मैं चिकनापन का और भी मजबूत रुख मानूंगा । मान लीजिए कि कुछ सबलाइनियर फ़ंक्शन है जैसे कि (उदाहरण के लिए ), तो व्युत्पन्न करता है तब अलग-अलग नहीं होता है जब पर्याप्त रूप से धीमा होता है। सहज रूप से, बड़ा हो जाता है, पड़ोस का सापेक्ष आकार कम हो जाता है (चूंकि इसका आकार सिर्फ , जो की तुलना में बहुत धीमी गति से बढ़ता है) आखिरकार, इस पड़ोस का आकार इतना महत्वहीन हो जाता है ( सापेक्ष)α ( एन ) n > α ( एन ) एन सी टी ' ( ξ ( n - α ( एन ) , एन ) α ( एन ) एन ( एन - α ( एन ) , एन ) α ( एन ) एन एन टी ( एन )nα(n)n>α(n)nसीटी'(ξ(n-α(n),n)α(n)n(nα(n),n)α(n)nn) कि इस पड़ोस के भीतर के परिवर्तन की दर अब नाटकीय रूप से बदल जाती है।टी(n)

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

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

T(n)=T(nnc)+T(nc)+f(n)T(n)T(nnc)=T(nc)+f(n)ncT(n)T(nnc)nc=T(nc)+f(n)
Tnncnnटी'(ξ)टी'(ξ)टी(एन)-टी(n-ε)
T(n)T(nnc)nc=T(ξ(nnc,n)).
nT(ξ)
T(ξ)T(n)T(nϵ)ϵ    ϵ<nc
विशेष रूप से, ले एक एक पाने के लिए -स्टेप अंतर अंतर सन्निकटन हम इसे प्राप्त करने के लिए टेलीस्कोप कर सकते हैं एन सी ( टी ( एन ) - टी ( एन - 1 ) )ϵ=1 टी(एन)nΣकश्मीरटी(कश्मीर)
nc(T(n)T(n1))T(nc)+f(n)T(n)T(n1)T(nc)+f(n)nc
T(n)knT(kc)kc+knf(k)kc

Perturbing पता चलता है कि , दो asymptotic चरण हैं की asymptotic प्रकृति के आधार पर ।टी ( एन ) एफ ( जेड )T(n)टी(n)(z)

जब ( , से अधिक तेज़ होता है ), तो दाईं ओर का योग हावी होता है, और हमारे पास जिसे अक्सर इंटीग्रल ।n टी ( एन ) = Θ ( n Σ कश्मीर ( कश्मीर )(n)=(nसी)nसीn(एक्स)टी(n)=Θ(Σn()सी)n(एक्स)एक्ससीएक्स

जब , तो बायां योग दाईं ओर हावी होता है। यहाँ, हमें sum का विश्लेषण करना है जहाँ ।(n)=ω(nसी)

(Σnटी(सी)सी)+एफसी(n)
एफसी(n)=n(एक्स)एक्ससीएक्स

सहजता के तर्क के आधार पर, हम इसे एक बार फिर से एक वाम- रीमैन योग के रूप में देख सकते हैं, जो इंटीग्रल । अभिन्न पर एक समान माध्य-मूल्य-प्रमेय लागू करने से हम बस आगे जा सकते हैं और इसे अनुमानित कर सकते हैं , जो देता है सन्निकटन कुछ निरंतर जो श्रृंखला को बांधता है।nटी(एक्ससी)एक्ससीएक्स

Σटी(सी)सीn(एक्ससी)एक्ससीएक्स=nटी(ξ<nसी)ξसी
nटी(nसी)nसी
टी(n)nटी(nसी)nसी+एफसी(n)

अब, मान लें कि हमारे पास पुनरावृत्त अनुक्रम है जहां , तो हम इस अनुक्रम का उपयोग उपरोक्त असमानता को दूरबीन में करने के लिए कर सकते हैं: एक बार फिर, हम बाध्य कर सकते हैं कुछ निरंतर द्वारा अवधि लगता है कि जहां । थोड़ा सा सरलीकरण करना और कुछ शब्दों को एक साथ समेटना (विशेष रूप से, हम जानते हैं कि(n,nसी,nसी2,nसी3,...,nसी)nसी<2

(*)टी(n)n(Σमैं-1मैंnसीमैंएफसी(nसीमैं)+nसी)
एफसी(nसीमैं)
टी(n)=हे(एफसी(n)+nएफसी(nसी)(n-सी+2n-सी2++n-सी))
=लॉगसी(लॉग(2)लॉग(n))n-सीn-सीएक स्थिरांक है), हम
टी(n)=हे(nएफसी(n))

हालाँकि, यह बाध्य अपेक्षाकृत ढीला है, और आपको जब भी संभव हो , तो उल्लेख करना चाहिए ।(*)

ध्यान रहे कि किसी भी तरह से यह कठोर नहीं है। मैंने कोई समर्थन नहीं दिया है कि यह कुछ अनाड़ी अनुमानों से परे काम करना चाहिए। फिर भी, अगर आपको अनौपचारिक विश्लेषण के लिए बस एक त्वरित स्पर्शोन्मुख अनुमान की आवश्यकता है, तो आप वास्तव में देख सकते हैं कि यह योजना अच्छी तरह से काम करती है ( व्यवहार में बड़े मूल्यों के लिए , आमतौर पर पर्याप्त)।nn>10

वैसे भी, और के सभी विकल्पों के लिए जो मैंने कोशिश की है, निम्नलिखित गणना जहां अच्छा सन्निकटन देता प्रतीत होता है । यह तकनीक फॉर्म पुनरावृत्ति को भी सामान्य करती है जिसे साथ अनुमानित किया जा सकता है जहांसी

टी^(n)=nΣलॉगसीलॉगn2nसीएफ(nसी)एफ(n)=Σn()सी
Σटी(सी)सीnटी(nसी)nसी
टी(n)=टी(n-α(n))+टी(β(n))+(n)
टी^(n)=nΣ#β(n)α(n)एफ(β(n))एफ(n)=Σn()α()
α(n)=α((α(n)))और अनुक्रम के तत्वों की संख्या को दर्शाता है ऐसा है कि अंतिम शब्द और बीच है ।#β(n)n,β(n),β(β(n)),...,β#β(n)(n)12
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.