Preguntas etiquetadas con complexity-theory

Para medir la complejidad de un algoritmo, ¿es la complejidad del tiempo o la complejidad computacional? ¿Cuál es la diferencia entre ellos? Solía ​​calcular el recuento máximo (peor) de la operación básica (más costosa) en el algoritmo.

14 complexity-theory  terminology  algorithm-analysis  time-complexity 

Me pregunto, ¿cuál es el algoritmo más conocido, en términos de notación Big- , para resolver la programación lineal entera?OOO Sé que el problema es completo, por lo que no espero nada polinomial. Y sé que hay muchas heurísticas y otras que se usan en aplicaciones prácticas como CPLEX, pero …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

Estoy tratando de entender la prueba del teorema de Karp-Lipton como se afirma en el libro "Complejidad computacional: un enfoque moderno" (2009). En particular, este libro establece lo siguiente: Teorema de Karp-Lipton Si NP , entonces PH .P ∖ p o l y⊆⊆\subseteq P∖polyP∖polyP_{\backslash poly} = Σpag2=Σ2p= \Sigma^p_2 Prueba: según …

14 complexity-theory  complexity-classes 

ej. ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) Las expresiones son del álgebra ordinaria de la escuela secundaria, pero están restringidas a la suma y multiplicación aritmética (por ejemplo, ), sin inversos, restas o divisiones. Las letras son variables.2+2=4;2.3=62+2=4 4;2.3=6 62+2=4; 2.3=6 Si ayuda, podemos prohibir cualquier expresión representable con valores numéricos distintos de ; es …

14 complexity-theory  time-complexity  decision-problem 

Un estudiante recientemente me pidió que verificara una prueba de dureza NP para ellos. Realizaron una reducción en la línea de: Reduzco este problema P′P′P' que se sabe que es NP completo a mi problema PPP (con una reducción múltiple de tiempo múltiple), por lo que PPP es NP-duro. Mi …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

Supongamos que se nos dan dos números y y que queremos encontrar para l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r El algoritmo ingenuo simplemente verifica todos los pares posibles; por ejemplo en ruby ​​tendríamos: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

Esto surgió mientras intentaba responder esta pregunta sobre la minimización de la longitud del cableado . Iba a llamar a esto el problema del "matrimonio polígamo", pero Internet, así que gatitos. ¡Hurra! Supongamos que tenemos gatitos que necesitan ser adoptados por N personas, M > N . Para cada gatito, …

14 algorithms  complexity-theory 

He estado mirando este sitio y dice que la gente encontró soluciones para recorridos TSP que son solo 0.031% más altos que el recorrido óptimo. Sin encontrar el recorrido óptimo, ¿cómo saben qué longitud se supone que debe ser?

14 complexity-theory  approximation 

Problema Dada una máquina de Turing que ha conocido el tiempo de ejecución O ( g ( n ) ) con respecto a la longitud de entrada n , ¿es el tiempo de ejecución de M ∈ O ( f ( n ) ) ?MMMO(g(n))O(g(n)){O}(g(n))nnnM∈O(f(n))M∈O(f(n))M \in {O}(f(n)) Es la decidable …

14 complexity-theory  time-complexity 

Sé que podemos minimizar los DFA al encontrar y fusionar estados equivalentes, pero ¿por qué no podemos hacer lo mismo con los NFA? No estoy buscando una prueba ni nada de eso, a menos que una prueba sea más fácil de entender. Solo quiero entender intuitivamente por qué la minimización …

14 complexity-theory  finite-automata  nondeterminism 

Si de hecho es igual a N P , ¿cómo mejoraría esto nuestros algoritmos para factorizar enteros más rápido? En otras palabras, ¿qué tipo de información nos daría este hecho para comprender mejor la factorización de enteros?PP{\sf P}NPNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

Tengo varias preguntas relacionadas sobre estos dos temas. En primer lugar, la mayoría de los textos de complejidad sólo pasan por alto la clase NCNC\mathbb{NC} . ¿Existe un buen recurso que cubra la investigación más en profundidad? Por ejemplo, algo que discute todas mis preguntas a continuación. Además, supongo que …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

Aquí hay un problema bien conocido. Dada una matriz de enteros positivos, genera el entero positivo más pequeño que no esté en la matriz.A[1…n]A[1…n]A[1\dots n] El problema se puede resolver en el espacio y el tiempo : lea la matriz, realice un seguimiento en el espacio O ( n ) …

14 complexity-theory  time-complexity  space-complexity 

Dado que la programación lineal entera es NP-completa, hay una reducción de Karp de cualquier problema en NP. Pensé que esto implicaba que siempre hay una formulación de ILP de tamaño polinómico para cualquier problema en NP. Pero he visto documentos sobre problemas específicos de NP en los que la …

14 complexity-theory  np-complete  reductions  linear-programming 

Sabemos que st-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivity está en NLNL\mathsf{NL} según el teorema del teorema de Immerman – Szelepcsényi y dado que st-connectivityst-connectivityst\text{-}connectivity es NL-hardNL-hard\mathsf{NL\text{-}hard} por lo tanto es un espacio logarítmico de muchos reductibles a s t - c o n n e c t i v i t y . ¿Pero hay …

14 complexity-theory  reductions  space-complexity