Preguntas etiquetadas con exp-time-algorithms

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 espacio …

44 cc.complexity-theory  graph-algorithms  approximation-algorithms  tsp  exp-time-algorithms 

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 , …

39 graph-theory  co.combinatorics  graph-colouring  exp-time-algorithms 

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 buscaría y proporcionaría una solución en , aleatorizado. (Esto aún puede requerir algún conocimiento de …

29 quantum-computing  sat  exp-time-algorithms 

¿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 problema de la supercuerda más corta es un problema cuya …

18 cc.complexity-theory  ds.algorithms  graph-theory  tsp  exp-time-algorithms 

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 …

14 exp-time-algorithms  boolean-formulas  fine-grained 

¿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 dos algoritmos conocidos: …

13 time-complexity  polynomial-time  exp-time-algorithms 

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 [0,1]^n Si fuera semi-definido positivo, entonces todo sería agradable, convexo y fácil, y podríamos resolver el problema …

13 ds.algorithms  optimization  exp-time-algorithms 

¿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 NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

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 romper con SETH. Definitivamente necesitamos encontrar un algoritmo que …

11 cc.complexity-theory  sat  exp-time-algorithms 

¿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 …

10 exp-time-algorithms  complexity 

¿Qué tan difícil es el problema de Set Cover si el número de elementos está limitado por alguna función (por ejemplo, lognlog⁡n\log n ) donde nnn es el tamaño de la instancia del problema. Formalmente, Let y F = { s 1 , ⋯ , S n } donde S …

10 np-hardness  set-cover  exp-time-algorithms 

¿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. Estoy interesado en los peores casos.bUNAAAsibb

10 np-hardness  integer-programming  exp-time-algorithms 

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 } …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms 

¿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 .x∗x∗x^*max{cTx:Ax≤b,x∈{0,1}n}max{cTx:Ax≤b,x∈{0,1}n}\max \{ c^T x : Ax \le b, x \in \{ 0,1\}^n …

9 np-hardness  integer-programming  exp-time-algorithms 

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 (∑n−1k=2k(k−1)(n−1k))+(n−1)(∑k=2n−1k(k−1)(n−1k))+(n−1)(\sum_{k=2}^{n-1}k(k-1)\binom{n-1}{k})+(n-1) (p. 199), quiero decir, ¿de dónde sacan el factor kkk ? Si entendí …

9 ds.algorithms  tsp  exp-time-algorithms