পুনরুদ্ধারিত বিশ্ব যেখানে

Question

আমি জানতে চাই যদি একটি relativized বিশ্বের বিদ্যমান চাই যেখানে । আমিও জানতে যদি একটি relativized বিশ্বের বিদ্যমান আগ্রহী যেখানে ।${\bf P^A}={\bf NP^A}\not = {\bf PP^A}$${\bf P^B} \not = {\bf NP^B} = {\bf PP^B}$

Comments

আমার কাছে একটি ব্লগ পোস্ট আছে "চূড়ান্ত ওরাকলস" যাতে ওরাকল ফলাফলের একটি তালিকা রয়েছে যা থেকে আপনি জিজ্ঞাসিত দুটি সহ আরও অনেকে অনুসরণ করেন। blog.computationalcomplexity.org/2005/08/extreme-oracles.html

— ল্যান্স

@ ল্যান্স: ধিক্কার, আমার উত্তর পোস্ট করার পরেও তা দেখেছি! ঠিক আছে, সম্ভবত ওপি আমার "হোমমেড" নির্মাণগুলি দরকারী বলে মনে করবে।

— স্কট অ্যারনসন

Answer 1

আমি কোনও রেফারেন্স জানি না, তবে আমি মনে করি এই দুটিটিই করণীয় হওয়া উচিত।

আপনার প্রথম ওরাকল জন্য: নতুনদের জন্য আপনি একটি ওরাকল চাইবেন (এটা কল যে এনকোড ব্যাখ্যা মূলকভাবে লার্জ) দৃষ্টান্ত, এবং যে যার ফলে আলাদা উভয় এবং থেকে । তারপরে আপনি একটি দ্বিতীয় ওরাকল চান (এটি কল করুন ) যা সমস্ত সমস্যার সমাধানগুলিকে এনকোড করে , "স্তম্ভিত" ফ্যাশনে যেমন শ্রেণিবিন্যাসের স্তরে অ্যাক্সেস করতে আকারের জিজ্ঞাসা প্রয়োজন (বলুন) (এবং তাই আপনি বহু-কালীন সময়ে কেবল স্থির সংখ্যক বিকল্প পেতে পারেন)। এই দ্বিতীয় ওরাকল কারণ উচিত । (মনে রাখবেন যে$A_1$$MAJORITY$$P^{A_1}$$NP^{A_1}$$PP^{A_1}$$A_2$$PH^{A_1}$$k^{th}$$n^k$$P^{A_1,A_2} = NP^{A_1,A_2} = PH^{A_1,A_2} = PH^{A_1}$$A_2$ হ'ল একটি "বাহ্যিক" স্তর, যার অর্থ যে কোনও প্রশ্নের কোয়েরি দ্বারা সিমুলেট করা যায় )) শেষ পর্যন্ত, আপনি ইয়াও এবং হস্তাদের নিম্ন সীমানায় (অর্থাত্, স্যুইচিং ) আবেদন করতে চাইবেন ) দেখাতে হবে যে একটি মেশিন এখনও সমাধান করতে পারে মধ্যে দৃষ্টান্ত , সেইজন্য এবং এবং (অবশ্যই ) বড় থাকে।$A_2$$PH^{A_1}$$AC^0$$PH^{A_1}$$MAJORITY$$A_1$$PP^{A_1}$$PP^{A_1,A_2} = PP^{PH^{A_1}}$

আপনার দ্বিতীয় ওরাকল জন্য, আপনি গঠন করা করতে চাইবেন যে আপনি একটি সমাধানের জন্য প্রয়োজন এমনভাবে "আনলক করুন" ওরাকল স্ট্রিং এর একটি অংশ করার জন্য সার্চ সমস্যা আপনার ক্ষমতা আপ তারপর উত্সাহ যে । (এখানে আমরা এবং both উভয়ই হ'ল সত্যটি কাজে লাগিয়েছি )) একটি সূক্ষ্মতা হ'ল ওরাকলের গোপন অংশটি কেবল একটি অপ্রস্তুত অসম্পূর্ণ ভাষা সিদ্ধান্ত নিতে পারে না : এটির সরবরাহও প্রয়োজন গণনার উত্তর যা নিজেই জিজ্ঞাসা করে। ভাগ্যক্রমে, এটি বিজ্ঞপ্তি এড়িয়ে পর্যায়ক্রমে কীভাবে এটি অর্জন করা যায় তা জানা যায়: মূলত, আপনি আউটপুটগুলি এনকোড করেন$B$$NP$$PSPACE$$NP^{PSPACE}$$PP^{PSPACE}$$PSPACE$$PSPACE$$PSPACE$$B$$PSPACE^B$ মেশিনগুলি যা কেবলমাত্র বা তার চেয়ে কম আকারের ইনপুটগুলিতে কে জিজ্ঞাসা করে , এমন একটি অংশে যা অ্যাক্সেসের জন্য>> এর আকারের প্রশ্নগুলির প্রয়োজন হয়, এবং সে কারণেই এই মেশিনগুলির "প্রগতির বাইরে" (তবে না অন্য মেশিন)। ইতিমধ্যে, মেশিনগুলি এই সমস্ত দ্বারা "সম্পূর্ণ অন্ধকারে" রেখে গেছে।$B$$p(n)$$B$$>p(n)$ $PSPACE^B$$P^B$