আমরা Hoare যুক্তি আছে। এটি এখনও কেন সম্ভব যে একটি অ্যালগরিদম ঠিক আছে তবে কোনও প্রমাণ নেই যে এটি সঠিক? ধরুন অ্যালগরিদমটি সি তে প্রকাশিত হয়েছে তারপরে আমরা ধাপে ধাপে যুক্তি দিতে পারি যে এটি করার কথা বলে এটি করছে।
সুতরাং আমার প্রশ্নটি হ'ল:
আমাকে একটি অ্যালগরিদমের উদাহরণ দিন যা সঠিক তবে সঠিকতার প্রমাণ নেই।
সম্পাদনা: আমি মনে করি যে আমি কোথায় যাচ্ছি তা পরিষ্কার করতে একটু পটভূমি সাহায্য করতে পারে। স্কট অ্যারনসনকে উদ্ধৃত করি:
1970 -এর দশক থেকে ফটকা যে পি হয়েছে দ্বারা NP স্বাধীন হতে পারে (যেমন, তন্ন তন্ন প্রতিপাদ্য কিংবা disprovable) যেমন Zermelo-Fraenkel সেট তত্ত্ব হিসাবে গণিত, জন্য আদর্শ সবর্জনবিদিত সিস্টেম থেকে। স্পষ্ট করে বলতে গেলে, এর অর্থ হ'ল হয়
এনপি-সম্পূর্ণ সমস্যার জন্য একটি বহু-কালীন অ্যালগরিদম বিদ্যমান নেই, তবে আমরা কখনই এটি প্রমাণ করতে পারি না (কমপক্ষে আমাদের সাধারণ আনুষ্ঠানিক সিস্টেমে নয়), অন্যথায়
দ্বারা NP-সম্পূর্ণ সমস্যার জন্য একটি বহুপদী সময় এলগরিদম আছে বিদ্যমান, কিন্তু হয় আমরা প্রমাণ না করতে পারে এটি কাজ করে, অথবা আমরা প্রমাণ না করতে পারেন এটি বহুপদী সময় বন্ধ হয়ে যাবে।
আমি দ্বিতীয় সম্ভাবনা উল্লেখ করছি। যেহেতু অ্যারনসন এতো আত্মবিশ্বাসের সাথে এটিকে সম্ভাবনা হিসাবে তালিকাবদ্ধ করতে পারেন, তাই আমি মনে করি যে টাইপ ২ এর একটি বিদ্যমান উদাহরণ থাকতে হবে That's এজন্যই আমি এই প্রশ্নটি জিজ্ঞাসা করছি। তবে মনে হচ্ছে একটি দ্রুত এবং স্পষ্ট উত্তরটি দৃষ্টিতে নেই।