#include<stdio.h>
#define N 5
main(){
int a[N]={1,2,8,4,5};
int i=0;int somma=0;
for(i=0;i<N-1;i++){
somma=somma+a;}
printf("somma %d",somma);}
in questo codice ass. iniziale non c'è
ass. finale che somma=somma el. vettori
invariante 0<=somma<=somma+a
Sono giuste queste affermazioni?
Vorrei sapere inoltre se (cambiando radicalmente argomento) è corretto questo procedimento per cercare il valore tramite ricarca binaria (es. cercare 8)
1 <-
2
3
4
5 <-
6
7
8
9 <-
8 diverso e maggiore di 5,si cerca nella seconda parte,
5 <-
6
7 <-
8
9 <-
diverso da 7,ma maggiore di 7
7 <-
8 <-
9 <-
= 8 ,è presente e si ritorna i=7;
è corretto?
Grazie in anticipo
|