L' asserzione finale è che per ogni i compreso tra 0 e a[i] multiplo di 3 e u =0 o =1
La complessità è O (n) perchè si scorre una sola volta l' array
L 'invariante è che per ogni i conpreso tra 0 e N-1 u è 0 o 1
Sono giuste queste affermazioni,com' è l' asserzione iniziale?
codice:
#include<stdio.h>
#define N 5
int pari(int a[N]);
main(){
int a[N];
int i=0;
printf("INSERISCI ARRAY\n");
for(i=0;i<N;i++){
printf("\nInserisci elemento %d di %d ",i+1,N);
scanf("%d",&a[i]);}
printf("\nSTAMPA ARRAY");
for(i=0;i<N;i++){
printf("\nL' elemento e' %d ",a[i]);}
int cont=0;
cont=pari(a);
printf("\npari e' %d ",cont);
}
int pari(int a[N]){
int u=0;int i=0;
for ((i=0;i<N;i++) && (u!=0)){
if(a[i]%3==0) u=;
}
return u;
}