ওরাকল যা সম্পর্কিত

Question

গ্রেগ কুপারবার্গের জটিলতা প্রাণিবিদ্যায় বলা হয়েছে যে এখানে একটি ভাষা রয়েছে যা - অন্য কথায়, in গণিত \ বিপিপি ^ এক্স ^ nsub \ mathsf {P} ^ {\ mathsf {NP} ^ X} - তবে এই ফলাফলের জন্য কোনও রেফারেন্স দেয় না। কেন এই ধরে? বা কোথায় প্রমাণ পাওয়া যাবে?$X$$\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X$$\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X}$

"সংক্ষিপ্ত বার্তাগুলি সহ মাল্টি-প্রভার ইন্টারেক্টিভ প্রমাণগুলি সম্পর্কে কী জানা যায়?" এই প্রশ্নের আমার উত্তর দ্বারা এই প্রশ্নটি আংশিকভাবে অনুপ্রাণিত হয়েছে জো ফিৎসিমনস দ্বারা।

আমি এই প্রশ্নটি 2 শে অক্টোবর math.stackexchange.com এ পোস্ট করেছি , তবে আমি কোনও উত্তর পাইনি এবং মেটা.ম্যাথের এই পোস্টটি অনুসরণ করে গণিতের প্রশ্নটি মুছে ফেলেছি।

Comments

সম্ভবত এই সাহায্য করে? icsi.berkeley.edu/pubs/techreports/tr-92-078.pdf

— আলেসান্দ্রো

@ আলেসান্দ্রো: ধন্যবাদ, এটি খুব প্রাসঙ্গিক বলে মনে হচ্ছে। আমি এটি পরীক্ষা করে দেখব.

— Tsuyoshi Ito

জটিল চিড়িয়াখানা প্রবেশের লিঙ্কটি উত্তর সম্পাদনায় হারিয়ে গেছে। এটি এখানে, @ মারকোস ভিলাগ্রা অনুরোধের পরে আপডেট হয়েছে: qwiki.stanford.edu/index.php/Complexity_Zoo:D#delta2p

— আলেসান্দ্রো

Answer 1

ওরাকল ফিরে যায় Stockmeyer 1983 সালে হেলার শক্তিশালী ফলাফলের দিয়েছেন যে: 1986 একটি relativized বিশ্বের Karpiniski এবং Verbeek হেলার এর ফলাফলের তিরস্কার (মন্তব্য উল্লেখ)।$BPP = EXP^{NP}$

Comments

এটিকে পেরেক দেওয়ার জন্য ধন্যবাদ আমি এক বা দু'দিন অপেক্ষা করব এবং অবাক হওয়ার মতো কিছু না হলে গ্রহণ করব।

— Tsuyoshi Ito

জটিলতা চিড়িয়াখানায় কেউ এন্ট্রি আপডেট করলে ভাল লাগবে। আমি এটি করতে পারি, তবে কীভাবে তা জানি না।

— মার্কোস ভিলাগ্রা

@ মারকোস ভিলাগ্রা হয়ত কেবল গ্রেগ কুপারবার্গকে ইমেল করবেন?

— সুরেশ ভেঙ্কট

@ সুরেশভেঙ্কাট যদি আপনি জটিলতা প্রাণীবিজ্ঞানের কথা বোঝেন তবে দুর্ভাগ্যক্রমে এটি একটি সর্বজনীন উইকি নয়। আপনার যদি জটিলতা চিড়িয়াখানা বোঝায় তবে আমি ইতিমধ্যে এটি আপডেট করেছি updated

— আলেসান্দ্রো কোসেন্টিনো