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