Preguntas etiquetadas con cc.complexity-theory

En la complejidad de la comunicación, la conjetura de log-rank establece que cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Donde cc(M)cc(M)cc(M) es la complejidad de comunicación de M(x,y)M(x,y)M(x,y) y rk(M)rk(M)rk(M) es el rango de MMM (como una matriz) sobre los reales. Sin embargo, cuando solo está usando el método de rango para reducir …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity 

La clase de complejidad se define de la siguiente manera (de Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Un lenguaje está en si existe un predicado de tiempo polinómico tal queLLLSP2S2PS_2^PPPP Si , entonces existe una tal que para todo ,x∈Lx∈Lx \in LyyyzzzP(x,y,z)=1P(x,y,z)=1P(x,y,z)=1 Si , entonces existe una tal que para todo ,x∉Lx∉Lx \notin LzzzyyyP(x,y,z)=0P(x,y,z)=0P(x,y,z)=0 …

10 cc.complexity-theory  complexity-classes 

En una charla de Razborov, se publica una pequeña y curiosa declaración. Si FACTORING es difícil, entonces el pequeño teorema de Fermat no es demostrable en S12S21S_{2}^{1} . ¿Qué es S12S21S_{2}^{1} y por qué las pruebas actuales no están en S12S21S_{2}^{1} ?

10 cc.complexity-theory  lo.logic  proof-complexity 

Deje que la clase BPNC (la combinación de y ) sean algoritmos paralelos de profundidad logarítmica con probabilidad de error limitada y acceso a una fuente aleatoria (no estoy seguro si este tiene un nombre diferente). Defina la clase DBPNC de manera similar, excepto que todos los procesos tienen acceso …

10 cc.complexity-theory  complexity-classes  dc.parallel-comp  randomness  pseudorandomness 

Estoy buscando referencias sobre la complejidad del problema de equilibrio de la fórmula booleana . En particular, ¿Se sabía que las fórmulas booleanas se pueden equilibrar en ?AC0AC0\mathsf{AC^0} ¿Hay alguna prueba simple de que el equilibrio de la fórmula booleana esté en ?AC0AC0\mathsf{AC^0} Por "simple" me refiero a una prueba …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

BPPBPP\mathsf{BPP} yZPPZPP\mathsf{ZPP} son dos de las clases básicas de complejidad probabilística. BPPBPP\mathsf{BPP} es la clase de lenguajes decididos por algoritmos probabilísticos de tiempo de polinomio de Turing donde la probabilidad de que el algoritmo devuelva una respuesta incorrecta está limitada, es decir, la probabilidad de error es como máximo1313\frac{1}{3} (para …

10 cc.complexity-theory  complexity-classes  randomness  randomized-algorithms 

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 

Contexto : Kavvadias y Sideri han demostrado que el problema Inverso 3-SAT es coNP Completo: Dado un conjunto de modelos en n variables, ¿existe una fórmula 3-CNF tal que ϕ es su conjunto exacto de modelos? Surge una fórmula candidata inmediata que es la conjunción de todas las 3 cláusulas …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat 

En la mayoría de los sistemas de prueba probabilística (teorema PCP, por ejemplo), las probabilidades de error generalmente se definen del lado de los falsos positivos, es decir, una definición típica podría verse así: si , el verificador siempre acepta, pero en En otro caso, la probabilidad de rechazo es …

10 cc.complexity-theory  pcp  interactive-proofs 

No he podido encontrar una declaración que relacione y N P R P en la literatura; los punteros serían apreciadosMAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} Creo que son iguales: : El N P máquina adivina cadena de Merlin, y los R P verifica Oracle la cadena como Arthur haría.MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP}NPNP\mathsf{NP}RPRP\mathsf{RP} : Merlin adivina el …

10 cc.complexity-theory  oracles 

Deje que sea ​​un problema completo de EXP. Entonces, .AAAPA=NPAPA=NPAP^A = NP^A Deje que sea cierto oráculo que tiene en cuentas las consultas que (TM en P) hará, y podemos obtener .BBBP B ≠ N P BMMMPB≠NPBPB≠NPBP^B \neq NP^B Pregunta: ¿Tenemos resultados de oráculo similares para P vs BPP?

10 cc.complexity-theory  oracles  relativization 

Wikipedia escribe: FPT contiene los problemas manejables del parámetro fijo, que son aquellos que pueden resolverse en el tiempo para alguna función computable f . Por lo general, esta función se considera exponencial simple, como 2 O ( k ), pero la definición admite funciones que crecen aún más rápido. …

10 cc.complexity-theory  fixed-parameter-tractable 

Es bien sabido que el cálculo de una máquina de Turing no determinista (NTM) es representable como un árbol de configuraciones, enraizado en la configuración inicial. Cualquier transición en el programa está representada por un enlace padre-hijo en este árbol. También se pueden construir árboles similares para visualizar los cálculos …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

Decidir Graph Homomorphism es en general NP-Complete. ¿Hay algún resultado que estudie este problema cuando los gráficos subyacentes tienen estructura algebraica (como decidir los homomorfismos de Cayley o los gráficos de coset de Cayley a otros gráficos con alguna estructura definida también)? Además, los resultados de complejidad también me interesan …

10 cc.complexity-theory  graph-theory  co.combinatorics 

Para celebrar el cumpleaños de Alan Turing, Google publicó un garabato que muestra una máquina. ¿Qué tipo de máquina es el garabato? ¿Puede expresar un lenguaje completo de Turing? Hay diferencias obvias en la máquina clásica de turing: una cinta finita, restricciones en cómo se puede conectar el estado, ... …

10 cc.complexity-theory  turing-machines