ইন্টারেক্টিভ প্রুফ সিস্টেমে সম্পূর্ণতা এবং দৃness়তা অনানুষ্ঠানিকভাবে হিসাবে সংজ্ঞায়িত করা হয়:
সম্পূর্ণতার: যদি একটি বিবৃতি সত্য, সৎ prover বোঝাতে পারবে সৎ এই আসলে যাচাইকারী whp ।
অনাময: যদি একটি বিবৃতি মিথ্যা, প্রতারণার prover রাজি করানো যাবে না সৎ (মিথ্যা বিবৃতির বৈধতা) যাচাইকারী whp
"WHP" শব্দটির ব্যাখ্যা হয় "সম্ভাব্যতা 2/3 এর চেয়ে বড় হিসাবে" বা "কোনও বহুবর্ষের পারস্পরিক ক্রিয়াকলাপের চেয়ে বেশি সম্ভাবনার সাথে" is "WHP" কে কী চয়ন করবেন তা ব্যাখ্যা হিসাবে এটি নিম্নলিখিত আলোচনার কাছে অবিচ্ছেদ্য বলে মনে হচ্ছে।
জটিল অংশটি কীভাবে সম্ভাবনাটি গণনা করা হয়: কিছু উত্সে, সম্ভাবনাটি প্রবাদ এবং যাচাইকারী উভয়েরই এলোমেলো মুদ্রার উপরে নেওয়া হয় । অন্যান্য উত্সগুলিতে, সম্ভাব্যতাটি কেবল যাচাইকারীর এলোমেলো কয়েনগুলির মধ্যে গণনা করা হয়। পরেরটি সাধারণত হিসাবে ন্যায়সঙ্গত হয়: "প্রবাদের র্যান্ডম কয়েন যাই থাকুক না কেন, যাচাইকারী সঠিক সিদ্ধান্ত নেন।"
আমার কাছে, সম্ভাবনার উভয় সংজ্ঞা সমান বলে মনে হয়; তবুও আমি এটি প্রমাণ করতে পারি না। আমি কি সঠিক? আপনি কি তাদের সমতুল্য প্রমাণ করতে পারেন?