Preguntas etiquetadas con cc.complexity-theory

Me gustaría saber el estado actual de la transición de fase para k-sat aleatorio, dadas n variables y m cláusulas, cuál es la c = m / n más conocida para los límites superior e inferior.

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

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 , …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

¿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 línea son más …

10 cc.complexity-theory  complexity-classes 

Suponga que P≠NPP≠NPP \neq NP Deje usar la siguiente notación para la tetración (es decir.iaia{}^ia ).ia=aa⋅⋅⋅ai 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, L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x …

10 cc.complexity-theory  np-hardness  complexity-classes 

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 probablemente sean "difíciles". …

10 cc.complexity-theory  sat  hard-instances 

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 …

10 cc.complexity-theory  np-hardness 

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 …

10 cc.complexity-theory  np-hardness 

¿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 continuación: ¿Existe una clase de problemas …

10 cc.complexity-theory  complexity-classes 

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 (n))?

10 cc.complexity-theory  space-bounded  separation 

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 deberían …

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

¿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 …

10 cc.complexity-theory  complexity-classes 

¿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 entrada?

10 cc.complexity-theory  dc.parallel-comp 

Se sabe desde principios de los años 70 que N PNP{\bf NP} y E =DTyoMETROmi( 2O ( n ))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) no son iguales (porque miE{\bf E} no está cerrado bajo reducciones de tiempo múltiple polinomial, en contraste con N PNP{\bf NP} ) . Sin embargo, hasta donde yo sé, todavía …

10 cc.complexity-theory  complexity-classes  np-complete 

Se desconoce si o , dondeP⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP es el conjunto de todos los idiomas que se pueden decidir en tiempo polinómico en una máquina de Turing determinista, y CSLCSLCSL es la clase de lenguajes sensibles al contexto, conocidos por ser equivalentes a NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) , los lenguajes decididos por …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

Deje HALTnHALTnHALT_n denotar la cadena de longitud 2n2n2^n correspondiente a la tabla de verdad del problema de detención para entradas de longitud nnn . Si la secuencia de las complejidades de Kolmogorov K(HALTn)K(HALTn)K(HALT_n) fuera O(1)O(1)O(1) , una de las cadenas de consejos se usaría infinitamente y una TM con esa …

10 cc.complexity-theory  reference-request  computability  lower-bounds