5calore
2risposta
Come posso provare questa operazione su alberi di ricerca binari?
7calore
4risposta
dimostrare n = Big-O (1) usando induzione
13calore
7risposta
Come si "capisce" quando si tratta di prove?
8calore
3risposta
Come determinare l'altezza di un albero di ricorsione da una relazione di ricorrenza?
20calore
5risposta
6calore
11risposta
Verifica formale della correttezza di un algoritmo
13calore
9risposta
Qual è la prova di (N-1) + (N-2) + (N-3) + ... + 1 = N * (N-1)/2
9calore
6risposta
Scrivere una prova per un algoritmo
14calore
4risposta
Prova che l'algoritmo di allocazione del denaro di Fowler è corretto