এই উত্তরের দুটি অংশ রয়েছে, একসাথে দেখানো হচ্ছে যে সঠিক হ'ল log ( লগ এন ) :Θ(logN)
- এর নিম্ন সীমা (প্রথম বৃত্তের ব্যাসার্ধের বার)।Ω(logN)
- এর একটি মিলের উপরের সীমানা ।O(logN)
বাউন্ড LOWER Ω(logN)
একটি বিন্দু দুটি ইউনিট চেনাশোনার মধ্যে রয়েছে যাতে স্পর্শ বিবেচনা । (নীচে দেখুন; পি ডানদিকে রয়েছে, বাগটি বাম দিকে শুরু হয়)) একটি বৃত্ত এবং অন্যটির মধ্যে বিকল্প। বাগটি দুটি চেনাশোনাগুলির মধ্যে ক্রেইস জুড়ে উপরে এবং নীচে জিগ-জাগিং ভ্রমণ করবে, বেশিরভাগ উপরে এবং নীচে চলে যাবে তবে ধীরে ধীরে ডান দিকেও অগ্রসর হবে। আমি যদি ত্রিভুজমিতিটি সঠিকভাবে সম্পন্ন করেছি, N পদক্ষেপের পরে , সাধারণ বিন্দু থেকে দূরত্ব Θ ( 1 / √) হবেppN, এবংএনত্রিশ ধাপটিমোট distance(লগএন) এরদূরত্বের জন্যবাগΘ(1/এন) কেহাঁটাবে।Θ(1/N−−√)NΘ(1/N)Θ(logN)
এখানে গণনার একটি স্কেচ দেওয়া আছে। বাগটি ক্রমাগত কয়েকটি দুটি পদক্ষেপ বিবেচনা করুন। তিনি কিছু বিন্দু থেকে যায় , এর খ , এর গ । পয়েন্ট এ এবং সি একই বৃত্তে রয়েছে; পয়েন্ট বি অন্যান্য বৃত্তে রয়েছে। যাক ণ চেনাশোনাতে কেন্দ্রস্থল হতে একটি চালু আছে। ক্রমহ্রাসমান আকারের জন্য নিম্নলিখিত তিনটি ত্রিভুজটি বিবেচনা করুন:abcacboa
- আইসোসিলস ত্রিভুজ (স্মরণ পি সাধারণ পয়েন্ট)।△oapp
- ত্রিভুজ ।△abp
- ছোট ত্রিভুজ △abc
এই ত্রিভুজগুলি প্রায় সমান (যেমন, একত্রিত মডুলো স্কেলিং)। আরও স্পষ্টভাবে, , তিনটিরই নিম্নোক্ত সম্পত্তি রয়েছে:
ছোট পাটির দৈর্ঘ্যের দৈর্ঘ্যের অনুপাত Θ ( ϵ ) । (আমি এখানে আর কোনও বিশদে এটি প্রমাণ করব না, তবে নোট করুন যে
বাগ চলার সাথে সাথে ϵ → 0 , এবং একটি তুচ্ছ পরিমাণ দ্বারা প্রতিটি ত্রিভুজের একটি ভার্টেক্সকে নষ্ট করে ত্রিভুজগুলি অনুরূপ করা যেতে পারে))ϵ=|ap|Θ(ϵ)ϵ→0
লম্বা পা এবং পি ণ প্রথম ত্রিভুজ দৈর্ঘ্য 1. তার শর্ট লেগে আছে | a p | দৈর্ঘ্য ϵ । সেগমেন্ট একটি পি যাতে ত্রিভুজ ছোট পা, দ্বিতীয় ত্রিভুজ একটি দীর্ঘ পা একটি খ দৈর্ঘ্য Θ ( ε 2 ) । সেগমেন্ট একটি খ যাতে ত্রিভুজ ছোট পা, তৃতীয় ত্রিভুজ একটি দীর্ঘ পা একটি গ দৈর্ঘ্য Θ ( ε 3 ) । সুতরাং, বাগ এই দুটি পদক্ষেপ নেয়:copo|ap|ϵapabΘ(ϵ2)abacΘ(ϵ3)
- দূরত্ব বাগ ভ্রমণ Θ ( ϵ 2 ) ।|ab|+|bc|Θ(ϵ2)
- সাধারণ বিন্দু বাগ থেকে দূরত্ব থেকে কমে ε থেকে ε - Θ ( ε 3 ) ।pϵϵ−Θ(ϵ3)
নির্ধারণ সময় সামনে ধাপের সংখ্যা হতে ε টি ≈ 1 / 2 ট । (2) সর্বোপরি, কসম ε একটি ধ্রুবক গুণক দ্বারা সম্পর্কে পরে হ্রাস Θ ( 1 / ε 2 ) ধাপ, তাই টি ট + + 1 = টি ট + + Θ ( 2 2 ট ) = T ট + + Θ ( 4 ট ) । সুতরাং, টি কে = Θ ( 4 কেtkϵt≈1/2kϵΘ(1/ϵ2)tk+1=tk+Θ(22k)=tk+Θ(4k) । অর্থাৎ পর Θ ( 4 ট ) পদক্ষেপ, সাধারণ বিন্দু বাগ থেকে দূরত্ব পি সম্পর্কে হতে হবে 1 / 2 ট । পরিবর্তনশীল, এন পদক্ষেপেরপরে, বাগ থেকে সাধারণ পয়েন্টের দূরত্বটি ϵ = Θ ( 1 / √) হবেtk=Θ(4k)Θ(4k)p1/2kN। এবং,Nম ধাপে, বাগ ভ্রমণ করেΘ(ϵ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)
সবুজ এবং নীল চেনাশোনা উপরের উদাহরণ থেকে দুটি চেনাশোনা। ছেদ বিন্দু এবং b উপরের উদাহরণের মতো একই a এবং b । লাল বৃত্তটি নতুন "বহির্মুখী" বৃত্ত। পূর্ববর্তী ক্রমটি নীল এবং সবুজ চেনাশোনাগুলির মধ্যে পরিবর্তিত হয়েছে। নতুন ক্রমটি এই ক্রম হবে তবে পুরানো অনুক্রমের প্রতিটি বৃত্তের আগে লাল বৃত্ত যুক্ত হয়ে: লাল, নীল, লাল, সবুজ, লাল, নীল, লাল, সবুজ, লাল, নীল, ...abab
ধরুন বাগ এ বসে আছেন পর নীল স্থাপন করা হয়। স্থাপন করা পরবর্তী বৃত্তটি লাল। লাল রঙে বাগ রয়েছে তাই বাগটি সরে যায় না। স্থাপন করা পরবর্তী বৃত্তটি সবুজ। এখন বাগ প্যাচসমূহ খ (যা সবুজ ও লাল চেনাশোনা ছেদ উপর নিকটতম বিন্দু)। এটি পুনরুক্ত করে বাগটি পূর্বের মতো ভ্রমণ করে।ab
উচ্চ বাউন্ড O(logN)
আমি কেবল প্রুফ স্কেচ করি।
চেনাশোনাগুলির যে কোনও ক্রম ঠিক করুন। আমরা তর্ক তুলতে পারে যে যেমন , মোট দূরত্ব বাগ প্রথম ভ্রমণ এন পদক্ষেপ হে ( লগ ইন করুন এন ) । সাধারণতার ক্ষতি ছাড়াই ধরে নিন যে প্রথম বৃত্তের ব্যাসার্ধ 1 রয়েছে।N→∞NO(logN)
একটি নির্বিচারে বড় । প্রথম এন চেনাশোনাগুলির ছেদ করার কোনও বিন্দুতে পি করা যাক । মনে রাখবেন যে বাগটি যেভাবে চলবে, প্রতিটি ধাপে বাগটি যেভাবে চলে তা পি এর কাছাকাছি যায় ।NpNp
প্রথমে নীচের অনুপাতটি কমপক্ষে যেখানে পদক্ষেপগুলি বিবেচনা করুন :
পি থেকে দূরত্ব হ্রাস 1/logN
এই ধাপে ভ্রমণ মোট দূরত্ব হ'লO(লগএন), কারণ এই ধাপে ভ্রমণ করা মোট দূরত্বহে(লগএন)পিথেকে প্রাথমিক দূরত্বের কয়েকগুণ বেশি। সুতরাং আমরা শুধুমাত্র মোট দূরত্ব অন্যান্য পদক্ষেপ --- যা ঐ যে অনুপাত সবচেয়ে এ ভ্রমণ আবদ্ধ প্রয়োজন1/লগ ইন করুনএন।
the reduction in the distance to pthe distance traveled in the step.
O(logN)O(logN)p1/logN
প্রথমত, আমরা একটু দুর্বল কিছু তর্ক: যে মোট দূরত্ব ধরনের পদক্ষেপ ভ্রমণ
সামনে বৃত্ত ব্যাসার্ধ 1/2 কমে বা তার কম হয় । (আমরা পরে দেখিয়েছি এটি আবদ্ধ করার জন্য যথেষ্ট))O(logN)
এই জাতীয় যে কোন পদক্ষেপ বিবেচনা করুন। যাক এবং খ যথাক্রমে, আগে এবং ধাপে পর বাগ স্থান বোঝান। যাক ণ বোঝাতে বর্তমান বৃত্তের কেন্দ্র। যাক খ ' রশ্মি বিন্দু বোঝাতে → পি খ যেমন যে | p ক | = | পি খ | :abob′pb→|pa|=|pb|
নিম্নলিখিত ত্রিভুজগুলি বিবেচনা করুন:
- △opb
- △pba
- △abb′
ϵΘ(ϵ)
|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)