1
Обнаружение схемы, которая похожа по функциональности и реализации
Пусть x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) - вектор булевых переменных. Пусть C,DC,DC,D две булевы схемы на xxx . Скажите, что CCC похож на DDD если: x { 0 , 1 } nPr[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 различаются по расстоянию редактирования графика незначительно (их расстояние редактирования намного меньше размера схемы, скажем, или некоторой небольшой константы), что …