Preguntas etiquetadas con complexity-classes

Estoy en un curso sobre computación y complejidad , y no puedo entender lo que significan estos términos. Todo lo que sé es que NP es un subconjunto de NP-completo, que es un subconjunto de NP-hard, pero no tengo idea de lo que realmente significan. Wikipedia tampoco es de gran …

249 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

Tengo problemas para entender intuitivamente por qué se cree que PSPACE es diferente de EXPTIME. Si PSPACE es el conjunto de problemas que se pueden resolver en el polinomio espacial en el tamaño de entrada F( n )f(n)f(n) , entonces, ¿cómo puede haber una clase de problemas que experimenten una …

31 complexity-theory  complexity-classes  intuition 

El problema 3SUM intenta identificar 3 enteros de un conjunto S de tamaño n tal que a + b + c = 0 .a , b , ca,b,ca,b,cSSSnortenna + b + c = 0a+b+c=0a + b + c = 0 Se conjetura que no hay mejor solución que la cuadrática, …

29 complexity-theory  combinatorics  complexity-classes 

Si alguien construyera una computadora cuántica universal, ¿tendría alguna implicación en el problema de P vs. NP?

25 complexity-theory  complexity-classes  quantum-computing 

Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . En este artículo de Wikipedia sobre el problema de la camarilla en la teoría de grafos , establece al principio que el problema de encontrar …

23 complexity-theory  graph-theory  np-complete  complexity-classes 

¿Es posible que y la cardinalidad de sea ​​la misma que la cardinalidad de ? ¿O significa que y deben tener diferentes cardinalidades?P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}

19 complexity-classes  p-vs-np 

Estaba leyendo una pregunta en Stack Overflow preguntando si era NP difícil enumerar todos los ciclos simples en un gráfico que contiene un nodo particular y se me ocurrió que no podía pensar en ninguna clase de complejidad existente que fuera adecuada para hablando de problemas de la forma "enumere …

15 complexity-theory  reference-request  complexity-classes  enumeration 

Sea A reducible a B, es decir, . Por lo tanto, la máquina de Turing aceptar tiene acceso a un oráculo de . Deje que la máquina de Turing que acepta sea y el oráculo para sea . Los tipos de reducciones:A B A M A B O BA≤BA≤BA \leq …

15 complexity-theory  np-complete  reductions  complexity-classes 

Estoy tratando de entender la prueba del teorema de Karp-Lipton como se afirma en el libro "Complejidad computacional: un enfoque moderno" (2009). En particular, este libro establece lo siguiente: Teorema de Karp-Lipton Si NP , entonces PH .P ∖ p o l y⊆⊆\subseteq P∖polyP∖polyP_{\backslash poly} = Σpag2=Σ2p= \Sigma^p_2 Prueba: según …

14 complexity-theory  complexity-classes 

Un estudiante recientemente me pidió que verificara una prueba de dureza NP para ellos. Realizaron una reducción en la línea de: Reduzco este problema P′P′P' que se sabe que es NP completo a mi problema PPP (con una reducción múltiple de tiempo múltiple), por lo que PPP es NP-duro. Mi …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

Tengo varias preguntas relacionadas sobre estos dos temas. En primer lugar, la mayoría de los textos de complejidad sólo pasan por alto la clase NCNC\mathbb{NC} . ¿Existe un buen recurso que cubra la investigación más en profundidad? Por ejemplo, algo que discute todas mis preguntas a continuación. Además, supongo que …

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

Soy un poco nuevo, pero estoy muy interesado en el campo de la informática y la teoría de la complejidad, y quiero aclarar mi comprensión sobre cómo clasificar los problemas, y qué tan fuertemente se relacionan los problemas con la máquina que se está utilizando para resolverlos. Mi punto de …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Por lo que leí en el preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Esta es la definición de PTAS : Un esquema de aproximación de tiempo polinomial ( PTAS …

13 algorithms  complexity-theory  terminology  complexity-classes  approximation 

Tengo curiosidad por saber si hay problemas completos en la clase de complejidad Arthur-Merlin. Graph Non-Isomorphism (GNI) parece ser el ejemplo canónico de un problema en AM, pero probablemente no sea completo. Supongo que también me pregunto si un problema "completo" está bien definido para AM. Como AM = BP.NP, …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

¿Qué significa la clase de complejidad ? Sé que ⊕ P es la clase de complejidad que contiene los lenguajes A para los cuales existe una máquina de Turing no determinista de tiempo polinomial M tal que x ∈ A si el número de estados de aceptación de la máquina …

12 complexity-theory  terminology  complexity-classes