Preguntas etiquetadas con cc.complexity-theory

Esta pregunta es sobre la página 125 del libro "Autómatas celulares en espacios hiperbólicos: Volumen 2" Por Maurice Margenstern, Publisher Archives contemporaines, 2008. http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125 En opinión del autor, la pregunta P = NP está mal planteada porque en el entorno hiperbólico P = NP o en la notación utilizada más …

16 cc.complexity-theory 

He estado pensando en una variante de hex , donde en lugar de que los dos jugadores hagan movimientos alternativamente, cada turno que un jugador escogido al azar hace un movimiento. ¿Qué tan difícil es determinar las posibilidades de que gane cada jugador? Este problema está obviamente en PSPACE, pero …

16 cc.complexity-theory  board-games 

Nisan demostró en "Generadores psuedoraaleatorios para la computación limitada al espacio", que existe un generador pseudoaleatorio que "engaña" las computaciones limitadas al espacio. ¿Esta construcción es válida para cada oráculo (al menos para consultas no adaptativas)?

16 cc.complexity-theory  space-bounded  derandomization 

Supongamos que se nos da una matriz n por n, M, con entradas enteras. ¿Podemos decidir en P si hay una permutación tal que para todas las permutaciones tenemos ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ Mi σ( i )≠ Π Mi π( i )ΠMETROyoσ(yo)≠ΠMETROyoπ(yo)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Observaciones Por supuesto, se puede reemplazar el …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

Antecedentes : En el documento UGC original de Subhash Khot ( PDF ), demuestra la dureza de UG de decidir si una instancia de CSP dada con restricciones toda la forma No todo igual (a, b, c) sobre un alfabeto ternario admite una tarea satisfactoria 1 - de las restricciones …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

Una brecha que siempre supe que realmente no entiendo es entre la complejidad computacional no uniforme y uniforme, donde la complejidad del circuito representa la versión no uniforme y las máquinas de Turing es donde las cosas son uniformes. Supongo que "uniforme" es una forma de restringir la clase de …

16 cc.complexity-theory  circuit-complexity 

El problema de automorfismo libre de puntos con punto fijo solicita un automorfismo gráfico que mueva al menos k ( n ) nodos. El problema es N P -completo si k ( n ) = n c para cualquier c > 0.kkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Sin embargo, si entonces el problema es el …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

La famosa Imagen del mundo de Neil Immerman es la siguiente (haga clic para ampliar): Su clase "Verdaderamente factible" no incluye ninguna otra clase; mi pregunta es entonces: ¿Qué es un problema de AC 0 que se considera poco práctico y por qué?

16 cc.complexity-theory  circuit-complexity 

El siguiente problema aparece en la lista de Aaronson Diez desafíos grandes para la teoría de la computación cuántica . Es B Q P = B P PB Q N CsiQPAG=siPAGPAGsiQnorteC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} En otras palabras, ¿se puede comprimir la parte "cuántica" de cualquier algoritmo cuántico a profundidad de p o l …

16 cc.complexity-theory  quantum-computing  circuit-complexity  quantum-information  circuit-depth 

LogCFL es el conjunto de todos los idiomas que son logspace reductibles a un lenguaje sin contexto. Del mismo modo, LogDCFL es el conjunto de todos los lenguajes que son espacio de registro reducible a un lenguaje determinista sin contexto. Vea este artículo de Wikipedia para algunos problemas naturales completos …

16 cc.complexity-theory  complexity-classes 

¿Qué debo leer para entender este problema? El poder de los circuitos cuánticos de pequeña profundidad. ¿Es ? En otras palabras, ¿se puede comprimir la parte "cuántica" de cualquier algoritmo cuántico a la profundidad de polylog (n), siempre que estemos dispuestos a realizar un posprocesamiento clásico en tiempo polinómico? (Se …

16 cc.complexity-theory  reference-request  quantum-computing 

Espero que la respuesta sea no, pero en realidad no pude construir un contraejemplo. La diferencia es que en , es posible que no podamos elegir un algoritmo uniforme en .∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε}))O(n2+ε)O(n2+ε)O(n^{2+ε})εεε Mediante un argumento de cola de milano (por ejemplo, vea esta pregunta ), si hay un conjunto ce …

15 cc.complexity-theory  time-complexity 

Estoy estudiando un problema que es difícil para la clase de fórmulas booleanas cuantificadas con un número logarítmico de alternancias de los cuantificadores. Un problema en esta clase se vería así: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(X1,X2,...Xun1)∃(Xun1+1,...Xun2),...∃(XunIniciar sesión⁡norte-1,...XunIniciar sesión⁡norte)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n - 1}}, \ldots x_{a_{\log n}})F …

15 cc.complexity-theory  boolean-formulas 

¿Cuáles son algunos ejemplos importantes de desrandomización exitosa o al menos progreso en mostrar evidencia concreta hacia el objetivo (no la conexión de aleatoriedad de dureza)?PAG= B PPAGPAG=siPAGPAGP=BPP El único ejemplo que me viene a la mente es la prueba de primitiva de tiempo polinomial determinista de AKS (incluso para …

15 cc.complexity-theory  big-list  randomized-algorithms  derandomization  pseudorandom-generators 

En la complejidad del circuito, tenemos separaciones entre potencias de varios modelos de circuito. En la complejidad de la prueba, tenemos separaciones entre los poderes de varios sistemas de prueba. Pero en lo algorítmico, todavía tenemos pocas separaciones entre los poderes de los paradigmas algorítmicos . Mis preguntas a continuación …

15 cc.complexity-theory  circuit-complexity  lower-bounds  dynamic-programming