Preguntas etiquetadas con circuit-complexity

La clase son las funciones de clase computables por familias de circuitos de abanico acotado, tamaño y profundidad . La es la unión de esas clases.CAROLINA DEL NORTEyoCAROLINA DEL NORTEyo\textrm{NC}^inorteO ( 1 )norteO(1)n^{O(1)}O ( logyo( n ) )O(Iniciar sesiónyo⁡(norte))O(\log^i(n))CAROLINA DEL NORTECAROLINA DEL NORTE\textrm{NC} ¿Hay algún estudio de la variante de …

10 cc.complexity-theory  circuit-complexity 

Estoy interesado en determinar la complejidad del siguiente problema de decisión: dados dos enteros y l 2 (cada uno con m bits como máximo), decida si el bit más significativo de la multiplicación l 1 ⋅ l 2 es 1 (donde el resultado se imprime en bits de 2 m …

10 cc.complexity-theory  circuit-complexity 

Deje ser una clase de la complejidad y BP- C sea el homólogo aleatorio de C definida como BPP con respecto a P . Más formalmente, proporcionamos polinómicamente muchos bits aleatorios y aceptamos una entrada si la probabilidad de aceptar es superior a 2CC\mathcal{C}BP- CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}BPPBPP\textrm{BPP}PAGP\textrm{P} .2323\frac{2}{3} Se sabe que para …

10 circuit-complexity  randomized-algorithms 

Considere el siguiente problema: Dada una matriz , queremos optimizar el número de adiciones en el algoritmo de multiplicación para calcular .v ↦ M vMMMv ↦ Mvv↦Mvv \mapsto Mv Este problema me parece interesante debido a su relación con la complejidad de la multiplicación de matrices (este problema es una …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

La minimización de circuitos es el problema para minimizar el tamaño de un circuito dado. ¿Hay algo similar para los programas generales? En particular mi pregunta es: ¿Existen algoritmos para minimizar el número de instrucciones para un programa dado? Sé que es un problema indecidible, pero no estoy buscando una …

10 pl.programming-languages  optimization  circuit-complexity  semantics  compilers 

Considere un lenguaje no vacío de cadenas binarias de longitud n . Puedo describir L con un circuito booleano C con n entradas y una salida de modo que C ( w ) sea ​​verdadero si f w ∈ L : esto es bien conocido.LLLnortennLLLCCCnortennC( w )C(w)C(w)w ∈ Lw∈Lw \in …

10 fl.formal-languages  circuit-complexity 

La siguiente pregunta se relaciona con la optimalidad de Bellman-Ford - t corta algoritmo de programación dinámica ruta (ver este post para una conexión). Además, una respuesta positiva implicaría que el tamaño mínimo de un programa de ramificación no determinista monótono para el problema STCONN es Θ ( n 3 …

10 graph-theory  circuit-complexity  lower-bounds 

Mi pregunta es ¿por qué los límites inferiores para los circuitos booleanos de profundidad 3 con puertas "y" y "xor" para determinante no implican los mismos límites inferiores para los circuitos aritméticos sobre ?ZZ\mathbb{Z} Lo que está mal con el siguiente argumento: Sea un determinante calculador del circuito aritmético y …

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

Una fórmula monótona de CNF con m términos en n variables ( ) es una fórmula de la forma f ( x 1 , ... , x n ) = ⋀ C i , donde cada C i es un OR de algún subconjunto de las variables x 1 , …

10 cc.complexity-theory  circuit-complexity  formulas 

Antecedentes Complejidad del circuito se define como el conjunto de familias de circuitos (es decir, secuencias de circuitos, una para cada tamaño de entrada) de profundidad acotada y tamaño polinomial construido utilizando el ventilador sin límites AND, OR y NOT.AC0AC0AC^0 La función de paridad con entrada de n bits es …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

Supongamos que tengo un circuito booleano que calcula alguna función f : { 0 , 1 } n → { 0 , 1 } . Suponga que el circuito se compone de AND, OR y NO compuertas con entrada y salida de ventilador como máximo 2.CCCf: { 0 , 1 …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

Mi pregunta es acerca de las funciones biyectivas computables de manera eficiente. Informalmente estoy interesado en: Si una biyección es computable en tiempo polinómico, ¿podemos calcularla por un número polinómico de puertas biyectivas? Revisé la lista de preguntas relevantes y no vi esta. Mi configuración precisa puede o no ser …

10 circuit-complexity  permutations  reversible-computing 

Tengo curiosidad acerca de las formas en que ha visto que la falta de uniformidad es útil en el cálculo. Una forma es la aleatoriedad, como en , y otra son las tablas de búsqueda que se utilizan para mostrar que todos los idiomas tienen circuitos no uniformes.B PPAGS⊆ P/ …

9 circuit-complexity  advice-and-nonuniformity 

What is Razborov's method of approximations? Can someone give a high-level overview and the intuition behind it?

9 cc.complexity-theory  circuit-complexity 

Sea una clase de complejidad y sea ​​la contraparte aleatoria de definida de la misma manera que se define con respecto aCC\mathcal{C}BP-CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P} . Más formalmente, proporcionamos polinómicamente muchos bits aleatorios y aceptamos una entrada si la probabilidad de aceptar es superior a .2323\frac{2}{3} En una publicación anterior , pregunté si …

9 circuit-complexity  randomized-algorithms  derandomization