Permítanme comenzar con la definición de qué es un circuito. Un circuito booleano con n entradas ym salidas es un gráfico acíclico dirigido donde cada nodo puede ser un nodo sin bordes entrantes que representa el nodo de entrada n, un nodo sin bordes salientes denotado como el nodo de salida y un conjunto de nodo intermedio etiquetado con operadores lógicos [matemática] \ vee. \ cuña, \ no. [/ math] Entonces es simplemente un cálculo funcional [math] f (n_1, n_2 \ dots, n_m) = {m_1, m_2, \ dots, m_m} [/ math]
Ahora, en algunos casos, se requieren varias partes para calcular una función con sus entradas individuales y no desea mostrar la entrada a la otra parte. Como el problema multimillonario de yao, donde dos multimillonarios quieren decidir quién es rico sin revelar su riqueza. El problema se puede representar como un circuito con dos entradas y una decisión. [matemáticas] f (x, y) = D; [/ matemáticas] D = 1 si x> y y 0 de otra manera. Ahora, debido a la restricción de que uno no debe saber la cantidad de dinero que tiene otra persona. Están de acuerdo con el siguiente cálculo
- Persona A codifica el valor del circuito booleano.
- Él ofusca el circuito, la ofuscación del circuito significa que el nuevo circuito es polinomial reducible en tiempo al original; ambos calculan la misma función en la misma entrada con una probabilidad insignificante de error, y ninguna información del circuito original es derivable del circuito ofuscado.
- Por lo tanto, la persona A crea un circuito confuso u oculto [matemáticas] g (X, y) = f (X, y) = D [/ matemáticas] con sus propios datos X.
- La persona B puede dar sus datos y = Y para obtener D = 1 o D = 0 sin saber nada sobre X.
- ¿Por qué la teoría de la medida es más común en economía que en informática?
- Cómo comprender completamente los condicionales en matemáticas discretas
- Cómo determinar el número total de triángulos degenerados sin bucles de una longitud determinada (más de 3)
- ¿Cómo se diseñan las claves de serie?
- ¿Cómo funciona el proceso de eliminación en una lista vinculada? ¿Es solo eliminando la referencia del nodo? ¿Qué mecanismo se utiliza para disponer un nodo?
