Preguntas etiquetadas con complexity-classes

Norbert Blum publicó recientemente una prueba de 38 páginas de que . ¿Es correcto?PAGS≠ NPAGSP≠NPP \ne NP También sobre el tema: ¿dónde más (en Internet) se está discutiendo su corrección? Nota: el enfoque de este texto de pregunta ha cambiado con el tiempo. Vea los comentarios de las preguntas para …

232 cc.complexity-theory  np-hardness  complexity-classes 

Esta pregunta es algo que me he preguntado por un tiempo. Cuando las personas describen el problema P vs. NP, a menudo comparan la clase NP con la creatividad. Señalan que componer una sinfonía de calidad de Mozart (análoga a una tarea de NP) parece mucho más difícil que verificar …

59 cc.complexity-theory  complexity-classes  soft-question 

En Complejidad descriptiva , Immerman tiene Corolario 7.23. Las siguientes condiciones son equivalentes: 1. P = NP. 2. Sobre estructuras finitas, ordenadas, FO (LFP) = SO. Esto puede considerarse como "amplificación" de P = NP a un enunciado equivalente sobre (presumiblemente) clases de mayor complejidad. Tenga en cuenta que SO …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

Sabemos que L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} y que L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , donde L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . También sabemos que polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}porque el último tiene problemas completos bajo el espacio logarítmico reducciones de muchos uno mientras que el primero no (debido al teorema …

46 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

La clase de complejidad consiste en esos problemas que pueden decidirse por una máquina de Turing no determinista de tiempo polinomial que tiene como máximo una ruta computacional de aceptación. Es decir, la solución, si la hay, es única en este sentido. Se cree altamente improbable que todos los problemas …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

La complejidad cada vez mayor de los programas de computadora y la posición cada vez más crucial que tienen las computadoras en nuestra sociedad me hacen preguntarme por qué todavía no usamos colectivamente lenguajes de programación en los que tenga que dar una prueba formal de que su código funciona …

37 reference-request  complexity-classes  computability  pl.programming-languages 

Según tengo entendido, el programa de teoría de la complejidad geométrica intenta separar al demostrar que el funcionamiento de una matriz de valores complejos es mucho más difícil de calcular que el determinante.VP≠VNPVP≠VNPVP \neq VNP La pregunta que tuve después de hojear los documentos de GCT: ¿Esto implicaría inmediatamente , …

37 cc.complexity-theory  complexity-classes  algebraic-complexity  conditional-results  gct 

En la introducción y explicación, las clases de complejidad P y NP a menudo se dan a través de la máquina Turing. Uno de los modelos de computación es el cálculo lambda. Entiendo que todos los modelos de computación son equivalentes (y si podemos introducir algo en términos de máquina …

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

En su libro "Complejidad computacional", Papadimitriou escribe: RP es, en cierto sentido, un tipo nuevo e inusual de clase de complejidad. Ninguna máquina de Turing no determinista limitada polinómicamente puede ser la base para definir un lenguaje en RP. Para que una máquina N defina un lenguaje en RP , …

35 cc.complexity-theory  complexity-classes  big-picture 

Desde el punto de sentido común de vista, es fácil creer que la adición de no determinismo a se extiende significativamente su potencia, es decir, N P es mucho mayor que P . Después de todo, el no determinismo permite el paralelismo exponencial, que sin duda parece muy poderoso. PP\mathsf{P}NPNP\mathsf{NP}PP\mathsf{P} …

33 cc.complexity-theory  complexity-classes  big-picture 

Considere el siguiente problema de conteo (o el problema de decisión asociado): dados dos enteros positivos codificados en binario, calcule su máximo divisor común (mcd). ¿Cuál es la clase de complejidad más pequeña en la que se encuentra este problema? ¿Me puede proporcionar una referencia? En esta pregunta, no estoy …

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory 

Como aficionado de TCS, estoy leyendo material muy introductorio sobre informática cuántica. Aquí están los pocos datos elementales que he aprendido hasta ahora: No se sabe que las computadoras cuánticas resuelvan problemas NP-completos en tiempo polinómico. "La magia cuántica no será suficiente" (Bennett et al. 1997): si descarta la estructura …

33 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

El problema central de la teoría de la complejidad es posiblemente vs .PAGSPAGSPnortePAGSnortePAGSNP Sin embargo, dado que la naturaleza es cuántica, parecería más natural considerar las clases (es decir, problemas de decisión que una computadora cuántica puede resolver en tiempo polinómico, con una probabilidad de error de 1/3 como máximo …

33 cc.complexity-theory  complexity-classes  quantum-computing 

Esta pregunta trata sobre problemas para los cuales existe una gran brecha de complejidad abierta entre el límite inferior conocido y el límite superior, pero no debido a problemas abiertos en las propias clases de complejidad. Para ser más precisos, digamos que un problema tiene clases de brecha (con A …

32 cc.complexity-theory  complexity-classes  big-list 

En el artículo The Random Oracle Hypothesis Is False , los autores (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan y Rohatgi) discuten las implicaciones de la hipótesis del oráculo aleatorio . Argumentan que sabemos muy poco acerca de las separaciones entre clases de complejidad, y la mayoría de los resultados implican …

32 cc.complexity-theory  complexity-classes  big-list  complexity-assumptions