Preguntas etiquetadas con ds.algorithms

En su artículo (p. 503), Garey y Johnson comentan: ... podría existir un problema de NP-completo que no es NP-completo en sentido estricto ni resuelto por un algoritmo de tiempo pseudo-polinomial ... ¿Alguien sabe algunos problemas candidatos con las propiedades mencionadas anteriormente? Creo que la posible respuesta a esta pregunta …

19 ds.algorithms  np-hardness  np 

Para concretar, considere el LP para resolver un juego de suma cero de dos jugadores donde cada jugador tiene acciones. Suponga que cada entrada de la matriz de pagos A es como máximo 1 en valor absoluto. Para simplificar, no hagamos suposiciones de escasez.nortenortenUNUNA Supongamos que el tiempo de ejecución …

19 ds.algorithms  approximation-algorithms  online-learning  linear-programming 

He estado buscando el algoritmo más eficiente (transmisión ??) que me dice los elementos 'k' que ocurren con mayor frecuencia en un flujo de datos en cualquier momento. Esta publicación: Los algoritmos de flujo de datos "Divide y vencerás" me interesaron. Por ejemplo, supongamos que hay números: (4,3,5,1,6,2,4,3,3,8,9,1) y consulto …

19 ds.algorithms  online-algorithms  data-streams 

Bloqueado . Esta pregunta y sus respuestas están bloqueadas porque la pregunta está fuera de tema pero tiene un significado histórico. Actualmente no acepta nuevas respuestas o interacciones. ¿Qué algoritmos se usan con más frecuencia? Escriba un solo algoritmo por respuesta, intente mantener su respuesta corta (una o dos líneas).

19 ds.algorithms  big-list 

¿Existe un ejemplo explícito conocido de un algoritmo con la propiedad tal que si PAG≠ NPAGPAG≠nortePAGP\neq NP este algoritmo no se ejecuta en tiempo polinomial y si PAG= NPAGPAG=nortePAGP=NP se ejecuta en tiempo polinómico?

18 ds.algorithms  np  p-vs-np 

Me gustaría calcular el ancho de árbol de un gráfico. Hay muy buenas heurísticas para otros problemas de gráficos NP-hard, como VF2 para isomorfismo de subgrafo, con código disponible en igraph, por ejemplo. Los probé en mis gráficos y encuentro que se ejecutan muy rápido para mis datos. ¿Hay algún …

18 ds.algorithms  graph-algorithms  treewidth  heuristics 

Nunca antes había visto un algoritmo con un registro en el denominador, y me pregunto si hay algún algoritmo realmente útil con este formulario. Entiendo muchas cosas que podrían hacer que un factor de registro se multiplique en el tiempo de ejecución, por ejemplo, algoritmos de clasificación o basados ​​en …

18 ds.algorithms  big-list  time-complexity 

Sea la clase de los problemas de decisión que tienen un algoritmo aleatorio de error de dos lados limitado que se ejecuta en el tiempo .O ( f ( n ) )B P T I M E (f( n ) )BPTIME(f(n))\mathsf{BPTIME}(f(n))O ( f( n ) )O(f(n))O(f(n)) ¿Conocemos algún problema tal …

18 cc.complexity-theory  ds.algorithms  randomized-algorithms  derandomization 

Supongamos que es un árbol de grado constante cuya estructura no conocemos. El problema es generar el árbol haciendo preguntas de la forma: "¿El nodo encuentra en la ruta del nodo al nodo ?". Suponga que cada consulta puede ser respondida en tiempo constante por un oráculo. Conocemos el valor …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el hecho de que no es posible …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

¿Cuáles son los algoritmos eficientes conocidos para calcular un determinante de una matriz entera con coeficientes en , el anillo de residuos módulo . El número puede no ser primo sino compuesto (por lo que los cálculos se realizan en anillo, no en un campo). mmZmetroZm\mathbb{Z}_mmetrommmetromm Hasta donde yo sé …

18 ds.algorithms  reference-request  linear-algebra  comp-number-theory 

¿Hay algún algoritmo para la resolución SAT que no esté basado en DPLL? ¿O todos los algoritmos utilizados por los solucionadores SAT están basados ​​en DPLL?

18 ds.algorithms  reference-request  sat 

¿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 

Hay una multitud de algoritmos que pueden analizar una gramática libre de contexto en tiempo . Usando la multiplicación de matrices, incluso se puede ir asintóticamente más rápido que eso.O ( n3)O(n3)O(n^3) Sin embargo, todos los algoritmos para analizar CFG arbitrarios que conozco tienen un uso de espacio en el …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

¿Cuál es la complejidad (en la RAM entera estándar) de calcular la transformada discreta estándar de Fourier de un vector de enteros?nnn El algoritmo clásico para transformaciones rápidas de Fourier , atribuidas inapropiadamente [1] a Cooley y Tukey, generalmente se describe como funcionando en tiempo . Pero la mayoría de …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis