Preguntas etiquetadas con complexity-classes

Me pregunto esto basado en varios lugares en línea que llaman a co- un problema abierto importante ... pero no puedo encontrar ninguna indicación de si esto es lo mismo que Problema ...NP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf P=NP

12 complexity-theory  complexity-classes  p-vs-np 

¿Hay una manera fácil de ver por qué NP está en EXPTIME? Me parece a priori concebible que podría haber un problema que requiera un tiempo súper exponencial para resolver, pero cuya solución podría verificarse en tiempo polinómico.

11 complexity-theory  complexity-classes 

Sea un problema de conteo que se sabe que es # -Complete .ΠΠ\PiPPP ¿ Implica que es duro (es decir, no existe PTAS para el problema a menos que )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

El problema de decisión Dada una fórmula booleana , ¿tiene exactamente una asignación satisfactoria?ϕϕϕ\phiϕϕ\phi puede verse en , -hard y -hard. ¿Se sabe algo más sobre su complejidad?U P c o N PΔ2Δ2\Delta_2UPUP\mathsf{UP}coNPcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

Todo el mundo conoce "Garey & Johnson", que es mi referencia cuando necesito un problema para transformarme para una prueba de dureza NP. Sin embargo, recientemente me encuentro en la necesidad de una prueba de dureza APX, y me pregunto si hay una colección similar (y más actualizada ...?) De …

11 complexity-theory  reference-request  time-complexity  complexity-classes 

Según tengo entendido, el problema de asignación está en P ya que el algoritmo húngaro puede resolverlo en tiempo polinómico - O (n 3 ). También entiendo que el problema de asignación es un problema de programación lineal de enteros , pero la página de Wikipedia dice que esto es …

11 complexity-theory  complexity-classes  linear-programming  integer-programming 

Sé que el problema cuantificado de la fórmula booleana para una fórmula donde ϕ no contiene cuantificadores y solo las variables x 1 , ... , x n , y 1 , ... , y n es un ejemplo de un problema Π P 2 completo. Sin embargo, me pregunto …

10 complexity-classes 

Si entonces la jerarquía colapsa a su segundo nivel (por el teorema de Karp-Lipton). Pero, ¿qué pasa con y ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Traté de demostrar que está contenido en (la otra dirección es trivial si ) pero fue en vano, y ni siquiera estoy seguro de que …

10 complexity-theory  complexity-classes  probabilistic-algorithms 

Para razonar sobre cosas como la completitud de NP, generalmente usamos muchas reducciones (es decir, reducciones de Karp). Esto lleva a imágenes como esta: (bajo conjeturas estándar). Estoy seguro de que todos estamos familiarizados con este tipo de cosas. ¿Qué imagen obtenemos si trabajamos con reducciones de Turing (es decir, …

10 complexity-theory  reductions  complexity-classes 

Realmente me gustaría su ayuda para demostrar lo siguiente. Si entonces .NTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Aquí, es la clase de todos los idiomas que puede decidir la máquina de Turing no determinista en el tiempo polinomial de y es la clase de todos los idiomas que puede decidir una máquina de …

10 time-complexity  complexity-classes  p-vs-np 

Tomo curso sobre Complejidad Computacional. Mi problema es que no entiendo el método de relativización . Intenté encontrar un poco de intuición en muchos libros de texto, desafortunadamente, hasta ahora sin éxito. Apreciaré si alguien pudiera arrojar luz sobre este tema para poder continuar por mí mismo. Pocas oraciones siguientes …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Estoy confundido acerca de cómo se definen PP y BPP . Supongamos que es la función característica de un lenguaje . M ser la máquina probabilística de Turing. ¿Son correctas las siguientes definiciones:Lχχ\chiLL\mathcal{L} P P = { L : P r [ χ ( x ) ≠ M ( x …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

Recientemente hablé con un amigo sobre un sitio web que propuso desafíos de expresiones regulares, principalmente haciendo coincidir un grupo de palabras con una propiedad especial. Estaba buscando una expresión regular que coincida con cadenas como ||||||||donde el número |es primo. Inmediatamente le dije que eso nunca funcionaría porque si …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Creo que estas dos clases deberían ser las mismas, pero no puedo encontrar ninguna literatura sobre esto y tengo antecedentes limitados sobre el tema. Este es mi razonamiento, y me gustaría saber si (1) esto ya se conoce o (2) no entendí algo o (3) acabo de descubrir algo útil: …

8 complexity-theory  complexity-classes  quantum-computing 

No he podido encontrar un gráfico que represente o un texto que responda a la siguiente pregunta: ¿Existe una relación directa entre la complejidad de un algoritmo (como el mejor / peor caso de clasificación rápida) y la clase de autómatas que pueden implementar el algoritmo. Por ejemplo, ¿hay un …

8 complexity-theory  automata  reference-request  complexity-classes