Preguntas etiquetadas con complexity-classes

Clases de complejidad computacional y sus relaciones.

3
¿Cuáles serían las consecuencias de PH = PSPACE?
Una pregunta reciente (ver Consecuencias de NP = PSPACE ) pidió a las consecuencias "desagradables" de NP=PSPACENP=PSPACENP=PSPACE . Las respuestas lista bastantes consecuencias de colapso, incluyendo NP=coNPNP=coNPNP=coNP y otros, proporcionando un montón de razones para creer NP≠PSPACENP≠PSPACENP\neq PSPACE . ¿Cuáles serían las consecuencias del colapso algo menos dramático ?PH=PSPACEPH=PSPACEPH=PSPACE
1
¿Existe una versión continua del teorema de repetición paralela?
El teorema de la pretición paralela de Raz es un resultado importante en PCP, aproximación, etc. El teorema se resume de la siguiente manera. G=(S,T,A,B,π,V)G=(S,T,A,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi, V)S,T,A,BS,T,A,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B}ππ\piS×TS×T\mathcal{S}\times\mathcal{T}V:S×T×A×B→{0,1}V:S×T×A×B→{0,1}V:\mathcal{S}\times\mathcal{T}\times\mathcal{A}\times\mathcal{B}\rightarrow\{0,1\}nv(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=\max_{h_A\in\mathcal{H}_A,h_B\in\mathcal{H}_B}\sum_{s,t}\pi(s,t)V(s,t,h_A(s),h_B(t))nnnjuego doble . El teorema dice si entonces .v ( G ) ≤ 1 - ϵ , v ( G n ) ≤ ( 1 …
1
¿Complejidad de la prueba si dos conjuntos de puntos en difieren solo por rotación?
Imaginemos que tenemos dos conjuntos de puntos tamaño . ¿Cuál es la complejidad (temporal) de las pruebas si difieren solo por rotación? : existe una matriz de rotación tal que ?mmm O O T = O T O = I X = O YX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY Hay un problema de representar …
1
Jerarquías de tiempo en DSPACE (O (s (n)))
El teorema de la jerarquía del tiempo establece que las máquinas de Turing pueden resolver más problemas si tienen (suficiente) más tiempo. ¿Se mantiene de alguna manera si el espacio está limitado asintóticamente? ¿Cómo se relaciona DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) con DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) si fgfg\frac{f}{g} crece lo suficientemente rápido? Estoy especialmente interesado …
1
Clases grandes que contienen LOGSPACE para las cuales se desconocen las inclusiones estrictas
La página de Wikipedia en PSPACE menciona que la inclusión no es estricta (desafortunadamente sin referencias).NL⊂PHNL⊂PHNL\subset PH P1: ¿Qué pasa con y ? ¿Se sabe que son estrictos?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} P2: Si no, ¿hay una clase establecida que contiene y para la cual no se sabe si la inclusión es …
1
¿Es
¿Podemos demostrar que para cada idioma que no es N P -duro (esto supone P ≠ N P ), P L ≠ P SAT ? Alternativamente, ¿se puede probar esto bajo cualquier supuesto razonable?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}
1
¿El teorema de Kannan implica que NEXPTIME ^ NP ⊄ P / poly?
Estaba leyendo un artículo de Buhrman y Homer "Circuitos superpolinomiales, oráculos casi dispersos y la jerarquía exponencial" . Al final de la página 2, comentan que los resultados de Kannan implican que NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} no tiene circuitos de tamaño polinómico. Sé que en la jerarquía de tiempo exponencial, NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} es solo …
1
como oráculo
¿ NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}mantener? Claramente NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , pero me parece que NP∩coNPNP∩coNP\mathsf{NP\cap coNP} es "determinista", lo que me hace creer que esto es cierto. ¿Hay una prueba simple (o tal vez solo por definición)?
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.