Soy consciente de que esto parece una pregunta muy estúpida (o demasiado obvia para decir). Sin embargo, estoy confundido en algún momento. Podemos mostrar que P NP=== si y solo si podemos diseñar un algoritmo que resuelva cualquier instancia dada de problema en NP en tiempo polinómico. Sin...
Tengo una tarea para la cual me he estado golpeando la cabeza durante algún tiempo, y agradecería cualquier pista. Se trata de elegir un problema conocido, cuya integridad NP está probada, y construir una reducción de ese problema al siguiente problema que llamaré DGD (diagnóstico de gráfico...
Supongamos que yo soy dado un conjunto finito de puntos en el plano, y se le pidió que dibujara una curva C ( P ) dos veces diferenciable a través de los p i 's, de modo que su perímetro sea lo más pequeño posible. Suponiendo que p i = ( x i , y i ) y x i < x i + 1 , puedo formalizar este...
Estoy estudiando para mi final en teoría de la computación, y estoy luchando con la forma correcta de responder si esta afirmación es verdadera o falsa. Por la definición de podemos construir la siguiente declaración,≤m≤m\leq_m w∈A⟺f( w ) ∈ B → w ∉ A⟺F( w ) ∉ Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff...
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...
¿Es el problema de determinar si una expresión booleana dada es satisfactoriamente computacionalmente distinta de encontrar realmente una solución a la expresión? En otras palabras, ¿hay otra forma de encontrar que una expresión dada es satisfactoria sin determinar explícitamente la 'configuración...
De Wikipedia : El tipo de problema computacional: los problemas más utilizados son los problemas de decisión . Sin embargo, las clases de complejidad se pueden definir en función de problemas de función, problemas de conteo, problemas de optimización, problemas de promesa, etc. También vi que...
¿Hay algún algoritmo conocido que muestre correctamente "sí" a un problema NP-completo sin generar implícitamente un certificado? Entiendo que es sencillo convertir un oráculo de satisfacción en un buscador de asignación satisfactoria: simplemente repita las variables, pidiéndole al oráculo de...
Necesito saber bajo qué clase de CFL está cerrada, es decir, qué conjunto es complemento de CFL. Sé que CFL no está cerrado bajo complemento, y sé que P está cerrado bajo complemento. Dado que CFL PI puede decir que el complemento de CFL está incluido en P (¿verdad?). Todavía existe la duda de si...
Complexity Zoo define como la clase de problemas de decisión que puede resolver una máquina de Turing determinista en tiempo lineal.LINLINLIN LIN⊆PLIN⊆PLIN \subseteq P Dado que HORN-SAT se puede resolver en (como se indica en los algoritmos de tiempo lineal para probar la satisfabilidad de las...
¿Existe un algoritmo para el siguiente problema: Dada una máquina de Turing que decide un lenguaje L , ¿hay una máquina de Turing M 2 que decide L de modo que t 2 ( n ) = o ( t 1 ( n ) ) ?METRO1M1M_1LLLMETRO2M2M_2LLLt2( n ) = o ( t1( n ) )t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Las funciones y t 2...
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...
Por ejemplo, sé que el lenguaje no regular anbnanbna^nb^n está en AC0AC0AC^0 . Me gustaría saber más ejemplos como
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 ;...
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
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
¿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
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 ( X∪ Y, E)G(X∪Y,E)G(X \cup Y, E)XXXYYYEl | XEl...
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 \neq...
Leí varias veces que no es posible cambiar la respuesta de un NDTM de manera eficiente. Sin embargo, no entiendo por qué. Por ejemplo, dado un NDTM que se ejecuta en O ( n ) , este texto (sección 3.3) establece que no está claro cómo otro NDTM T puede determinar en O ( n 100 ) tiempo cómo voltear...