Preguntas etiquetadas con cc.complexity-theory

O ( log c n ) O ( n k )NCNC\mathsf{NC} captura la idea de eficientemente paralelizable, y una interpretación de la misma son los problemas que se pueden resolver en el tiempo usando procesadores paralelos para algunas constantes , . Mi pregunta es si hay una clase de complejidad …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

¿Cuál es la relación entre los algoritmos de ADN y las clases de complejidad definidas usando las máquinas de Turing? ¿A qué corresponden las medidas de complejidad como el tiempo y el espacio en los algoritmos de ADN? ¿Se pueden usar para resolver casos de problemas NP-completos como TSP que …

21 cc.complexity-theory  np-hardness  natural-computing  tsp 

Tengo curiosidad en un sentido amplio sobre lo que se sabe sobre algoritmos de paralelización en P. Encontré el siguiente artículo de Wikipedia sobre el tema: http://en.wikipedia.org/wiki/NC_%28complexity%29 El artículo contiene la siguiente oración: Se desconoce si NC = P, pero la mayoría de los investigadores sospechan que esto es falso, …

21 cc.complexity-theory  complexity-classes  big-picture 

Sabemos mucho sobre las limitaciones de los circuitos de profundidad constante (tamaño polinómico). Dado que las fórmulas (de tamaño polinómico) de profundidad constante son un modelo de cálculo aún más restringido, todos los problemas que se sabe que no están en AC 0 tampoco son computables por una fórmula de …

21 cc.complexity-theory  circuit-complexity  lower-bounds 

Preámbulo Goldwasser, Micali y Rackoff y Babai introdujeron sistemas de prueba interactivos y protocolos Arthur-Merlin en 1985. Al principio, se pensó que el primero es más poderoso que el segundo, pero Goldwasser y Sipser demostraron que tienen el mismo poder ( con respecto al reconocimiento del idioma). Por lo tanto, …

21 cc.complexity-theory  lower-bounds  circuit-complexity 

(Von Neumann dio un algoritmo que simula que una moneda justa tiene acceso a monedas sesgadas idénticas. El algoritmo potencialmente requiere un número infinito de monedas (aunque en expectativa, muchas son suficientes). Esta pregunta se refiere al caso cuando el número de lanzamientos de monedas permitidos es encerrado.) Supongamos que …

21 cc.complexity-theory  circuit-complexity  pr.probability 

Una prueba de separación de clase de complejidad utiliza la uniformidad de las clases de complejidad esencialmente si la prueba no prueba el resultado para una versión no uniforme, por ejemplo, las pruebas basadas en la diagonalización (como los teoremas de jerarquía de tiempo y espacio) hacen un uso esencial …

21 cc.complexity-theory 

Motivado por la respuesta de Shor relacionada con diferentes nociones de integridad de NP, estoy buscando un problema que es NP completo bajo las reducciones de P pero no se sabe que es NP completo bajo las reducciones de Logspace (preferiblemente durante mucho tiempo). Además, ¿es más difícil encontrar reducciones …

21 cc.complexity-theory  np-hardness 

Digamos que tenemos un problema de cálculo, por ejemplo, 3-SAT, que tiene un conjunto de instancias de problemas (posibles entradas) . Normalmente en el análisis de algoritmos o teoría de la complejidad computacional, tenemos algunos conjuntos de todas las entradas de longitud , y una función que proporciona el tiempo …

21 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

László Babai demostró recientemente que el problema del isomorfismo gráfico está en tiempo cuasipolinomial . Véase también su discurso en la Universidad de Chicago, nota de las charlas de Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 . Según el teorema de Ladner, si , …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

Recuerde que π(n)π(n)\pi(n) el número de primos ≤n≤n\le n es la función de recuento de primos . Por "PRIMES en P", calcular π(n)π(n)\pi(n) está en #P. ¿Es el problema # P-completo? O, tal vez, ¿hay una razón compleja para creer que este problema no es # P-completo? PD: Me doy …

20 cc.complexity-theory  counting-complexity  nt.number-theory  comp-number-theory  primes 

Digamos que un lenguaje LLL está cerca de la densidad P si hay un algoritmo de tiempo polinómico que decide correctamente LLL en casi todas las entradas. A∈A∈A\in LΔALΔAL\Delta Alimn→∞|(LΔA)∩{0,1}n|2n=0.limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap \{0,1\}^n|}{2^n}=0.AAALLLLLL Tenga en cuenta que no tiene que ser escaso. Por ejemplo, si tiene cadenas de bits, …

20 cc.complexity-theory  ds.algorithms  complexity-classes  np-complete 

¿Qué tan rápido debería ser un algoritmo no determinista para un problema completo EXPTIME para implicar ? Un algoritmo no determinista de tiempo polinómico implicaría esto inmediatamente porque pero nadie cree que . Si he hecho el álgebra a la derecha (ver más abajo), el teorema de la jerarquía del …

20 cc.complexity-theory 

La aparente inutilidad de la minería de criptomonedas planteó la cuestión de alternativas útiles, vea estas preguntas en Bitcoin , CST , MO . Me pregunto si existe un algoritmo que pueda convertir prácticamente cualquier desafío computacional (cuya solución se puede verificar eficientemente) en otro desafío \ Psi (\ mathcal …

20 cc.complexity-theory  cr.crypto-security  cryptojacking 

Es bien sabido que los palíndromos se pueden reconocer en tiempo lineal en máquinas Turing de cintas, pero no en máquinas Turing de cinta única (en cuyo caso el tiempo necesario es cuadrático). El algoritmo de tiempo lineal usa una copia de la entrada y, por lo tanto, también usa …

20 cc.complexity-theory  time-complexity  space-complexity  space-time-tradeoff