এনপি-ই এবং ই-এনপি-র প্রাকৃতিক প্রার্থীরা

Question

এটি 70 এর দশকের প্রথম থেকেই জানা যায় ${\bf NP}$ এবং ${\bf E}=DTIME(2^{O(n)})$ সমান নয় (কারণ ${\bf E}$ বিপরীতে, বহু-সময় বহু-এক হ্রাস অধীনে বন্ধ হয় না ${\bf NP}$)। আমি যতদূর জানি, তবে এখনও এটি উন্মুক্ত রয়েছে যে একটি শ্রেণি অন্য শ্রেণীর উপসেট হয়, বা সেগুলি অতুলনীয়, যার অর্থ${\bf NP}-{\bf E}$ এবং ${\bf E}-{\bf NP}$ উভয়ই নমনীয়।

প্রশ্ন: কোনটি কিছু (প্রাকৃতিকভাবে প্রাকৃতিক) সমস্যা যা এতে থাকার জন্য প্রার্থী ${\bf NP}-{\bf E}$ অথবা ${\bf E}-{\bf NP}$, ধরে নিচ্ছি কি সম্পর্কিত সেট খালি নেই? আমি মধ্যে প্রাকৃতিক সমস্যা আগ্রহী বিশেষত${\bf NP}$সম্ভবত সম্ভবত সুপারলাইনার এক্সপোনেন্টের সাথে এক্সফেনশনাল সময় প্রয়োজন , অর্থাত্‍ তারা${\bf NP}-{\bf E}$।

Answer 1

টিকিউবিএফ (ট্রু কোয়ান্টিফায়েড বুলিয়ান সূত্র) ই-তে রয়েছে এবং এনপি = পিএসপিএসি না হলে এনপিতে থাকবে না।

এনপি-ই-তে একটি ভাষা আরও জটিল। এ জাতীয় ভাষা এনপি-এনটিটাইম (এন) এও থাকবে এবং আমাদের সেগুলির দুর্দান্ত উদাহরণ নেই। আপনি যেমন একটি সংক্ষিপ্ত প্রতিনিধিত্ব ব্যবহার করতে পারেন

$L = \{ C \ |\ $বর্তনী $C$ একটি গ্রাফ বর্ণনা করে $G$ চালু $|C|^5$ নোড যেখানে $G$ 3-colorable হয়$\}$।

$L$ এনপি-তে রয়েছে, থাকার সম্ভাবনা নেই $E$ কিন্তু প্রাকৃতিক নয়।