Recientemente me encontré con un artículo de Coudron y Yuen sobre la expansión de la aleatoriedad utilizando dispositivos cuánticos. El principal resultado del trabajo es que es posible generar aleatoriedad "infinita" a partir de un número constante de fuentes (es decir, el número de bits...
En una fórmula CNF de lectura dos veces opuesta, cada variable aparece dos veces, una vez positiva y otra negativa. Estoy interesado en el problema , que consiste en calcular la paridad del número de asignaciones satisfactorias de una fórmula CNF de lectura dos veces
Deje que sea un gráfico acíclico dirigido , y dejar que λ ser una función de etiquetado mapear cada vértice v ∈ V a una etiqueta λ ( v ) en algunos finito alfabeto L . Escribiendo n : = | V | , un tipo topológico de G es una biyección σ de { 1 , ... , n } a V (es decir, un ordenamiento deG = ( V,...
Deje que sea un oráculo genérico en el sentido de la categoría de Cohen / Baire. Deje ser un oráculo al azar.RGGGRRR ¿Hay clases de complejidad A y B con o el al revés, A G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne...
En general, decidir si una ecuación de diofantina tiene alguna solución entera es equivalente al problema de detención. Creo que decidir si una ecuación de diofantina cuadrática tiene alguna solución es NP-completo. ¿Existe una restricción adicional en las ecuaciones involucradas que produce un...
Pregunta general ¿El teorema de la jerarquía espacial se generaliza a la computación no uniforme? Aquí hay algunas preguntas más específicas: ¿Es ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Para todas las funciones construibles en el espacio f(n)f(n)f(n) , ¿es...
Estoy interesado en el problema clásico INCLUSIÓN DE IDIOMAS REGULARES. Dada una expresión regular , denotamos por L ( E ) el lenguaje regular asociado a ella. (Las expresiones regulares están en un alfabeto fijo Σ , con la unión de operaciones, Kleene-star y concatenación).miEEL (...
Desde el teorema de la jerarquía espacial se sabe que si fff es construible en el espacio, entonces DSPACE ( 2f(n)2f(n)2f(n) ) no es igual a DSPACE ( f(n))f(n))f(n)) . Aquí, por DSPACE ( f(n))f(n))f(n)) me refiero a la clase de todos los problemas que se pueden resolver en el espacio f(n)f(n)f(n)...
¿Qué evidencia hay de que ?c o R P≠ NPAGcoRP≠NPcoRP \neq NP es la clase de idiomas para los que existe una máquina de Turing probabililista que se ejecuta en tiempo polinómico y siempre responde Sí en una entrada que pertenece al idioma y responde No con probabilidad al menos la mitad de una...
¿Es posible (barra oblicua puede proporcionar un ejemplo) para reducir la complejidad computacional de un problema mediante el uso de un algoritmo paralelo que no requiere una serie de procesadores en relación con el tamaño de
Por BPP / lineal, me refiero a máquinas BPP con asesoramiento lineal, que cumple la promesa cuando se le da el consejo "correcto", y la desrandomización debería darnos, por ejemplo, un algoritmo P / lineal o (SUBEXP / lineal). Si usamos suposiciones no uniformes, creo que los resultados clásicos...
Muestre una función que sea construible en el espacio pero no construible en el tiempo.f(n)f(n)f(n) ¿Está este problema relacionado con una posible separación entre las clases de complejidad DTIME (f (n)) y SPACE (f
Un sistema de la estrella es una familia de n subconjuntos de n-elementos establecidos S . Un sistema de estrellas es gráfico si hay algún gráfico G ( V , E ) tal que F es la familia de los barrios vértice en G . Es N P- completo para decidir si un sistema estelar dado es
Ejemplos de variantes completas de limitadas de conjuntos indecidibles:NPNPNP Problema de detención delimitado = { | La máquina NTM detiene y acepta en pasos}M x t( M, x , 1t)(M,x,1t)(M, x, 1^t)METROMMXxxttt Mosaico limitado = { | hay un mosaico de un cuadrado de área por mosaicos de }t 2 T(...
Estoy interesado en instancias individuales "difíciles" de problemas NP-completos. Ryan Williams discutió el problema SAT0 en el blog de Richard Lipton . SAT0 pregunta si una instancia SAT tiene la solución específica que consiste en todos los 0. Esto me hizo pensar en construir instancias SAT que...
¿Tenemos clases de complejidad con respecto a, digamos, la complejidad del caso promedio? Por ejemplo, ¿hay una clase de complejidad (con nombre) para los problemas que toman el tiempo polinómico esperado para decidir? Otra pregunta considera la mejor complejidad del caso , ejemplificada a...
Suponga que P≠NPP≠NPP \neq NP Deje usar la siguiente notación para la tetración (es decir.iaia{}^ia ).ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | es el tamaño de la instancia x. Deje L ser una lengua,...
Los generadores invulnerables se definen de la siguiente manera: Sea una relación NP y M una máquina que acepte L ( R ) . Informalmente, un programa es un generador invulnerable si, en la entrada 1 n , produce pares de instancia-testigo ( x , w ) ∈ R , con | x | = n , de acuerdo con una...
¿Se conoce alguna clase de complejidad que contenga homólogos en línea de problemas de optimización? Si no, ¿cómo se puede definir esa clase? Sabemos que muchos problemas tienen su versión en línea: por ejemplo, la versión en línea del problema de empaquetado de contenedores. Los problemas en...
Me pregunto si hay lenguaje escaso (incluso construido por diagolanización retrasada) en NPI bajo el supuesto de que .P≠NPP≠NPP \neq