আমি ইদানীং ইন্টারেক্টিভ প্রমাণগুলি সম্পর্কে শিখছি এবং আমি ভাবছিলাম যে পুরো জিনিসটি তাত্ত্বিক কৌতূহল ছাড়া আর কিছুই ছিল না, বা এর কোনও ব্যবহারিক প্রয়োগ রয়েছে কিনা। আমি ভেবেছিলাম যে আমি একটি উদাহরণ দিয়ে শুরু করব যা ঝরনার সময় আমার সাথে ঘটেছিল:
এটি "God'sশ্বরের সংখ্যা" = ২০ এ ইদানীং সংবাদ তৈরি করছে। (রুবিকের কিউব সমাধানের জন্য God'sশ্বরের সংখ্যা হ'ল ন্যূনতম পদক্ষেপ)। যদিও এটি বেশ আকর্ষণীয়, সেখানে কিছুটা মোড় আছে বলে মনে হচ্ছে ... এটি পাঠ্যপুস্তকের কোনও "সাধারণ" প্রমাণ নয়, বহু কালীন সময় যাচাইযোগ্য অর্থে। এই প্রমাণটির স্বতন্ত্রভাবে একটি "ব্রুট ফোর্স" স্বাদ রয়েছে - এর অর্থ হ'ল ডাঃ মরলির ল্যাব-এর লোকেরা এই ঝরঝরে, নিচু বাঁধনের সন্ধানের জন্য গুগলের বিশাল সুপার কম্পিউটারগুলিতে বিলিয়ন-বিলিয়ন কিউবসের সংমিশ্রণ নিয়ে চেষ্টা করেছিল।
যাইহোক, প্রশ্ন: ডঃ মুরলি ডেভিডসন এবং তাঁর দল সত্যনিষ্ঠ যে আমরা কীভাবে নিশ্চিত হতে পারি? ঠিক আছে, তাত্ক্ষণিকভাবে কর্তৃপক্ষ থেকে তর্কটি উইন্ডো থেকে ফেলে দিতে পারে কারণ এটি গাণিতিকভাবে কঠোর নয়। সুস্পষ্ট বিকল্পটি হ'ল উত্স কোডটি যাচাই করে আবার পুরো জিনিসটি চালিয়ে প্রমাণটি পুনরায় যাচাই করা, যা গণনার উত্সগুলির একটি ভয়াবহ বর্জ্য বলে মনে হয়, যারা এই বিষয়ে দৃ mention় বিশ্বাস পোষণ করতে চায় তারা এই সত্যটি উল্লেখ না করে এটি তার নিজের ওয়ার্কস্টেশনে করা দরকার - সত্য সংশয়ের জন্য খুব ক্লান্তিকর এবং অপ্রীতিকর প্রস্তাব osition সুতরাং এটি এক ধরণের অনটোলজিকাল ডিলেমা বলে মনে হয়।
তাই কি আমি এই ঠিক একটি অবস্থা যেখানে আমরা একটি প্রয়োজন ইন্টারেক্টিভ প্রমাণ । গুগলের সুপার কম্পিউটারটি সমস্ত শক্তিশালী তবে ছলনাময় প্রবাদ হতে পারে এবং আমরা সন্দেহজনক, যদি জনসাধারণের মলদ্বার সদস্য না হয় তবে বহুবর্ষীয়ভাবে বেঁধে দেওয়া ভেরিফায়ার। আমরা যদি কোনওভাবে আমাদের "ওরাকল" কে বহুবারের বহু সংখ্যা জিজ্ঞাসা করতে পারি এবং এই নিম্ন সীমা সম্পর্কে নিশ্চিত হতে পারি, তবে আমরা যুক্তিসঙ্গত সন্দেহের বাইরেও যে সত্য তা নিশ্চিত হতে পারি।
সুতরাং সিদ্ধান্তের সমস্যাটি মনে হয় "God's <20" বা নীচে এটি পুনঃস্থাপন করা যেতে পারে (অনানুষ্ঠানিকভাবে)
রুবিকের কিউবে শুরু হওয়া সমস্ত সংমিশ্রণের জন্য এর জন্য একটি সমাধান রয়েছে যা <= 20 পদক্ষেপ নেয়, যা এটি সমাধান করে।বিটা
(এটি সঠিক কিনা তা নিশ্চিত নন তবে প্রারম্ভিক কনফিগারেশন এবং একটি সমাধান দেওয়া হলেও এবং উভয় ছোট, এটি কিউবকে প্রকৃত সমাধান করে কিনা তা যাচাই করা সহজ)বিটা
এবং সিদ্ধান্ত সমস্যার "God'sশ্বরের সংখ্যা 20" হিসাবে পুনরায় করা যেতে পারে
Numberশ্বরের সংখ্যাটি <20 এবং সেখানে রুবিকের ঘনকটির 20 টি পদক্ষেপ গ্রহণের কিছু শুরু সংমিশ্রনের জন্য একটি সমাধান রয়েছে।
সুতরাং সম্ভবত এটির জন্য একটি আইপি [এন] প্রমাণ রয়েছে। (আবারও, আমার কাজগুলি পরীক্ষা করুন)
আমার প্রশ্ন দ্বিগুণ
- এটি করার কোন আসল উপায় আছে?
- ইন্টারেক্টিভ প্রমাণগুলির "প্র্যাকটিকাল" ব্যবহারের আর কী উদাহরণ রয়েছে?