इस उत्तर के दो भाग हैं, एक साथ दिखा रहा है कि सही बाध्य है :Θ ( लॉगएन)
- की निचली सीमा (पहले सर्कल के त्रिज्या से गुना)।Ω ( लॉगएन)
- का एक ऊपरी ऊपरी मिलान ।ओ ( लॉग)एन)
के लिए बाध्य कम Ω(logN)
एक बिंदु पर स्पर्श करने वाली दो इकाई मंडलियों पर विचार करें । (नीचे देखें; पी दाईं ओर है, बाईं ओर बग शुरू होता है।) एक सर्कल और दूसरे के बीच वैकल्पिक। बग दो सर्किलों के बीच क्रेविस के पार ऊपर-नीचे ज़िग-ज़गिंग की यात्रा करेगा, जो ज्यादातर ऊपर और नीचे बढ़ता है लेकिन धीरे-धीरे दाईं ओर बढ़ता है। मैं त्रिकोणमिति सही ढंग से किया गया है, के बाद एन कदम, आम बिंदु से दूरी हो जाएगा Θ ( 1 / √ppN, औरएनवें कदम बग चलने के लिए कारण होगाΘ(1/एन), की कुल दूरी के लिएΘ(लॉग ऑनएन)।Θ(1/N−−√)NΘ(1/N)Θ(logN)
यहाँ गणना का एक स्केच है। कुछ दो लगातार चरणों पर विचार करें जो बग बनाता है। वह कुछ बिंदु , बी से , सी तक जाता है । अंक एक और सी एक ही सर्कल पर हैं; बिंदु b दूसरे सर्कल पर है। आज्ञा देना ओ केंद्र चक्र है कि एक पर है। आकार में कमी के क्रम में निम्नलिखित तीन त्रिकोणों पर विचार करें:abcacboa
- Isoceles त्रिकोण (याद पी आम बात है)।△oapp
- त्रिकोण ।△abp
- छोटा त्रिभुज △abc
ये त्रिभुज लगभग समान हैं (यानी, अनुरूप मोड्यूलो स्केलिंग)। अधिक सटीक, , तीनों के पास निम्नलिखित संपत्ति है:
छोटे पैर की लंबाई से लंबे पैर का अनुपात Θ ( following ) है । (मैं किसी भी अधिक विस्तार यहाँ में यह साबित नहीं है, लेकिन ध्यान दें कि ε → 0
के रूप में बग चलता है, और एक नगण्य राशि से प्रत्येक त्रिकोण में एक शीर्ष perturbing द्वारा, त्रिभुज समरूप बनाया जा सकता है।)ϵ=|ap|Θ(ϵ)ϵ→0
पहले त्रिकोण के लंबे पैर और p o की लंबाई 1 है। इसका छोटा पैर | a पी | लंबाई ϵ है । सेगमेंट एक पी ताकि त्रिकोण का शॉर्ट लेग, दूसरी त्रिकोण का एक लंबा पैर है एक ख लंबाई है Θ ( ε 2 ) । सेगमेंट एक ख ताकि त्रिकोण का शॉर्ट लेग, तीसरे त्रिकोण का एक लंबा पैर है एक सी लंबाई है Θ ( ε 3 ) । इस प्रकार, इन दो चरणों में बग लेता है:copo|ap|ϵapabΘ(ϵ2)abacΘ(ϵ3)
- की दूरी बग यात्रा है Θ ( ε 2 ) ।|ab|+|bc|Θ(ϵ2)
- आम बात करने के लिए बग से दूरी से कम हो जाती है ε के लिए ε - Θ ( ε 3 ) ।pϵϵ−Θ(ϵ3)
परिभाषित समय से पहले चरणों की संख्या होने के लिए ε टी ≈ 1 / 2 कश्मीर । (2) ऊपर, द्वारा ε एक निरंतर पहलू से के बारे में के बाद कमी Θ ( 1 / ε 2 ) कदम, तो टी कश्मीर + 1 = टी कश्मीर + Θ ( 2 2 कश्मीर ) = टी कश्मीर + Θ ( 4 कश्मीर ) । इस प्रकार, t k = Θ ( 4 k)tkϵt≈1/2kϵΘ(1/ϵ2)tk+1=tk+Θ(22k)=tk+Θ(4k) । यह है कि, के बाद Θ ( 4 कश्मीर ) कदम, आम बात करने के लिए बग से दूरी पी के बारे में हो जाएगा 1 / 2 कश्मीर । बदल रहा है चर, के बाद एन कदम, आम बात करने के लिए बग से दूरी हो जाएगा ε = Θ ( 1 / √tk=Θ(4k)Θ(4k)p1/2kN। और, मेंएनवें कदम, बग यात्राΘ(ε2)=Θ(1/एन)। तो कुल दूरी पहले में यात्रा कीएनकदम दूर हैΘ(1+1/2+1/3+।।।+1/एन)=Θ(लॉग ऑनएन)।ϵ=Θ(1/N−−√)NΘ(ϵ2)=Θ(1/N)NΘ(1+1/2+1/3+...+1/N)=Θ(logN)
यह निचली सीमा है।
यह प्रस्तावित वेरिएंट 2 तक फैला है (जैसा कि मैं इसे समझता हूं), निम्नानुसार है:
प्रतिबंध को जोड़ना कि बग को सबसे हाल ही में रखे गए दो हलकों के चौराहे में निकटतम बिंदु पर जाना चाहिए, मदद नहीं करता है। है यही कारण है, के निचले हिस्से के ऊपर बंधे अभी भी लागू होता है। यह देखने के लिए कि, हम ऊपर दिए गए उदाहरण को संशोधित करते हुए एक एकल बाहरी वृत्त को जोड़ते हैं जो बग को प्रतिबंध को पूरा करने की अनुमति देता है जबकि अभी भी उसी रास्ते से यात्रा कर रहा है:Ω(logN)
हरे और नीले वृत्त ऊपर के उदाहरण से दो वृत्त हैं। चौराहा अंक और बी एक ही है और बी ऊपर उदाहरण के रूप में हैं। लाल सर्कल नया "एक्सट्रॉनिक" सर्कल है। पिछला अनुक्रम नीले और हरे रंग के हलकों के बीच बारी-बारी से होता है। नया अनुक्रम यह अनुक्रम होगा, लेकिन पुराने अनुक्रम में हर सर्कल से पहले जोड़े गए लाल वृत्त के साथ: लाल, नीला, लाल, हरा, लाल, नीला, लाल, हरा, लाल, नीला, ...abab
मान लीजिए बग पर बैठा है के बाद नीला रखा गया है। अगला सर्कल लाल रखा गया है। लाल में बग होता है, इसलिए बग हिलता नहीं है। अगला सर्कल हरा है। अब बग बी पर चला जाता है (जो हरे और लाल हलकों के चौराहे पर निकटतम बिंदु है)। इसे दोहराते हुए, बग पहले की तरह यात्रा करता है।ab
ऊपरी सीमा O(logN)
मैं केवल प्रमाण को स्केच करता हूं।
हलकों के किसी भी क्रम को ठीक करें। हम लोगों का तर्क होगा कि के रूप में , कुल दूरी बग द्वारा पहले में यात्रा की एन कदम दूर है हे ( लॉग ऑन एन ) । सामान्यता के नुकसान के बिना मान लें कि पहले सर्कल में त्रिज्या 1 है।N→∞NO(logN)
एक मनमाने ढंग से बड़े ठीक करें । पहले एन सर्कल के चौराहे पर किसी भी बिंदु से पी चलो । ध्यान दें कि जिस तरह से बग चलता है, प्रत्येक चरण में बग चलता है, यह p के करीब हो जाता है ।NpNp
पहले, उन चरणों पर विचार करें जहां निम्न अनुपात कम से कम :
पी के लिए दूरी में कमी 1/logN
ऐसे चरणों में यात्रा की गई कुल दूरीO(logN) है, क्योंकि ऐसे चरणों में यात्रा की गई कुल दूरीPकी प्रारंभिक दूरीO(logN) है। इसलिए हमें केवल अन्य चरणों में यात्रा की गई कुल दूरी को बांधने की आवश्यकता है --- जिन में यह अनुपात अधिकतम1/लॉगएन है।
the reduction in the distance to pthe distance traveled in the step.
O(logN)O(logN)p1/logN
सबसे पहले, हम थोड़ा कमजोर कुछ तर्क है: कि कुल दूरी इस तरह के कदम में यात्रा की
पहले वृत्त की त्रिज्या 1/2 करने के लिए कम हो जाती है या उससे कम है । (हम बाद में दिखाते हैं कि यह बाउंड देने के लिए पर्याप्त है।)O(logN)
ऐसे किसी भी कदम पर विचार करें। चलो और ख , क्रमश: पहले और कदम के बाद बग के स्थानों को दर्शाते हैं। चलो o वर्तमान वृत्त के केंद्र को निरूपित करते हैं। चलो ख ' रे पर बिंदु को निरूपित → पी बी ऐसा है कि | पी ए | = | पी बी | :abob′pb→|pa|=|pb|
निम्नलिखित त्रिकोणों पर विचार करें:
- △opb
- △pba
- △abb′
बाध्य कम कुछ के लिए, में उन लोगों के समान ज्यामितीय तर्क करके , इन त्रिकोण के प्रत्येक लंबे पैर लंबाई करने के लिए शॉर्ट लेग लंबाई के दो लंबे पैर और एक शॉर्ट लेग, और अनुपात (प्रत्येक त्रिकोण के लिए) है Θ ( ε ) :
| b b ′ |ϵΘ(ϵ)
|bb′||ab|=Θ(|ab||pa|)=Θ(|pa||bo|)=Θ(ϵ).
|bo|[1/2,1]|ab|=Θ(|pa|2/|bo|)=Θ(|pa|2)|bb′|=Θ(|ab||pa|/|bo|)=Θ(|pa|3)
pdd′d=|pa|d′=|pb|d−d′=|bb′|
d|bb′|Ω(d3)
d/2O(1/d2)d=1/2k1/2k+1O(4k)1/2kO(1/4k)npO(1/n−−√)
n|ab|O((the current distance to p)2)=O(1/n)N[1/2,1]
∑n=1NO(1/n)=O(logN).
k[1/2k,1/2k+1]O(log(N)/2k)kO(logN)