Preguntas etiquetadas con algorithm-analysis

Hay un montón de preguntas acerca de cómo analizar el tiempo de ejecución de algoritmos (véase, por ejemplo, el tiempo de ejecución-análisis y algoritmo de análisis ). Muchos son similares, por ejemplo, aquellos que solicitan un análisis de costos de bucles anidados o algoritmos de dividir y conquistar, pero la …

159 algorithms  algorithm-analysis  runtime-analysis  proof-techniques  reference-question 

Para intentar probar si un algoritmo para algún problema es correcto, el punto de partida habitual es intentar ejecutar el algoritmo a mano en una serie de casos de prueba simples; pruébelo en algunos ejemplos de problemas, incluidos algunos "casos de esquina" simples ". Esta es una gran heurística: es …

105 algorithms  algorithm-analysis  education  correctness-proof  didactics 

Normalmente en los algoritmos no nos importa la comparación, la suma o la resta de números, suponemos que se ejecutan en el tiempo . Por ejemplo, suponemos esto cuando decimos que la clasificación basada en la comparación es , pero cuando los números son demasiado grandes para caber en los …

74 algorithms  complexity-theory  algorithm-analysis  time-complexity  reference-question 

A menudo se dice que la búsqueda de tabla hash funciona en tiempo constante: se calcula el valor hash, lo que le da un índice para una búsqueda de matriz. Sin embargo, esto ignora las colisiones; en el peor de los casos, todos los elementos caen en el mismo depósito …

71 algorithm-analysis  data-structures  runtime-analysis  hash-tables 

Recién comencé a tomar un curso sobre estructuras de datos y algoritmos y mi asistente de enseñanza nos dio el siguiente pseudocódigo para ordenar una serie de enteros: void F3() { for (int i = 1; i < n; i++) { if (A[i-1] > A[i]) { swap(i-1, i) i = …

52 algorithm-analysis  asymptotics  runtime-analysis  sorting 

La búsqueda de una matriz de elementos usando la búsqueda binaria toma, en el peor de los casos, iteraciones porque, en cada paso, recortamos la mitad de nuestro espacio de búsqueda. Si, en cambio, utilizamos 'búsqueda ternaria', cortaríamos dos tercios de nuestro espacio de búsqueda en cada iteración, por lo …

49 algorithms  algorithm-analysis  runtime-analysis  search-algorithms  binary-search 

Estoy leyendo un libro llamado Principios de informática (2008), de Carl Reynolds y Paul Tymann (publicado por Schaum's Outlines). El segundo capítulo presenta algoritmos con un ejemplo de búsqueda secuencial que simplemente itera a través de una lista de nombres y devuelve VERDADERO si se encuentra un nombre en la …

47 algorithms  algorithm-analysis  landau-notation  notation 

La complejidad del algoritmo está diseñada para ser independiente de los detalles de nivel inferior, pero se basa en un modelo imperativo, por ejemplo, el acceso a la matriz y la modificación de un nodo en un árbol toman O (1) tiempo. Este no es el caso en lenguajes funcionales …

38 algorithm-analysis  runtime-analysis  computation-models  functional-programming 

Me pregunto si hay una forma estándar de medir la "clasificación" de una matriz. ¿Se consideraría una matriz que tiene el número medio de posibles inversiones máximamente sin clasificar? Con eso quiero decir que está básicamente lo más lejos posible de ser ordenado o revertido.

34 algorithms  algorithm-analysis  sorting  arrays 

Es bien sabido que este algoritmo 'ingenuo' para barajar una matriz intercambiando cada elemento con otro elegido al azar no funciona correctamente: for (i=0..n-1) swap(A[i], A[random(n)]); Específicamente, dado que en cada una de las iteraciones, se realiza una de las elecciones (con probabilidad uniforme), hay posibles 'caminos' a través del …

33 algorithms  algorithm-analysis  asymptotics  probability-theory  randomness 

Hoy discutimos en una conferencia un algoritmo muy simple para encontrar un elemento en una matriz ordenada usando la búsqueda binaria . Se nos pidió determinar su complejidad asintótica para una matriz de elementos.nnn Mi idea era que, obviamente, es u para ser más específico porque es el número de …

33 algorithm-analysis  asymptotics  landau-notation  reference-question 

Ni siquiera soy un estudiante de CS, así que esta podría ser una pregunta estúpida, pero por favor tengan paciencia conmigo ... En la era anterior a la computadora, solo podemos implementar una estructura de datos de matriz con algo así como una matriz de cajones. Dado que uno tiene …

32 algorithms  algorithm-analysis  data-structures  runtime-analysis 

Me asignaron un ejercicio en mi universidad. Me lo llevé a casa e intenté programar un algoritmo para resolverlo, supongo que era algo relacionado con gráficos, encontrar componentes conectados. Luego hice lo más trivial que se me ocurrió y luego se lo mostré a mi profesor. Después de una breve …

30 algorithms  algorithm-analysis  education  applied-theory 

Tengo un algoritmo codicioso que sospecho que podría ser correcto, pero no estoy seguro. ¿Cómo verifico si es correcto? ¿Cuáles son las técnicas a utilizar para probar que un algoritmo codicioso es correcto? ¿Existen patrones o técnicas comunes? Espero que esto se convierta en una pregunta de referencia que pueda …

29 algorithm-analysis  proof-techniques  correctness-proof  greedy-algorithms 

Wikipedia, así como otras fuentes que he encontrado, enumeran el voidtipo de C como un tipo de unidad en lugar de un tipo vacío. Esto me parece confuso, ya que me parece que se voidajusta mejor a la definición de un tipo vacío / inferior. No habito valores void, por …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees