Preguntas etiquetadas con circuit-complexity

Creo que las respuestas a esta pregunta dan clases tales que para todos los polinomios , hay un problema en la clase que no tiene circuitos de tamaño . Sin embargo, estoy preguntando sobre el tamaño del circuito .p ( n ) ωpppp(n)p(n)p(n)ω(n)ω(n)\omega \hspace{.02 in}(n) (⟨00,11,22,31,44,51,66,71,88,91,...⟩(⟨00,11,22,31,44,51,66,71,88,91,...⟩\big(\hspace{-0.07 in}\left\langle \hspace{-0.04 in}0^{\hspace{.02 in}0}\hspace{-0.03 …

9 circuit-complexity  lower-bounds 

Digamos que tenemos una función booleana y aplicamos restricción aleatoria δ en f . Además, supongamos que el árbol de decisión T que calcula f se reduce al tamaño O ( 1 ) como resultado de la restricción aleatoria. ¿Esto implica que f tiene una influencia total muy baja?F: { …

9 cc.complexity-theory  co.combinatorics  circuit-complexity  boolean-functions 

¿Cuál es el mejor resultado para el número de puertas en un circuito que multiplica dos enteros de n bits? El método obvio genera puertas . Hay mejores enfoques con puertas y .θ ( n2)θ(norte2)\theta(n^2)θ ( n logn logIniciar sesiónn )θ(norteIniciar sesión⁡norteIniciar sesión⁡Iniciar sesión⁡norte)\theta(n\log n \log\log n)θ ( n logn …

9 cc.complexity-theory  circuit-complexity 

Deje para , con la promesa de que (donde la suma ha terminado ). Entonces, ¿cuál es la complejidad de determinar si ?xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\}i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\}ZZ\mathbb{Z}x=1x=1x = 1 Observe que trivialmente el problema radica en porque iff . La pregunta es: ¿el problema radica en …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

El algoritmo de Berkowitz proporciona un circuito de tamaño polinómico con profundidad logarítmica para determinar una matriz cuadrada utilizando potencias matriciales. El algoritmo utiliza implícitamente la cancelación. ¿Es esencial la cancelación para lograr un circuito de tamaño polinómico con profundidad logarítmica o lineal para calcular el determinante (y cualquier mejor …

9 circuit-complexity  algebraic-complexity  permanent  arithmetic-circuits  determinant 

Mi pregunta es acerca de la teoría del modelo finito / complejidad descriptiva, por lo que significará "primer orden sobre palabras binarias finitas, usando predicados Rs y un predicado unario P verdadero en la posición del 1 en la palabra".FO(R)FO(R)FO(R) Me gustaría saber, ¿hay alguna caracterización de con R algún …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory 

DLOGTIME se define en http://en.wikipedia.org/wiki/DLOGTIME se define en http://en.wikipedia.org/wiki/L_%28complexity%29 NC y NC n se definen en http: // en .wikipedia.org / wiki / NC_% 28complexity% 29LL\operatorname{L} CAROLINA DEL NORTENC\operatorname{NC}CAROLINA DEL NORTEnorteNCn\operatorname{NC}^n DLOGTIME parece ser el más pequeño que podría funcionar. He leído en varios lugares queL ⊆ NC2L⊆NC2\, \operatorname{L} \subseteq …

9 cc.complexity-theory  circuit-complexity 

recientemente, Craig Gentry publicó el primer esquema de cifrado de clave pública (sobre espacio de texto plano {0,1}) que es completamente homomórfico, lo que significa que uno puede evaluar de manera eficiente y compacta AND y XOR en textos cifrados sin conocer la clave de descifrado secreta. Me pregunto si …

9 cr.crypto-security  circuit-complexity  homomorphic-encryption 

Este resultado de Tavenas, Koiran y otros muestran que cualquier polinomio calculado por un circuito de tamaño sss se calcula por un circuito homogéneo de profundidad 4 de tamaño sd√sds^{\sqrt{d}} . ¿Hay resultados similares para los circuitos booleanos o sabemos por qué tal cosa no es posible?

9 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

¿Alguien ha explorado cuál es la complejidad del circuito de los problemas de decisión clásicos como Primes o Graph-Isomorphism para un tamaño de entrada pequeño ?NNN Si bien la mayoría de la gente está interesada en cómo va la escala según , creo que también sería interesante ver cómo crece …

9 cc.complexity-theory  reference-request  circuit-complexity 

El teorema de la jerarquía de tiempo permite mostrar que, por ejemplo, hay problemas en P que una máquina de Turing no puede resolver en un tiempo menor que const * n ^ 2. Pero dale algunos consejos a la máquina Turing y todas las apuestas están canceladas. Todavía no …

9 cc.complexity-theory  lower-bounds  circuit-complexity  advice-and-nonuniformity  separation 

De Wikipedia : VPVP\mathsf{VP} : La clase VP es el análogo algebraico de P; es la clase de polinomiosfff de grado del polinomio que tienen circuitos de tamaño polinómicas sobre un campo fijoKKK . VNPVNP\mathsf{VNP} : La clase VNP es el análogo de NP. VNP puede considerarse como la clase …

8 cc.complexity-theory  reference-request  quantum-computing  circuit-complexity 

Savický y Woods (El número de funciones booleanas calculadas por fórmulas de un tamaño dado) demuestran el siguiente resultado. Teorema [SW98]: Para cada constante , casi todas las funciones booleanas con complejidad de fórmula como máximo n k tienen complejidad de circuito al menos n k / k .k>1k>1k>1nknkn^knk/knk/kn^k/k La …

8 cc.complexity-theory  circuit-complexity  nondeterminism 

Como se muestra en el documento "Circuitos monótonos para la función mayoritaria", es posible construir un circuito booleano monótono para la función mayoritaria en n variables con tamaño O (n ^ 3) y profundidad 5.3 log (n) + O (1). http://link.springer.com/chapter/10.1007/11830924_38 Mi pregunta es, ¿cuál es la complejidad temporal de …

8 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-depth 

En [1] se afirma que "Sigue siendo una pregunta abierta si cada función en tiene circuitos (aunque al menos se sabe que no todas las funciones tienen circuitos uniformes DLogTime )".T C 0 # P T C 0#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 TC0TC0TC^0 circuitos generados por las funciones DLogTime no contienen . No sabemos …

8 cc.complexity-theory  complexity-classes  circuit-complexity  counting-complexity  permanent