Preguntas etiquetadas con ds.algorithms

En mi introducción al curso de programación, estamos aprendiendo sobre el método de inicialización-mantenimiento-terminación para probar que un algoritmo hace lo que esperamos. Pero solo hemos tenido que demostrar que un algoritmo que ya se sabe que es correcto, es correcto. Nunca se nos ha pedido que demostremos que un …

15 ds.algorithms  proofs 

¿Cuál es la complejidad de decidir si un intervalo de los números naturales contiene un primo? Una variante de la criba de Eratóstenes da una algoritmo, donde L es la longitud del intervalo y ~ cueros factores poli-logarítmicas en el punto de partida del intervalo; ¿Podemos hacerlo mejor (solo en …

14 cc.complexity-theory  ds.algorithms  nt.number-theory  comp-number-theory 

Considere el siguiente modelo de circuito monótono simple: cada puerta es solo un OR binario. ¿Cuál es la complejidad de una función f ( x ) = A xf(x)=Axf(x)=Ax donde AAA es una matriz booleana n × nn×nn \times n con O ( n )O(n)O(n) 0? ¿Se puede calcular mediante …

14 ds.algorithms  circuit-complexity  upper-bounds 

El tiempo constante es la complejidad absoluta al final del tiempo. Uno puede preguntarse: ¿hay algo no trivial que se pueda calcular en tiempo constante? Si nos atenemos al modelo de máquina de Turing, entonces no se puede hacer mucho, ya que la respuesta solo puede depender de un segmento …

14 cc.complexity-theory  ds.algorithms  time-complexity 

Considere la siguiente configuración: se nos da una pila que contiene elementos.sssnnorten podemos usar un número constante de pilas adicionales.O(1)O(1)O(1) podemos aplicar las siguientes operaciones en estas pilas: comprobar si una pila está vacía compara los elementos principales de dos pilas, eliminar el elemento superior en una pila, imprime el …

14 ds.algorithms  sorting 

Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

En su trabajo , Oráculos de distancia aproximada , Thorup y Zwick demostraron que para cualquier gráfico ponderado no dirigido, es posible construir una estructura de datos de tamaño que pueda devolver una distancia aproximada entre cualquier par de vértices en el gráfico.O ( k n1 + 1 / k)O(knorte1+1/ …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

Dada como entrada un número entero nnn y un conjunto SSS de conjuntos de elementos de {1,...,n}{1,...,n}\{1, ..., n\} , ¿cuál es la complejidad de encontrar un conjunto TTT de elementos de {1,...,n}{1,...,n}\{1, ..., n\} tal que TTT tiene una cardinalidad mínima y TTT se incluye en ninguno de los …

14 cc.complexity-theory  ds.algorithms 

¿Cuál es la clase de complejidad asociada con los algoritmos de búsqueda exhaustiva? (si hay uno) ¿Es NP o PSPACE? ¿Existen modelos restringidos de cómputo que capturen la clase de algoritmos de búsqueda exhaustiva similares a los modelos para programación codiciosa y dinámica?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Recuerdo haber visto un estudio o artículo hace un tiempo afirmando que la mayor parte de la aceleración vista en los programas de computadora en las últimas décadas proviene de mejores algoritmos en lugar de hardware más rápido. ¿Alguien sabe el estudio o artículo?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

Estoy interesado en gráficos en nnn vértices que se pueden producir a través del siguiente proceso. Comience con un gráfico arbitrario GGG en k≤nk≤nk\le n vértices. Etiquete todos los vértices en como no utilizados .GGG Producir un nuevo gráfico mediante la adición de un nuevo vértice , que está conectado …

14 ds.algorithms  graph-theory  treewidth 

Sabemos que si la brecha entre los valores de un programa entero y su dual (la "brecha de dualidad") es cero, entonces las relajaciones de programación lineal del programa entero y la dual de la relajación, ambos admiten soluciones integrales (integralidad "cero" brecha"). Quiero saber si lo contrario es válido, …

14 ds.algorithms  optimization  linear-programming  integrality-gap 

Estoy implementando alguna parte del sistema que requiere ayuda. Por lo tanto, lo estoy enmarcando como un problema gráfico para que sea independiente del dominio. Problema: se nos da un gráfico acíclico dirigido . Sin pérdida de generalidad, suponga que G tiene exactamente un vértice fuente s y exactamente un …

14 ds.algorithms  reference-request  co.combinatorics  graph-algorithms  directed-acyclic-graph 

Tengo serios problemas para comprender un paso en el documento de Dobkin y Kirkpatrick sobre la separación de los poliedros. Estoy tratando de entender esta versión: http://www.cs.princeton.edu/~dpd/Papers/SCG-09-invited/old%20papers/DPD+Kirk.pdf Se argumenta que después de que conocemos la mejor separación de y , realizado por r_i y S_I , podemos encontrar la mejor …

14 ds.algorithms  cg.comp-geom 

Estoy preparando material del curso sobre heurística para la optimización, y he estado buscando métodos de descenso coordinado. La configuración es aquí una función multivariada fff que desea optimizar. fff tiene la propiedad que se restringe a cualquier variable individual, es fácil de optimizar. Por lo tanto, el descenso de …

14 ds.algorithms  reference-request  optimization  heuristics