ডিএসপিএসি (ও (গুলি)) এর সময়ক্রমক্রম


12

সময়ের শ্রেণিবিন্যাসের উপপাদ্যটিতে বলা হয়েছে যে ট্যুরিং মেশিনগুলি আরও বেশি সময় (পর্যাপ্ত) সময় পেলে আরও সমস্যার সমাধান করতে পারে। স্থানটি যদি অ্যাসিপোটোটিকভাবে সীমাবদ্ধ থাকে তবে এটি কোনওভাবে ধারণ করে? কেমন করে DTISP(g(n),O(s(n))) সঙ্গে সম্পর্কযুক্ত DTISP(f(n),O(s(n))) যদি fg যথেষ্ট দ্রুত বৃদ্ধি পায়?

আমি বিশেষত s(n)=n , g(n)=n3 এবং f(n)=2n

: বিশেষ করে, আমি নিম্নলিখিত ভাষা বিবেচিত Lk:={(M,w):M rejects (M,w) using at most |M,w|3 time steps, k|M,w| cells and four different tape symbols}

যাইহোক, Lk সিদ্ধান্ত যেতে পারে n3 ব্যবহার করে পদক্ষেপ (k+1)nO(n) স্থান।

M থেকে চারটি টেপ প্রতীক সীমাবদ্ধ না করে এবং এইভাবে O(n) কোষগুলিকে n কোষগুলিতে সংকুচিত করার অনুমতি না দিয়ে , অনেকগুলি টেপ প্রতীক সহ অনুকরণ করার সময় আমরা স্থানের সমস্যাগুলি পাই M। এই ক্ষেত্রে, ভাষা আর DSPACE(O(n)) নেই। কিছু ঘন্টার জন্য সেট করার সময় একই ঘটনা ঘটে যা দ্রুত পর্যাপ্ত পরিমাণে গণনা করা যায়।k=h(|w|)h

এই প্রশ্নের মূলত আমার প্রশ্ন একটি ভিন্নরূপে বা অন্য কথায় হয় এখানে

সম্পাদনা সংক্ষিপ্তসার: DSPACE(s(n))DTIME(f(n)) কে পরিবর্তিত হয়েছে DTISP(f(n),s(n)), তবে, আমার মনে হয় ছেদটিও ভাবা উচিত।


অসাধারণ প্রশ্ন !! এছাড়া DTISP (ছ (ঢ), গুলি (ঢ)) বনাম DTISP (চ (ঢ), গুলি (ঢ)) যদি তাকান বেশ আকর্ষণীয় যথেষ্ট দ্রুত বৃদ্ধি পায়। ডিটিআইএসপি (জি (এন), এস (এন) এমন একটি ভাষাকে উপস্থাপন করে যা একক অ্যালগরিদম দ্বারা সমাধান করা যায় যা সর্বাধিক জি (এন) সময়ে স (এন) স্পেস ব্যবহার করে ডিটিটাইম (জি (এন))ডিএসপিএসি (গুলি) ব্যবহার করে (এন)) দুটি অ্যালগরিদম সহ ভাষাগুলি উপস্থাপন করে যেখানে একটি অ্যালগোরিদম g (n) সময়ে চালিত হয় এবং অন্য অ্যালগরিদম গুলি (এন) স্পেসে চলে। fg
মাইকেল ওয়েহার

1
ওহো ... আমি প্রথমে D-SPACE (O (s (n)) - TIME (g (n)) লিখেছি, তবে ম্যাথজ্যাক্স এটি থেকে কী তৈরি করেছে তা আমি পছন্দ করি না, তাই আমি দ্রুত এটিকে পরিবর্তন করেছি changed এ সম্পর্কে বেশি চিন্তা না করে ডিএসপিএইচ (ও (এস (এন)) ∩ ডিটিটাইম (জি (এন)) এ যান। আমার প্রাথমিক প্রশ্নটি আমি প্রথমে যা লিখেছিলাম তা সম্পর্কে, তবে ছেদটি ডিএসপিএসিই (ও (এস (এন)) ∩ ডিটিটাইম (জি (এন)) খুব আকর্ষণীয় - আমি খুশি যে আমি এই ভুলটি করেছি। স্পষ্টতই ডিটিআইএসপি (জি (এন), এস (এন)) ডিটিটাইম (জি (এন)) ∩ ডিএসপিএসিই (গুলি (এন))। এটি কি যথাযথ অন্তর্ভুক্তি? উইকিপিডিয়া অনুসারে, এর যথাযথতাটি ডিটিআইএসপি (পি, পলিএল) ⊆ ডিটিটাইম (পি) ∩ ডিএসপিএসিই (পলিএল): উইকিওয়ানড
হেনিং

Cool !! আপনার ব্যাখ্যা করার জন্য আপনাকে ধন্যবাদ। আমি এই ধরণের সমস্যায় সত্যিই আগ্রহী। :)
মাইকেল ওয়েহর

। সুতরাং, আপনার দ্বিতীয় কেস তুচ্ছ। DTISP(2n,n)=DSPACE(n)
rus9384

এটা তোলে এর মূল্য উল্লেখ যে স্থান একটি নির্দিষ্ট পরিমাণ জন্য একটি সময় অনুক্রমের সঙ্গে টুরিং মেশিনের জন্য প্রাপ্ত করা যাবে সংশোধন জন্য টেপ জন্য Hopcroft-paul-বীর অনুরূপ আর্গুমেন্ট এবং টাইট সময় শ্রেণীবিন্যাসের ব্যবহার করে -tape মেশিন। যেমন ডাব্লুজে পল দেখুন। Time STOC'77- তে সময়ক্রমক্রমের সময়kkk
স্যাম ম্যাকগুইরে

উত্তর:


6

এটি একটি উন্মুক্ত সমস্যা: এটি (অথবা এন এস পি সি সি কিনা খোলা আছে ( ( এন ) ) )। আমরা কেবল জানি যে D T I M E ( O ( n ))DTISP(O(nlogn),O(n))=DSPACE(O(n))NSPACE(O(n))DTIME(O(n))DSPACE(O(n/logn))

তবে, কল্পনাযোগ্য গণনীয় জটিলতা অনুমানের অধীনে, একটি সঠিক শ্রেণিবিন্যাস রয়েছে। উদাহরণস্বরূপ, যদি প্রতি , সিরকুইট-স্যাট ∉ io- , তবে যেখানে , হয় , এবং সময়-স্থান গঠনমূলক।ε>0O(2nε)DTISP(O(f),O(s(n)))DTISP(O(f1+ε),O(s(n)))
f(n)nf(n)2o(min(n,s(n)))f

বিশেষ (অনুমান অধীনে) সালে সঙ্গে সার্কিট জন্য পরিতৃপ্ত নিয়োগ অস্তিত্ব ইনপুট এবং আকার তোলে ক্লাসের সাম্যতার জন্য একটি কাউন্টারে নমুনা হিসাবে।lg(f1+ε/2)(logf)O(1)

মন্তব্য:

  • সার্কিট-স্যাট হিসাবে হার্ড হিসাবে অন্তত হয় -SAT (যা শক্তিশালী সূচকীয় সময় অনুমান ব্যবহার করা হয়)।k

  • প্রতি সম্মেলনে, সিরকুইট-স্যাট-এ, ইনপুট তারের সংখ্যা; বর্তনী আকার ।nnO(1)

  • যদি অনুমানটি কোসিলাইনার সার্কিট মাপের জন্য সিরকুইট-স্যাট ব্যবহার করে, তবে এ আবদ্ধ শিথিল করা যায় । এছাড়াও, সিরকুইট-স্যাট এর কঠোরতা সম্পর্কে দুর্বল / শক্তিশালী অনুমানগুলি দুর্বল / শক্তিশালী শ্রেণিবদ্ধতা দেয় (যা আমরা বর্তমানে প্রমাণ করতে পারি)।f(n)O((2ε)min(n,s(n)))

  • IO মানে অসীম প্রায়ই, এবং বাদ যাবে যে একটি নির্দিষ্ট অর্থে ক্রমাগত হয় (তত্সহ )।ff(n)=na

  • এটি সম্ভবত প্রদর্শিত হবে যে ডিটিআইএসপি হায়ারার্কি থেকে (এবং সম্ভবত ) থেকে পৃথক করার জন্য যথেষ্ট তীক্ষ্ণ (যখন অনুমোদিত জায়গার তুলনায় খুব বেশি বড় নয়)।O(f)o(f/logf)o(f)f

  • কে থেকে আলাদা করতে আমাদের কেবলমাত্র দুর্বল অনুমান P ≠ PSPACE প্রয়োজন।na2n

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.