Preguntas etiquetadas con notation

28
¿Por qué el tipo de vacío de C no es análogo al tipo vacío / inferior?

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 lo que puedo decir. Una...

15
¿Qué significa

¿Qué significa log O ( 1 ) nlogO(1)n\log^{O(1)}n ? Soy consciente de la notación big-O, pero esta notación no tiene sentido para mí. Tampoco puedo encontrar nada al respecto, porque no hay forma de que un motor de búsqueda interprete esto correctamente. Para un poco de contexto, la oración donde...

14
Encontrar el XOR máximo de dos números en un intervalo: ¿podemos hacerlo mejor que cuadrático?

Supongamos que se nos dan dos números y y que queremos encontrar para l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r El algoritmo ingenuo simplemente verifica todos los pares posibles; por ejemplo en ruby ​​tendríamos: def max_xor(l, r) max = 0...

14
¿Qué significa tilde, en notación big-O?

Estoy leyendo un papel, y dice en su descripción complejidad del tiempo que la complejidad es el tiempo .O~( 22 n)O~(22n)\tilde{O}(2^{2n}) He buscado en Internet y Wikipedia, pero no puedo encontrar lo que significa esta tilde en notación big-O / Landau. En el documento en sí tampoco he encontrado...

14
¿Qué sale mal con las sumas de términos de Landau?

escribí ∑i=1n1i=∑i=1nO(1)=O(n)∑i=1n1i=∑i=1nO(1)=O(n)\qquad \displaystyle \sum\limits_{i=1}^n \frac{1}{i} = \sum\limits_{i=1}^n \cal{O}(1) = \cal{O}(n) Pero mi amigo dice que esto está mal. De la hoja de trucos de TCS sé que la suma también se llama que tiene un crecimiento logarítmico en n ....

12
Cadena infinita de grandes

Primero, déjame escribir la definición de grande OOOsolo para hacer las cosas explícitas. f(n)∈O(g(n))⟺∃c,n0>0f(n)∈O(g(n))⟺∃c,n0>0f(n)\in O(g(n))\iff \exists c, n_0\gt 0 tal que0≤f(n)≤cg(n),∀n≥n00≤f(n)≤cg(n),∀n≥n00\le f(n)\le cg(n), \forall n\ge n_0 Digamos que tenemos un número finito de...

11
¿Análisis asintótico para dos variables?

¿Cómo se define el análisis asintótico (big o, little o, big theta, big theta, etc.) para funciones con múltiples variables? Sé que el artículo de Wikipedia tiene una sección, pero usa mucha notación matemática con la que no estoy familiarizado. También encontré el siguiente documento:...

11
Inferir tipos de refinamiento

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...