Perguntas com a marcação «mathematical-analysis»

Perguntas relacionadas à análise matemática (muitas vezes chamadas de análise por matemáticos)

11
Como provar que

Esta é uma pergunta do dever de casa do livro de Udi Manber. Qualquer dica seria legal :) Devo mostrar que: n ( log3( N ) )5= O ( n1.2)n(log3⁡(n))5=O(n1.2)n(\log_3(n))^5 = O(n^{1.2}) Eu tentei usar o Teorema 3.1 do livro: c > 0 a > 1f( N )c= O ( af( N ))f(n)c=O(af(n))f(n)^c =...

11
está

Então, eu tenho esta pergunta para provar uma afirmação: ...O(n)⊂Θ(n)O(n)⊂Θ(n)O(n)\subset\Theta(n) Eu não preciso saber como provar isso, apenas que, na minha opinião, isso não faz sentido e acho que deveria ser .Θ(n)⊂O(n)Θ(n)⊂O(n)\Theta(n)\subset O(n) Meu entendimento é que é o conjunto de...

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
Dado um computador rápido e lento, em que tamanhos o computador rápido executando um algoritmo lento supera o computador lento executando um algoritmo rápido?

A fonte dessa pergunta vem de um curso de graduação que estou cursando, que abrange uma introdução à análise de algoritmos. Isso não é para trabalhos de casa, mas para uma pergunta feita no CLRS. Você tem uma máquina lenta rodando em xxx MIPS e uma máquina rápida rodando em yyyMIPS. Você também...

7
Invariante para loop aninhado no programa de multiplicação de matrizes

Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end...