Questions marquées «landau-notation»

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

1
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 trouvé …
2
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 nombre fini de fonctions: satisftying:f1,f2,…fnf1,f2,…fnf_1,f_2,\dots f_n O(f1)⊆O(f2)⋯⊆O(fn)O(f1)⊆O(f2)⋯⊆O(fn)O(f_1)\subseteq O(f_2)\dots \subseteq O(f_n) Par transitivité de , on a que:OOOO(f1)⊆O(fn)O(f1)⊆O(fn)O(f_1)\subseteq O(f_n) …
1
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 suivant: http://people.cis.ksu.edu/~rhowell/asymptotic.pdf Cependant, l'article est très …
2
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 O(n)O(n)O(n) est l'ensemble de toutes les fonctions …
1
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 …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 
2
Comment prouver que
C'est une question de devoirs du livre d'Udi Manber. Tout indice serait bien :) Je dois montrer que: n ( log3( n ) )5= O ( n1.2)n(log3⁡(n))5=O(n1.2)n(\log_3(n))^5 = O(n^{1.2}) J'ai essayé d'utiliser le théorème 3.1 du livre: (pour c > 0 ,)F( n )c= O ( aF( n ))f(n)c=O(af(n))f(n)^c = …
3
Sums of Landau terms revisited
J'ai posé une question (initiale) sur des sommes de termes Landau auparavant , essayant de mesurer les dangers d'abuser de la notation asymptotique en arithmétique, avec un succès mitigé. Maintenant, ici, notre gourou de la récurrence, JeffE, fait essentiellement ceci: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) Bien que le résultat …
3
Erreur dans l'utilisation de la notation asymptotique
J'essaie de comprendre ce qui ne va pas avec la preuve suivante de la récurrence suivante T(n)≤2(c⌊nT(n)=2T(⌊n2⌋)+nT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n)T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n) T(n) \leq 2\left(c\left\lfloor\frac{n}{2}\right\rfloor\right)+n \leq cn+n = n(c+1) =O(n) La documentation dit que c'est faux à cause de l'hypothèse inductive que Qu'est-ce que je manque?T(n)≤cnT(n)≤cn T(n) \leq cn
5
Qu'est-ce qu'un algorithme efficace?
Du point de vue du comportement asymptotique, qu'est-ce qui est considéré comme un algorithme "efficace"? Quelle est la norme / raison de tracer la ligne à ce point? Personnellement, je penserais que tout ce que je pourrais naïvement appeler "sous-polynôme", tel que tel que serait efficace et tout ce qui …
2
Pourquoi
Dans CLRS (aux pages 49-50), quelle est la signification de l'énoncé suivant: Σni=1O(i)Σi=1nO(i)\Sigma_{i=1}^{n} O(i) n'est qu'une seule fonction anonyme (de ), mais n'est pas la même chose queiiiO(1)+O(2)+⋯+O(n)O(1)+O(2)+⋯+O(n)O(1)+O(2)+\cdots+O(n), qui n'a pas vraiment d'interprétation. "
3
Pourquoi est-ce
3n=2O(n)3n=2O(n)3^n = 2^{O(n)}est apparemment vrai. Je pensais que c'était faux car3n3n3^n croît plus rapidement que n'importe quelle fonction exponentielle avec une base de 2. Comment est 3n=2O(n)3n=2O(n)3^n = 2^{O(n)} vrai?
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.