Preguntas etiquetadas con conditional-results

Agregue X como hipótesis, donde no se sabe que X sea verdadero o falso.

1
Consecuencias de
Si bien el teorema de Adleman muestra que , no conozco ninguna literatura que investigue la posible inclusión de B Q P ⊆ P / poly . ¿Qué consecuencias teóricas de la complejidad tendría tal inclusión?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} El teorema de Adleman a veces se llama "el progenitor …
1
Problemas en NP pero no en Promedio-P / poli
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 \mathsf{P/poly}PHPH\mathsf{PH}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} Estoy interesado …
4
Si P = BQP, ¿esto implica que PSPACE (= IP) = AM?
Recientemente, Watrous et al probaron que QIP (3) = PSPACE es un resultado notable. Este fue un resultado sorprendente para mí por decir lo menos y me hizo pensar ... Me preguntaba qué pasaría si las computadoras cuánticas pudieran ser simuladas eficientemente por computadoras clásicas. ¿Podría esto estar SIMPLEMENTE relacionado …
1
vs
En nuestro trabajo reciente, resolvemos un problema computacional que surgió en un contexto combinatorio, suponiendo que , donde es el -versión de . El único artículo sobre que encontramos fue el artículo de Beigel-Buhrman-Fortnow 1998 que se cita en Complexity Zoo . Entendemos que podemos tomar versiones de paridad de …
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
¿P / poly
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 NP/poly
2
Consecuencia de PIT sobre no tiene un algoritmo eficiente
Dado modo que los coeficientes de están delimitados por , hace ¿sostener?p , q B p ≡ qp(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p,qp,qp,qBBBp≡qp≡qp\equiv q El lema de Schwartz-Zippel se aplica aquí, ya que es válido para campos generales y y hay un algoritmo aleatorio eficiente para este problema.Z⊂QZ⊂Q\Bbb Z\subset\Bbb Q Esperamos que este …
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.