Preguntas etiquetadas con complexity-classes

Un TA llegó hoy para preguntar algunas cosas sobre NP y co-NP. Llegamos a un punto en el que también estaba perplejo: ¿qué aspecto tiene un diagrama de Venn de P, NPI, NP y co-NP suponiendo que P ≠ NP (el otro caso es aburrido)? Parece que hay cuatro opciones …

8 complexity-theory  reference-request  complexity-classes  np 

Supongamos que ΠΠ\Pi es un problema de decisión decidible. ¿ Π∉NPΠ∉NP\Pi\not \in NP implica ΠΠ\Pi is NPNPNP -Hard? Editar: si suponemos que existe Π∈coNP∖NPΠ∈coNP∖NP\Pi\in coNP\setminus NP entonces hemos terminado. ¿Podemos refutar el reclamo sin suposiciones desconocidas?

8 complexity-theory  np-hard  complexity-classes  np 

La clase de Nick (NC) es la clase de problemas que se pueden decidir en el tiempo de poli-log utilizando un número polinómico de procesadores. Quiero saber sobre el análogo exponencial, que cubriría los problemas que se pueden decidir en el tiempo polinómico usando un número exponencial de procesadores. Lo …

8 complexity-theory  reference-request  parallel-computing  complexity-classes 

Cuando se afirma el famoso teorema de Savitch, a menudo se ve el requisito de que sea ​​espacialmente construible (curiosamente, se omite en Wikipedia). Mi simple pregunta es: ¿Por qué necesitamos esto? Entiendo el requisito de que esté en , lo que queda claro en la prueba. Pero ninguna prueba …

8 complexity-theory  space-complexity  complexity-classes  nondeterminism 

¿Hay algún problema de decisión que se encuentre en una clase de complejidad incluida correctamente en DLOGTIME? (exceptoO ( 1 )O(1)O(1), por supuesto) Si es así, ¿podemos crear problemas completos para DLOGTIME? Entonces, ¿puede haber una reducción porO ( log( registron ) )O(Iniciar sesión⁡(Iniciar sesión⁡norte))O(\log(\log n)) o más pequeño?

8 complexity-theory  time-complexity  complexity-classes