Preguntas etiquetadas con cc.complexity-theory

P versus NP y otros cálculos limitados por recursos.

2
Si P = NP, ¿podríamos obtener pruebas de la Conjetura de Goldbach, etc.?
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 rutinariamente pruebas matemáticas?" formula esa conjetura como …
3
NC = P consecuencias?
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 ) …
1
Consecuencias de
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 muestra BPP=PBPP=P\mathsf{BPP} = \mathsf{P} es a primera bajarla hasta el primer nivel de la …
17
La dureza salta en la complejidad computacional?
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 …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.