3
ডিটিটাইম হায়ারার্কি উপপাদ্যটিতে লগ এফ এর ন্যায়সঙ্গততা
আমরা যদি ডিটিটাইমে হায়ারার্কি উপপাদ্যটি লক্ষ্য করি তবে একটি সর্বজনীন মেশিন দ্বারা একটি ডিস্ট্রিমেন্টিক ট্যুরিং মেশিনের সিমুলেশন ওভারহেডের কারণে আমরা একটি লগ পেয়েছি: DTIME(flogf)⊊DTIME(f)DTIME(flogf)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) DSPACE এর এনটিটাইমের জন্য আমাদের এই জাতীয় ওভারহেড নেই। সিমুলেটরগুলির মধ্যে পার্থক্য বিবেচনা করে প্রমাণের বিবরণ থেকে একটি প্রাথমিক ন্যায়সঙ্গততা আসে। আমার প্রশ্নটি …