নেই

নেই পরোক্ষভাবে ? $\mathsf{EXP}=\mathsf{NEXP}$ $\mathsf{E}=\mathsf{NE}$

— argentpepper
সূত্র

হ্যাঁ, E = NE বোঝায় EXP = NEXP যা প্যাডিং আর্গুমেন্ট ব্যবহার করে প্রমাণিত হতে পারে।

— মোহাম্মদ আল-তুর্কিস্তানি

EXP = NEXP কেন E = NE বোঝায় এটি আমার কাছে স্পষ্ট নয়। যদি এটি সত্য হয় তবে সুসিনেক্ট

এস্যাট-এর জন্য যে কোনও

টাইম অ্যালগরিদমকে সুচিনেক্ট

এস্যাট-এর

-কালীন অ্যালগরিদমে রূপান্তর করা যেতে পারে । হতে পারে আপনি জিনিসগুলি বিপরীত করেছেন, এবং আপনি অন্য অর্থ সম্পর্কে জিজ্ঞাসা করতে চেয়েছিলেন?

2^{n^{k}}

$2^{n^k}$

2^{O (n)}

$2^{O(n)}$

— রায়ান উইলিয়ামস

এবং তারপরে পি = এনপি যদি পি = 0 বা এন = 1 হয়!

— ড্যানিয়েল আপন

হ্যাঁ. আমার ধারণা এটি হোমওয়ার্কের সমস্যা।

— মোহাম্মদ আল তুর্কিস্তানি

কোনও যুক্তিসঙ্গত প্রশ্নে সম্পাদনার পরে এই প্রশ্নের বন্ধটিকে "বাস্তব প্রশ্ন নয়" হিসাবে আমি বুঝতে পারি না (যদিও প্রশ্নের বাক্যটি আকর্ষণীয় নয়)। উদাহরণস্বরূপ, রায়ান উইলিয়ামসের মন্তব্য এটির উত্তর হতে পারে।

— সোসোশি ইটো

এটি যতদূর আমি জানি এটি উন্মুক্ত। এটি প্রমাণযোগ্য হতে পারে (কারণ এটির হাইপোথিসিসটি মিথ্যা হতে পারে) বা এটি দেখানো কেবল মুশকিল যে Succinct3SAT এর জন্য যে কোনও টাইম অ্যালগরিদমকে Succinct3SAT এর জন্য -কালীন অ্যালগরিদমে রূপান্তর করা যেতে পারে show $2^{n^k}$ $2^{O(n)}$

সাধারণভাবে, এই ধরণের উপপাদ্যগুলিকে "নিম্নমুখী পতন" বলা হয় যা বলে যদি দুটি "বৃহত" শ্রেণি সমান হয় তবে দুটি "ছোট" শ্রেণি সমান হয়। এই উপপাদ্যগুলি বিরল। সাধারণত আপনি হয় একটি "উর্ধ্বগামী পতন" (ছোট ক্লাস সমান বোঝা বড় শ্রেণীর সমান মত প্রমাণ করতে পারেন বোঝা ) অথবা তার contrapositive, একটি "নিম্নগামী বিচ্ছেদ"। $P = NP$ $NEXP = EXP$

হার্টম্যানিস, ইমারম্যান এবং সিলসন ( http://dl.acm.org/citation.cfm?id=808769 ) এর উপপাদ্যটি যা আপনি চান তার ধারায় কিছু যে $NE = E$ $\iff$ প্রতিটি বিক্ষিপ্ত সেট মধ্যে অন্তর্ভুক্ত করা হয় । এই "নিম্নগামী পতন" কিন্তু শুধুমাত্র বিক্ষিপ্ত সেট (যাদের সেট যে শুধুমাত্র থাকা দেয় দৈর্ঘ্যের স্ট্রিং )। $NP$ $P$ $poly(n)$ $n$

— রায়ান উইলিয়ামস
সূত্র