5
অ্যালগরিদমের উদাহরণ যা সঠিকতার প্রমাণের অভাব রয়েছে
আমরা Hoare যুক্তি আছে। এটি এখনও কেন সম্ভব যে একটি অ্যালগরিদম ঠিক আছে তবে কোনও প্রমাণ নেই যে এটি সঠিক? ধরুন অ্যালগরিদমটি সি তে প্রকাশিত হয়েছে তারপরে আমরা ধাপে ধাপে যুক্তি দিতে পারি যে এটি করার কথা বলে এটি করছে। সুতরাং আমার প্রশ্নটি হ'ল: আমাকে একটি অ্যালগরিদমের উদাহরণ দিন যা …