আমি আলোচনায় মোটামুটি দেরিতে যোগ দিচ্ছি, তবে আগে জিজ্ঞাসা করা বেশ কয়েকটি প্রশ্নের সমাধান করার চেষ্টা করব।
প্রথমত, অ্যারন স্টার্লিং-এর পর্যবেক্ষণ অনুসারে, "সত্যিকারের এলোমেলো" সংখ্যার দ্বারা আমরা কী বোঝাতে চাইছি তা প্রথমে সিদ্ধান্ত নেওয়া গুরুত্বপূর্ণ এবং বিশেষত যদি আমরা কোনও গণনামূলক জটিলতা বা গুণগত দৃষ্টিভঙ্গি থেকে জিনিসগুলি দেখছি।
তবে আমি যুক্তি দিই যে জটিলতার তত্ত্বে লোকেরা মূলত সিউডো- ট্রেন্ডমনেস এবং সিউডো- ট্রেন্ড জেনারেটরগুলিতে আগ্রহী, অর্থাৎ স্ট্রিং থেকে স্ট্রিং পর্যন্ত এমন কাজগুলি যে আউটপুট সিকোয়েন্সগুলি বিতরণকে কিছু কার্যকর প্রক্রিয়া দ্বারা অভিন্ন বিতরণ ছাড়া বলা যায় না (যেখানে দক্ষতার বেশ কয়েকটি অর্থ বিবেচনা করা যেতে পারে, যেমন পলটাইম গণনাযোগ্য, বহু-আকারের সার্কিট ইত্যাদি)। এটি একটি সুন্দর এবং অত্যন্ত সক্রিয় গবেষণা ক্ষেত্র, তবে আমি মনে করি যে বেশিরভাগ লোকেরা সম্মত হবেন যে এটি যে বিষয়গুলি অধ্যয়ন করে তা সত্যই এলোমেলো নয়, এগুলি কেবল এলোমেলো দেখায় (তাই "সিউডো" শব্দটিই যথেষ্ট )।
গণ্যতা তত্ত্বে, একটি ধারণা একটি "সত্য র্যান্ডমনেস" একটি ভাল ধারণা হওয়া উচিত উত্থিত হয়েছে, এবং এটি সত্যই মার্টিন-ল্যাফ এলোমেলো ধারণা যা প্রচলিত ছিল (অন্যগুলি প্রস্তাবিত হয়েছে এবং পড়াশোনার জন্য আকর্ষণীয় তবে সবগুলি খালি নয়) মার্টিন-লুফ এলোমেলোভাবে থাকার চমৎকার বৈশিষ্ট্যগুলি)। বিষয়গুলি সহজ করার জন্য, আমরা অসীম বাইনারি সিকোয়েন্সগুলির জন্য এলোমেলোতা বিবেচনা করব (অন্যান্য বস্তু যেমন স্ট্রিং থেকে স্ট্রিংগুলিতে ফাংশনগুলি সহজেই এ জাতীয় ক্রম দ্বারা এনকোড করা যায়)।
অসীম বাইনারি ক্রম মার্টিন-Löf র্যান্ডম যদি কোন গণনীয় প্রক্রিয়া (এমনকি যদি আমরা এই প্রক্রিয়া ট্রিপল সূচকীয় সময় বা উচ্চতর মধ্যে গণনীয় হতে করার অনুমতি দেয়) একটি যদৃচ্ছতা ত্রুটি সনাক্ত করা সম্ভব।α
(1) "এলোমেলো ত্রুটি" বলতে আমরা কী বুঝি? যে অংশ সহজ: এটা পরিমাপ 0 একটি সেট, অর্থাত্ একটি সম্পত্তি যে প্রায় সব সিকোয়েন্স (এখানে হবে না আমরা যে বিষয়ে কথা Lebesgue পরিমাপ অর্থাত পরিমাপ যেখানে প্রতিটি বিট একটি হয়েছে সম্ভাব্যতা হতে 0 সব অন্যান্য স্বাধীনভাবে বিট)। এই জাতীয় ত্রুটির একটি উদাহরণ হ'ল "অসম্প্রদায়িকভাবে 1/3 জিরো এবং 2/3 জিরো থাকা", যা প্রচুর সংখ্যার আইন লঙ্ঘন করে। আরেকটি উদাহরণ "প্রত্যেক এন জন্য, প্রথম 2n বিট α পুরোপুরি (বেশী হিসাবে অনেক শূণ্যসমূহ হিসেবে) বিতরণ করা হয়"। এক্ষেত্রে বিপুল সংখ্যক আইনকে মীমাংসা করা হয় তবে কেন্দ্রীয় সীমাবদ্ধ উপপাদ্যটি নয়। ইত্যাদি ইত্যাদি1 / 20α
(২) একটি অনুক্রমের প্রক্রিয়া পরীক্ষা কীভাবে করতে পারে যে একটি অনুক্রম 0 পরিমাপের একটি নির্দিষ্ট সেটের সাথে সম্পর্কিত নয়? অন্য কথায়, 0 পরিমাপের কোন সেটগুলি গুণগতভাবে বর্ণনা করা যেতে পারে? মার্টিন-লুফ পরীক্ষাগুলি সম্পর্কে এটি ঠিক। একটি মার্টিন-লুফ পরীক্ষা একটি গণনাযোগ্য প্রক্রিয়া যা একটি ইনপুট কে দেওয়া হয়, গণনা করে (যেমন, ইনপুট দিয়ে ট্যুরিং মেশিনের মাধ্যমে ) ডাব্লু কে , 0 , ডব্লু কে , 1 , ... এর মতো একটি ধারা তৈরি করে K ডব্লু কে এর মধ্যে একটিতে শুরু হওয়া অনন্ত ক্রমের ইউ কে , আমার পরিমাপ রয়েছে সর্বোচ্চ 2 - কে atটWকে , 0Wট , 1ইউটWk , i2- কে(যদি আপনি টপোলজি পছন্দ করেন তবে লক্ষ্য করুন যে এটি পণ্য টপোলজিতে অসীম বাইনারি সিকোয়েন্সগুলির সেটের জন্য একটি ওপেন সেট)। তারপরে সেট এর পরিমাপ 0 রয়েছে এবং এটি মার্টিন-লফ নালসেট হিসাবে উল্লেখ করা হয় । আমরা এখন এই বলে যে দ্বারা মার্টিন-Löf যদৃচ্ছতা বর্ণনা করতে পারেন অসীম বাইনারি ক্রম α মার্টিন-Löf র্যান্ডম হলে এটা কোনো মার্টিন-Löf nullset অন্তর্গত নয় । জি = ⋂টইউট0α
এই সংজ্ঞাটি প্রযুক্তিগত বলে মনে হতে পারে তবে বেশ কয়েকটি কারণে এটি সঠিক হিসাবে হিসাবে ব্যাপকভাবে গৃহীত হয়েছে:
- এটি যথেষ্ট কার্যকর, অর্থাত্ এর সংজ্ঞাতে গণনাযোগ্য প্রক্রিয়া জড়িত
- এটি যথেষ্ট শক্তিশালী: সম্ভাব্যতা তত্ত্বের পাঠ্যপুস্তকে যে কোনও "প্রায় নিশ্চিত" সম্পত্তি আপনি খুঁজে পেতে পারেন (প্রচুর সংখ্যার আইন, পুনরাবৃত্ত লোগারিথমের আইন ইত্যাদি) একটি মার্টিন-ল্যাফ পরীক্ষা দ্বারা পরীক্ষা করা যেতে পারে (যদিও এটি কখনও কখনও প্রমাণ করা শক্ত হয়)
- এটি বিভিন্ন সংজ্ঞা ব্যবহার করে (বিশেষত লেভিন-চেইটিন সংজ্ঞা কোলমোগোরভ জটিলতা ব্যবহার করে) বিভিন্ন ব্যক্তির দ্বারা স্বাধীনভাবে প্রস্তাবিত হয়েছে; এবং সত্য যে তারা সকলেই একই ধারণা নিয়ে আসে তা হ'ল এটি সঠিক ধারণা হওয়া উচিত (গণনাযোগ্য ফাংশনের ধারণার মতো কিছুটা, যা টুরিং মেশিন, পুনরাবৃত্ত ফাংশন, ল্যাম্বডা-ক্যালকুলাস ইত্যাদির মাধ্যমে সংজ্ঞায়িত করা যায়))
- এর পিছনে গাণিতিক তত্ত্বটি খুব সুন্দর! কলমোগরভ কমপ্লেক্সিটি অ্যান্ড ইটস অ্যাপ্লিকেশনস (লি এবং ভিটানাই), অ্যালগরিদমিক র্যান্ডমনেস এবং জটিলতা (ডাউনি এবং হির্সফেল্ড) কমপ্যুটিবিলিটি অ্যান্ড র্যান্ডমনেস (নিস) তিনটি দুর্দান্ত বই দেখুন ।
একটি মার্টিন-লফ এলোমেলো ক্রম দেখতে কেমন? ঠিক আছে, পুরোপুরি সুষম মুদ্রা নিন এবং এটি উল্টানো শুরু করুন। প্রতিটি ফ্লিপ এ, মাথাগুলির জন্য একটি 0 এবং লেজগুলির জন্য 1 লিখুন। সময়ের শেষ অবধি চালিয়ে যান। মার্টিন-লুফের ক্রমটি এমন দেখাচ্ছে :-)
ααααটএকটিটαট2- কেইউটα
αβαnn−O(1)βnα
ঠিক আছে, এখন জোসেফের প্রশ্নের "সম্পাদনা" অংশ: এটি কি এমন ঘটনা ঘটল যে কোনও টিএম এলোমেলোভাবে বিশুদ্ধ উত্স (একটি ওরাকল?) অ্যাক্সেস সহ কোনও ক্লাসিকাল টিএম পারে না এমন একটি ফাংশন গণনা করতে পারে?
f:N→Nfnn
ffnnfϵ>0σσfσ