En la década de 1980, Razborov demostró que hay funciones booleanas monótonas explícitas (como la función CLIQUE) que requieren exponencialmente muchas puertas AND y OR para computar. Sin embargo, la base {AND, OR} sobre el dominio booleano {0,1} es solo un ejemplo de un conjunto de puertas...
Ryan Williams acaba de publicar su límite inferior en ACC , la clase de problemas que tienen circuitos de profundidad constante con ventiladores y puertas ilimitadas AND, OR, NOT y MOD_m para todos los m posibles. ¿Qué tienen de especial las puertas MOD_m? Permiten simular aritmética sobre...
Quisiera preguntar sobre un caso especial de la pregunta " Decidir si un circuito NC 0 determinado calcula una permutación " por QiCheng que no se ha respondido. Un circuito booleano se denomina circuito NC 0 k si cada puerta de salida depende sintácticamente de, como máximo, k puertas de entrada....
Sea la función que mapea un circuito -gate en bits y una cadena -bit a . Suponga que los circuitos están codificados como una secuencia acíclica de asignaciones donde son etiquetas de cable.C i r c u i t E v a ls , nCyorCtuyotmivunls,norte\mathsf{CircuitEval}_{s, n}sssCCCnortenortennortenortenXXxC(...
En pocas palabras: ¿cuál es la correspondencia entre las máquinas de Turing con oráculos y las familias de circuitos uniformes con oráculos? ¿Cómo se definen estos últimos para obtener el mismo modelo computacional, para una máquina de Oracle Turing dada? Esta puede ser una pregunta elemental,...
Sea la función mayoritaria, es decir, si y solo si . Me preguntaba si había una prueba simple del siguiente hecho (por "simple" me refiero a no confiar en el método probabilístico como Valiant 84 o en redes de clasificación; preferiblemente proporcionando una construcción explícita y directa del...
Estoy considerando ideas sobre algoritmos cuánticos exactos. En particular, estoy considerando las posibles limitaciones de EQPEQP\mathsf{EQP} , que consiste en lenguajes exactamente decidibles por las familias de circuitos cuánticos uniformes de polimetro sobre un conjunto arbitrario de puerta...