Perguntas com a marcação «asymptotics»

Na maioria das aulas introdutórias de algoritmo, são apresentadas notações como (Big O) e , e um aluno geralmente aprende a usar uma delas para encontrar a complexidade do tempo.OOOΘΘ\Theta No entanto, existem outras notações, como , e . Existem cenários específicos em que uma notação seria preferível a outra?Ω …

90 algorithms  terminology  asymptotics  landau-notation  reference-question 

Na ciência da computação, geralmente precisamos resolver as relações de recorrência , ou seja, encontrar uma forma fechada para uma sequência de números definida recursivamente. Ao considerar os tempos de execução, geralmente nos interessamos principalmente pelo crescimento assintótico da sequência . Exemplos são O tempo de execução de uma função …

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

Essa pode ser uma pergunta ridícula, mas é possível ter um problema que realmente fica mais fácil à medida que as entradas aumentam de tamanho? Duvido que quaisquer problemas práticos sejam assim, mas talvez possamos inventar um problema degenerado que possua essa propriedade. Por exemplo, talvez comece a "se resolver" …

62 algorithms  asymptotics 

Acabei de começar um curso sobre Estruturas de Dados e Algoritmos e meu assistente de ensino nos deu o seguinte pseudo-código para classificar uma matriz de números inteiros: 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 

O(m+n)O(m+n)O(m+n)O(max(m,n))O(max(m,n))O(\max(m,n))O(min(m,n))O(min(m,n))O(\min(m,n))O(|V|+|E|)O(|V|+|E|)O(|V| + |E|)

44 terminology  asymptotics  mathematical-analysis  landau-notation 

Em "Big O", notações comuns têm nomes comuns (em vez de dizer "Oh, de algum fator constante"): O (1) é "Constante" O (log n) é "logarítmico" O (n) é "Linear" O (n ^ 2) é "Quadrático" O (n * log n) é ??? É apenas "n log n" ou tem …

40 terminology  asymptotics 

Suponha que eu tenha uma lista de funções, por exemplo 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 Como os classifico assintoticamente, ou seja, após a relação definida por f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , assumindo que eles são realmente comparáveis ​​aos pares (veja também …

35 asymptotics  landau-notation  reference-question 

É sabido que esse algoritmo 'ingênuo' para embaralhar uma matriz trocando cada item por outro escolhido aleatoriamente não funciona corretamente: for (i=0..n-1) swap(A[i], A[random(n)]); Especificamente, como em cada uma das iterações, uma das escolhas é feita (com probabilidade uniforme), existem possíveis 'caminhos' através da computação; porque o número de permutações …

33 algorithms  algorithm-analysis  asymptotics  probability-theory  randomness 

Hoje discutimos em uma palestra um algoritmo muito simples para encontrar um elemento em uma matriz classificada usando pesquisa binária . Nos pediram para determinar sua complexidade assintótica para uma matriz de nnn elementos. Minha idéia era que, obviamente, é ou seja mais específico porque é o número de operações …

33 algorithm-analysis  asymptotics  landau-notation  reference-question 

A Wikipedia e outras fontes que eu encontrei listam o voidtipo de C como um tipo de unidade, em vez de um tipo vazio. Acho isso confuso, pois me parece que voidmelhor se ajusta à definição de um tipo vazio / inferior. Nenhum valor habita void, até onde eu sei. …

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 um idioma regular , seja c n ( L ) o número de palavras em L de comprimento n . Utilizando a forma canônica de Jordan (aplicada à matriz de transição não anotada de alguns DFA para L ), pode-se mostrar que, para números grandes o suficiente n , …

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

Já ouvi várias vezes que, para valores suficientemente pequenos de n, O (n) pode ser pensado / tratado como se fosse O (1). Exemplo : A motivação para fazer isso é baseada na idéia incorreta de que O (1) é sempre melhor que O (lg n), é sempre melhor que …

26 asymptotics 

Existe uma estrutura de dados para manter uma lista ordenada que suporta as seguintes operações em tempo amortizado?O(1)O(1)O(1) GetElement (k) : retorna o ésimo elemento da lista.kkk InsertAfter (x, y) : insira o novo elemento y na lista imediatamente após x. Excluir (x) : remova x da lista. Nas duas …

25 data-structures  time-complexity  asymptotics  amortized-analysis 

Se eu tiver alguma função cuja complexidade de tempo seja O ( mn ), onde m e n são os tamanhos de suas duas entradas, chamaríamos sua complexidade de tempo de "linear" (já que é linear em m e n ) ou "quadrática" ( já que é um produto de …

24 terminology  asymptotics  landau-notation 

Por aqui , Dave Clarke propôs que, para comparar o crescimento assintótico, você deve traçar as funções em questão. Como cientista da computação, teoricamente inclinado, chamo esse vodoo de que um enredo nunca é prova. Pensando bem, tenho que concordar que essa é uma abordagem muito útil que às vezes …

23 asymptotics  didactics