রাইসের উপপাদ্যটিতে বলা হয়েছে যে কয়েকটি টিউরিং মেশিন দ্বারা স্বীকৃত সেটের প্রতিটি অনানুষ্ঠানিক সম্পত্তি অনস্বীকার্য।
আমি জটিলতা-তাত্ত্বিক ধানের ধরণের উপপাদ্যের সন্ধান করছি যা আমাদের জানায় যে এনপি সেটের কোন অ-ক্ষণাত্মক বৈশিষ্ট্য অচল able
আমি আপনাকে আরও কিছুটা স্পষ্ট করতে বলব, তবে আমি মনে করি আপনি কী বলতে চাইছেন তা আমি জানি। উত্তরটি মূলত: রাইসের উপপাদ্য এখনও প্রয়োগ হয়। যদিও এটি একই প্রশ্ন নয় তবে আমি মনে করি আপনার প্রশ্নের সমানভাবে এটির উত্তরের উত্তর দেওয়া হয়েছে: cstheory.stackexchange.com/questions/161/… । সদৃশ হিসাবে বন্ধ করতে ভোট দেওয়া।
—
জোশুয়া গ্রোচো
আমার প্রশ্নটি এনপি-তে একটি সেট আবহাওয়া নির্ধারণের বিষয়ে নয়, এটি এমন একটি উপপাদ্য সন্ধানের বিষয়ে যা এনপি-তে কোন সমস্যাগুলি দক্ষতার সাথে গণনাযোগ্য নয় (বহু-কালীন অ্যালগরিদম নেই) বলতে পারে।
—
মোহাম্মদ আল তুর্কিস্তানি
কোনও এনপি সেট "প্রমান" করতে ব্যবহার করা যেতে পারে এমন কোনও কিছুর জন্য জিজ্ঞাসা করা অত্যধিক! তবে রাইস-ইশ উপপাদ্য রয়েছে যা সমস্যার "এনপি-কঠোরতা" প্রতিষ্ঠার জন্য ব্যবহার করা যেতে পারে।
—
রায়ান উইলিয়ামস
জোশুয়া, আমাকে একটি উদাহরণ ব্যবহার করতে দিন, 3-রঙিন গ্রাফের সেটটি এনপিতে রয়েছে। আমি একটি রাইস-স্টাইলের উপপাদ্য চাই যা 3-বর্ণের সমস্যাটিতে কোনও বহুপদী সময় অ্যালগরিদম না থাকার প্রমাণ করতে ব্যবহার করা যেতে পারে (সম্ভবত অক্ষম)
—
মোহাম্মদ আল তুর্কিস্তানি
তুরস্কিস্তানি: আপনি একটি প্রমাণ চাইছেন যে পি! = এনপি? :) বা আপনি কি কোনও অর্থে সীমাবদ্ধভাবে অ্যালগরিদম বলতে চান?
—
অর্ণব