1
কার্যকারিতা এবং বাস্তবায়নের ক্ষেত্রে অনুরূপ সার্কিট সনাক্ত করা
যাক বুলিয়ান ভেরিয়েবল একটি ভেক্টর দেখুন। যাক সি , ডি দুটি বুলিয়ান সার্কিট হতে এক্স । বলুন যে সি ডি এর সমান হয় যদি:x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)]xxx{0,1}n{0,1}n\{0,1\}^n C,DC,DC,D গ্রাফ সম্পাদনার দূরত্বকে একটি ক্ষুদ্র পরিমাণ দ্বারা পৃথক করে (তাদের সম্পাদনার দূরত্বটি সার্কিটের আকারের তুলনায় অনেক ছোট, বলুন, বা কিছু ছোট ধ্রুবক), …