এনপি বনাম এক্সপটিমের চারপাশের সাহিত্য

এমনকি এটি কোনও গুরুত্বপূর্ণ বিষয় না হলেও, আমি এই প্রশ্নের চারপাশে কোনও সাহিত্য দেখছি না। আপেক্ষিক ফলাফল আছে?

এনপি মেশিনের সমস্ত সম্ভাব্য পথগুলি অন্বেষণ করে অ-নিরঙ্কুশায়ী সময়ক্রমক্রমক্রমের উপপাদ্যকে অভিযোজিত করে কঠোরভাবে অন্তর্ভুক্তি প্রমাণ করা কি সহজ সোজা হবে না?

cc.complexity-theory complexity-classes

— লুডোভিক পতে
সূত্র

এনপি এবং এক্সপি-র মধ্যে ওরাকল বিভাজন প্রমাণ করা সহজ। একটি অ-নিয়ন্ত্রক সময়ক্রমক্রমক্রমের উপপাদ্য রয়েছে যা আমাদের বলে যে এনপিপিতে এনপি কঠোরভাবে অন্তর্ভুক্ত রয়েছে। এটি এনপি বনাম এক্সপিতে কীভাবে মানিয়ে নেওয়া যায় তা আমি দেখছি না।

— রবিন কোঠারি

@ রবিন হ্যাঁ, অবশ্যই এটি একটি ওরাকল

N P^{A} \neq P S P A C E^{A}

$NP^A \neq PSPACE^A$ ইঙ্গিত দেয় যে

N P^{A} \neq E X P^{A}

$NP^A \neq EXP^A$ । তবে আমি যেমন ওরাকলকে পাই না

N P^{B} = E X P^{B}

$NP^B = EXP^B$ যদি না থাকে তবে তার প্রমাণ

N P \neq E X P

$NP \neq EXP$ পুনরায় সংযুক্ত হতে পারে।

— লুডোভিচ পাটি

কমপ্লেক্সিটি চিড়িয়াখানা ( qwiki.stanford.edu/index.php/Complexity_Zoo ) বলেছেন: ... এখানে ওরাকল রয়েছে যা সম্পর্কিত

E X P = N P = Z P P

$EXP = NP = ZPP$ [Hel84a], [Hel84b], [Kur85], [Hel86], .... উদাহরণস্বরূপ দেখুন দুই ওরাকেল বল একটি বড় কড়্কড়্ শব্দ যে ( people.cs.uchicago.edu/~fortnow/papers/nexp.ps )

— Marzio ডি বিয়াসি

@ ভোর, @ রবিন, আমি মনে করি এগুলির উত্তর হওয়া উচিত

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

জটিলতা চিড়িয়াখানা বলেছেন:

... যার সাথে সম্পর্কিত ওরাকল রয়েছে $EXP=NP=ZPP$ [হেল 84 এ], [হেল 84 বি], [কুর 85], [হেল 86], ....

উদাহরণস্বরূপ দেখুন দুটি ওরাকল যা বড় ক্রাচকে বাধ্য করে ।

সম্ভবত মূল Dekhtyar দ্বারা ব্যবহৃত ওরাকল হল কম শক্তিশালী (এবং সহজ): নিয়ন্ত্রণবাদী এবং nondeterministic জটিলতা ক্লাস relativization উপর মধ্যে Proc। সিএসের গাণিতিক ভিত্তি 1977 ... তবে আমার কাছে তার কাগজ নেই।

— মারজিও দে বিয়াসি
সূত্র

ধন্যবাদ. দেখটিয়ার পেপারের সঠিক নাম হ'ল ডিটারমিনিস্টিক এবং ননডেটারিস্টেমনিক জটিলতা ক্লাসগুলির পুনরায় সংযোজন।

— লুডোভিচ পাটি