কিছু "যুক্তিসঙ্গত" আনুষ্ঠানিক ভাষায় বর্ণিত সিদ্ধান্তগুলির সমস্যাগুলি বিবেচনা করুন। রেফারেন্সের ফ্রেম হিসাবে এক ফ্রি ভেরিয়েবলের সাথে পিয়ানো পাথের গাণিতিকগুলিতে উচ্চতর ক্রমের সূত্রগুলি বলি, তবে আমি গণনার অন্যান্য মডেলগুলিতেও সমান আগ্রহী: ডায়োফানটাইন সমীকরণ, টুরিং মেশিন ব্যবহার করে পুনর্লিখনের শব্দের সমস্যা ইত্যাদি ইত্যাদি যে কোনও উত্তর প্রকাশ করা হয়েছে ধ্রুপদী আনুষ্ঠানিককরণ সূক্ষ্ম হবে, যদিও আপনি যদি জানেন যে আনুষ্ঠানিককরণের পছন্দটি উত্তরের উপর কতটা প্রভাব ফেলে, এটি আকর্ষণীয়ও হবে।
প্রদত্ত দৈর্ঘ্য একটি সিদ্ধান্ত সমস্যার বিবৃতি, আমরা সংখ্যা নির্ধারণ করতে পারবেন ডি ( এন ) দৈর্ঘ্যের নির্ধার্য বিবৃতি এন এবং নম্বর ইউ ( এন ) দৈর্ঘ্যের undecidable বিবৃতি এন ।
এবং ডি ( এন ) এর আপেক্ষিক বৃদ্ধি সম্পর্কে কী জানা যায় ? অন্য কথায়, আমি যদি এলোমেলোভাবে একটি সুগঠিত সিদ্ধান্তের সমস্যাটি গ্রহণ করি তবে প্রদত্ত বিবৃতি দৈর্ঘ্যের জন্য এটির সিদ্ধান্ত গ্রহণযোগ্য হওয়ার সম্ভাবনা কত?
এই প্রশ্নের দ্বারা অনুপ্রাণিত যা জিজ্ঞাসা করে যে "বেশিরভাগ সমস্যা এবং অ্যালগরিদমগুলি []] সিদ্ধান্তযুক্ত"। আচ্ছা, আপনি যদি আগ্রহের ভিত্তিতে ফিল্টার না করেন, তারা কি?