Preguntas etiquetadas con np-intermediate

La factorización y el isomorfismo gráfico son problemas en NP que no se sabe que están en P ni en NP-Completo. ¿Cuáles son algunos otros problemas naturales (suficientemente diferentes) que comparten esta propiedad? Los ejemplos artificiales que provienen directamente de la prueba del teorema de Ladner no cuentan. ¿Alguno de …

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

El teorema de Ladner establece que si P ≠ NP, entonces hay una jerarquía infinita de clases de complejidad que contienen estrictamente P y estrictamente contenidas en NP. La prueba utiliza la integridad de SAT bajo reducciones de muchos en NP. La jerarquía contiene clases de complejidad construidas por una …

45 cc.complexity-theory  reference-request  np-intermediate 

Dado un nuevo problema en NPNP\mathsf{NP} cuya verdadera complejidad está en algún lugar entre y NP-complete, hay dos métodos que sé que podrían usarse para demostrar que resolver esto es difícil:PP\mathsf{P} Demuestre que el problema es GI completo (GI = isomorfismo gráfico) Muestre que el problema está en . Según …

36 cc.complexity-theory  np-hardness  graph-isomorphism  np-intermediate 

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 …

29 cc.complexity-theory  complexity-classes  advice-and-nonuniformity  p-vs-np  np-intermediate 

Es bien sabido por el teorema de Ladner que si , entonces existen infinitos problemas -intermediate ( ). También hay candidatos naturales para este estado, como Graph Isomorphism y varios otros, consulte Problemas entre P y NPC . Sin embargo, se sabe que la gran mayoría de la multitud de …

29 cc.complexity-theory  p-vs-np  np-intermediate 

Peter Shor mostró que dos de los problemas NP-intermedios más importantes, la factorización y el problema de registro discreto, están en BQP. Por el contrario, el algoritmo cuántico más conocido para SAT (búsqueda de Grover) solo produce una mejora cuadrática sobre el algoritmo clásico, lo que sugiere que los problemas …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

László Babai demostró recientemente que el problema del isomorfismo gráfico está en tiempo cuasipolinomial . Véase también su discurso en la Universidad de Chicago, nota de las charlas de Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 . Según el teorema de Ladner, si , …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

Supongamos que . N P I es la clase de problemas en que no están ni en ni en N P -hard. Puede encontrar una lista de problemas conjeturados como N P I aquí .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}PNPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} El teorema de Ladner nos dice que si entonces hay una jerarquía infinita …

16 cc.complexity-theory  np-hardness  np-intermediate 

El isomorfismo gráfico ( ) es un buen candidato para el intermedio . : existen problemas intermedios a menos que . Estoy buscando un problema natural que sea difícil para bajo la reducción de Karp (un problema de gráfico tal que ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m X ¿Existe un problema natural de gráfico …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

Suponga P NP.≠≠\ne El teorema de Ladner dice que hay problemas NP intermedios (problemas en NP que no están en P ni en NP-Complete). Encontré algunas referencias veladas en línea que sugieren (creo) que hay muchos "niveles" de lenguajes mutuamente reducibles dentro de NPI que definitivamente no todos colapsan en …

13 cc.complexity-theory  np  np-intermediate 

¿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}}

12 cc.complexity-theory  complexity-classes  np-intermediate 

Estoy tratando de entender a qué clase de complejidad pertenece el siguiente problema: Problema de raíz polinómica exponencial (EPRP) Sea un polinomio con deg ( p ) ≥ 0 con coeficientes extraídos de un campo finito G F ( q ) con q un número primo y r una raíz …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate 

¿Cómo se ve un problema y la razón por la que es probable NP-Intermedio en lugar de NP-Completo? A menudo es bastante simple observar un problema y determinar si es probable que esté NP-Completo o no, pero me parece mucho más difícil saber si un problema es NP-Intermedio ya que …

11 cc.complexity-theory  complexity-classes  np-intermediate 

Hay algunos problemas NP-Complete ( , , etc.) que se sabe que están en . ¿Qué pasa con los espacios sub-lineales?S A TSUNAT \mathsf{SAT} D S P A C E ( n )S U B S E T S U MSUsiSmiTSUMETRO \mathsf{SUBSETSUM} D S P A C E ( n …

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate