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

Estou procurando uma aproximação de ΘΘ\ThetaT( n ) = T( n - 1 ) + cn2T(n)=T(n−1)+cn2T(n) = T(n-1) + cn^{2} Isto é o que eu tenho até agora: T( n - 1 )T( N )T( n - 2 )T( N )T( n - 3 )T( N )= T( n - …

7 time-complexity  algorithm-analysis  proof-techniques  recurrence-relation 

Definições: Seja um DAG sem auto-loops e e sejam gráficos.G=(V,E)G=(V,E)G=(V,E)X⊆GX⊆GX \subseteq GY⊆GY⊆GY \subseteq G Entrada: . Saída: A composição relacional composição relacional em .X,YX,YX,Y X∘YX∘YX \circ YO(|E||V|)O(|E||V|)\mathcal{O}(|E||V|) Caso 1:. Dois para loops acima de e : Tempo de execução .|E|≤|V||E|≤|V||E| \le |V|E(X)E(X)E(X)E(Y)E(Y)E(Y)≤O(|E|2)≤O(|E||V|)≤O(|E|2)≤O(|E||V|) \le \mathcal{O}(|E|^2) \le \mathcal{O}(|E||V|) Caso 2:|V|≤|E||V|≤|E||V| \le |E| …

7 algorithms  graph-theory  algorithm-analysis  check-my-algorithm 

Este é um exemplo em minhas anotações de aula. Esta função possui complexidade de tempoO(nlogn)O(nlog⁡n)O(n \log n)? Como o pior caso é a função entra em elseramificação e 2 loops aninhados com complexidade de tempo delognlog⁡n\log n e nnn, então é O(nlogn)O(nlog⁡n)O(n \log n). Estou certo? int j = 3; …

7 complexity-theory  time-complexity  algorithm-analysis  runtime-analysis 

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) + …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free