Número de compuertas binarias necesarias para calcular AND y OR de n bits de entrada simultáneamente

¿Cuál es el número mínimo de compuertas binarias necesarias para calcular AND y OR de bits de entrada simultáneamente? El límite superior trivial es . Creo que esto es óptimo, pero ¿cómo probarlo? La técnica de eliminación de compuerta estándar no funciona aquí, ya que al asignar una constante a cualquiera de las variables de entrada se trivializa una de las salidas. $n$ $2n-2$

El problema también se presenta como un ejercicio 5.12 en el libro "Complejidad de las funciones booleanas" de Ingo Wegener en una forma ligeramente diferente: "Sea . Por el método de eliminación solo puede probar un límite inferior de tamaño . Intenta demostrar límites inferiores más grandes ". $f_n(x) = x_1\dots x_n \lor \bar{x}_1 \dots \bar{x}_n$ $n+\Omega(1)$

cc.complexity-theory lower-bounds circuit-complexity Alexander S. Kulikov
fuente

@ Ryan: La pregunta no es sobre AND de OR sino sobre AND y OR. Sin embargo, no sé la respuesta a la pregunta de Sasha.

Tsuyoshi Ito

@ TsuyoshiIto Gracias, de alguna manera logré analizarlo incorrectamente. Definitivamente es un problema no trivial: uno podría imaginarse usando otros tipos de puertas para obtener una ventaja sobre

2 n - 2

$2n-2$

Ryan Williams

@ Sasha, ¿has intentado aplicar solucionadores SAT a pequeños ejemplos (como

), como en algunos de tus trabajos anteriores?

n = 4

$n=4$

Ryan Williams

@ Ryan Sí, claro. Lo que sabemos es que

. Esto es para la función del libro (es

si todos los

bits de entrada son iguales). Esto crece como

. Y un circuito de tamaño

es fácil de construir: primero calcule

para todo

C_{3} = 3

$C_3=3$

C_{4} = 5

$C_4=5$

C_{5} \leq 7

$C_5 \le 7$

1

$1$

n

$n$

2 n - 3

$2n-3$

2 n - 3

$2n-3$

x_{i} \equiv x_{i + 1}

$x_i \equiv x_{i+1}$

(

compuertas), y luego calcule la conjunción de ellos (

compuertas).

i = 1, \dots, n - 1

$i=1,\dots,n-1$

(n - 1)

$(n-1)$

(n - 2)

$(n-2)$

Alexander S. Kulikov

@ Tsuyoshi: Creo que la función de

puertas de Sasha es la segunda función de la pregunta (

) que se puede construir con

puertas XNOR (aplicadas a

) y

puertas Y aplicadas a los XNOR.

2 n - 3

$2n-3$

f_{n} (x) = x_{1} \dots x_{n} \lor {\bar{x}}_{1} \dots {\bar{x}}_{n}

$f_n(x) = x_1\dots x_n \lor \bar{x}_1 \dots \bar{x}_n$

n - 1

$n-1$

x_{i}, x_{i + 1}

$x_i,x_{i+1}$

n - 2

$n-2$

Marzio De Biasi

Respuestas:

Este artículo de Blum & Seysen puede ser útil:

N.Blum, M. Seysen. Caracterización de todas las redes óptimas para un cómputo simultáneo de AND y NOR . Acta Inf. 21: 171-181 (1984)

He pensado que para se puede obtener el límite inferior utilizando los métodos de Blum y Seysen, pero parece que este no es el caso. $x_1\dots x_n\vee \bar{x}_1\dots\bar{x}_n$ $2n-c$

Vladimir Lysikov
fuente

¿Existe una versión pública en pdf del artículo de Blum y Seysen disponible?

Marzio De Biasi

@ Vladimir, gracias por la referencia! Intentaré verificar si sus métodos son aplicables en este caso cuando encuentre el artículo.

Alexander S. Kulikov

@Vladimir, ¡eso es de nuevo! En realidad, este documento contiene exactamente la respuesta a mi pregunta y aún más: dice que para calcular AND y OR simultáneamente se necesitan

y cualquier circuito de este tamaño calcula AND y OR independientemente (¡esto es interesante!). Tampoco es difícil demostrar que

2 n - 2

$2n-2$

C (f_{n}) \geq C (A N D, O R) - c \geq 2 n - c^{'}

$C(f_n) \ge C(AND,OR)-c \ge 2n-c'$

Alexander S. Kulikov

@ Sasha, sí, me perdí esta construcción simple. Para aclarar las cosas, en el documento se consideran las funciones AND y NOR, por lo que para AND y OR obtenemos

límite inferior al alterar una puerta y para

---

2 n - 2

$2n-2$

x_{1} \dots x_{n} \lor {\bar{x}}_{1} \dots {\bar{x}}_{n}

$x_1\dots x_n\vee \bar{x}_1\dots \bar{x}_n$

2 n - 5

$2n-5$

Vladimir Lysikov

Solo un recordatorio @SashaK. si le gusta la respuesta, "acéptela" haciendo clic en la marca debajo del recuento de votos.

Suresh Venkat

Su pregunta está relacionada con la conocida pregunta sobre cómo calcular el mínimo y el máximo de una lista simultáneamente usando el número mínimo de comparaciones. En ese caso, la respuesta es . $3\lfloor n/2 \rfloor$

El algoritmo inteligente que prueba el límite superior se traduce en un circuito AND / OR con el mismo límite que obtienes, ya que una de las comparaciones calcula tanto un mínimo como un máximo.

Sin embargo, el límite inferior (dado por un argumento adverso) parece traducir, al menos en el caso de circuitos monótonos (ya que un circuito AND / OR se traduce en un algoritmo max / min). Esto implicaría un límite inferior de . Quizás se pueda obtener un límite inferior ajustado analizando el argumento del adversario. $3\lfloor n/2 \rfloor$

El límite superior aparece en "Introducción a los algoritmos", donde también puede encontrar el argumento fácil que muestra que los circuitos de comparación máximo / mínimo son válidos si funcionan para entradas booleanas (use un umbral apropiado). El límite inferior se puede encontrar, por ejemplo, aquí .

Yuval Filmus
fuente

Tenga en cuenta en la pregunta de Sasha, todas las funciones booleanas de 2 bits se pueden utilizar para construir el circuito.

Ryan Williams, el

Sí, no está claro cómo se puede traducir el límite inferior al caso de todas las funciones binarias.

Alexander S. Kulikov