সম্পাদনা (আপডেট): দাশ এট আল দ্বারা "নীচে আমার ইউক্লিডিয়ান ভ্রমণ বিক্রয়কর্ম ভ্রমণ এবং সর্বনিম্ন বিস্তৃত গাছ" জটিলতায় "আমার পৃথক প্রমাণ দ্বারা নীচে আবদ্ধ প্রমাণিত হয়েছে; অ্যালগরিদমিকা 19: 447-460 (1997)।
এটা পছন্দ এমনকি একটি পড়তা অনুপাত অর্জন করা সম্ভব জন্য কিছু মধ্যে একটি তুলনা ভিত্তিক অ্যালগোরিদম ব্যবহার করে সময়?ও ( এন 1 - ϵ ) ϵ > 0 ও ( এন লগ এন )O(n1−ϵ)ϵ>0o(nlogn)
না। এখানে একটি নিম্ন সীমা।
দাবি করুন। যে কোনও , প্রতিটি তুলনা-ভিত্তিক
ps app -প্রপ্রক্সিমেশন অ্যালগরিদমের জন্য সবচেয়ে খারাপ ক্ষেত্রে তুলনা প্রয়োজন।ε > 0 এন 1 - ε Ω ( ε এন লগ ইন করুন এন )ϵ>0n1−ϵΩ(ϵnlogn)
"তুলনা-ভিত্তিক" দ্বারা আমি এমন কোনও অ্যালগরিদম বোঝায় যা কেবল বাইনারি (সত্য / মিথ্যা) কোয়েরিতে ইনপুটটিকে অনুসন্ধান করে।
এখানে একটি প্রমাণ চেষ্টা করা হয়। আশা করি কোন ভুল নেই। FWIW নিম্ন সীমাটি এলোমেলোনাযুক্ত অ্যালগরিদমগুলিতে প্রসারিত হতে পারে বলে মনে হচ্ছে।
কোন ত্রুটিমুক্ত এবং কোন ইচ্ছামত ছোট কিন্তু ধ্রুব ।n ϵ > 0nϵ>0
শুধু বিবেচনা করুন"অনুক্রম" ইনপুট দৃষ্টান্তগুলি
যা এর অনুমোদন । এই জাতীয় কোনও উদাহরণের জন্য সর্বোত্তম সমাধানটির জন্য ব্যয় করতে হবে ।এন ! ( এক্স 1 , এক্স 2 , … , এক্স এন ) [ এন ] এন - 1n!(x1,x2,…,xn)[n]n−1
নির্ধারণ খরচ একটি বিন্যাস এর
হতে। ইনপুট হিসাবে একটি ক্রিয়াকলাপ , আউটপুট আউটপুটমেন্ট , এবং মূল্য প্রদান করার জন্য অ্যালগরিদমকে মডেল করুন ।π c ( π ) = ∑ i | π ( i + 1 ) - π ( i ) | π π ′ d ( π , π ′ ) = সি ( π ′ ∘ π )πc(π)=∑i|π(i+1)−π(i)|ππ′d(π,π′)=c(π′∘π)
এই উদাহরণগুলিতে প্রতিযোগিতামূলক অনুপাত achieve অর্জনের জন্য তুলনা-ভিত্তিক অ্যালগরিদমের জন্য ন্যূনতম তুলনা সংখ্যা সংজ্ঞায়িত করুন । যেহেতু অপ্ট হয় আলগোরিদিম সর্বাধিক খরচ গ্যারান্টি আবশ্যক ।সি এন 1 - ϵ n - 1 এন 2 - ϵ ϵCn1−ϵn−1n2−ϵ
আমরা দেখাব ।সি ≥ Ω ( ε এন লগ N )C≥Ω(ϵnlogn)
নির্ধারণ হতে, কোন সম্ভাব্য আউটপুট , সম্ভব ইনপুট ভগ্নাংশ যা আউটপুট
সর্বাধিক খরচ অর্জন করেন । এই ভগ্নাংশটি স্বতন্ত্র ।পি π ' π ' এন 2 - ε π 'Pπ′π′n2−ϵπ′
পিP এছাড়াও সম্ভাব্যতা যে, একটি র্যান্ডম বিন্যাস জন্য সমান , তার খরচ সবচেয়ে এ । (কেন তা দেখতে, সনাক্তকরণের অনুমতি হিসাবে চিহ্নিত করতে হবে তারপরে হ'ল ইনপুটগুলির ভগ্নাংশ যার জন্য
সর্বাধিক , তবে ।)π c ( π ) n 2 - ϵ π ′ I P d ( π , I ) n 2 - ϵ d ( π , I ) = c ( π )πc(π)n2−ϵπ′IPd(π,I)n2−ϵd(π,I)=c(π)
১. ।C≥log21/PC≥log21/P
প্রুফ। সর্বদা তুলনা কম ব্যবহার করে এমন কোনও অ্যালগরিদম ঠিক করুন । অ্যালগরিদম জন্য সিদ্ধান্ত গাছ গভীরতা কম হয়েছে , তাই কম হয় পাতা, এবং কোনো কোনো আউটপুট বিন্যাস জন্য আলগোরিদিম দেয় একটি বেশি আউটপুট ইনপুটগুলির ভগ্নাংশ। সংজ্ঞামতে , অন্তত এক ধরনের ইনপুটের জন্য আউটপুট খরচ বেশি দেয় । Qedlog21/Plog21/Plog21/Plog21/P1/P1/Pπ′π′π′π′PPPPπ′π′n2−ϵn2−ϵ
লেমা ২. ।P≤exp(−Ω(ϵnlogn))P≤exp(−Ω(ϵnlogn))
লেমমা 2-এর প্রমাণ দেওয়ার আগে, খেয়াল করুন যে দুটি লেমাস একসাথে দাবিটি দিয়েছেন:
C ≥ log21P = log2exp(Ω(ϵnlogn)) = Ω(ϵnlogn).
C ≥ log21P = log2exp(Ω(ϵnlogn)) = Ω(ϵnlogn).
লেমার প্রমাণ 2.
আসুন এলোমেলোভাবে অনুচ্ছেদ হতে পারে। পুনরাহ্বান যে সম্ভাব্যতা যে তার খরচ সমান সবচেয়ে এ । বলুন যে কোনও জুড়ি
ব্যয় সহ একটি কিনারাসুতরাং হ'ল প্রান্ত ব্যয়ের সমষ্টি।ππPPc(π)c(π)n2−ϵn2−ϵ(i,i+1)(i,i+1)|π(i+1)−π(i)||π(i+1)−π(i)|c(π)c(π)
ধরুন ।c(π)≤n2−ϵc(π)≤n2−ϵ
তারপর, কোন জন্য , সর্বাধিক প্রান্ত খরচ আছে বা তার বেশি। বলুন যে এর চেয়ে কম খরচের কিনারা সস্তা ।q>0q>0n2−ϵ/qn2−ϵ/qqqqq
ফিক্স । প্রতিস্থাপন এবং সরলীকরণ, সর্বাধিক প্রান্তগুলি সস্তা নয়।q=n1−ϵ/2q=n1−ϵ/2n1−ϵ/2n1−ϵ/2
সুতরাং, কমপক্ষে কমপক্ষে প্রান্তগুলি সস্তা। সুতরাং, সেখানে একটি সেট রয়েছে যাতে সস্তার প্রান্ত রয়েছে।n−n1−ϵ/2≥n/2n−n1−ϵ/2≥n/2এস এন / 2Sn/2
দাবি করুন। প্রান্তের প্রদত্ত যে কোনও সেট জন্য , এর সমস্ত প্রান্ত সস্তা হওয়ার সম্ভাবনা সর্বাধিক ।এস এন / 2 এস Exp ( - Ω ( ε এন লগ ইন করুন এন ) )Sn/2Sexp(−Ω(ϵnlogn))
দাবিটি প্রমাণ করার আগে, নোট করুন যে এটি নীচে লিমনাকে বোঝায়। দাবী দ্বারা, এবং নিষ্পাপ ইউনিয়ন আবদ্ধ, সম্ভাব্যতা রয়েছে যে কোনওরকম একটি সেট উপস্থিত রয়েছে
most
এসS(nn/2)exp(−Ω(ϵnlogn)) ≤ 2nexp(−Ω(ϵnlogn))
(nn/2)exp(−Ω(ϵnlogn)) ≤ 2nexp(−Ω(ϵnlogn))
≤ exp(O(n)−Ω(ϵnlogn)) ≤ exp(−Ω(ϵnlogn)). ≤ exp(O(n)−Ω(ϵnlogn)) ≤ exp(−Ω(ϵnlogn)).
দাবি প্রমান। নিম্নলিখিত প্রক্রিয়া দ্বারা
চয়ন করুন । চয়ন করুন অবিশেষে থেকে , তারপর চয়ন অবিশেষে থেকে , তারপর পছন্দ করে অবিশেষে থেকে ইত্যাদিπππ(1)π(1)[n][n]π(2)[n]−{π(1)}π(3)[n]−{π(1),π(2)}
যেকোনো প্রান্ত বিবেচনা করুন এ । নির্বাচনের ঠিক পরে সময়টি বিবেচনা করুন , যখন বেছে নেওয়া হবে। প্রথম তথাপি পছন্দ (জন্য জন্য ), সেখানে অন্তত হয় জন্য বিকল্পগুলির , এবং অধিকাংশ সময়ে ঐ পছন্দগুলি প্রান্তটি দেবে
ব্যয় than এর চেয়ে কম (এটি সস্তা করা)।(i,i+1)Sπ(i)π(i+1)iπ(j)j≤in−iπ(i+1)2n1−ϵ/2(i,i+1)n1−ϵ/2
সুতরাং, প্রথম নিয়ন্ত্রিত পছন্দ, সম্ভাব্যতা যে প্রান্ত সস্তা সর্বাধিক হয় । সুতরাং, এর সমস্ত
কিনারা সস্তা হওয়ার সম্ভাবনা সর্বাধিক
,
যেহেতু কমপক্ষে প্রান্তে
সহ । সুতরাং, এই পণ্যটি সর্বাধিক
i2n1−ϵ/2n−in/2S∏(i,i+1)∈S2n1−ϵ/2n−i.
|S|≥n/2n/4Sn−i≥n/4(2n1−ϵ/2n/4)n/4 ≤ (8n−ϵ/2)n/4 = exp(O(n)−Ω(ϵnlogn)) = exp(−Ω(ϵnlogn)).
Qed