Complexity Zoo señala en la entrada de EXP que si L = P, entonces PSPACE = EXP. Dado que NPSPACE = PSPACE de Savitch, por lo que puedo decir, el argumento de relleno subyacente se extiende para mostrar que ( NL = P ) ⇒ ( PSPACE = EXP ) . (NL=P)⇒(PSPACE=EXP).(\text{NL} = \text{P}) \Rightarrow...
La complejidad computacional incluye el estudio de la complejidad temporal o espacial de los problemas computacionales. Desde la perspectiva de la informática móvil, la energía es un recurso informático muy valioso. Entonces, ¿existe una adaptación bien estudiada de las máquinas de Turing que...
En su libro "Complejidad computacional", Papadimitriou escribe: RP es, en cierto sentido, un tipo nuevo e inusual de clase de complejidad. Ninguna máquina de Turing no determinista limitada polinómicamente puede ser la base para definir un lenguaje en RP. Para que una máquina N defina un...
Estoy interesado en la generalización natural del famoso 15-rompecabezas , donde tienes que deslizar bloques hasta que hayas ordenado todos los números dados (generalmente hay un espacio de 1 bloque). Ahora la generalización sería extender el tamaño del rompecabezas de 15 a , donde un campo es...
Sea un entero positivo fijo de tamaño bits.nAAAnnn Se permite preprocesar este número entero según corresponda. Dado otro entero positivo de tamaño bits, ¿cuál es la complejidad de la multiplicación ?m A BBBBmmmABABAB Tenga en cuenta que ya tenemos algoritmos . La pregunta aquí es si podemos...
¿Cuáles fueron los resultados más sorprendentes en complejidad? Creo que sería útil tener una lista de resultados inesperados / sorprendentes. Esto incluye resultados que fueron sorprendentes y surgieron de la nada y también resultados que resultaron diferentes de lo que la gente esperaba. Editar...
Esta es una pregunta ingenua, por mi experiencia; disculpas de antemano. La Conjetura de Goldbach y muchas otras preguntas no resueltas en matemáticas se pueden escribir como fórmulas cortas en cálculo de predicados. Por ejemplo, el artículo de Cook "¿Pueden las computadoras descubrir...
Recientemente, Gil Kalai y Dick Lipton escribieron un buen artículo sobre una conjetura interesante propuesta por Peter Sarnak, un experto en teoría de números e hipótesis de Riemann. Conjetura. Sea la función de Möbius . Suponga que es una función con la entrada en forma de representación...
Muchos creen que BPP=P⊆NPBPP=P⊆NP\mathsf{BPP} = \mathsf{P} \subseteq \mathsf{NP} . Sin embargo, solo sabemos que BPPBPP\mathsf{BPP} está en el segundo nivel de jerarquía polinómica, es decir, BPP⊆ΣP2∩ΠP2BPP⊆Σ2P∩Π2P\mathsf{BPP}\subseteq \Sigma^ \mathsf{P}_2 \cap \Pi^ \mathsf{P}_2 . Un paso hacia la...
No se sabe que la factorización es NP-completa. Esta pregunta solicitó las consecuencias de que Factoring sea NP-completo. Curiosamente, nadie preguntó por las consecuencias de Factoring estar en P (tal vez porque esa pregunta es trivial). Entonces mis preguntas son: Cual seria el teorico...
El problema del ancho de banda mínimo es encontrar un orden de los nodos del gráfico en la línea entera que minimiza la mayor distancia entre dos nodos adyacentes. Una oruga es un árbol formado a partir de la ruta principal mediante el crecimiento de rutas de longitud disjuntas de borde a lo sumo...
A menudo escuchamos sobre investigaciones clásicas y publicaciones en el campo de la complejidad computacional (Turing, Cook, Karp, Hartmanis, Razborov, etc.). Me preguntaba si hay documentos publicados recientemente considerados fundamentales y una lectura obligada. Por reciente quiero decir en...
Considere el siguiente problema de conteo (o el problema de decisión asociado): dados dos enteros positivos codificados en binario, calcule su máximo divisor común (mcd). ¿Cuál es la clase de complejidad más pequeña en la que se encuentra este problema? ¿Me puede proporcionar una referencia? En...
Sabemos que si tiene una máquina PSPACE, es lo suficientemente potente como para proporcionar una prueba interactiva de cualquier nivel de la jerarquía polinómica. (Y si recuerdo bien, todo lo que necesita es #P.) Pero suponga que desea dar una prueba interactiva de membresía en un idioma . ¿Es...
En 1995, Russell Impagliazzo propuso cinco mundos de complejidad: 1- Algoritmica: con todas las asombrosas consecuencias.PAGS= NPAGSPAGS=nortePAGSP=NP 2- Heuristica: los completos de son difíciles en el peor de los casos ( ) pero se pueden resolver de manera eficiente en el caso...
Hace unos años, Joel Friedman realizó algunos trabajos relacionados con los límites del circuito inferior a la cohomología de Grothendieck (ver documentos: http://arxiv.org/abs/cs/0512008 , http://arxiv.org/abs/cs/0604024 ) ¿Esta línea de pensamiento ha aportado nuevas ideas sobre la complejidad...
El problema central de la teoría de la complejidad es posiblemente vs .PAGSPAGSPnortePAGSnortePAGSNP Sin embargo, dado que la naturaleza es cuántica, parecería más natural considerar las clases (es decir, problemas de decisión que una computadora cuántica puede resolver en tiempo polinómico, con...
Desde el punto de sentido común de vista, es fácil creer que la adición de no determinismo a se extiende significativamente su potencia, es decir, N P es mucho mayor que P . Después de todo, el no determinismo permite el paralelismo exponencial, que sin duda parece muy poderoso....
Me pregunto cuál es (actualmente) el número más grande , de modo que se conozca un problema natural con las siguientes propiedades:kkk Un algoritmo ha sido ya encontrado para el problema.O ( nk)O(nk)O(n^k) Para cualquier algoritmo fijo no O ( n k - ϵ ) se conoce para el mismo problema. (Tenga en...
Como aficionado de TCS, estoy leyendo material muy introductorio sobre informática cuántica. Aquí están los pocos datos elementales que he aprendido hasta ahora: No se sabe que las computadoras cuánticas resuelvan problemas NP-completos en tiempo polinómico. "La magia cuántica no será suficiente"...