প্রশ্ন ট্যাগ «decidability»

প্রতিটি টিউরিং-স্বীকৃত অনস্বীকার্য ভাষার কি কোনও এনপি-সম্পূর্ণ উপসেট রয়েছে? এই প্রশ্নটির একটি শক্তিশালী সংস্করণ হিসাবে দেখা যেতে পারে যে প্রতিটি অসীম টিউরিং-স্বীকৃত ভাষায় একটি অসীম সিদ্ধান্ত গ্রহণযোগ্য উপসেট থাকে।

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

আপনার যদি দুটি পৃথক বাছাই করা অ্যালগরিদম বাস্তবায়ন করে থাকে তবে সোর্স কোড দ্বারা এটি নির্ধারণ করা কি তাদের উভয়েরই বহিরাগত বৈশিষ্ট্য একই? এর অর্থ এই যে তাদের উভয়েরই একটি ইনপুট হিসাবে একটি সম্ভাব্য ক্রমবিহীন ক্রম হবে এবং তাদের আউটপুট হিসাবে বাছাই করা ক্রম থাকবে? কীভাবে এই বাহ্যিক বৈশিষ্ট্যগুলি উত্স …

9 pl.programming-languages  decidability  formal-methods  extensionality