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

8
Por que log (n) é uma função construtível em espaço?

De acordo com "Função construtiva" , Wikipedia: Na teoria da complexidade , uma função construtível no tempo é uma função f de números naturais para números naturais com a propriedade de que f ( n ) pode ser construída a partir de n por uma máquina de Turing no tempo da ordem f ( n ). Mas não...

7
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,...

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...

7
Máquinas em P indecidíveis?

Dada uma máquina de Turing , dizemos que se a linguagem decidida pela máquina puder ser decidida por alguma máquina em tempo polinomial. Dizemos que se a máquina funcionar em tempo polinomial. Note-se que pode haver máquinas que rodam desnecessariamente longo, mas ainda decidir um idioma em P ....