1
Detectando circuitos semelhantes em funcionalidade e implementação
Seja x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) um vetor de variáveis booleanas. Sejam C,DC,DC,D dois circuitos booleanos em xxx . Diga que CCC é semelhante a DDD se: Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)]{ 0 , 1 } nxxx{0,1}n{0,1}n\{0,1\}^n C,DC,DC,D diferem na distância de edição do gráfico em uma quantidade minúscula (a distância de edição é muito menor …