Se conjetura que ya que lo contrario implicaría \ mathsf {PH} = \ Sigma_2 . El teorema de Ladner establece que si \ mathsf {P} \ ne \ mathsf {NP} entonces \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ cup \ mathsf {P}) \ ne \ emptyset . Sin embargo, la prueba no parece generalizarse...
El Theoem de Karp-Lipton establece que si , entonces P H colapsa a Σ P 2 . Por lo tanto, suponiendo separaciones entre Σ P 2 y Σ P 3 , ningún problema completo de N P pertenecerá a P / p o l y .NP⊂P/polyNP⊂P/poly\mathsf{NP} \subset
Un idioma está en si existe un espacio de registro de la máquina de Turing que decide el idioma con una cantidad polinómica de consejos.L / p o l yL/ /pagolyL/poly Consulte aquí para obtener más información: https://en.wikipedia.org/wiki/L/poly Pregunta ¿Cuáles son las consecuencias de ?PAG⊆...
N P ⊆ P / p o l yP/poly=NP/polyP/poly=NP/polyP/poly = NP/poly implica , que a su vez tiene consecuencias interesantes como el colapso de la jerarquía polinómica.NP⊆P/polyNP⊆P/polyNP \subseteq P/poly ¿Hay implicaciones interesantes para ?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq...
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...
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...
El teorema de la jerarquía de tiempo permite mostrar que, por ejemplo, hay problemas en P que una máquina de Turing no puede resolver en un tiempo menor que const * n ^ 2. Pero dale algunos consejos a la máquina Turing y todas las apuestas están canceladas. Todavía no se puede demostrar que incluso...
Esta pregunta surgió en el contexto de la criptografía, pero a continuación la presentaré en términos de teoría de la complejidad, ya que las personas aquí están más familiarizadas con esta última. Esta pregunta está relacionada con problemas en NP pero no en Promedio-P / poli y No uniformidad de...
He estado pensando en la siguiente pregunta en varias ocasiones desde que vi esta pregunta sobre Criptografía . Pregunta Sea RRR una relación TFNP . ¿Puede un oráculo aleatorio ayudar a P / poly a romper RRR con una probabilidad no despreciable? Más
Tengo curiosidad acerca de las formas en que ha visto que la falta de uniformidad es útil en el cálculo. Una forma es la aleatoriedad, como en , y otra son las tablas de búsqueda que se utilizan para mostrar que todos los idiomas tienen circuitos no uniformes.B PPAGS⊆ P/ polysiPAGSPAGS⊆PAGS/...