Domande taggate «asymptotics»

Domande su notazioni asintotiche e analisi

3
Come si fa a sapere quale notazione dell'analisi della complessità del tempo usare?
Nella maggior parte delle lezioni introduttive sugli algoritmi, vengono introdotte notazioni come OOO (Big O) e ΘΘ\Theta , e uno studente in genere imparerebbe ad usare una di queste per trovare la complessità temporale. Tuttavia, ci sono altre notazioni, come ooo , ΩΩ\Omega e ωω\omega . Esistono scenari specifici in …
11
Risolvere o approssimare relazioni di ricorrenza per sequenze di numeri
Nell'informatica, spesso dobbiamo risolvere le relazioni di ricorrenza , ovvero trovare una forma chiusa per una sequenza di numeri definita ricorsivamente. Quando si considerano i runtime, siamo spesso interessati principalmente alla crescita asintotica della sequenza . Ne sono esempi Il tempo di esecuzione di una funzione ricorsiva della coda che …
6
Funzioni di ordinamento per crescita asintotica
Supponiamo che io abbia un elenco di funzioni, ad esempio 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 Come posso ordinarli asintoticamente, cioè dopo la relazione definita da f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , supponendo che siano effettivamente comparabili a coppie (vedi anche qui )? …
2
Quanto è asintoticamente cattivo l'ingenuo mescolamento?
È noto che questo algoritmo 'ingenuo' per mescolare un array scambiando ogni elemento con un altro scelto casualmente non funziona correttamente: for (i=0..n-1) swap(A[i], A[random(n)]); In particolare, poiché a ciascuna delle iterazioni viene fatta una delle scelte (con probabilità uniforme), ci sono possibili "percorsi" attraverso il calcolo; perché il numero …
2
Perché il tipo di vuoto di C non è analogo al tipo vuoto / inferiore?
Wikipedia e altre fonti che ho trovato elencano il voidtipo C come un tipo di unità anziché un tipo vuoto. Lo trovo confuso in quanto mi sembra che si voidadatti meglio alla definizione di un tipo vuoto / inferiore. voidPer quanto ne so, non abitano valori . Una funzione con …
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 
4
Come ingannare l'ispezione della trama euristica?
Nel corso qui , Dave Clarke ha proposto che, al fine di confrontare la crescita asintotica si dovrebbe tracciare le funzioni a portata di mano. Come un informatico teoricamente propenso, chiamo (ndr) questo vodoo poiché una trama non è mai una prova. Ripensandoci, devo concordare sul fatto che questo è …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.