Perguntas com a marcação «check-my-algorithm»

Uma pergunta foi postada no Stack Overflow solicitando um algoritmo para resolver esse problema: Eu tenho uma matriz (chame de A) que é nxn. Desejo selecionar um subconjunto (denominado B) de pontos da matriz A. O subconjunto consistirá em n elementos, nos quais um e apenas um elemento é obtido...

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

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