Preguntas etiquetadas con circuit-families

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 interesante que no …

40 lower-bounds  circuit-complexity  circuit-families 

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 cualquier anillo Z_m. …

39 cc.complexity-theory  circuit-complexity  big-picture  circuit-families 

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 …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

La red de Post , descrita por Emil Post en 1941, es básicamente un diagrama de inclusión completo de conjuntos de funciones booleanas que están cerradas en composición: por ejemplo, las funciones monótonas, las funciones lineales sobre GF (2) y todas las funciones. (Post no asumió que las constantes 0 …

22 circuit-families 

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( x )C(X)C(x)k : = …

14 cc.complexity-theory  circuit-complexity  circuit-families 

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 circuito):f:{0,1}n→{0,1}f:{0,1}n→{0,1}f: \{0,1\}^n …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

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, pero no es obvio …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

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 finita. La transformada cuántica de Fourier (QFT), dada por FN=1N−−√⎡⎣⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢1111⋮11ωω2ω3⋮ωN−11ω2ω4ω6⋮ωN−21ω3ω6ω9⋮ωN−3⋯⋯⋯⋯⋱⋯1ωN−1ωN−2ωN−3⋮ω(N−1)2⎤⎦⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥for ω=e2πi/N,FN=1N[1111⋯11ωω2ω3⋯ωN−11ω2ω4ω6⋯ωN−21ω3ω6ω9⋯ωN−3⋮⋮⋮⋮⋱⋮1ωN−1ωN−2ωN−3⋯ω(N−1)2]for ω=e2πi/N, …

11 quantum-computing  circuit-families