পিএইচ এর জন্য কি টাইম হায়ারার্কি উপপাদ্য রয়েছে?


18

এটি কি সত্য যে সময়ে (বহুবর্ষীয় স্তরক্রমের কিছু স্তরে একটি বিকল্প ট্যুরিং মেশিন দ্বারা) সমাধানযোগ্য যে বহুত্বীয় শ্রেণিবিন্যাসে সমস্যা আছে যা O ( n কে - 1 ) এর যে কোনও স্তরে দ্রবণযোগ্য নয় বহুবর্ষীয় শ্রেণিবিন্যাস? অন্য কথায় - বহিরাগত শ্রেণিবিন্যাসের জন্য কি পি এবং এনপি-র মতো একটি সময়ক্রমক্রমের উপপাদ্য রয়েছে? যদি সেখানে থাকে - একটি রেফারেন্স দুর্দান্ত হবে।O(nk)O(nk1)

আমি যে সমস্যার মধ্যে পড়েছিলাম তা হ'ল অনুক্রমের সমস্ত স্তর থেকে মেশিনগুলি সিমুলেটিং করার সময় সিমুলেটিং মেশিনটি শ্রেণিবিন্যাসের কোনও স্বতন্ত্র স্তরে নয়। কোনটি সম্পর্কিত প্রশ্নের দিকে পরিচালিত করে - এরকম সিমুলেটিং মেশিনটি ক্ষুদ্রতম শ্রেণীর সাথে সম্পর্কিত কী? O(n) অল্টারনেশন (বা O(logn) / O(loglogn) ) দিয়ে কোনও শ্রেণি সংজ্ঞায়িত করার কোনও ধারণা আছে ?


রৈখিক সংখ্যার বিকল্প ব্যবহার করা আপনাকে পিএসপিএসিইই দেয়, যেহেতু কোয়ান্টাইডেড বুলিয়ান সূত্রটি পিএসপিএসিই সম্পূর্ণ।
ডেরিক স্টোলি

উত্তর:


17

হ্যাঁ. উদাহরণস্বরূপ, সময়ের শ্রেণিবদ্ধের উপপাদ্যের স্বাভাবিক প্রমাণগুলি (সরাসরি স্বেচ্ছাসেবী মেশিনগুলি অনুকরণ করে) ব্যবহার করে দেখা যায় যে প্রতিটি , Σ সি টি আই এম [ এন কে ] Π সি টি আই এম এর উপসেট নয় E [ n কে - 1 ]Σ থেকে Π এ স্যুইচ করার কারণ Πc1ΣcTIME[nk]ΠcTIME[nk1]ΣΠ এই যে এই তির্যক যুক্তিতে, আমরা যে মেশিনটি অনুকরণ করছি তার "বিপরীত" করতে হবে, তাই যখন সিমুলেটিং মেশিনটি অস্তিত্বীয় মোডে থাকবে তখন আমাদের সর্বজনীন মোডে চলতে হবে এবং তদ্বিপরীত।

এছাড়াও আপনি থেকে সুইচিং ছাড়া এই মত একটি ফলাফল পেতে পারেন করার Π : প্রতিবার জন্য 1 , Σ টি আমি এম [ এন ] একটি উপসেট নয় Σ টি আমি এম [ এন - 1 ] । এটি জাকের কারণে সময়ের শ্রেণিবিন্যাসের প্রমাণ ব্যবহার করে করা যেতে পারে (রেফারেন্স: " টিউরিং মেশিনের সময়ক্রম"), তাত্ত্বিক কম্পিউটার বিজ্ঞান 26 (3): 327--333, 1983)। সময়ের শ্রেণিবিন্যাসের উপপাদ্যের এই সংস্করণটির স্পষ্ট উল্লেখের জন্য, দেখুন ডিয়েটার ভ্যান মেলকিবিক beΣΠc1ΣcTIME[nk]ΣcTIME[nk1]এর " সন্তুষ্টি ও সম্পর্কিত সমস্যাগুলির জন্য নিম্নতর সীমাগুলির একটি সমীক্ষা " (তার হোম পেজে উপলব্ধ)।


এই উত্তরটি হায়ারার্কির প্রতিটি স্বতন্ত্র স্তরের জন্য একটি সময়ের স্তরক্রমের উপপাদ্যের অস্তিত্বকে খুব স্পষ্টভাবে প্রমাণ করে। এটি সম্পূর্ণরূপে পিএইচ এর জন্য এই জাতীয় উপপাদ্যের উপস্থিতি নির্দেশ করে না।
জোসেফ

4
আপনার শক্তিশালী প্রশ্নটি নিশ্চিতভাবে সমাধান করা শক্ত হবে; এটি সূচিত করবে । ধরুন আছে একটি এবং একটি ভাষা এল মধ্যে Σ টি আমি এম [ এন ] যে নেই Σ টি আমি এম [ এন - 1 ] প্রত্যেক জন্য । তারপরে L O G S P A C ELOGSPACENPcLΣcTIME[nk]ΣdTIME[nk1]d । এর কারণ হল যে ভাষা এল এল হে জি এস পি একটি সি হয় Σ টি আমি এম [ এন 2 ] কিছু উপর নির্ভর করে এল (ক Savitch-উপপাদ্য-টাইপ যুক্তি দ্বারা)। সুতরাং যদি L O G S P A C E = N P হয় তবে প্রকৃতপক্ষে প্রতিটি ভাষা Σ c T I M E [ n kLOGSPACENPLLOGSPACEΣdTIME[n2]dLLOGSPACE=NP হয় Σ টি আমি এম [ এন 2 ] জন্যকিছু , আপনি কি দেখাতে চান পরস্পরবিরোধী। ΣcTIME[nk]ΣdTIME[n2] d
রায়ান উইলিয়ামস

3

সংশোধিত প্রশ্নের উত্তর (প্রশ্নের 4 টি পুনর্বিবেচনা) নং। যদি কোনও সিদ্ধান্তের সমস্যাটি এল O i পি মেশিনের মাধ্যমে ও ( এন কে ) এর সময়ে সমাধানযোগ্য হয় , তবে এল একটি টিউরিং মেশিন দ্বারা এল এর জন্য ওরাকল দিয়ে লিনিয়ার সময়ে সমাধান করা যায় , এটি একটি ∑ i + 1 পি মেশিন। সুতরাং, ∑ i TIME [O ( n k )] ⊆ Σ i +1 TIME [O ( n )]।


1
ΣjTIME[t(n)]ΣjTIME[O(nk)]Σj+1TIME[O(n)]j,kNPcoNPNP=coNPΣjTIME[O(nk)]Σj+1TIME[O(n)] for every j,k, let O(nc) be the running time of some nondeterministic algorithm for Tautology. Then we have NTIME[O(nc2)]Σ2TIME[O(n)]NTIME[O(nc)], where the first inclusion is by assumption and the second inclusion follows from a standard simulation argument. This is a contradiction.
Ryan Williams

@Ryan: The definition I used is: L∈ΣiTIME[t(n)] iff there exist a language O∈Σ(i−1)P and a nondeterministic t(n)-time Turing machine with the oracle for O that recognizes L. I thought that this is the standard definition, but I do not have any reference to back up my claim. What is the definition you are using?
Tsuyoshi Ito

1
The definition is: LΣiTIME[t(n)] iff there is a linear time predicate R(x,y1,,yi) such that xL(y1:|y1|t(|x|))(yi:|yi|t(|x|))R(x,y1,,yi) is true.
Ryan Williams

@Ryan: Ok, I did not know that definition. If that is what the asker wanted to ask, my answer does not apply.
Tsuyoshi Ito
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.