1
기능성 및 구현면에서 유사한 회로 감지
하자 부울 변수 벡터 될. C , D 를 x의 두 부울 회로라고 합시다 . 다음 과 같은 경우 C 가 D 와 유사 하다고 가정 하십시오.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 는 그래프 편집 거리가 작은 양만큼 다릅니다 (편집 거리는 회로의 크기보다 훨씬 작습니다 예 : 또는 작은 상수)). 의 …