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