এটি ভাবতে মজাদার প্রশ্ন ছিল। অন্য উত্তর এবং নীচের মন্তব্যে বর্ণিত হিসাবে, কোলমোগোরভ জটিলতা গণনা করার ক্ষেত্রে হ্যালটিং সমস্যা থেকে একটি টিউরিং হ্রাস রয়েছে, তবে উল্লেখযোগ্যভাবে কমপক্ষে 'কমপিউটিং কোলমোগোরভ জটিলতার' সংজ্ঞা দেওয়ার জন্য এই ধরণের বহু-একটি হ্রাস নেই।
আসুন আমরা কী বিষয়ে কথা বলছি তা আনুষ্ঠানিকভাবে সংজ্ঞায়িত করি। যাক বোঝাতে টি এম মান ভাষা স্থগিত যখন ইনপুট হিসাবে নিজেদের একটি বিবরণ দেওয়া হয়েছে। যাক বোঝাতে ।HALTKO{⟨x,k⟩∣x has Kolmogorov complexity exactly k}
অনুমান করুন যে একাধিক এক-এক হ্রাস দ্বারা। আসুন এই হ্রাস গণনা করে এমন ফাংশনটি বোঝায়। ভাবমূর্তি বিবেচনা অধীনে , যা আমি নির্দেশ করবে ।HALT≤KOf:{0,1}∗→{0,1}∗HALTff(HALT)
নোট ফর্মের স্ট্রিংগুলি নিয়ে রয়েছে যেখানে সাথে কোলমোগোরভ জটিলতা হ'ল । আমি দাবি করি যে সংঘটিত হয় তা সীমাহীন, কারণ কোলমোগোরভ জটিলতার সাথে সীমাবদ্ধ সংখ্যক স্ট্রিং রয়েছে ঠিক , এবং অসীম।f(HALT)⟨x,k⟩xkkf(HALT)kf(HALT)
যেহেতু পুনরাবৃত্তভাবে গণনাযোগ্য (কিছু বইয়ে ওরফে টিউরিং-স্বীকৃত) এটি অনুসরণ করে যে পুনরাবৃত্তভাবে গণনাযোগ্য। সত্য যে সাথে মিলিত এর সীমাবদ্ধ, আমরা গনা করতে যতক্ষণ না আমরা এটি কিছু সঙ্গে মত বৃহৎ আমরা চাই হিসেবে; অর্থ্যাৎ এখানে একটি টিএম যা ইনপুট কিছু উপাদান আউটপুট দেয় ।HALTf(HALT)kf(HALT)⟨x,k⟩kMk⟨x,k⟩∈f(HALT)
একটি নতুন টিএম লিখুন যা নিম্নলিখিতগুলি করে: প্রথম, গণনাক্লিনির পুনরাবৃত্তি উপপাদ্য ব্যবহার করে। ইনপুট দিয়ে জিজ্ঞাসা করুন পেতে । আউটপুট ।M′|M′|M|M′|+1⟨x,|M′|+1⟩∈f(HALT)x
স্পষ্টত আউটপুট এর সর্বাধিক Kolmogorov জটিলতা সঙ্গে একটি স্ট্রিংতবে যা একটি বৈপরীত্য।xM′|M′|⟨x,|M′|+1⟩∈f(HALT)
আমি বিশ্বাস করি আপনি "কোলমোগোরভ জটিলতা হ'ল " সমস্যাটিও "কোলমোগোরভ জটিলতা কমপক্ষে " এর সাথে সামান্য পরিবর্তন সহ প্রতিস্থাপন করতে পারেন believekk