Preguntas etiquetadas con ds.algorithms

Supongamos que tengo un gráfico acíclico dirigido con pesos de números reales en sus vértices. Quiero encontrar un orden topológico del DAG en el que, para cada prefijo del orden topológico, la suma de los pesos no sea negativa. O si prefiere la terminología de la teoría del orden, tengo …

45 ds.algorithms  directed-acyclic-graph  partial-order 

Estoy buscando conjeturas sobre algoritmos y complejidad que muchos consideraron creíbles en algún momento, pero que luego fueron refutadas, o al menos no creídas, debido a la creciente evidencia contraria. Aquí hay dos ejemplos: Hipótesis de oráculo aleatorio: las relaciones entre clases de complejidad que se mantienen para casi todos …

44 cc.complexity-theory  ds.algorithms 

Siempre tuve problemas para comprender la importancia de la brecha de integralidad (IG) y sus límites. IG es la proporción de (la calidad de) una respuesta entera óptima a (la calidad de) una solución real óptima de la relajación del problema. Consideremos la cubierta de vértice (VC) como un ejemplo. …

44 cc.complexity-theory  ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

Si pudieras cambiar el nombre de la programación dinámica, ¿cómo lo llamarías?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

En otro hilo , Joe Fitzsimons preguntó sobre "los mejores límites inferiores actuales en 3SAT". Me gustaría ir a otro lado: ¿Cuál es el mejor límite superior actual en 3SAT? En otras palabras, ¿cuál es la complejidad temporal del solucionador SAT más eficiente? En particular, ¿es concebible encontrar un algoritmo …

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

¿Qué explicaciones teóricas existen para el éxito práctico de los solucionadores de SAT, y alguien puede dar una descripción y explicación "estilo wikipedia" uniéndolos a todos? Por analogía, el análisis suavizado ( versión arXiv ) para el algoritmo simplex hace un gran trabajo explicando por qué funciona tan bien en …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

En 1937, Turing describió una máquina de Turing. Desde entonces, se han descrito muchos modelos de computación en un intento de encontrar un modelo que sea como una computadora real pero que sea lo suficientemente simple como para diseñar y analizar algoritmos. Como resultado, tenemos una docena de algoritmos para, …

41 ds.algorithms  reference-request  soft-question  machine-models 

El problema del isomorfismo gráfico (IG) es posiblemente el candidato más conocido para un problema NP-intermedio . El algoritmo más conocido es el algoritmo sub-exponencial con tiempo de ejecución . Se sabe que GI no esNP-completo a menos que lajerarquía polinómica secolapse.2O ( n lognorte√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}N PNP\mathsf{NP} ¿Cuáles serían …

40 cc.complexity-theory  ds.algorithms  graph-theory  graph-isomorphism 

Mi pregunta es simple: ¿Cuál es el peor tiempo de ejecución del algoritmo más conocido para calcular una descomposición propia de una matriz n × nnorte×norten \times n ? ¿La descomposición propia se reduce a la multiplicación matricial o son los algoritmos más conocidos O ( n3)O(norte3)O(n^3) (a través de …

40 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis 

¿Hay algún algoritmo de clasificación de comparación conocido que no se reduzca a redes de clasificación, de modo que cada elemento se compare O(logn)O(log⁡n)O(\log n) veces? Hasta donde sé, la única forma de ordenar con la comparación en cada elemento es construir una red de clasificación AKS para nO(logn)O(log⁡n)O(\log n)nnn …

39 ds.algorithms  sorting  sorting-network 

¿Alguien está familiarizado con el algoritmo de clasificación de enteros Yijie Han ? Este resultado aparece en un artículo bastante corto ( Clasificación determinista en tiempo O ( n log log n ) y espacio lineal . J. Alg. 50: 96–105, 2004) que básicamente reúne muchos resultados anteriores, con adaptaciones …

38 ds.algorithms  sorting 

La clase de complejidad consiste en esos problemas que pueden decidirse por una máquina de Turing no determinista de tiempo polinomial que tiene como máximo una ruta computacional de aceptación. Es decir, la solución, si la hay, es única en este sentido. Se cree altamente improbable que todos los problemas …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

El problema de la suma de las raíces cuadradas pregunta, dadas dos secuencias y b 1 , b 2 , ... , b n de enteros positivos, si la suma ∑ i √a1,a2,…,ana1,a2,…,ana_1, a_2, \dots, a_nb1,b2,…,bnb1,b2,…,bnb_1, b_2, \dots, b_n menor que, igual o mayor que la suma∑i√∑iai−−√∑iai\sum_i \sqrt{a_i} . El …

37 ds.algorithms  big-list  reductions  computing-over-reals 

Tengo curiosidad por saber si hay una manera de almacenar un hash de un conjunto múltiple de enteros que tenga las siguientes propiedades, idealmente: Utiliza el espacio O (1) Se puede actualizar para reflejar una inserción o eliminación en tiempo O (1) Dos colecciones idénticas (es decir, colecciones que tienen …

36 ds.algorithms  ds.data-structures  hash-function 

¿Cuál es el límite superior en el algoritmo simplex para encontrar una solución a un programa lineal? ¿Cómo haría para encontrar una prueba para tal caso? Parece que el peor de los casos es si cada vértice tiene que ser visitado, es decir, . Sin embargo, en la práctica, el …

36 ds.algorithms  linear-programming  simplex  smoothed-analysis