Questions marquées «landau-notation»

Questions sur les notations asymptotiques telles que Big-O, Omega, etc.

28
Pourquoi le type void de C n'est-il pas analogue au type vide / bas?

Wikipédia ainsi que d'autres sources que j'ai trouvées listent le voidtype C comme type d'unité par opposition à un type vide. Je trouve cela déroutant car il me semble que cela voidcorrespond mieux à la définition d'un type vide / bas. Autant voidque je sache , aucune valeur n'habite . Une...

15
Que signifie ?

Que signifie ?logO(1)nlogO(1)⁡n\log^{O(1)}n Je connais la notation big-O, mais cette notation n'a aucun sens pour moi. Je ne trouve rien non plus à ce sujet, car il n'y a aucun moyen qu'un moteur de recherche interprète cela correctement. Pour un peu de contexte, la phrase où je l'ai trouvée se lit...

14
Trouver le XOR max de deux nombres dans un intervalle: peut-on faire mieux que quadratique?

Supposons que l'on nous donne deux nombres et et que nous voulons trouver pour 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 L'algorithme naïf vérifie simplement toutes les paires possibles; par exemple en rubis, nous aurions: def max_xor(l, r) max = 0...

14
Que signifie tilde, en notation big-O?

Je lis un article, et il dit dans sa description de la complexité temporelle que la complexité temporelle est .O~( 22 n)O~(22n)\tilde{O}(2^{2n}) J'ai cherché sur Internet et wikipedia, mais je ne trouve pas ce que ce tilde signifie en notation big-O / Landau. Dans le journal lui-même, je n'ai...

12
Chaîne infinie de grands

Tout d'abord, permettez-moi d'écrire la définition du grand juste pour rendre les choses explicites.OOO 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 tel que0≤f(n)≤cg(n),∀n≥n00≤f(n)≤cg(n),∀n≥n00\le f(n)\le cg(n), \forall n\ge n_0 Disons que nous avons un...

11
est-il

J'ai donc cette question pour prouver une déclaration: O(n)⊂Θ(n)O(n)⊂Θ(n)O(n)\subset\Theta(n) ... Je n'ai pas besoin de savoir comment le prouver, juste que dans mon esprit cela n'a aucun sens et je pense que ce devrait plutôt être Θ(n)⊂O(n)Θ(n)⊂O(n)\Theta(n)\subset O(n) . Ma compréhension est que...

11
Analyse asymptotique pour deux variables?

Comment l'analyse asymptotique (big o, little o, big theta, big theta etc.) est-elle définie pour les fonctions à variables multiples? Je sais que l'article Wikipedia contient une section, mais il utilise beaucoup de notation mathématique que je ne connais pas. J'ai également trouvé l'article...

11
Déduire les types de raffinement

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: 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 then...