এখানে এনপির সংজ্ঞা সম্পর্কে দুটি ভিন্নতা রয়েছে। তারা (প্রায় অবশ্যই) স্বতন্ত্র জটিল শ্রেণিগুলি সংজ্ঞায়িত করে, তবে আমার প্রশ্নটি: এই ক্লাসগুলির সাথে খাপ খায় এমন সমস্যার প্রাকৃতিক উদাহরণ রয়েছে কি?
(এখানে প্রাকৃতিক হিসাবে গণনা করার জন্য আমার প্রান্তিকতা স্বাভাবিকের চেয়ে কিছুটা কম))
ক্লাস 1 (এনপির একটি সুপারক্লাস): বহুপক্ষীয় আকারের সাক্ষীগুলির সাথে সমস্যা রয়েছে যা যাচাই করার জন্য সুপারপলিনমিক কিন্তু সুবেস এক্সনোশনাল সময় নেয়। সংক্ষিপ্ততার জন্য, সময় বলুন । এই nondeterministic মেশিন যে সময় লাগবে দ্বারা স্বীকৃত ভাষায় বর্গ সমতূল্য এন হে ( লগ ঢ ) কিন্তু শুধুমাত্র বহু (ঢ) nondeterministic অনুমান করতে পারেন।
1 ম শ্রেণিতে এমন প্রাকৃতিক সমস্যা রয়েছে যা বা D T I M E ( n O ( লগ এন ) ) এর মধ্যে নেই বলে জানা যায় / হয় না ?
ক্লাস 1 যথারীতি ভাষার একটি শ্রেণি class অন্যদিকে ক্লাস 2, সম্পর্কিত সমস্যাগুলির একটি শ্রেণি:
ক্লাস 2: একটি বাইনারি সম্পর্ক আর = {(x, y) this এই শ্রেণিতে থাকলে
- R ইম্পিলেস (y, x) তে একটি বহুপদী পি রয়েছে (x, y) সর্বাধিক পি (| x |)।
- এখানে একটি পলি (| x |) -কালীন অ্যালগরিদম এ যেমন রয়েছে, সমস্ত ইনপুটগুলির জন্য x, যদি এমন কিছু থাকে যে (x, y) আর-তে থাকে, তবে (x, A (x)) আরে থাকে এবং যদি এরকম কোনও y না থাকে তবে A (x) প্রত্যাখ্যান করে।
- যে কোনও পলি (| x |) -কালীন অ্যালগরিদম বি এর জন্য বি (এক্স, ডাব্লু) আর (এক্স, ডাব্লু) এর চেয়ে পৃথক অনেক জোড়া (এক্স, ডাব্লু) রয়েছে (এখানে আমি আর এর নিজস্ব বৈশিষ্ট্য বোঝাতে আর ব্যবহার করছি ফাংশন)।
অন্য কথায়, সমস্ত দৃষ্টান্তের জন্য, কিছু সাক্ষী আছে কিনা তা খুঁজে পাওয়া সহজ। এবং তবুও সমস্ত সাক্ষী সহজেই যাচাইযোগ্য হয় না।
(মনে রাখবেন যে আর যদি ক্লাস 2 এ থাকে তবে তার প্রথম ফ্যাক্টরের উপর আর এর অভিক্ষেপ কেবল পিতে হয় class আমি এই কথাটি বোঝাতে চেয়েছিলাম যে ক্লাস 2 একটি সম্পর্কের সমস্যার একটি শ্রেণি))
2 শ্রেণিতে প্রাকৃতিক সম্পর্কের সমস্যা আছে?