Perguntas com a marcação «randomized-algorithms»

8
Algoritmo randomizado para 3SAT

Existe um algoritmo aleatório muito simples que, dado um 3SAT, produz uma atribuição que satisfaz pelo menos 7/8 das cláusulas (na expectativa): escolha uma atribuição aleatória. Uma atribuição aleatória satisfaz cada cláusula com probabilidade 7/8 e, portanto, a linearidade da expectativa mostra...

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