Preguntas etiquetadas con complexity-theory

¿Cómo demostrar que ? Solo estoy buscando un oracle TM M y un lenguaje recursivo L ( M ) = L para el cual esto es válido.N PUN≠ c o N PUNNPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMETROMML ( M) = LL(M)=LL(M) = L Sé que la prueba donde se demuestra que existe un …

12 complexity-theory  relativization 

Me pregunto, ¿cuál es la complejidad temporal de determinar el vacío para los DFA de 2 vías? Es decir, autómatas finitos que pueden moverse hacia atrás en su cinta de entrada de solo lectura. Según Wikipedia, son equivalentes a los DFA, aunque el DFA equivalente podría ser exponencialmente más grande. …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

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 

Me dan un conjunto A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , un número entero s⩽ks⩽ks\leqslant k y números enteros no negativos aijaija_{ij} . Mi problema es encontrar sss subconjuntos disjuntos SjSjS_j de {1,…,k}{1,…,k}\{1,\ldots,k\} modo que: ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; y |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} para todos i∈Sji∈Sji\in S_j y j=1,…,sj=1,…,sj=1,\ldots,s . ¿Cómo resolver este problema? ¿Es difícil encontrar …

11 complexity-theory  integer-programming 

¿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 

La ronda de prueba de Google Hash Code 2015 ( enunciado del problema ) preguntó sobre el siguiente problema: entrada: una cuadrícula con algunos cuadrados marcados, un umbral , un área máximaT ∈ N A ∈ NMETROMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} salida: la mayor área total posible de un conjunto …

11 complexity-theory  reductions  np-hard 

Sé que es una tontería, pero logré confundirme y necesito ayuda para resolver esto Suponga que P=NPP=NPP=NP , entonces claramente para cada oráculo AAA tenemos PA=NPAPA=NPAP^A=NP^A que contradice el hecho de que existe algún oráculo AAA para el cual PA≠NPAPA≠NPAP^A\neq NP^A , de ahí P≠NPP≠NPP\neq NP Que pasa ¡Gracias!

11 complexity-theory  p-vs-np  oracle-machines 

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 

Me pregunto si hay duros que son "polinomiales" en el caso promedio. ¿Creo que hay dos formas de interpretar esto?NPNPNP Si , ¿puede haber un algoritmo que resuelva un problema duro con tiempo de ejecución amortizado (caso promedio) de para una constante ?N P O ( n k ) kP≠NPP≠NPP …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Estoy interesado en las propiedades de una clase de gráficos bipartitos donde todos los nodos en X son 3-regulares, todos los nodos en Y son 2-regulares, y | X | = | 2 Y / 3 | . Primero, ¿es esta una clase de gráficos bien conocida? En segundo lugar,G …

11 complexity-theory  graph-theory 

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 

Según el artículo de Wikipedia sobre esquemas de aproximación de tiempo polinomial : Todos los problemas en FPTAS son manejables de parámetros fijos. Este resultado me sorprende: estas clases parecen ser totalmente diferentes entre sí. FPTAS caracteriza los problemas por su facilidad de aproximación, mientras que FPT caracteriza los problemas …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Dado el hecho de que enumeración de la ruta s - t es un problema # P-completo, ¿podría haber métodos eficientes que calculen (o al menos aproximen) la longitud promedio de la ruta s - t sin enumerarlos? ¿Qué pasa si se permite a los caminos volver a visitar los …

11 algorithms  complexity-theory  graphs  approximation  enumeration 

Dada nnn empleos J1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_n , cada trabajo requiere Ti>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N tiempo para completarse. Cada trabajo debe ser preprocesado y procesado posteriormente por una sola máquina M que puede manejar solo 1 trabajo a la vez y ambas fases requieren 1 unidad de tiempo. Después de ser …

11 complexity-theory  reference-request  scheduling 

Sé que el conjunto independiente máximo en gráficos sin triángulos cúbicos es NP-completo. ¿Sigue siendo NP completo en caso de que necesitemos que el conjunto independiente sea de tamaño exactamente ?|V|/2|V|/2|V|/2 Básicamente, la instancia SÍ de un problema de conjunto independiente en un gráfico de gráficas libres de triángulos cúbicos …

11 complexity-theory  np-complete