Perguntas com a marcação «time-complexity»

A quantidade de recursos de tempo (número de operações atômicas ou etapas da máquina) necessários para resolver um problema expresso em termos de tamanho da entrada. Se sua pergunta estiver relacionada à análise de algoritmo, use a tag [runtime-analysis]. Se sua pergunta diz respeito à questão de saber se uma computação * terminará * sempre, use a tag [computability]. A complexidade do tempo é talvez o subtópico mais importante da teoria da complexidade.

2
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) + …
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 
3
Complexidade de encontrar o maior
O que segue é o meu algoritmo para fazer isso no que acredito ser O(n)O(n)O(n)tempo e minha prova disso. Meu professor discorda que seja executado emO(n)O(n)O(n) e, em vez disso, pensa que é executado em Ω(n2)Ω(n2)\Omega(n^2)Tempo. Quaisquer comentários sobre a prova em si ou o estilo (ou seja, minhas idéias …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.