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