1
सर्किट का पता लगाना जो कार्यक्षमता और कार्यान्वयन में समान है
चलो x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) बूलियन चर का एक वेक्टर हो। आज्ञा देना C,DC,DC,D दो बूलियन सर्किट पर xxx। कहो कि CCC , समान है DDDयदि: 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 एक छोटी राशि द्वारा ग्राफ एडिट डिस्टेंस में अंतर करते हैं (उनकी एडिट दूरी सर्किट के आकार से बहुत छोटी है, कहते हैं, …