Perguntas com a marcação «landau-notation»

11
Inferindo tipos de refinamento

No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: 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 =>...

10
Soma dos termos do Landau revisitados

Eu fiz uma pergunta (inicial) sobre somas dos termos do Landau antes , tentando avaliar os perigos de abusar da notação assintótica em aritmética, com sucesso misto. Agora, aqui o nosso guru da recorrência JeffE faz essencialmente isso: ∑i = 1nΘ ( 1Eu) =Θ( Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle...

8
análise de tempo de execução

Então eu sei que registro∗log∗\log^* significa logaritmo iterado, então registro∗( 3 )log∗⁡(3)\log^*(3) = ( logregistroregistrolog . . . )(log⁡log⁡log⁡log...)(\log\log\log\log...) até n ≤ 1n≤1n \leq 1. Estou tentando resolver o seguinte: é registro∗(22n)log∗⁡(22n)\log^*(2^{2^n}) pouco ooo,...

8
Por que tem uma interpretação?

No CLRS (nas páginas 49-50), qual é o significado da seguinte declaração: Σni=1O(i)Σi=1nO(i)\Sigma_{i=1}^{n} O(i) é apenas uma única função anônima (de ), mas não é a mesma que , que realmente não tem uma interpretação

8
Por que verdadeiro?

3n=2O(n)3n=2O(n)3^n = 2^{O(n)} é aparentemente verdadeiro. Eu pensei que era falso, porque cresce mais rápido do que qualquer função exponencial com uma base de 2.3n3n3^n Como verdadeiro?3n=2O(n)3n=2O(n)3^n =

8
Notação O grande aninhada

Digamos que eu tenho um gráfico |G||G||G|com arestas. Eu quero executar o BFS no que tem um tempo de execução de .|E|=O(V2)|E|=O(V2)|E|=O(V^2)GGGO(V+E)O(V+E)O(V+E) Parece natural escrever que o tempo de execução neste gráfico seria e, em seguida, simplificaria para

7
Variações do infinito Omega e Omega

Alguns autores definem de uma maneira um pouco diferente: vamos usar (leia “omega infinito”) para esta definição alternativa. Dizemos que se existe uma constante positiva tal que para infinitamente muitos números inteiros , enquanto o usual exige que isso valha para todos os números inteiros...