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