Se sabe que el TSP métrico se puede aproximar dentro de y no se puede aproximar mejor que 1231,51.51.5 en tiempo polinomial. ¿Se sabe algo sobre la búsqueda de soluciones de aproximación en tiempo exponencial (por ejemplo, menos de2npasos con solo espacio polinómico)? Por ejemplo, ¿en qué tiempo y...
Un gráfico es kkk elegible (también conocido como kkk -list-colorable ) si, para cada función FFf que asigna vértices a conjuntos de kkk colores, hay una asignación de color dodoc tal que, para todos los vértices vvv , c(v)∈f(v)c(v)∈f(v)c(v)\in f(v) , y tal que, para todos los bordes vwvwvw , c ( v...
Los algoritmos clásicos pueden resolver 3-SAT en tiempo (aleatorizado) o 1.3303 n tiempo (determinista). (Referencia: Mejores límites superiores en SAT )1.3071norte1.3071norte1.3071^n1.3303norte1.3303norte1.3303^n A modo de comparación, el uso del algoritmo de Grover en una computadora cuántica...
¿Qué se sabe sobre la complejidad exacta del problema de supercuerdas más corto? ¿Se puede resolver más rápido que O∗(2n)O∗(2n)O^*(2^n) ? ¿Existen algoritmos conocidos que resuelvan la supercadena más corta sin reducir a TSP? UPD: suprime los factores polinomiales.O∗(⋅)O∗(⋅)O^*(\cdot) El...
Considere el siguiente problema de decisión Entrada : Un monótono CNF ΦΦ\Phi y un monótono DNF ΨΨ\Psi . Pregunta : ¿Es Φ → ΨΦ→Ψ\Phi \to \Psi una tautología? Definitivamente puede resolver este problema en -time, donde es el número de variables en y es la longitud de la entrada. Por otro lado,...
Esta pregunta trata sobre problemas de programación cuadrática con restricciones de caja (box-QP), es decir, problemas de optimización de la forma minimizar sujeto a .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x∈[0,1]nx∈[0,1]n\mathbf{x} \in...
¿Conoce algún problema (preferiblemente al menos algo bien conocido), donde, para un tamaño de problema práctico , un algoritmo exponencial se ejecuta mucho más rápido que una contraparte de tiempo polinomial más conocida. Por ejemplo, suponga que un problema tiene un tamaño práctico * de y hay...
¿Es posible que ? ¿Hay consecuencias interesantes de tal contención? ¿Contradeciría la hipótesis del tiempo exponencial?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp(n0.9))\overline{SAT} \in
Impagliazzo, Paturi y Calabro, Impagliazzo, Paturi introdujeron la hipótesis del tiempo exponencial (ETH) y la hipótesis del tiempo fuertemente exponencial (SETH). Aproximadamente, SETH dice que no existe un algoritmo que resuelva SAT en el tiempo . 1.99n1.99n1.99^n Me preguntaba qué significaría...
Fijar . Para cualquier suficientemente grande , nos gustaría etiquetar todos los subconjuntos de de tamaño exactamente por enteros positivos de . Nos gustaría que este etiquetado satisfaga la siguiente propiedad: hay un conjunto de enteros, stn { 1 .. n } n / k { 1 ... T } Sk ≥ 5k≥5k\ge5nortenn{ 1...
¿Existen algoritmos conocidos para el siguiente problema que superen al algoritmo ingenuo? Entrada: Un sistema de desigualdades lineales.mA x ≤ bAx≤bAx \le bmetromm Salida: una solución factible si existe.X∗∈ { 0 , 1 }nortex∗∈{0,1}nx^*\in \{0,1 \}^n Supongamos que y tienen entradas enteros....
¿Qué tan difícil es el problema de Set Cover si el número de elementos está limitado por alguna función (por ejemplo, lognlogn\log n ) donde nnn es el tamaño de la instancia del problema. Formalmente, Let y F = { s 1 , ⋯ , S n } donde S i ⊆ U y m = O ( log n ) . ¿Qué tan difícil es decidir el...
¿El hecho de que un problema esté completo en el tiempo EXP implica que A no está en D T I M E ( 2 o ( n ) ) ?AAAAAADTIME(2o(n))DTIME(2o(n))DTIME(2^{o(n)}) Soy consciente de que, según el teorema de la jerarquía temporal, no está incluido en E = D T I M E ( 2 O ( n ) ) . Sin embargo, esto no...
Cuando revisé " Un enfoque de programación dinámica para problemas de secuencia " de Michael Held y Richard M. Karp, se me ocurrió la siguiente pregunta: ¿por qué la complejidad de su algoritmo para TSP es
¿Existen algoritmos conocidos para el siguiente problema que superen al algoritmo ingenuo? Entrada: matriz y vectores , donde todas las entradas de son enteros no negativos.b , c A , b , cAAAb,cb,cb,cA,b,cA,b,cA,b,c Salida: una solución óptima a
Estoy buscando ejemplos de problemas para los que es fácil ejecutar algoritmos a tiempo , o para algunos pero para los cuales no se sabe si hay un algoritmo ejecutándose en el tiempo . 2 O ( n c ) c > 1 2 O ( n )2O ( n logn )2O(nlogn)2^{O(n\log n)}2O ( nC)2O(nc)2^{O(n^c)}c > 1c>1c>12O ( n...