Preguntas etiquetadas con asymptotics

En la mayoría de las clases de algoritmos introductorios, se introducen anotaciones como (Big O) y , y un estudiante generalmente aprendería a usar una de estas para encontrar la complejidad del tiempo.OOOΘΘ\Theta Sin embargo, hay otras notaciones, como , y . ¿Hay escenarios específicos donde una notación sería preferible …

91 algorithms  terminology  asymptotics  landau-notation  reference-question 

En informática, a menudo tenemos que resolver relaciones de recurrencia , es decir, encontrar una forma cerrada para una secuencia de números definida recursivamente. Al considerar los tiempos de ejecución, a menudo nos interesa principalmente el crecimiento asintótico de la secuencia . Ejemplos son El tiempo de ejecución de una …

90 asymptotics  proof-techniques  combinatorics  recurrence-relation  reference-question 

Esta puede ser una pregunta ridícula, pero ¿es posible tener un problema que en realidad se vuelve más fácil a medida que las entradas crecen en tamaño? Dudo que algún problema práctico sea así, pero tal vez podamos inventar un problema degenerado que tenga esta propiedad. Por ejemplo, tal vez …

62 algorithms  asymptotics 

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 

Esta es una pregunta básica, pero estoy pensando que es lo mismo que , ya que el término más grande debería dominar a medida que avanzamos hasta el infinito. Además, eso sería diferente de O (\ min (m, n)) . ¿Está bien? Sigo viendo esta notación, especialmente cuando discuto algoritmos …

44 terminology  asymptotics  mathematical-analysis  landau-notation 

En "Big O", las anotaciones comunes tienen nombres comunes (en lugar de decir, "Oh, de algún factor constante"): O (1) es "constante" O (log n) es "Logarítmico" O (n) es "Lineal" O (n ^ 2) es "Cuadrático" O (n * log n) es ??? ¿Es solo "n log n" o …

40 terminology  asymptotics 

Supongamos que tengo una lista de funciones, por ejemplo nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots ¿Cómo los ordeno asintóticamente, es decir, después de la relación definida por f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , suponiendo que sean comparables por pares (ver también aquí )? …

35 asymptotics  landau-notation  reference-question 

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 

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 

Para un lenguaje regular , deje que sea ​​el número de palabras en de longitud . Usando la forma canónica de Jordan (aplicada a la matriz de transición sin anotaciones de algunos DFA para L ), se puede demostrar que para n suficientemente grande , c_n (L) = \ sum_ …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

He escuchado varias veces que para valores suficientemente pequeños de n, O (n) puede considerarse / tratarse como si fuera O (1). Ejemplo : La motivación para hacerlo se basa en la idea incorrecta de que O (1) siempre es mejor que O (lg n), siempre es mejor que O …

26 asymptotics 

¿Existe una estructura de datos para mantener una lista ordenada que admita las siguientes operaciones en tiempo amortizado?O ( 1 )O(1)O(1) GetElement (k) : devuelve el elemento de la lista.kkk InsertAfter (x, y) : inserte el nuevo elemento y en la lista inmediatamente después de x. Eliminar (x) : Eliminar …

25 data-structures  time-complexity  asymptotics  amortized-analysis 

Si tengo alguna función por su complejidad, el tiempo es O ( mn ), donde m y n son los tamaños de sus dos entradas, tendría que llamar a su complejidad tiempo "lineal" (ya que es lineal en ambos m y n ) o "cuadrática" ( ya que es un …

24 terminology  asymptotics  landau-notation 

Por aquí , Dave Clarke propuso que para comparar el crecimiento asintótico, debe trazar las funciones disponibles. Como científico de la computación teóricamente inclinado, llamo (ed) a este vudú ya que una trama nunca es una prueba. Pensándolo bien, tengo que estar de acuerdo en que este es un enfoque …

23 asymptotics  didactics